package org.whole.lang.firstorderlogic.visitors;
import org.whole.lang.visitors.AbstractVisitor;
import org.whole.lang.firstorderlogic.model.*;
import org.whole.lang.model.IEntity;
import org.whole.lang.firstorderlogic.reflect.FirstOrderLogicEntityDescriptorEnum;
/**
* @generator Whole
*/
public abstract class FirstOrderLogicIdentitySwitchVisitor extends
AbstractVisitor implements IFirstOrderLogicVisitor {
public void visit(IEntity entity) {
switch (entity.wGetEntityOrd()) {
case FirstOrderLogicEntityDescriptorEnum.Theory_ord:
visit((Theory) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.ImportTheories_ord:
visit((ImportTheories) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.ImportDeclaration_ord:
visit((ImportDeclaration) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.Declarations_ord:
visit((Declarations) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.Assertions_ord:
visit((Assertions) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.EntityName_ord:
visit((EntityName) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.FeatureName_ord:
visit((FeatureName) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.LanguageName_ord:
visit((LanguageName) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.SimpleFeature_ord:
visit((SimpleFeature) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.QualifiedFeature_ord:
visit((QualifiedFeature) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.SubtypeDeclaration_ord:
visit((SubtypeDeclaration) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.NameDeclaration_ord:
visit((NameDeclaration) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.SortType_ord:
visit((SortType) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.VariableType_ord:
visit((VariableType) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.FunctionType_ord:
visit((FunctionType) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.PredicateType_ord:
visit((PredicateType) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.Parameters_ord:
visit((Parameters) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.VariableDeclaration_ord:
visit((VariableDeclaration) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.PredicateDefinition_ord:
visit((PredicateDefinition) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.FunctionDefinition_ord:
visit((FunctionDefinition) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.Axiom_ord:
visit((Axiom) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.Theorem_ord:
visit((Theorem) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.Formulae_ord:
visit((Formulae) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.PredicateApplication_ord:
visit((PredicateApplication) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.EqualityPredicateApplication_ord:
visit((EqualityPredicateApplication) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.Implication_ord:
visit((Implication) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.Coimplication_ord:
visit((Coimplication) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.Xor_ord:
visit((Xor) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.And_ord:
visit((And) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.Or_ord:
visit((Or) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.Not_ord:
visit((Not) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.ForAll_ord:
visit((ForAll) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.Exist_ord:
visit((Exist) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.ExistUnique_ord:
visit((ExistUnique) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.Arguments_ord:
visit((Arguments) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.SimplePredicate_ord:
visit((SimplePredicate) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.QualifiedPredicate_ord:
visit((QualifiedPredicate) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.TheoryName_ord:
visit((TheoryName) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.Constant_ord:
visit((Constant) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.Variable_ord:
visit((Variable) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.FunctionApplication_ord:
visit((FunctionApplication) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.SimpleFunction_ord:
visit((SimpleFunction) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.QualifiedFunction_ord:
visit((QualifiedFunction) entity);
break;
case FirstOrderLogicEntityDescriptorEnum.Name_ord:
visit((Name) entity);
break;
}
}
}