public interface ASTVisitor
void visit(AST tree)
tree
- the node of the abstract syntax tree that is visited.void visit(AndExpression tree)
void visit(AndFormula tree)
void visit(ApplicationExpression tree)
void visit(ArrayTerm tree)
void visit(AssertionStatement tree)
void visit(AssignCallStatement tree)
void visit(AssignmentStatement tree)
void visit(AssignNewStatement 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(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(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(ArrayType tree)
void visit(BooleanLiteral tree)
void visit(BooleanType tree)
void visit(DeclarationBase tree)
void visit(IntLiteral tree)
void visit(IntType tree)
void visit(SelectorBase tree)
void visit(StringLiteral tree)
void visit(StringType tree)
void visit(ArrayType tree)
void visit(BooleanLiteral tree)
void visit(BooleanType tree)
void visit(DeclarationBase tree)
void visit(IntLiteral tree)
void visit(IntType tree)
void visit(SelectorBase tree)
void visit(StringLiteral tree)
void visit(StringType tree)
void visit(ForallFormula tree)
void visit(LoopStatementBase 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(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(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(SimilarFormula 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(SelectorExpression tree)
void visit(SelectorIdentifier tree)
void visit(SelectorIndex tree)
void visit(SelectorNumber 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(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)