fmrisc.ProgramExplorer.Syntax
Interface ASTVisitor2
- All Known Implementing Classes:
- ASTVisitorBase2
public interface ASTVisitor2
Interface to abstract syntax tree visitors (revised version).
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)