fmrisc.ProgramExplorer.Syntax
Class ASTVisitorBase2
java.lang.Object
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).
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ASTVisitorBase2
public ASTVisitorBase2()
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