fmrisc.ProgramExplorer.Syntax
Interface ASTVisitor2

All Known Implementing Classes:
ASTVisitorBase2

public interface ASTVisitor2

Interface to abstract syntax tree visitors (revised version).


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

Method Detail

visit

boolean visit(AST tree)
Visit an abstract syntax tree.

Parameters:
tree - the node of the abstract syntax tree that is visited.
Returns:
true iff no visit of child nodes is required any more.

visit

boolean visit(AndExpression tree)

visit

boolean visit(AndFormula tree)

visit

boolean visit(ApplicationExpression tree)

visit

boolean visit(ArrayTerm tree)

visit

boolean visit(AssertionStatement tree)

visit

boolean visit(AssignCallStatement tree)

visit

boolean visit(AssignmentStatement tree)

visit

boolean visit(AssignNewStatement tree)

visit

boolean visit(ASTLogicBase tree)

visit

boolean visit(ASTProgramAnnotatedBase tree)

visit

boolean visit(ASTProgramBase tree)

visit

boolean visit(ASTSourceBase tree)

visit

boolean visit(AtomicFormula tree)

visit

boolean visit(AtomicType tree)

visit

boolean visit(AxiomDefinition tree)

visit

boolean visit(BinaryAtomicFormula tree)

visit

boolean visit(BinaryExpression tree)

visit

boolean visit(BinaryFormula tree)

visit

boolean visit(BinaryTerm tree)

visit

boolean visit(BinaryValueExpression tree)

visit

boolean visit(BlockStatement tree)

visit

boolean visit(BreakStatement tree)

visit

boolean visit(CallStatement tree)

visit

boolean visit(CharLiteral tree)

visit

boolean visit(CharType tree)

visit

boolean visit(ClassDeclaration tree)

visit

boolean visit(ClassImport tree)

visit

boolean visit(ClassMethodDeclaration tree)

visit

boolean visit(ClassSpec tree)

visit

boolean visit(ClassVariableDeclaration tree)

visit

boolean visit(CompilationUnitBase tree)

visit

boolean visit(ConditionalStatement tree)

visit

boolean visit(Constant tree)

visit

boolean visit(ConstructorDeclaration tree)

visit

boolean visit(ContinueStatement tree)

visit

boolean visit(DeclCallStatement tree)

visit

boolean visit(DeclNewStatement tree)

visit

boolean visit(DefinitionBase tree)

visit

boolean visit(DividesExpression tree)

visit

boolean visit(DividesTerm tree)

visit

boolean visit(EmptyStatement tree)

visit

boolean visit(EqualsExpression tree)

visit

boolean visit(EqualsFormula tree)

visit

boolean visit(EquivalentFormula tree)

visit

boolean visit(ExceptionType tree)

visit

boolean visit(ExistsFormula tree)

visit

boolean visit(ExpressionBase tree)

visit

boolean visit(False tree)

visit

boolean visit(ArrayType tree)

visit

boolean visit(BooleanLiteral tree)

visit

boolean visit(BooleanType tree)

visit

boolean visit(DeclarationBase tree)

visit

boolean visit(IntLiteral tree)

visit

boolean visit(IntType tree)

visit

boolean visit(SelectorBase tree)

visit

boolean visit(StringLiteral tree)

visit

boolean visit(StringType tree)

visit

boolean visit(ArrayType tree)

visit

boolean visit(BooleanLiteral tree)

visit

boolean visit(BooleanType tree)

visit

boolean visit(DeclarationBase tree)

visit

boolean visit(IntLiteral tree)

visit

boolean visit(IntType tree)

visit

boolean visit(SelectorBase tree)

visit

boolean visit(StringLiteral tree)

visit

boolean visit(StringType tree)

visit

boolean visit(ForallFormula tree)

visit

boolean visit(LoopStatementBase tree)

visit

boolean visit(ForLoopStatement tree)

visit

boolean visit(FormulaBase tree)

visit

boolean visit(FormulaDefinition tree)

visit

boolean visit(FunctionApplication tree)

visit

boolean visit(FunctionType tree)

visit

boolean visit(GlobalVariableDeclaration tree)

visit

boolean visit(GreaterEqualExpression tree)

visit

boolean visit(GreaterEqualFormula tree)

visit

boolean visit(GreaterExpression tree)

visit

boolean visit(GreaterFormula tree)

visit

boolean visit(Handler tree)

visit

boolean visit(Identifier tree)

visit

boolean visit(IdentifierSelector tree)

visit

boolean visit(IfThenElseExpression tree)

visit

boolean visit(IfThenElseFormula tree)

visit

boolean visit(IfThenElseTerm tree)

visit

boolean visit(ImpliesFormula tree)

visit

boolean visit(ImportBase tree)

visit

boolean visit(IndexSelector tree)

visit

boolean visit(LambdaFormula tree)

visit

boolean visit(LambdaTerm tree)

visit

boolean visit(LeftValue tree)

visit

boolean visit(LessEqualExpression tree)

visit

boolean visit(LessEqualFormula tree)

visit

boolean visit(LessExpression tree)

visit

boolean visit(LessFormula tree)

visit

boolean visit(LetExpression tree)

visit

boolean visit(LetFormula tree)

visit

boolean visit(LetTerm tree)

visit

boolean visit(LoopSpec tree)

visit

boolean visit(MessageSelector tree)

visit

boolean visit(MethodDeclaration tree)

visit

boolean visit(MethodSpec tree)

visit

boolean visit(MinusExpression tree)

visit

boolean visit(MinusTerm tree)

visit

boolean visit(Name tree)

visit

boolean visit(NamedType tree)

visit

boolean visit(NatType tree)

visit

boolean visit(NegationExpression tree)

visit

boolean visit(NegationTerm tree)

visit

boolean visit(NewArrayExpression tree)

visit

boolean visit(NewState tree)

visit

boolean visit(NewType tree)

visit

boolean visit(NotEqualsExpression tree)

visit

boolean visit(NotEqualsFormula tree)

visit

boolean visit(SimilarFormula tree)

visit

boolean visit(NotEquivalentFormula tree)

visit

boolean visit(NotExpression tree)

visit

boolean visit(NotFormula tree)

visit

boolean visit(NullLiteral tree)

visit

boolean visit(NullType tree)

visit

boolean visit(ObjectMethodDeclaration tree)

visit

boolean visit(ObjectVariableDeclaration tree)

visit

boolean visit(OldState tree)

visit

boolean visit(OrExpression tree)

visit

boolean visit(OrFormula tree)

visit

boolean visit(PackageImport tree)

visit

boolean visit(ParamDeclarationBase tree)

visit

boolean visit(Parameter tree)

visit

boolean visit(PercentExpression tree)

visit

boolean visit(PlusExpression tree)

visit

boolean visit(PlusTerm tree)

visit

boolean visit(PostfixApplication tree)

visit

boolean visit(PostfixFormula tree)

visit

boolean visit(PostfixTerm tree)

visit

boolean visit(PostVariable tree)

visit

boolean visit(PreVariable tree)

visit

boolean visit(PrimitiveType tree)

visit

boolean visit(ProgramAnnotationBase tree)

visit

boolean visit(ProgramVariableBase tree)

visit

boolean visit(QuantifiedExpression tree)

visit

boolean visit(QuantifiedFormula tree)

visit

boolean visit(QuantifiedTerm tree)

visit

boolean visit(ReadsOnlyFormula tree)

visit

boolean visit(Real0Type tree)

visit

boolean visit(RealType tree)

visit

boolean visit(RecordTerm tree)

visit

boolean visit(RecordType tree)

visit

boolean visit(Reference tree)

visit

boolean visit(ReturnStatement tree)

visit

boolean visit(SelectionTerm tree)

visit

boolean visit(SelectorExpression tree)

visit

boolean visit(SelectorIdentifier tree)

visit

boolean visit(SelectorIndex tree)

visit

boolean visit(SelectorNumber tree)

visit

boolean visit(SpecificationBase tree)

visit

boolean visit(StateBreaks tree)

visit

boolean visit(StateContinues tree)

visit

boolean visit(StateExecutes tree)

visit

boolean visit(StateLiteral tree)

visit

boolean visit(StatementBase tree)

visit

boolean visit(StatementSpec tree)

visit

boolean visit(StateMessage tree)

visit

boolean visit(StateReturns tree)

visit

boolean visit(StateThrows tree)

visit

boolean visit(StateThrowsException tree)

visit

boolean visit(StateType tree)

visit

boolean visit(StateValue tree)

visit

boolean visit(StatJudgement tree)

visit

boolean visit(SubrangeType tree)

visit

boolean visit(SubType tree)

visit

boolean visit(TermApplication tree)

visit

boolean visit(TermBase tree)

visit

boolean visit(TheoryDeclaration tree)

visit

boolean visit(ThrowStatement tree)

visit

boolean visit(TimesExpression tree)

visit

boolean visit(TimesTerm tree)

visit

boolean visit(TopDeclarationBase tree)

visit

boolean visit(True tree)

visit

boolean visit(TryCatchStatement tree)

visit

boolean visit(TupleTerm tree)

visit

boolean visit(TupleType tree)

visit

boolean visit(TypeBase tree)

visit

boolean visit(TypeDeclaration tree)

visit

boolean visit(TypeDefinition tree)

visit

boolean visit(TypedIdentifier tree)

visit

boolean visit(UnaryExpression tree)

visit

boolean visit(UnaryFormula tree)

visit

boolean visit(UnaryTerm tree)

visit

boolean visit(UnaryValueExpression tree)

visit

boolean visit(UnitSpec tree)

visit

boolean visit(UpdateTerm tree)

visit

boolean visit(ValueDeclarationClass tree)

visit

boolean visit(ValueDeclarationFormula tree)

visit

boolean visit(ValueDeclarationInitialized tree)

visit

boolean visit(ValueDefinitionClass tree)

visit

boolean visit(ValuedIdentifier tree)

visit

boolean visit(ValueExpressionBase tree)

visit

boolean visit(VariableDeclarationBase tree)

visit

boolean visit(VariableStatement tree)

visit

boolean visit(VariableValue tree)

visit

boolean visit(VoidCallStatement tree)

visit

boolean visit(VoidType tree)

visit

boolean visit(WhileLoopStatement tree)

visit

boolean visit(WritesOnlyFormula tree)