fmrisc.ProgramExplorer.Syntax
Class ASTVisitorBase2

java.lang.Object
  extended by fmrisc.ProgramExplorer.Syntax.ASTVisitorBase2
All Implemented Interfaces:
ASTVisitor2

public abstract class ASTVisitorBase2
extends java.lang.Object
implements ASTVisitor2

Base class of abstract syntax tree visitors (revised version).


Constructor Summary
ASTVisitorBase2()
           
 
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)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ASTVisitorBase2

public ASTVisitorBase2()
Method Detail

visit

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

Specified by:
visit in interface ASTVisitor2
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

public boolean visit(Name tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(StatJudgement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ASTSourceBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(Handler tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(Identifier tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(DeclarationBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(CompilationUnitBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ClassDeclaration tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(TheoryDeclaration tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(TopDeclarationBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(GlobalVariableDeclaration tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ClassVariableDeclaration tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ObjectVariableDeclaration tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ParamDeclarationBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ConstructorDeclaration tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(MethodDeclaration tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ClassMethodDeclaration tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ObjectMethodDeclaration tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(VariableDeclarationBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(Parameter tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(VariableStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(StatementBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(AssertionStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(AssignmentStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(BlockStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(BreakStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ConditionalStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ContinueStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(EmptyStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ReturnStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(TryCatchStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(LoopStatementBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ForLoopStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(WhileLoopStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(CallStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(AssignCallStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(AssignNewStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(DeclCallStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(DeclNewStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ThrowStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(VoidCallStatement tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ASTProgramBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ArrayType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ASTProgramAnnotatedBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(LeftValue tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(NamedType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(NewType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ImportBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(PackageImport tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ClassImport tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(PrimitiveType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(BooleanType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(CharType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(IntType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(NullType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(StringType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(VoidType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ExceptionType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ProgramAnnotationBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(SpecificationBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(MethodSpec tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(UnitSpec tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ClassSpec tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(LoopSpec tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(StatementSpec tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(SelectorBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(IdentifierSelector tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(IndexSelector tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(MessageSelector tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ValueExpressionBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(BooleanLiteral tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(CharLiteral tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(IntLiteral tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(NewArrayExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(NullLiteral tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(SelectorExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(StringLiteral tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(VariableValue tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(BinaryValueExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(AndExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(DividesExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(EqualsExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(GreaterEqualExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(GreaterExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(LessEqualExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(LessExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(MinusExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(NotEqualsExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(OrExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(PercentExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(PlusExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(TimesExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(UnaryValueExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(NegationExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(NotExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ASTLogicBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(TypedIdentifier tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ValuedIdentifier tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(DeclarationBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(DefinitionBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ValueDefinitionClass tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(FormulaDefinition tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(AxiomDefinition tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(TypeDeclaration tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(TypeDefinition tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ValueDeclarationClass tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ValueDeclarationFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ValueDeclarationInitialized tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ExpressionBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(Reference tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ApplicationExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(TermApplication tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(AtomicFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(FunctionApplication tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(BinaryExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(BinaryAtomicFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(EqualsFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(GreaterEqualFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(GreaterFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(LessEqualFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(LessFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(NotEqualsFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(SimilarFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(BinaryFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(AndFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(EquivalentFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ImpliesFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(NotEquivalentFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(OrFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(BinaryTerm tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(DividesTerm tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(MinusTerm tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(PlusTerm tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(TimesTerm tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(Constant tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(IntLiteral tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(StringLiteral tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(BooleanLiteral tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(True tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(False tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(StateLiteral tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(OldState tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(NewState tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(FormulaBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(WritesOnlyFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ReadsOnlyFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(IfThenElseExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(IfThenElseFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(IfThenElseTerm tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(LetExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(LetFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(LetTerm tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(PostfixApplication tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(PostfixFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(StateBreaks tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(StateContinues tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(StateExecutes tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(StateReturns tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(StateThrows tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(StateThrowsException tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(PostfixTerm tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(StateValue tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(StateMessage tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(QuantifiedExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(QuantifiedFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ForallFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ExistsFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(QuantifiedTerm tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ArrayTerm tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(LambdaTerm tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(LambdaFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(TermBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(RecordTerm tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(SelectionTerm tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(TupleTerm tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(UpdateTerm tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ProgramVariableBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(PostVariable tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(PreVariable tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(TypeBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(ArrayType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(FunctionType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(RecordType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(StateType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(SubrangeType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(SubType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(TupleType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(AtomicType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(BooleanType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(IntType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(NatType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(RealType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(Real0Type tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(StringType tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(UnaryExpression tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(UnaryFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(NotFormula tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(UnaryTerm tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(NegationTerm tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(SelectorBase tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(SelectorIdentifier tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(SelectorIndex tree)
Specified by:
visit in interface ASTVisitor2

visit

public boolean visit(SelectorNumber tree)
Specified by:
visit in interface ASTVisitor2