package org.whole.lang.unifiedlambdadelta.visitors;
import org.whole.lang.unifiedlambdadelta.model.*;
/**
* @generator Whole
*/
public class UnifiedLambdaDeltaIdentityDefaultVisitor extends
UnifiedLambdaDeltaIdentityVisitor {
public void visit(IUnifiedLambdaDeltaEntity entity) {
}
public void visit(BinaryItem entity) {
}
public void visit(BinaryContextBinder entity) {
visit((BinaryItem) entity);
visit((Context) entity);
visit((Binder) entity);
}
public void visit(Context entity) {
}
public void visit(Binder entity) {
}
public void visit(Declaration entity) {
visit((IUnifiedLambdaDeltaEntity) entity);
visit((BinaryContextBinder) entity);
}
public void visit(Definition entity) {
visit((IUnifiedLambdaDeltaEntity) entity);
visit((BinaryContextBinder) entity);
}
public void visit(Top entity) {
visit((IUnifiedLambdaDeltaEntity) entity);
visit((Context) entity);
}
public void visit(BinaryTerm entity) {
visit((BinaryItem) entity);
visit((Term) entity);
}
public void visit(Term entity) {
}
public void visit(Application entity) {
visit((IUnifiedLambdaDeltaEntity) entity);
visit((BinaryTerm) entity);
}
public void visit(Cast entity) {
visit((IUnifiedLambdaDeltaEntity) entity);
visit((BinaryTerm) entity);
}
public void visit(BinaryTermBinder entity) {
visit((BinaryTerm) entity);
visit((Binder) entity);
}
public void visit(Abstraction entity) {
visit((IUnifiedLambdaDeltaEntity) entity);
visit((BinaryTermBinder) entity);
}
public void visit(Abbreviation entity) {
visit((IUnifiedLambdaDeltaEntity) entity);
visit((BinaryTermBinder) entity);
}
public void visit(Local entity) {
visit((IUnifiedLambdaDeltaEntity) entity);
visit((Term) entity);
}
public void visit(Sort entity) {
visit((IUnifiedLambdaDeltaEntity) entity);
visit((Term) entity);
}
public void visit(Polarity entity) {
visit((IUnifiedLambdaDeltaEntity) entity);
}
public void visit(Index entity) {
visit((IUnifiedLambdaDeltaEntity) entity);
}
public void visit(Level entity) {
visit((IUnifiedLambdaDeltaEntity) entity);
}
public void visit(Name entity) {
visit((IUnifiedLambdaDeltaEntity) entity);
}
public void visit(Access entity) {
visit((IUnifiedLambdaDeltaEntity) entity);
}
public void visit(Prefix entity) {
visit((IUnifiedLambdaDeltaEntity) entity);
}
public void visit(Postfix entity) {
visit((IUnifiedLambdaDeltaEntity) entity);
}
}