ASTVisitorBase

java.lang.Object
- fmrisc.ProgramExplorer.Syntax.ASTVisitorBase

All Implemented Interfaces:

ASTVisitor

Direct Known Subclasses:

ASTCloner, ASTPrinter, Breaks, FreeVariables, PreconditionTasks, PrettyMathML, PrettyPrinter, ReferencedExcs, ReferencedUnits, ReferencedVars, UsedVariables, VariableTypes
```
public abstract class ASTVisitorBase
extends java.lang.Object
implements ASTVisitor
```
Base class of abstract syntax tree visitors.

Constructor Summary

Constructors
Constructor and Description

ASTVisitorBase()

Constructors
Constructor and Description
`ASTVisitorBase()`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`visit(AndExpression tree)`
`void`	`visit(AndFormula tree)`
`void`	`visit(ApplicationExpression tree)`
`void`	`visit(ArrayTerm tree)`
`void`	`visit(ArrayType tree)`
`void`	`visit(ArrayType tree)`
`void`	`visit(AssertionStatement tree)`
`void`	`visit(AssignCallStatement tree)`
`void`	`visit(AssignmentStatement tree)`
`void`	`visit(AssignNewStatement tree)`
`void`	`visit(AST tree)` Visit an abstract syntax tree.
`void`	`visit(ASTLogicBase tree)`
`void`	`visit(ASTProgramAnnotatedBase tree)`
`void`	`visit(ASTProgramBase tree)`
`void`	`visit(ASTSourceBase tree)`
`void`	`visit(AtomicFormula tree)`
`void`	`visit(AtomicType tree)`
`void`	`visit(AxiomDefinition tree)`
`void`	`visit(BinaryAtomicFormula tree)`
`void`	`visit(BinaryExpression tree)`
`void`	`visit(BinaryFormula tree)`
`void`	`visit(BinaryTerm tree)`
`void`	`visit(BinaryValueExpression tree)`
`void`	`visit(BitAndTerm tree)`
`void`	`visit(BitFalse tree)`
`void`	`visit(BitLiteral tree)`
`void`	`visit(BitNegationTerm tree)`
`void`	`visit(BitOrTerm tree)`
`void`	`visit(BitTrue tree)`
`void`	`visit(BitType tree)`
`void`	`visit(BlockStatement tree)`
`void`	`visit(BooleanLiteral tree)`
`void`	`visit(BooleanLiteral tree)`
`void`	`visit(BooleanType tree)`
`void`	`visit(BooleanType tree)`
`void`	`visit(BreakStatement tree)`
`void`	`visit(CallStatement tree)`
`void`	`visit(CharLiteral tree)`
`void`	`visit(CharType tree)`
`void`	`visit(ClassDeclaration tree)`
`void`	`visit(ClassImport tree)`
`void`	`visit(ClassMethodDeclaration tree)`
`void`	`visit(ClassSpec tree)`
`void`	`visit(ClassVariableDeclaration tree)`
`void`	`visit(CompilationUnitBase tree)`
`void`	`visit(ConditionalStatement tree)`
`void`	`visit(Constant tree)`
`void`	`visit(ConstructorDeclaration tree)`
`void`	`visit(ContinueStatement tree)`
`void`	`visit(DeclarationBase tree)`
`void`	`visit(DeclarationBase tree)`
`void`	`visit(DeclCallStatement tree)`
`void`	`visit(DeclNewStatement tree)`
`void`	`visit(DefinitionBase tree)`
`void`	`visit(DividesExpression tree)`
`void`	`visit(DividesTerm tree)`
`void`	`visit(EmptyStatement tree)`
`void`	`visit(EqualsExpression tree)`
`void`	`visit(EqualsFormula tree)`
`void`	`visit(EquivalentFormula tree)`
`void`	`visit(ExceptionType tree)`
`void`	`visit(ExistsFormula tree)`
`void`	`visit(ExpressionBase tree)`
`void`	`visit(False tree)`
`void`	`visit(ForallFormula tree)`
`void`	`visit(ForLoopStatement tree)`
`void`	`visit(FormulaBase tree)`
`void`	`visit(FormulaDefinition tree)`
`void`	`visit(FunctionApplication tree)`
`void`	`visit(FunctionType tree)`
`void`	`visit(GlobalVariableDeclaration tree)`
`void`	`visit(GreaterEqualExpression tree)`
`void`	`visit(GreaterEqualFormula tree)`
`void`	`visit(GreaterExpression tree)`
`void`	`visit(GreaterFormula tree)`
`void`	`visit(Handler tree)`
`void`	`visit(Identifier tree)`
`void`	`visit(IdentifierSelector tree)`
`void`	`visit(IfThenElseExpression tree)`
`void`	`visit(IfThenElseFormula tree)`
`void`	`visit(IfThenElseTerm tree)`
`void`	`visit(ImpliesFormula tree)`
`void`	`visit(ImportBase tree)`
`void`	`visit(IndexSelector tree)`
`void`	`visit(IntLiteral tree)`
`void`	`visit(IntLiteral tree)`
`void`	`visit(IntType tree)`
`void`	`visit(IntType tree)`
`void`	`visit(LambdaFormula tree)`
`void`	`visit(LambdaTerm tree)`
`void`	`visit(LeftValue tree)`
`void`	`visit(LessEqualExpression tree)`
`void`	`visit(LessEqualFormula tree)`
`void`	`visit(LessExpression tree)`
`void`	`visit(LessFormula tree)`
`void`	`visit(LetExpression tree)`
`void`	`visit(LetFormula tree)`
`void`	`visit(LetTerm tree)`
`void`	`visit(LoopSpec tree)`
`void`	`visit(LoopStatementBase tree)`
`void`	`visit(MessageSelector tree)`
`void`	`visit(MethodDeclaration tree)`
`void`	`visit(MethodSpec tree)`
`void`	`visit(MinusExpression tree)`
`void`	`visit(MinusTerm tree)`
`void`	`visit(Name tree)`
`void`	`visit(NamedType tree)`
`void`	`visit(NatType tree)`
`void`	`visit(NegationExpression tree)`
`void`	`visit(NegationTerm tree)`
`void`	`visit(NewArrayExpression tree)`
`void`	`visit(NewState tree)`
`void`	`visit(NewType tree)`
`void`	`visit(NotEqualsExpression tree)`
`void`	`visit(NotEqualsFormula tree)`
`void`	`visit(NotEquivalentFormula tree)`
`void`	`visit(NotExpression tree)`
`void`	`visit(NotFormula tree)`
`void`	`visit(NullLiteral tree)`
`void`	`visit(NullType tree)`
`void`	`visit(ObjectMethodDeclaration tree)`
`void`	`visit(ObjectVariableDeclaration tree)`
`void`	`visit(OldState tree)`
`void`	`visit(OrExpression tree)`
`void`	`visit(OrFormula tree)`
`void`	`visit(PackageImport tree)`
`void`	`visit(ParamDeclarationBase tree)`
`void`	`visit(Parameter tree)`
`void`	`visit(PercentExpression tree)`
`void`	`visit(PlusExpression tree)`
`void`	`visit(PlusTerm tree)`
`void`	`visit(PostfixApplication tree)`
`void`	`visit(PostfixFormula tree)`
`void`	`visit(PostfixTerm tree)`
`void`	`visit(PostVariable tree)`
`void`	`visit(PreVariable tree)`
`void`	`visit(PrimitiveType tree)`
`void`	`visit(ProgramAnnotationBase tree)`
`void`	`visit(ProgramVariableBase tree)`
`void`	`visit(QuantifiedExpression tree)`
`void`	`visit(QuantifiedFormula tree)`
`void`	`visit(QuantifiedTerm tree)`
`void`	`visit(ReadsOnlyFormula tree)`
`void`	`visit(Real0Type tree)`
`void`	`visit(RealType tree)`
`void`	`visit(RecordTerm tree)`
`void`	`visit(RecordType tree)`
`void`	`visit(Reference tree)`
`void`	`visit(ReturnStatement tree)`
`void`	`visit(SelectionTerm tree)`
`void`	`visit(SelectorBase tree)`
`void`	`visit(SelectorBase tree)`
`void`	`visit(SelectorExpression tree)`
`void`	`visit(SelectorIdentifier tree)`
`void`	`visit(SelectorIndex tree)`
`void`	`visit(SelectorNumber tree)`
`void`	`visit(SimilarFormula tree)`
`void`	`visit(SpecificationBase tree)`
`void`	`visit(StateBreaks tree)`
`void`	`visit(StateContinues tree)`
`void`	`visit(StateExecutes tree)`
`void`	`visit(StateLiteral tree)`
`void`	`visit(StatementBase tree)`
`void`	`visit(StatementSpec tree)`
`void`	`visit(StateMessage tree)`
`void`	`visit(StateReturns tree)`
`void`	`visit(StateThrows tree)`
`void`	`visit(StateThrowsException tree)`
`void`	`visit(StateType tree)`
`void`	`visit(StateValue tree)`
`void`	`visit(StatJudgement tree)`
`void`	`visit(StringLiteral tree)`
`void`	`visit(StringLiteral tree)`
`void`	`visit(StringType tree)`
`void`	`visit(StringType tree)`
`void`	`visit(SubrangeType tree)`
`void`	`visit(SubType tree)`
`void`	`visit(TermApplication tree)`
`void`	`visit(TermBase tree)`
`void`	`visit(TheoryDeclaration tree)`
`void`	`visit(ThrowStatement tree)`
`void`	`visit(TimesExpression tree)`
`void`	`visit(TimesTerm tree)`
`void`	`visit(TopDeclarationBase tree)`
`void`	`visit(True tree)`
`void`	`visit(TryCatchStatement tree)`
`void`	`visit(TupleTerm tree)`
`void`	`visit(TupleType tree)`
`void`	`visit(TypeBase tree)`
`void`	`visit(TypeDeclaration tree)`
`void`	`visit(TypeDefinition tree)`
`void`	`visit(TypedIdentifier tree)`
`void`	`visit(UnaryExpression tree)`
`void`	`visit(UnaryFormula tree)`
`void`	`visit(UnaryTerm tree)`
`void`	`visit(UnaryValueExpression tree)`
`void`	`visit(UnitSpec tree)`
`void`	`visit(UpdateTerm tree)`
`void`	`visit(ValueDeclarationClass tree)`
`void`	`visit(ValueDeclarationFormula tree)`
`void`	`visit(ValueDeclarationInitialized tree)`
`void`	`visit(ValueDefinitionClass tree)`
`void`	`visit(ValuedIdentifier tree)`
`void`	`visit(ValueExpressionBase tree)`
`void`	`visit(VariableDeclarationBase tree)`
`void`	`visit(VariableStatement tree)`
`void`	`visit(VariableValue tree)`
`void`	`visit(VoidCallStatement tree)`
`void`	`visit(VoidType tree)`
`void`	`visit(WhileLoopStatement tree)`
`void`	`visit(WritesOnlyFormula tree)`

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - ASTVisitorBase
```
public ASTVisitorBase()
```
- Method Detail
  - visit
```
public void visit(AST tree)
```
    Visit an abstract syntax tree.
    
    Specified by:
    
    visit in interface ASTVisitor
    
    Parameters:
    
    tree - the node of the abstract syntax tree that is visited.
  - visit
```
public void visit(Name tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(StatJudgement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ASTSourceBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(Handler tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(Identifier tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(DeclarationBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(CompilationUnitBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ClassDeclaration tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(TheoryDeclaration tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(TopDeclarationBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(GlobalVariableDeclaration tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ClassVariableDeclaration tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ObjectVariableDeclaration tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ParamDeclarationBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ConstructorDeclaration tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(MethodDeclaration tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ClassMethodDeclaration tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ObjectMethodDeclaration tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(VariableDeclarationBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(Parameter tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(VariableStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(StatementBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(AssertionStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(AssignmentStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(BlockStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(BreakStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ConditionalStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ContinueStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(EmptyStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ReturnStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(TryCatchStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(LoopStatementBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ForLoopStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(WhileLoopStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(CallStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(AssignCallStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(AssignNewStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(DeclCallStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(DeclNewStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ThrowStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(VoidCallStatement tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ASTProgramBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ArrayType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ASTProgramAnnotatedBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(LeftValue tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(NamedType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(NewType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ImportBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(PackageImport tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ClassImport tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(PrimitiveType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(BooleanType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(CharType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(IntType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(NullType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(StringType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(VoidType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ExceptionType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ProgramAnnotationBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(SpecificationBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(MethodSpec tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(UnitSpec tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ClassSpec tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(LoopSpec tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(StatementSpec tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(SelectorBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(IdentifierSelector tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(IndexSelector tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(MessageSelector tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ValueExpressionBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(BooleanLiteral tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(CharLiteral tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(IntLiteral tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(NewArrayExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(NullLiteral tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(SelectorExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(StringLiteral tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(VariableValue tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(BinaryValueExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(AndExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(DividesExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(EqualsExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(GreaterEqualExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(GreaterExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(LessEqualExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(LessExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(MinusExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(NotEqualsExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(OrExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(PercentExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(PlusExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(TimesExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(UnaryValueExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(NegationExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(NotExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ASTLogicBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(TypedIdentifier tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ValuedIdentifier tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(DeclarationBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(DefinitionBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ValueDefinitionClass tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(FormulaDefinition tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(AxiomDefinition tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(TypeDeclaration tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(TypeDefinition tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ValueDeclarationClass tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ValueDeclarationFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ValueDeclarationInitialized tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ExpressionBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(Reference tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ApplicationExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(TermApplication tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(AtomicFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(FunctionApplication tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(BinaryExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(BinaryAtomicFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(EqualsFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(GreaterEqualFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(GreaterFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(LessEqualFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(LessFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(NotEqualsFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(SimilarFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(BinaryFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(AndFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(EquivalentFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ImpliesFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(NotEquivalentFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(OrFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(BinaryTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(DividesTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(MinusTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(PlusTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(TimesTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(BitOrTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(BitAndTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(Constant tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(IntLiteral tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(StringLiteral tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(BooleanLiteral tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(BitLiteral tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(True tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(False tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(BitTrue tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(BitFalse tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(StateLiteral tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(OldState tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(NewState tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(FormulaBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(WritesOnlyFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ReadsOnlyFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(IfThenElseExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(IfThenElseFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(IfThenElseTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(LetExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(LetFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(LetTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(PostfixApplication tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(PostfixFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(StateBreaks tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(StateContinues tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(StateExecutes tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(StateReturns tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(StateThrows tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(StateThrowsException tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(PostfixTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(StateValue tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(StateMessage tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(QuantifiedExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(QuantifiedFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ForallFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ExistsFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(QuantifiedTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ArrayTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(LambdaTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(LambdaFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(TermBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(RecordTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(SelectionTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(TupleTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(UpdateTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ProgramVariableBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(PostVariable tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(PreVariable tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(TypeBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(ArrayType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(FunctionType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(RecordType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(StateType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(SubrangeType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(SubType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(TupleType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(AtomicType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(BooleanType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(BitType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(IntType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(NatType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(RealType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(Real0Type tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(StringType tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(UnaryExpression tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(UnaryFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(NotFormula tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(UnaryTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(NegationTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(BitNegationTerm tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(SelectorBase tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(SelectorIdentifier tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(SelectorIndex tree)
```
    Specified by:
    
    visit in interface ASTVisitor
  - visit
```
public void visit(SelectorNumber tree)
```
    Specified by:
    
    visit in interface ASTVisitor

Class ASTVisitorBase

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

ASTVisitorBase

Method Detail

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit