package org.whole.lang.unifiedlambdadelta.visitors;
import org.whole.lang.unifiedlambdadelta.visitors.UnifiedLambdaDeltaIdentityUnaryVisitor;
import org.whole.lang.unifiedlambdadelta.visitors.IUnifiedLambdaDeltaVisitor;
import org.whole.lang.unifiedlambdadelta.model.*;
import org.whole.lang.visitors.IVisitor;
/**
* @generator Whole
*/
public class UnifiedLambdaDeltaTraverseAllVisitor extends
UnifiedLambdaDeltaIdentityUnaryVisitor<IUnifiedLambdaDeltaVisitor> {
public UnifiedLambdaDeltaTraverseAllVisitor() {
wSetVisitor1(this);
}
public UnifiedLambdaDeltaTraverseAllVisitor(IVisitor visitor1) {
super(visitor1);
}
public void visit(Binder entity) {
entity.getName().accept(wGetVisitor1());
}
public void visit(BinaryItem entity) {
entity.getPolarity().accept(wGetVisitor1());
entity.getFront().accept(wGetVisitor1());
}
public void visit(BinaryContextBinder entity) {
entity.getPolarity().accept(wGetVisitor1());
entity.getFront().accept(wGetVisitor1());
entity.getName().accept(wGetVisitor1());
entity.getBack().accept(wGetVisitor1());
}
public void visit(Declaration entity) {
entity.getPolarity().accept(wGetVisitor1());
entity.getFront().accept(wGetVisitor1());
entity.getName().accept(wGetVisitor1());
entity.getBack().accept(wGetVisitor1());
}
public void visit(Definition entity) {
entity.getPolarity().accept(wGetVisitor1());
entity.getFront().accept(wGetVisitor1());
entity.getName().accept(wGetVisitor1());
entity.getBack().accept(wGetVisitor1());
}
public void visit(BinaryTerm entity) {
entity.getPolarity().accept(wGetVisitor1());
entity.getFront().accept(wGetVisitor1());
entity.getBack().accept(wGetVisitor1());
}
public void visit(Application entity) {
entity.getPolarity().accept(wGetVisitor1());
entity.getFront().accept(wGetVisitor1());
entity.getBack().accept(wGetVisitor1());
}
public void visit(Cast entity) {
entity.getPolarity().accept(wGetVisitor1());
entity.getFront().accept(wGetVisitor1());
entity.getBack().accept(wGetVisitor1());
}
public void visit(BinaryTermBinder entity) {
entity.getPolarity().accept(wGetVisitor1());
entity.getFront().accept(wGetVisitor1());
entity.getBack().accept(wGetVisitor1());
entity.getName().accept(wGetVisitor1());
}
public void visit(Abstraction entity) {
entity.getPolarity().accept(wGetVisitor1());
entity.getFront().accept(wGetVisitor1());
entity.getBack().accept(wGetVisitor1());
entity.getName().accept(wGetVisitor1());
}
public void visit(Abbreviation entity) {
entity.getPolarity().accept(wGetVisitor1());
entity.getFront().accept(wGetVisitor1());
entity.getBack().accept(wGetVisitor1());
entity.getName().accept(wGetVisitor1());
}
public void visit(Local entity) {
entity.getIndex().accept(wGetVisitor1());
}
public void visit(Sort entity) {
entity.getLevel().accept(wGetVisitor1());
}
public void visit(Name entity) {
entity.getAccess().accept(wGetVisitor1());
entity.getPrefix().accept(wGetVisitor1());
entity.getPostfix().accept(wGetVisitor1());
}
}