DefaultRacAstVisitor

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.jml4.rac
Class DefaultRacAstVisitor

java.lang.Object
  org.eclipse.jdt.internal.compiler.ASTVisitor
      org.jmlspecs.jml4.rac.DefaultRacAstVisitor

All Implemented Interfaces:: JavaAstVisitor, JmlAstVisitor, RacAstVisitor

Direct Known Subclasses:: AstDirtyBitsRestorer, AstDirtyBitsRetriever, DesugarSpec, JmlNullifier, ResolutionNullifier

public class DefaultRacAstVisitor
extends ASTVisitor
implements RacAstVisitor
extends ASTVisitor
implements RacAstVisitor

A concrete visitor class for the interface RacAstVisitor. This class provides a default implementation for each visitor method defined in the RacAstVisitor interface. The default implementation does nothing and is supposed to be overriden by subclasses.

Author:: Amritam Sarcar and Yoonsik Cheon

Constructor Summary
`DefaultRacAstVisitor()`

Method Summary
`void`	`endVisit(AllocationExpression allocationExpression, BlockScope scope)`
`void`	`endVisit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`void`	`endVisit(AnnotationMethodDeclaration annotationTypeDeclaration, ClassScope classScope)`
`void`	`endVisit(Argument argument, BlockScope scope)`
`void`	`endVisit(Argument argument, ClassScope scope)`
`void`	`endVisit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)`
`void`	`endVisit(ArrayInitializer arrayInitializer, BlockScope scope)`
`void`	`endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`void`	`endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)`
`void`	`endVisit(ArrayReference arrayReference, BlockScope scope)`
`void`	`endVisit(ArrayTypeReference arrayTypeReference, BlockScope scope)`
`void`	`endVisit(ArrayTypeReference arrayTypeReference, ClassScope scope)`
`void`	`endVisit(AssertStatement assertStatement, BlockScope scope)`
`void`	`endVisit(Assignment assignment, BlockScope scope)`
`void`	`endVisit(BinaryExpression binaryExpression, BlockScope scope)`
`void`	`endVisit(Block block, BlockScope scope)`
`void`	`endVisit(BreakStatement breakStatement, BlockScope scope)`
`void`	`endVisit(CaseStatement caseStatement, BlockScope scope)`
`void`	`endVisit(CastExpression castExpression, BlockScope scope)`
`void`	`endVisit(CharLiteral charLiteral, BlockScope scope)`
`void`	`endVisit(ClassLiteralAccess classLiteral, BlockScope scope)`
`void`	`endVisit(Clinit clinit, ClassScope scope)`
`void`	`endVisit(CombinedBinaryExpression combinedBinaryExpression, BlockScope scope)`
`void`	`endVisit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)`
`void`	`endVisit(CompoundAssignment compoundAssignment, BlockScope scope)`
`void`	`endVisit(ConditionalExpression conditionalExpression, BlockScope scope)`
`void`	`endVisit(ConstructorDeclaration constructorDeclaration, ClassScope scope)`
`void`	`endVisit(ContinueStatement continueStatement, BlockScope scope)`
`void`	`endVisit(DoStatement doStatement, BlockScope scope)`
`void`	`endVisit(DoubleLiteral doubleLiteral, BlockScope scope)`
`void`	`endVisit(EmptyStatement emptyStatement, BlockScope scope)`
`void`	`endVisit(EqualExpression equalExpression, BlockScope scope)`
`void`	`endVisit(ExplicitConstructorCall explicitConstructor, BlockScope scope)`
`void`	`endVisit(ExtendedStringLiteral extendedStringLiteral, BlockScope scope)`
`void`	`endVisit(FalseLiteral falseLiteral, BlockScope scope)`
`void`	`endVisit(FieldDeclaration fieldDeclaration, MethodScope scope)`
`void`	`endVisit(FieldReference fieldReference, BlockScope scope)`
`void`	`endVisit(FieldReference fieldReference, ClassScope scope)`
`void`	`endVisit(FloatLiteral floatLiteral, BlockScope scope)`
`void`	`endVisit(ForeachStatement forStatement, BlockScope scope)`
`void`	`endVisit(ForStatement forStatement, BlockScope scope)`
`void`	`endVisit(IfStatement ifStatement, BlockScope scope)`
`void`	`endVisit(ImportReference importRef, CompilationUnitScope scope)`
`void`	`endVisit(Initializer initializer, MethodScope scope)`
`void`	`endVisit(InstanceOfExpression instanceOfExpression, BlockScope scope)`
`void`	`endVisit(IntLiteral intLiteral, BlockScope scope)`
`void`	`endVisit(JmlAllocationExpression allocationExpression, BlockScope scope)`
`void`	`endVisit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`void`	`endVisit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)`
`void`	`endVisit(JmlArrayReference arrayReference, BlockScope scope)`
`void`	`endVisit(JmlArrayTypeReference arrayTypeReference, BlockScope scope)`
`void`	`endVisit(JmlArrayTypeReference arrayTypeReference, ClassScope scope)`
`void`	`endVisit(JmlAssertOrAssumeStatement assertOrAssumeStatement, BlockScope scope)`
`void`	`endVisit(JmlAssertStatement assertStatement, BlockScope scope)`
`void`	`endVisit(JmlAssignableClause jmlAssignableClause, BlockScope scope)`
`void`	`endVisit(JmlAssignment assignment, BlockScope scope)`
`void`	`endVisit(JmlAssumeStatement assertStatement, BlockScope scope)`
`void`	`endVisit(JmlCastExpression castExpression, BlockScope scope)`
`void`	`endVisit(JmlCastExpressionWithoutType castExpression, BlockScope scope)`
`void`	`endVisit(JmlClause jmlClause, BlockScope scope)`
`void`	`endVisit(JmlClinit clinit, ClassScope scope)`
`void`	`endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)`
`void`	`endVisit(JmlConditionalExpression conditionalExpression, BlockScope scope)`
`void`	`endVisit(JmlConstraintClause jmlConstraintClause, BlockScope scope)`
`void`	`endVisit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)`
`void`	`endVisit(JmlDoStatement doStatement, BlockScope scope)`
`void`	`endVisit(JmlEnsuresClause ensuresClause, BlockScope scope)`
`void`	`endVisit(JmlFieldDeclaration fieldDeclaration, MethodScope scope)`
`void`	`endVisit(JmlFieldReference fieldReference, BlockScope scope)`
`void`	`endVisit(JmlFieldReference fieldReference, ClassScope scope)`
`void`	`endVisit(JmlForStatement forStatement, BlockScope scope)`
`void`	`endVisit(JmlInitiallyClause jmlInitiallyClause, CompilationUnitScope scope)`
`void`	`endVisit(JmlInvariantForType jmlInvariantForType, CompilationUnitScope scope)`
`void`	`endVisit(JmlLocalDeclaration localDeclaration, BlockScope scope)`
`void`	`endVisit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`void`	`endVisit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)`
`void`	`endVisit(JmlLoopVariant jmlLoopVariant, BlockScope scope)`
`void`	`endVisit(JmlMessageSend messageSend, BlockScope scope)`
`void`	`endVisit(JmlMethodDeclaration methodDeclaration, ClassScope scope)`
`void`	`endVisit(JmlMethodSpecification jmlMethodSpecification, ClassScope classScope)`
`void`	`endVisit(JmlOldExpression jmlOldExpression, BlockScope scope)`
`void`	`endVisit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`void`	`endVisit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)`
`void`	`endVisit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`void`	`endVisit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)`
`void`	`endVisit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)`
`void`	`endVisit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)`
`void`	`endVisit(JmlQualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`void`	`endVisit(JmlQualifiedTypeReference qualifiedTypeReference, ClassScope scope)`
`void`	`endVisit(JmlQuantifiedExpression jmlQuantifiedExpression, BlockScope blockScope)`
`void`	`endVisit(JmlRepresentsClause representsClause, CompilationUnitScope scope)`
`void`	`endVisit(JmlRequiresClause requiresClause, BlockScope scope)`
`void`	`endVisit(JmlResultReference resultReference, BlockScope scope)`
`void`	`endVisit(JmlReturnStatement returnStatement, BlockScope scope)`
`boolean`	`endVisit(JmlSetStatement jmlSetStatement, BlockScope scope)`
`void`	`endVisit(JmlSignalsClause jmlSignalsClause, BlockScope scope)`
`void`	`endVisit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)`
`void`	`endVisit(JmlSingleNameReference singleNameReference, BlockScope scope)`
`void`	`endVisit(JmlSingleNameReference singleNameReference, ClassScope scope)`
`void`	`endVisit(JmlSingleTypeReference singleTypeReference, BlockScope scope)`
`void`	`endVisit(JmlSingleTypeReference singleTypeReference, ClassScope scope)`
`void`	`endVisit(JmlTypeBodyDeclaration jmlTypeDecle, BlockScope scope)`
`void`	`endVisit(JmlTypeDeclaration typeDecle, CompilationUnitScope scope)`
`void`	`endVisit(JmlUnaryExpression unaryExpression, BlockScope scope)`
`void`	`endVisit(JmlWhileStatement whileStatement, BlockScope scope)`
`void`	`endVisit(JmlWildcard wildcard, BlockScope scope)`
`void`	`endVisit(JmlWildcard wildcard, ClassScope scope)`
`void`	`endVisit(LabeledStatement labeledStatement, BlockScope scope)`
`void`	`endVisit(LocalDeclaration localDeclaration, BlockScope scope)`
`void`	`endVisit(LongLiteral longLiteral, BlockScope scope)`
`void`	`endVisit(MarkerAnnotation annotation, BlockScope scope)`
`void`	`endVisit(MemberValuePair pair, BlockScope scope)`
`void`	`endVisit(MessageSend messageSend, BlockScope scope)`
`void`	`endVisit(MethodDeclaration methodDeclaration, ClassScope scope)`
`void`	`endVisit(NormalAnnotation annotation, BlockScope scope)`
`void`	`endVisit(NullLiteral nullLiteral, BlockScope scope)`
`void`	`endVisit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`void`	`endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`void`	`endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)`
`void`	`endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`void`	`endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)`
`void`	`endVisit(PostfixExpression postfixExpression, BlockScope scope)`
`void`	`endVisit(PrefixExpression prefixExpression, BlockScope scope)`
`void`	`endVisit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)`
`void`	`endVisit(QualifiedNameReference qualifiedNameReference, BlockScope scope)`
`void`	`endVisit(QualifiedNameReference qualifiedNameReference, ClassScope scope)`
`void`	`endVisit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)`
`void`	`endVisit(QualifiedSuperReference qualifiedSuperReference, ClassScope scope)`
`void`	`endVisit(QualifiedThisReference qualifiedThisReference, BlockScope scope)`
`void`	`endVisit(QualifiedThisReference qualifiedThisReference, ClassScope scope)`
`void`	`endVisit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`void`	`endVisit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)`
`void`	`endVisit(ReturnStatement returnStatement, BlockScope scope)`
`void`	`endVisit(SingleMemberAnnotation annotation, BlockScope scope)`
`void`	`endVisit(SingleNameReference singleNameReference, BlockScope scope)`
`void`	`endVisit(SingleNameReference singleNameReference, ClassScope scope)`
`void`	`endVisit(SingleTypeReference singleTypeReference, BlockScope scope)`
`void`	`endVisit(SingleTypeReference singleTypeReference, ClassScope scope)`
`void`	`endVisit(StringLiteral stringLiteral, BlockScope scope)`
`void`	`endVisit(StringLiteralConcatenation literal, BlockScope scope)`
`void`	`endVisit(SuperReference superReference, BlockScope scope)`
`void`	`endVisit(SwitchStatement switchStatement, BlockScope scope)`
`void`	`endVisit(SynchronizedStatement synchronizedStatement, BlockScope scope)`
`void`	`endVisit(ThisReference thisReference, BlockScope scope)`
`void`	`endVisit(ThisReference thisReference, ClassScope scope)`
`void`	`endVisit(ThrowStatement throwStatement, BlockScope scope)`
`void`	`endVisit(TrueLiteral trueLiteral, BlockScope scope)`
`void`	`endVisit(TryStatement tryStatement, BlockScope scope)`
`void`	`endVisit(TypeDeclaration localTypeDeclaration, BlockScope scope)`
`void`	`endVisit(TypeDeclaration memberTypeDeclaration, ClassScope scope)`
`void`	`endVisit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)`
`void`	`endVisit(TypeParameter typeParameter, BlockScope scope)`
`void`	`endVisit(TypeParameter typeParameter, ClassScope scope)`
`void`	`endVisit(UnaryExpression unaryExpression, BlockScope scope)`
`void`	`endVisit(WhileStatement whileStatement, BlockScope scope)`
`void`	`endVisit(Wildcard wildcard, BlockScope scope)`
`void`	`endVisit(Wildcard wildcard, ClassScope scope)`
`boolean`	`visit(AllocationExpression allocationExpression, BlockScope scope)` Used to allocate new objects.
`boolean`	`visit(AND_AND_Expression and_and_Expression, BlockScope scope)` Expressions separated by the 'AND' operator.
`boolean`	`visit(AnnotationMethodDeclaration annotationTypeDeclaration, ClassScope classScope)`
`boolean`	`visit(Argument argument, BlockScope scope)` Examples include:
`boolean`	`visit(Argument argument, ClassScope scope)`
`boolean`	`visit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)` An allocation expression that contains square brackets to create an array.
`boolean`	`visit(ArrayInitializer arrayInitializer, BlockScope scope)` Expression that contains elements with different initial values, at the end of the allocation expression.
`boolean`	`visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)` An array type which has a fully qualified name/type associated with it.
`boolean`	`visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)`
`boolean`	`visit(ArrayReference arrayReference, BlockScope scope)` Referencing a particular array location.
`boolean`	`visit(ArrayTypeReference arrayTypeReference, BlockScope scope)` Referencing an array type.
`boolean`	`visit(ArrayTypeReference arrayTypeReference, ClassScope scope)`
`boolean`	`visit(AssertStatement assertStatement, BlockScope scope)` Statement that is used to test an assumption is true or false.
`boolean`	`visit(Assignment assignment, BlockScope scope)` Statement that assigns a value to another variable.
`boolean`	`visit(BinaryExpression binaryExpression, BlockScope scope)` Expressions containing left and right expressions combined by a binary operator.
`boolean`	`visit(Block block, BlockScope scope)` Sequence of statements within braces.
`boolean`	`visit(BreakStatement breakStatement, BlockScope scope)` Used to transfer control out of an enclosing statement.
`boolean`	`visit(CaseStatement caseStatement, BlockScope scope)` Examples include:
`boolean`	`visit(CastExpression castExpression, BlockScope scope)` Expression that converts one type to the other type.
`boolean`	`visit(CharLiteral charLiteral, BlockScope scope)` Is a representation of a fixed value of type char.
`boolean`	`visit(ClassLiteralAccess classLiteral, BlockScope scope)` An expression consisting of the name of a class, interface, array, or primitive type followed by `.' and the token class.
`boolean`	`visit(Clinit clinit, ClassScope scope)` Class and interface initialization method that are called implicitly by the Java Virtual Machine.
`boolean`	`visit(CombinedBinaryExpression combinedBinaryExpression, BlockScope scope)`
`boolean`	`visit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)`
`boolean`	`visit(CompoundAssignment compoundAssignment, BlockScope scope)` Assignment statements which compute and assign at the same time.
`boolean`	`visit(ConditionalExpression conditionalExpression, BlockScope scope)` A compound expression that contains a condition, an expression to be evaluated if the condition evaluates to true, and an expression to be evaluated if the condition has the value false.
`boolean`	`visit(ConstructorDeclaration constructorDeclaration, ClassScope scope)` A method declaration which is a constructor.
`boolean`	`visit(ContinueStatement continueStatement, BlockScope scope)` Passes control to the loop-continuation point of an iteration statement.
`boolean`	`visit(DoStatement doStatement, BlockScope scope)` Iterative statement that iterates atleast once.
`boolean`	`visit(DoubleLiteral doubleLiteral, BlockScope scope)` Literal signifying a double type.
`boolean`	`visit(EmptyStatement emptyStatement, BlockScope scope)` Statement that performs no action and obviously has no effect.
`boolean`	`visit(EqualExpression equalExpression, BlockScope scope)` Expression that checks for equality.
`boolean`	`visit(ExplicitConstructorCall explicitConstructor, BlockScope scope)` A constructor call that calls a parameterized constructor instead of the default constructor.
`boolean`	`visit(ExtendedStringLiteral extendedStringLiteral, BlockScope scope)` Occurs when two or more string literals are concatenated.
`boolean`	`visit(FalseLiteral falseLiteral, BlockScope scope)` Expression that contains a false literal.
`boolean`	`visit(FieldDeclaration fieldDeclaration, MethodScope scope)` Examples include:
`boolean`	`visit(FieldReference fieldReference, BlockScope scope)` Referencing a field of a class.
`boolean`	`visit(FieldReference fieldReference, ClassScope scope)`
`boolean`	`visit(FloatLiteral floatLiteral, BlockScope scope)` Literal signifying a float type.
`boolean`	`visit(ForeachStatement forStatement, BlockScope scope)` Enhanced version of the for loop to make iteration over arrays and other collections more convenient.
`boolean`	`visit(ForStatement forStatement, BlockScope scope)` Provides a compact-form to iterate over a range of values.
`boolean`	`visit(IfStatement ifStatement, BlockScope scope)` Control-flow statement that executes a portion of code only if condition is evaluated to true.
`boolean`	`visit(ImportReference importRef, CompilationUnitScope scope)` Statement used to reference classes and interfaces declared in other packages.
`boolean`	`visit(Initializer initializer, MethodScope scope)` A normal block of code used to initialize fields.
`boolean`	`visit(InstanceOfExpression instanceOfExpression, BlockScope scope)` Expression containing the instanceof operator.
`boolean`	`visit(IntLiteral intLiteral, BlockScope scope)` Literal signifying integer type.
`boolean`	`visit(JmlAllocationExpression allocationExpression, BlockScope scope)`
`boolean`	`visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`boolean`	`visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)`
`boolean`	`visit(JmlArrayReference arrayReference, BlockScope scope)`
`boolean`	`visit(JmlArrayTypeReference arrayTypeReference, BlockScope scope)`
`boolean`	`visit(JmlArrayTypeReference arrayTypeReference, ClassScope scope)`
`boolean`	`visit(JmlAssertOrAssumeStatement assertOrAssumeStatement, BlockScope scope)`
`boolean`	`visit(JmlAssertStatement assertStatement, BlockScope scope)` Inside an annotation, an assert statement is JML assert statement.
`boolean`	`visit(JmlAssignableClause jmlAssignableClause, BlockScope scope)` Gives a frame axiom for a specification.
`boolean`	`visit(JmlAssignment assignment, BlockScope scope)`
`boolean`	`visit(JmlAssumeStatement assertStatement, BlockScope scope)` Statements which are assumed to be true (in static analysis tools).
`boolean`	`visit(JmlCastExpression castExpression, BlockScope scope)`
`boolean`	`visit(JmlCastExpressionWithoutType castExpression, BlockScope scope)`
`boolean`	`visit(JmlClause jmlClause, BlockScope scope)`
`boolean`	`visit(JmlClinit clinit, ClassScope scope)`
`boolean`	`visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)`
`boolean`	`visit(JmlConditionalExpression conditionalExpression, BlockScope scope)`
`boolean`	`visit(JmlConstraintClause jmlConstraintClause, BlockScope scope)` Are relationships that should hold for the combination of each visible state and any visible state that occurs later in the program�s execution.
`boolean`	`visit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)`
`boolean`	`visit(JmlDoStatement doStatement, BlockScope scope)`
`boolean`	`visit(JmlEnsuresClause ensuresClause, BlockScope scope)` An ensures clause specifies a normal postcondition, i.e., a property that is guaranteed to hold at the end of the method (or constructor) invocation in the case that this method (or constructor) invocation returns without throwing an exception.
`boolean`	`visit(JmlFieldDeclaration fieldDeclaration, MethodScope scope)`
`boolean`	`visit(JmlFieldReference fieldReference, BlockScope scope)`
`boolean`	`visit(JmlFieldReference fieldReference, ClassScope scope)`
`boolean`	`visit(JmlForStatement forStatement, BlockScope scope)`
`boolean`	`visit(JmlInitiallyClause jmlInitiallyClause, CompilationUnitScope scope)` Is used to specify the initial state of model fields.
`boolean`	`visit(JmlInvariantForType jmlInvariantForType, CompilationUnitScope scope)` Properties that have to hold in all visible states.
`boolean`	`visit(JmlLocalDeclaration localDeclaration, BlockScope scope)`
`boolean`	`visit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`boolean`	`visit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)` Is used to help prove partial correctness of a loop statement.
`boolean`	`visit(JmlLoopVariant jmlLoopVariant, BlockScope scope)` Is used to help prove termination of a loop statement.
`boolean`	`visit(JmlMessageSend messageSend, BlockScope scope)`
`boolean`	`visit(JmlMethodDeclaration methodDeclaration, ClassScope scope)`
`boolean`	`visit(JmlMethodSpecification jmlMethodSpecification, ClassScope classScope)`
`boolean`	`visit(JmlOldExpression jmlOldExpression, BlockScope scope)` Refers to the value that the expression had in the pre-state of a method.
`boolean`	`visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`boolean`	`visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)`
`boolean`	`visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`boolean`	`visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)`
`boolean`	`visit(JmlQualifiedNameReference qualifiedNameReference, BlockScope scope)`
`boolean`	`visit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)`
`boolean`	`visit(JmlQualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`boolean`	`visit(JmlQualifiedTypeReference qualifiedTypeReference, ClassScope scope)`
`boolean`	`visit(JmlQuantifiedExpression jmlQuantifiedExpression, BlockScope blockScope)`
`boolean`	`visit(JmlRepresentsClause representsClause, CompilationUnitScope scope)` The first form of represents clauses (with <- or =) is called a functional abstraction.
`boolean`	`visit(JmlRequiresClause requiresClause, BlockScope scope)` Specifies a precondition of method or constructor.
`boolean`	`visit(JmlResultReference resultReference, BlockScope scope)` The primary \result can only be used in non-void method.
`boolean`	`visit(JmlReturnStatement returnStatement, BlockScope scope)`
`boolean`	`visit(JmlSetStatement jmlSetStatement, BlockScope scope)` Is the equivalent of an assignment statement but is within an annotation.
`boolean`	`visit(JmlSignalsClause jmlSignalsClause, BlockScope scope)` Specifies the exceptional or abnormal postcondition, i.e., the property that is guaranteed to hold at the end of a method (or constructor) invocation when this method (or constructor) invocation terminates abruptly by throwing a given exception.
`boolean`	`visit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)` Is an abbreviation for a signals-clause that specifies what exceptions may be thrown by a method, and thus, implicitly, what exceptions may not be thrown.
`boolean`	`visit(JmlSingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`visit(JmlSingleNameReference singleNameReference, ClassScope scope)`
`boolean`	`visit(JmlSingleTypeReference singleTypeReference, BlockScope scope)`
`boolean`	`visit(JmlSingleTypeReference singleTypeReference, ClassScope scope)`
`boolean`	`visit(JmlTypeBodyDeclaration jmlTypeDecle, BlockScope scope)`
`boolean`	`visit(JmlTypeDeclaration typeDecle, CompilationUnitScope scope)`
`boolean`	`visit(JmlUnaryExpression unaryExpression, BlockScope scope)`
`boolean`	`visit(JmlWhileStatement whileStatement, BlockScope scope)`
`boolean`	`visit(JmlWildcard wildcard, BlockScope scope)`
`boolean`	`visit(JmlWildcard wildcard, ClassScope scope)`
`boolean`	`visit(LabeledStatement labeledStatement, BlockScope scope)` A statement which has a label followed by statements.
`boolean`	`visit(LocalDeclaration localDeclaration, BlockScope scope)` Declaration within a method body.
`boolean`	`visit(LongLiteral longLiteral, BlockScope scope)` Literal that are of long type.
`boolean`	`visit(MarkerAnnotation annotation, BlockScope scope)`
`boolean`	`visit(MemberValuePair pair, BlockScope scope)`
`boolean`	`visit(MessageSend messageSend, BlockScope scope)` Calling a method.
`boolean`	`visit(MethodDeclaration methodDeclaration, ClassScope scope)` Declaration of a method.
`boolean`	`visit(NormalAnnotation annotation, BlockScope scope)`
`boolean`	`visit(NullLiteral nullLiteral, BlockScope scope)` Expression that contains the null keyword.
`boolean`	`visit(OR_OR_Expression or_or_Expression, BlockScope scope)` Expressions that contain an 'or' short-circuit operator.
`boolean`	`visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)` Specifying a particular type (fully qualified name) at compile time to allow a specific, single object.
`boolean`	`visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)`
`boolean`	`visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)` Specifying a particular type at compile time to allow a specific, single object.
`boolean`	`visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)`
`boolean`	`visit(PostfixExpression postfixExpression, BlockScope scope)` Expressions involving prefix operators.
`boolean`	`visit(PrefixExpression prefixExpression, BlockScope scope)` Expressions involving prefix operators.
`boolean`	`visit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)` Allocation of an anonymous Type.
`boolean`	`visit(QualifiedNameReference qualifiedNameReference, BlockScope scope)` Referencing a name using full qualified name.
`boolean`	`visit(QualifiedNameReference qualifiedNameReference, ClassScope scope)`
`boolean`	`visit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)` Is used in a subclass to access overridden/inherited methods using fully qualified name.
`boolean`	`visit(QualifiedSuperReference qualifiedSuperReference, ClassScope scope)`
`boolean`	`visit(QualifiedThisReference qualifiedThisReference, BlockScope scope)` Referencing to the current object using fully qualified name � the object whose method or constructor is being called.
`boolean`	`visit(QualifiedThisReference qualifiedThisReference, ClassScope scope)`
`boolean`	`visit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)` Referencing a particular type with fully qualified name.
`boolean`	`visit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)`
`boolean`	`visit(ReturnStatement returnStatement, BlockScope scope)` Statement that returns a value from a method.
`boolean`	`visit(SingleMemberAnnotation annotation, BlockScope scope)`
`boolean`	`visit(SingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`visit(SingleNameReference singleNameReference, ClassScope scope)`
`boolean`	`visit(SingleTypeReference singleTypeReference, BlockScope scope)` Referencing a type.
`boolean`	`visit(SingleTypeReference singleTypeReference, ClassScope scope)`
`boolean`	`visit(StringLiteral stringLiteral, BlockScope scope)` Anything enclosed within double-quotes.
`boolean`	`visit(StringLiteralConcatenation literal, BlockScope scope)`
`boolean`	`visit(SuperReference superReference, BlockScope scope)` Used in the definitions of instance methods.
`boolean`	`visit(SwitchStatement switchStatement, BlockScope scope)` A statement involving switch-case block.
`boolean`	`visit(SynchronizedStatement synchronizedStatement, BlockScope scope)` Used to acquire a mutual-exclusion lock on behalf of the executing thread, executes a block, then releases the lock.
`boolean`	`visit(ThisReference thisReference, BlockScope scope)` A reference to the current object � the object whose method or constructor is being called.
`boolean`	`visit(ThisReference thisReference, ClassScope scope)`
`boolean`	`visit(ThrowStatement throwStatement, BlockScope scope)` Used to throw an exception.
`boolean`	`visit(TrueLiteral trueLiteral, BlockScope scope)` Expression that contains the true keyword.
`boolean`	`visit(TryStatement tryStatement, BlockScope scope)` Statement denoting a try-catch block.
`boolean`	`visit(TypeDeclaration localTypeDeclaration, BlockScope scope)` Declaring an inner type within a method body.
`boolean`	`visit(TypeDeclaration memberTypeDeclaration, ClassScope scope)` Declaring an inner type within a class/interface.
`boolean`	`visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)`
`boolean`	`visit(TypeParameter typeParameter, BlockScope scope)`
`boolean`	`visit(TypeParameter typeParameter, ClassScope scope)`
`boolean`	`visit(UnaryExpression unaryExpression, BlockScope scope)` Expressions having unary operators.
`boolean`	`visit(WhileStatement whileStatement, BlockScope scope)` A loop that is continuously iterated while the a particular condition is true.
`boolean`	`visit(Wildcard wildcard, BlockScope scope)`
`boolean`	`visit(Wildcard wildcard, ClassScope scope)`

Methods inherited from class org.eclipse.jdt.internal.compiler.ASTVisitor
acceptProblem, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class org.eclipse.jdt.internal.compiler.ASTVisitor

acceptProblem, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object
`equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Methods inherited from interface org.jmlspecs.jml4.rac.JmlAstVisitor
`endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit`

Constructor Detail

DefaultRacAstVisitor

public DefaultRacAstVisitor()

Method Detail

visit

public boolean visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: ArrayQualifiedTypeReference

endVisit

public void endVisit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlArrayQualifiedTypeReference

visit

public boolean visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference,
                     ClassScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: JmlArrayQualifiedTypeReference

endVisit

public void endVisit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference,
                     ClassScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlArrayQualifiedTypeReference

visit

public boolean visit(JmlArrayReference arrayReference,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: ArrayReference

endVisit

public void endVisit(JmlArrayReference arrayReference,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlArrayReference

visit

public boolean visit(JmlArrayTypeReference arrayTypeReference,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: ArrayTypeReference

endVisit

public void endVisit(JmlArrayTypeReference arrayTypeReference,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlArrayTypeReference

visit

public boolean visit(JmlArrayTypeReference arrayTypeReference,
                     ClassScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: JmlArrayTypeReference

endVisit

public void endVisit(JmlArrayTypeReference arrayTypeReference,
                     ClassScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlArrayTypeReference

visit

public boolean visit(JmlAssertStatement assertStatement,
                     BlockScope scope)

Description copied from interface: JmlAstVisitor

Inside an annotation, an assert statement is JML assert statement. An assert statements tells JML to check that the specified predicate is true at the given point in the program. Examples include:

 //@ assert 0 < x;
 //@ assert false;

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: AssertStatement

endVisit

public void endVisit(JmlAssertStatement assertStatement,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlAssertStatement

visit

public boolean visit(JmlAssumeStatement assertStatement,
                     BlockScope scope)

Description copied from interface: JmlAstVisitor

Statements which are assumed to be true (in static analysis tools). For RAC, they are checked the same way as in JmlAssertStatement. Examples include:

 //@ assume x == 3;
 //@ assume 0 < x;

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: JmlAssertStatement

endVisit

public void endVisit(JmlAssumeStatement assertStatement,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlAssumeStatement

visit

public boolean visit(JmlAssignment assignment,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: Assignment

endVisit

public void endVisit(JmlAssignment assignment,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlAssignment

visit

public boolean visit(JmlCastExpression castExpression,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: CastExpression

endVisit

public void endVisit(JmlCastExpression castExpression,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlCastExpression

visit

public boolean visit(JmlCastExpressionWithoutType castExpression,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlCastExpressionWithoutType castExpression,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

visit

public boolean visit(JmlCompilationUnitDeclaration compilationUnitDeclaration,
                     CompilationUnitScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration,
                     CompilationUnitScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

visit

public boolean visit(JmlConstructorDeclaration constructorDeclaration,
                     ClassScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: ConstructorDeclaration

endVisit

public void endVisit(JmlConstructorDeclaration constructorDeclaration,
                     ClassScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlConstructorDeclaration

visit

public boolean visit(JmlEnsuresClause ensuresClause,
                     BlockScope scope)

Description copied from interface: JmlAstVisitor

An ensures clause specifies a normal postcondition, i.e., a property that is guaranteed to hold at the end of the method (or constructor) invocation in the case that this method (or constructor) invocation returns without throwing an exception. Examples include:

 //@ ensures x == 5;
 //@ ensures x > 0 && x != 2;

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlEnsuresClause ensuresClause,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlEnsuresClause

visit

public boolean visit(JmlFieldDeclaration fieldDeclaration,
                     MethodScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: FieldDeclaration

endVisit

public void endVisit(JmlFieldDeclaration fieldDeclaration,
                     MethodScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlFieldDeclaration

visit

public boolean visit(JmlFieldReference fieldReference,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: FieldReference

endVisit

public void endVisit(JmlFieldReference fieldReference,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlFieldReference

visit

public boolean visit(JmlFieldReference fieldReference,
                     ClassScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: JmlFieldReference

endVisit

public void endVisit(JmlFieldReference fieldReference,
                     ClassScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlFieldReference

visit

public boolean visit(JmlLocalDeclaration localDeclaration,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: LocalDeclaration

endVisit

public void endVisit(JmlLocalDeclaration localDeclaration,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlLocalDeclaration

visit

public boolean visit(JmlMessageSend messageSend,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: MessageSend

endVisit

public void endVisit(JmlMessageSend messageSend,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlMessageSend

visit

public boolean visit(JmlMethodDeclaration methodDeclaration,
                     ClassScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: MethodDeclaration

endVisit

public void endVisit(JmlMethodDeclaration methodDeclaration,
                     ClassScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlMethodDeclaration

visit

public boolean visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: ParameterizedQualifiedTypeReference

endVisit

public void endVisit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlParameterizedQualifiedTypeReference

visit

public boolean visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference,
                     ClassScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: JmlParameterizedQualifiedTypeReference

endVisit

public void endVisit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference,
                     ClassScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlParameterizedQualifiedTypeReference

visit

public boolean visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: ParameterizedSingleTypeReference

endVisit

public void endVisit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlParameterizedSingleTypeReference

visit

public boolean visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference,
                     ClassScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: JmlParameterizedSingleTypeReference

endVisit

public void endVisit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference,
                     ClassScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlParameterizedSingleTypeReference

visit

public boolean visit(JmlQualifiedNameReference qualifiedNameReference,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: QualifiedNameReference

endVisit

public void endVisit(JmlQualifiedNameReference qualifiedNameReference,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlQualifiedNameReference

visit

public boolean visit(JmlQualifiedNameReference qualifiedNameReference,
                     ClassScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: JmlQualifiedNameReference

endVisit

public void endVisit(JmlQualifiedNameReference qualifiedNameReference,
                     ClassScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlQualifiedNameReference

visit

public boolean visit(JmlQualifiedTypeReference qualifiedTypeReference,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: QualifiedTypeReference

endVisit

public void endVisit(JmlQualifiedTypeReference qualifiedTypeReference,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlQualifiedTypeReference

visit

public boolean visit(JmlQualifiedTypeReference qualifiedTypeReference,
                     ClassScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: JmlQualifiedTypeReference

endVisit

public void endVisit(JmlQualifiedTypeReference qualifiedTypeReference,
                     ClassScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlQualifiedTypeReference

visit

public boolean visit(JmlQuantifiedExpression jmlQuantifiedExpression,
                     BlockScope blockScope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlQuantifiedExpression jmlQuantifiedExpression,
                     BlockScope blockScope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

visit

public boolean visit(JmlRequiresClause requiresClause,
                     BlockScope scope)

Description copied from interface: JmlAstVisitor

Specifies a precondition of method or constructor. Examples include:

 //@ requires x > 0;
 //@ requires x == 0 || x == -1;

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlRequiresClause requiresClause,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlRequiresClause

visit

public boolean visit(JmlResultReference resultReference,
                     BlockScope scope)

Description copied from interface: JmlAstVisitor

The primary \result can only be used in non-void method. Its value is the value returned by the method. Its type is the return type of the method. Examples include:

 \result <= x
 \result == x

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlResultReference resultReference,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlResultReference

visit

public boolean visit(JmlReturnStatement returnStatement,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: ReturnStatement

endVisit

public void endVisit(JmlReturnStatement returnStatement,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlReturnStatement

visit

public boolean visit(JmlSingleNameReference singleNameReference,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: SingleNameReference

endVisit

public void endVisit(JmlSingleNameReference singleNameReference,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlSingleNameReference

visit

public boolean visit(JmlSingleNameReference singleNameReference,
                     ClassScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: JmlSingleNameReference

endVisit

public void endVisit(JmlSingleNameReference singleNameReference,
                     ClassScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlSingleNameReference

visit

public boolean visit(JmlSingleTypeReference singleTypeReference,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: SingleTypeReference

endVisit

public void endVisit(JmlSingleTypeReference singleTypeReference,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlSingleTypeReference

visit

public boolean visit(JmlSingleTypeReference singleTypeReference,
                     ClassScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: JmlSingleTypeReference

endVisit

public void endVisit(JmlSingleTypeReference singleTypeReference,
                     ClassScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlSingleTypeReference

visit

public boolean visit(JmlWildcard wildcard,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlWildcard wildcard,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

visit

public boolean visit(JmlWildcard wildcard,
                     ClassScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlWildcard wildcard,
                     ClassScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

visit

public boolean visit(JmlWhileStatement whileStatement,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: WhileStatement

endVisit

public void endVisit(JmlWhileStatement whileStatement,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlWhileStatement

visit

public boolean visit(JmlLoopAnnotations jmlLoopAnnotations,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlLoopAnnotations jmlLoopAnnotations,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

visit

public boolean visit(JmlLoopInvariant jmlLoopInvariant,
                     BlockScope scope)

Description copied from interface: JmlAstVisitor

Is used to help prove partial correctness of a loop statement. The loop invariant holds at the beginning of each iteration of the loop. Informally,

 //@ maintaining J ;
 while (B) { S }

Examples include:

 //@ maintaining x > 0;
 while (x < 5) { x++; }

In this example, //@ maintaining x > 0; is a JmlLoopInvariant.

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlLoopInvariant jmlLoopInvariant,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlLoopInvariant

visit

public boolean visit(JmlLoopVariant jmlLoopVariant,
                     BlockScope scope)

Description copied from interface: JmlAstVisitor

Is used to help prove termination of a loop statement. It specifies an expression of type long or int that must be no less than 0 when the loop is executing, and must decrease by at least one (1) each time around the loop. Informally,

 //@ decreasing E;
 while (B) { S }

Examples include:

 //@ decreasing x;
 while (x != 0) { x--; }

In this example, //@ decreasing x; is a JmlLoopVariant.

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlLoopVariant jmlLoopVariant,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlLoopVariant

visit

public boolean visit(JmlOldExpression jmlOldExpression,
                     BlockScope scope)

Description copied from interface: JmlAstVisitor

Refers to the value that the expression had in the pre-state of a method. Examples include:

 \old(x) != 0;
 \pre(x) > \result;

In this example, \old(x) and \pre(x) are JmlOldExpression.

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlOldExpression jmlOldExpression,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlOldExpression

visit

public boolean visit(JmlClause jmlClause,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: JmlClause

endVisit

public void endVisit(JmlClause jmlClause,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlClause

visit

public boolean visit(JmlTypeDeclaration typeDecle,
                     CompilationUnitScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: TypeDeclaration

endVisit

public void endVisit(JmlTypeDeclaration typeDecle,
                     CompilationUnitScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlTypeDeclaration

visit

public boolean visit(JmlAllocationExpression allocationExpression,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor

See Also:: AllocationExpression

endVisit

public void endVisit(JmlAllocationExpression allocationExpression,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor

See Also:: JmlAllocationExpression

visit

public boolean visit(JmlAssertOrAssumeStatement assertOrAssumeStatement,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor

See Also:: JmlAssertStatement, JmlAssumeStatement

endVisit

public void endVisit(JmlAssertOrAssumeStatement assertOrAssumeStatement,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor

See Also:: JmlAssertOrAssumeStatement

visit

public boolean visit(JmlAssignableClause jmlAssignableClause,
                     BlockScope scope)

Description copied from interface: JmlAstVisitor

Gives a frame axiom for a specification. It says that, from the client�s point of view, only the locations named, and locations in the data groups associated with these locations, can be assigned to during the execution of the method. Examples include:

 //@ assignable \nothing;
 //@ assignable \everything;

Specified by:: visit in interface JmlAstVisitor

endVisit

public void endVisit(JmlAssignableClause jmlAssignableClause,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor

See Also:: JmlAssignableClause

visit

public boolean visit(JmlClinit clinit,
                     ClassScope scope)

Specified by:: visit in interface JmlAstVisitor

See Also:: Clinit

endVisit

public void endVisit(JmlClinit clinit,
                     ClassScope scope)

Specified by:: endVisit in interface JmlAstVisitor

See Also:: JmlClinit

visit

public boolean visit(JmlConditionalExpression conditionalExpression,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor

See Also:: ConditionalExpression

endVisit

public void endVisit(JmlConditionalExpression conditionalExpression,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor

See Also:: JmlConditionalExpression

visit

public boolean visit(JmlConstraintClause jmlConstraintClause,
                     BlockScope scope)

Description copied from interface: JmlAstVisitor

Are relationships that should hold for the combination of each visible state and any visible state that occurs later in the program�s execution. It is used to constrain the way that values change over time. Examples include:

 //@ constraint a == \old(a);
 //@ constraint b.length == \old(b.length);

Specified by:: visit in interface JmlAstVisitor

endVisit

public void endVisit(JmlConstraintClause jmlConstraintClause,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor

See Also:: JmlConstraintClause

visit

public boolean visit(JmlDoStatement doStatement,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: DoStatement

endVisit

public void endVisit(JmlDoStatement doStatement,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlDoStatement

visit

public boolean visit(JmlForStatement forStatement,
                     BlockScope scope)

Specified by:: visit in interface JmlAstVisitor
Overrides:: visit in class ASTVisitor

See Also:: ForStatement

endVisit

public void endVisit(JmlForStatement forStatement,
                     BlockScope scope)

Specified by:: endVisit in interface JmlAstVisitor
Overrides:: endVisit in class ASTVisitor

See Also:: JmlForStatement

visit

public boolean visit(JmlInitiallyClause jmlInitiallyClause,
                     CompilationUnitScope scope)

Description copied from interface: JmlAstVisitor

Is used to specify the initial state of model fields. Examples include:

 //@ public model int x;
 //@ public initially x == 0;

In this example, initially x == 0; is a JmlInitiallyClause.

Specified by:: visit in interface JmlAstVisitor

endVisit

public void endVisit(JmlInitiallyClause jmlInitiallyClause, CompilationUnitScope scope)

Specified by:
endVisit in interface JmlAstVisitor

See Also:
JmlInitiallyClause

visit

public boolean visit(JmlInvariantForType jmlInvariantForType, CompilationUnitScope scope)

Description copied from interface: JmlAstVisitor

Properties that have to hold in all visible states. Examples include:
//@ invariant b != null && b.length == 6;

Specified by:
visit in interface JmlAstVisitor

endVisit

public void endVisit(JmlInvariantForType jmlInvariantForType, CompilationUnitScope scope)

Specified by:
endVisit in interface JmlAstVisitor

See Also:
JmlInvariantForType

visit

public boolean visit(JmlRepresentsClause representsClause, CompilationUnitScope scope)

Description copied from interface: JmlAstVisitor

The first form of represents clauses (with <- or =) is called a functional abstraction. This form defines the value of the store-ref-expression in a visible state as the value of the spec-expression that follows the l-arrow-or-eq. The second form (with \such_that) is called a relational abstraction. This form constrains the value of the store-ref-expression in a visible state to satisfy the given predicate. Examples include:
protected int x_; //@ in x; //@ protected represents x <- x_;
In this example, representx x <- x_; is a JmlRepresentsClause.

Specified by:
visit in interface JmlAstVisitor

endVisit

public void endVisit(JmlRepresentsClause representsClause, CompilationUnitScope scope)

Specified by:
endVisit in interface JmlAstVisitor

See Also:
JmlRepresentsClause

visit

public boolean visit(JmlSetStatement jmlSetStatement, BlockScope scope)

Description copied from interface: JmlAstVisitor

Is the equivalent of an assignment statement but is within an annotation. It is used to assign a value to a ghost variable or to a ghost field. Examples include:
//@ set i = 0; //@ set collection.elementType = \type(int);

Specified by:
visit in interface JmlAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public boolean endVisit(JmlSetStatement jmlSetStatement, BlockScope scope)

Specified by:
endVisit in interface JmlAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
JmlSetStatement

visit

public boolean visit(JmlSignalsClause jmlSignalsClause, BlockScope scope)

Description copied from interface: JmlAstVisitor

Specifies the exceptional or abnormal postcondition, i.e., the property that is guaranteed to hold at the end of a method (or constructor) invocation when this method (or constructor) invocation terminates abruptly by throwing a given exception. Examples include:
//@ signals (Exception) x < 0;

Specified by:
visit in interface JmlAstVisitor

endVisit

public void endVisit(JmlSignalsClause jmlSignalsClause, BlockScope scope)

Specified by:
endVisit in interface JmlAstVisitor

See Also:
JmlSignalsClause

visit

public boolean visit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)

Description copied from interface: JmlAstVisitor

Is an abbreviation for a signals-clause that specifies what exceptions may be thrown by a method, and thus, implicitly, what exceptions may not be thrown. Examples include:
signals_only NullPointerException;

Specified by:
visit in interface JmlAstVisitor

endVisit

public void endVisit(JmlSignalsOnlyClause jmlSignalsOnlyClause, BlockScope scope)

Specified by:
endVisit in interface JmlAstVisitor

See Also:
JmlSignalsOnlyClause

visit

public boolean visit(JmlTypeBodyDeclaration jmlTypeDecle, BlockScope scope)

Specified by:
visit in interface JmlAstVisitor

endVisit

public void endVisit(JmlTypeBodyDeclaration jmlTypeDecle, BlockScope scope)

Specified by:
endVisit in interface JmlAstVisitor

visit

public boolean visit(JmlUnaryExpression unaryExpression, BlockScope scope)

Specified by:
visit in interface JmlAstVisitor

See Also:
UnaryExpression

endVisit

public void endVisit(JmlUnaryExpression unaryExpression, BlockScope scope)

Specified by:
endVisit in interface JmlAstVisitor

See Also:
JmlUnaryExpression

visit

public boolean visit(JmlMethodSpecification jmlMethodSpecification, ClassScope classScope)

Specified by:
visit in interface JmlAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(JmlMethodSpecification jmlMethodSpecification, ClassScope classScope)

Specified by:
endVisit in interface JmlAstVisitor
Overrides:
endVisit in class ASTVisitor

visit

public boolean visit(AllocationExpression allocationExpression, BlockScope scope)

Description copied from interface: JavaAstVisitor

Used to allocate new objects. Examples include:
new Foo(); new String[5];

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(AllocationExpression allocationExpression, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
AllocationExpression

visit

public boolean visit(AND_AND_Expression and_and_Expression, BlockScope scope)

Description copied from interface: JavaAstVisitor

Expressions separated by the 'AND' operator. Examples include:
true && false a == 2 && m()

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(AND_AND_Expression and_and_Expression, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
AND_AND_Expression

visit

public boolean visit(AnnotationMethodDeclaration annotationTypeDeclaration, ClassScope classScope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(AnnotationMethodDeclaration annotationTypeDeclaration, ClassScope classScope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

visit

public boolean visit(Argument argument, BlockScope scope)

Description copied from interface: JavaAstVisitor

Examples include:
m(int a) { ... } void foo(int a, String b) { ... }
In this example, anything inside the first bracket is termed as an argument ie. int a and int a, String b are arguments.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(Argument argument, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
Argument

visit

public boolean visit(Argument argument, ClassScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

See Also:
Argument

endVisit

public void endVisit(Argument argument, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
Argument

visit

public boolean visit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)

Description copied from interface: JavaAstVisitor

An allocation expression that contains square brackets to create an array. Examples include:
new int[3][4]; new int[4][][];

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
ArrayAllocationExpression

visit

public boolean visit(ArrayInitializer arrayInitializer, BlockScope scope)

Description copied from interface: JavaAstVisitor

Expression that contains elements with different initial values, at the end of the allocation expression. Examples include: new int [] { 4,7,9 }; int[] n = {1, 2, 3}; In this example, {4,7,9 } and {1,2,3} are array initializers.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ArrayInitializer arrayInitializer, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
ArrayInitializer

visit

public boolean visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)

Description copied from interface: JavaAstVisitor

An array type which has a fully qualified name/type associated with it. Examples include:
java.lang.String[] x;
In this example, java.lang.String[] is an ArrayQualifiedTypeReference

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
ArrayQualifiedTypeReference

visit

public boolean visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

See Also:
ArrayQualifiedTypeReference

endVisit

public void endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
ArrayQualifiedTypeReference

visit

public boolean visit(ArrayReference arrayReference, BlockScope scope)

Description copied from interface: JavaAstVisitor

Referencing a particular array location. Examples include:
var[0] var[i]

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ArrayReference arrayReference, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(ArrayTypeReference arrayTypeReference, BlockScope scope)

Description copied from interface: JavaAstVisitor

Referencing an array type. Examples include:
String[] int[] Object[]

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ArrayTypeReference arrayTypeReference, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
ArrayTypeReference

visit

public boolean visit(ArrayTypeReference arrayTypeReference, ClassScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

See Also:
ArrayTypeReference

endVisit

public void endVisit(ArrayTypeReference arrayTypeReference, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
ArrayTypeReference

visit

public boolean visit(AssertStatement assertStatement, BlockScope scope)

Description copied from interface: JavaAstVisitor

Statement that is used to test an assumption is true or false. Examples include:
assert a == b; assert !true;

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(AssertStatement assertStatement, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
AssertStatement

visit

public boolean visit(Assignment assignment, BlockScope scope)

Description copied from interface: JavaAstVisitor

Statement that assigns a value to another variable. Examples include:
a = 2; b = new Foo();

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(Assignment assignment, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
Assignment

visit

public boolean visit(BinaryExpression binaryExpression, BlockScope scope)

Description copied from interface: JavaAstVisitor

Expressions containing left and right expressions combined by a binary operator. Examples include:
a + b "a" + "b" k - 2

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(BinaryExpression binaryExpression, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
BinaryExpression

visit

public boolean visit(Block block, BlockScope scope)

Description copied from interface: JavaAstVisitor

Sequence of statements within braces. Examples include:
{ ... }

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(Block block, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
Block

visit

public boolean visit(BreakStatement breakStatement, BlockScope scope)

Description copied from interface: JavaAstVisitor

Used to transfer control out of an enclosing statement. Examples include:
break; break la;

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(BreakStatement breakStatement, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
BreakStatement

visit

public boolean visit(CaseStatement caseStatement, BlockScope scope)

Description copied from interface: JavaAstVisitor

Examples include:
case 1: ... case 'a': ...

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(CaseStatement caseStatement, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
CaseStatement

visit

public boolean visit(CastExpression castExpression, BlockScope scope)

Description copied from interface: JavaAstVisitor

Expression that converts one type to the other type. Examples include:
(Object) o (java.lang.String) s
In this example, (Object) and (java.lang.String) are cast expressions.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(CastExpression castExpression, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
CastExpression

visit

public boolean visit(CharLiteral charLiteral, BlockScope scope)

Description copied from interface: JavaAstVisitor

Is a representation of a fixed value of type char. Examples include:
'A' '\b'

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(CharLiteral charLiteral, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
CharLiteral

visit

public boolean visit(ClassLiteralAccess classLiteral, BlockScope scope)

Description copied from interface: JavaAstVisitor

An expression consisting of the name of a class, interface, array, or primitive type followed by `.' and the token class. Examples include:
String.class

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ClassLiteralAccess classLiteral, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
ClassLiteralAccess

visit

public boolean visit(Clinit clinit, ClassScope scope)

Description copied from interface: JavaAstVisitor

Class and interface initialization method that are called implicitly by the Java Virtual Machine. Examples include:
(){ }
The example shown above, is actually a synthetic method, added by the compiler.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(Clinit clinit, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
Clinit

visit

public boolean visit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

visit

public boolean visit(CompoundAssignment compoundAssignment, BlockScope scope)

Description copied from interface: JavaAstVisitor

Assignment statements which compute and assign at the same time. Examples include:
a += b; z |= x;

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(CompoundAssignment compoundAssignment, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
CompoundAssignment

visit

public boolean visit(ConditionalExpression conditionalExpression, BlockScope scope)

Description copied from interface: JavaAstVisitor

A compound expression that contains a condition, an expression to be evaluated if the condition evaluates to true, and an expression to be evaluated if the condition has the value false. Examples include:
s? true: false;

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ConditionalExpression conditionalExpression, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
ConditionalExpression

visit

public boolean visit(ConstructorDeclaration constructorDeclaration, ClassScope scope)

Description copied from interface: JavaAstVisitor

A method declaration which is a constructor. Examples include:
A(int a) { ... } A() { ... }

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ConstructorDeclaration constructorDeclaration, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
ConstructorDeclaration

visit

public boolean visit(ContinueStatement continueStatement, BlockScope scope)

Description copied from interface: JavaAstVisitor

Passes control to the loop-continuation point of an iteration statement. Examples include:
while(e){ ... if (true) continue; ... } ed: for(;;) { if (i==j) continue ed; else ... }
In this example, continue; and continue ed; are Continue statements.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ContinueStatement continueStatement, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
ContinueStatement

visit

public boolean visit(DoStatement doStatement, BlockScope scope)

Description copied from interface: JavaAstVisitor

Iterative statement that iterates atleast once. Examples include:
do { ... } while ( ... );

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(DoStatement doStatement, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
DoStatement

visit

public boolean visit(DoubleLiteral doubleLiteral, BlockScope scope)

Description copied from interface: JavaAstVisitor

Literal signifying a double type. Examples include:
double d = 1.223; double ds = 0.1d;

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(DoubleLiteral doubleLiteral, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
DoubleLiteral

visit

public boolean visit(EmptyStatement emptyStatement, BlockScope scope)

Description copied from interface: JavaAstVisitor

Statement that performs no action and obviously has no effect. Examples include:
;

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(EmptyStatement emptyStatement, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
EmptyStatement

visit

public boolean visit(EqualExpression equalExpression, BlockScope scope)

Description copied from interface: JavaAstVisitor

Expression that checks for equality. Examples include:
a == b a == null

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(EqualExpression equalExpression, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
EqualExpression

visit

public boolean visit(ExplicitConstructorCall explicitConstructor, BlockScope scope)

Description copied from interface: JavaAstVisitor

A constructor call that calls a parameterized constructor instead of the default constructor. Examples include:
public Foo{ Foo(){} Foo(int a, int b){} public static void main(String args[]){ Foo n = new Foo(1,2); } }
In this example, Foo(int a, int b){} is an ExplicitConstructorCall.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ExplicitConstructorCall explicitConstructor, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
ExplicitConstructorCall

visit

public boolean visit(ExtendedStringLiteral extendedStringLiteral, BlockScope scope)

Description copied from interface: JavaAstVisitor

Occurs when two or more string literals are concatenated. Examples include:
"a" + "b" "a" + "b" + "C"

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ExtendedStringLiteral extendedStringLiteral, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
ExtendedStringLiteral

visit

public boolean visit(FalseLiteral falseLiteral, BlockScope scope)

Description copied from interface: JavaAstVisitor

Expression that contains a false literal. Examples include:
false

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(FalseLiteral falseLiteral, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
FalseLiteral

visit

public boolean visit(FieldDeclaration fieldDeclaration, MethodScope scope)

Description copied from interface: JavaAstVisitor

Examples include:
class A{ int a; Object o = new Object(); }
In this example, int a; is a FieldDeclaration.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(FieldDeclaration fieldDeclaration, MethodScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
FieldDeclaration

visit

public boolean visit(FieldReference fieldReference, BlockScope scope)

Description copied from interface: JavaAstVisitor

Referencing a field of a class. Examples include:
this.field = ...
In this example, this.field is the FieldReference.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(FieldReference fieldReference, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
FieldReference

visit

public boolean visit(FieldReference fieldReference, ClassScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

See Also:
FieldReference

endVisit

public void endVisit(FieldReference fieldReference, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
FieldReference

visit

public boolean visit(FloatLiteral floatLiteral, BlockScope scope)

Description copied from interface: JavaAstVisitor

Literal signifying a float type. Examples include:
.12 0.11

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(FloatLiteral floatLiteral, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(ForeachStatement forStatement, BlockScope scope)

Description copied from interface: JavaAstVisitor

Enhanced version of the for loop to make iteration over arrays and other collections more convenient. Examples include:
for (String s: x) { ... }

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ForeachStatement forStatement, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(ForStatement forStatement, BlockScope scope)

Description copied from interface: JavaAstVisitor

Provides a compact-form to iterate over a range of values. Examples include:
for(int i = 0; i < 10; i++) { ... } for(i = 0; ; i++);

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ForStatement forStatement, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(IfStatement ifStatement, BlockScope scope)

Description copied from interface: JavaAstVisitor

Control-flow statement that executes a portion of code only if condition is evaluated to true. Examples include:
if (true) { ... } if (expression) { ... } else if (expression) { ... } else { ... }

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(IfStatement ifStatement, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(ImportReference importRef, CompilationUnitScope scope)

Description copied from interface: JavaAstVisitor

Statement used to reference classes and interfaces declared in other packages. Examples include:
import packageName.*; import packageName.className;

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ImportReference importRef, CompilationUnitScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(Initializer initializer, MethodScope scope)

Description copied from interface: JavaAstVisitor

A normal block of code used to initialize fields. Examples include:
class A{ int a, b; { a = 1; b = 2; } ... }
In this example, { a = 1; b = 2; } is an Initializer.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(Initializer initializer, MethodScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(InstanceOfExpression instanceOfExpression, BlockScope scope)

Description copied from interface: JavaAstVisitor

Expression containing the instanceof operator. Is used to find out whether the class of the object referenced by the run-time value of the expression is compatible with some other reference type.Examples include:
if ( o instance Object) { ... }
In this example, o instanceof Objct is an InstanceOfExpression.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(InstanceOfExpression instanceOfExpression, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(IntLiteral intLiteral, BlockScope scope)

Description copied from interface: JavaAstVisitor

Literal signifying integer type. Examples include:
42 1

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(IntLiteral intLiteral, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(LabeledStatement labeledStatement, BlockScope scope)

Description copied from interface: JavaAstVisitor

A statement which has a label followed by statements. Examples include:
br : switch { ... } lbl : int a = 0;

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(LabeledStatement labeledStatement, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(LocalDeclaration localDeclaration, BlockScope scope)

Description copied from interface: JavaAstVisitor

Declaration within a method body. Examples include:
int a = 2; int d;

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(LocalDeclaration localDeclaration, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(LongLiteral longLiteral, BlockScope scope)

Description copied from interface: JavaAstVisitor

Literal that are of long type. Examples include:
long d = 22232;

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(LongLiteral longLiteral, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(MarkerAnnotation annotation, BlockScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(MarkerAnnotation annotation, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

visit

public boolean visit(MemberValuePair pair, BlockScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(MemberValuePair pair, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

visit

public boolean visit(MessageSend messageSend, BlockScope scope)

Description copied from interface: JavaAstVisitor

Calling a method. Examples include:
m(a, b); X.m();

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(MessageSend messageSend, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(MethodDeclaration methodDeclaration, ClassScope scope)

Description copied from interface: JavaAstVisitor

Declaration of a method. Examples include:
private void a(){ ... } void b(int d){ ... }

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(MethodDeclaration methodDeclaration, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(StringLiteralConcatenation literal, BlockScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(StringLiteralConcatenation literal, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

visit

public boolean visit(NormalAnnotation annotation, BlockScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(NormalAnnotation annotation, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

visit

public boolean visit(NullLiteral nullLiteral, BlockScope scope)

Description copied from interface: JavaAstVisitor

Expression that contains the null keyword. Examples include:
null

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(NullLiteral nullLiteral, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(OR_OR_Expression or_or_Expression, BlockScope scope)

Description copied from interface: JavaAstVisitor

Expressions that contain an 'or' short-circuit operator. Examples include:
true || false a == 2 || m()

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(OR_OR_Expression or_or_Expression, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)

Description copied from interface: JavaAstVisitor

Specifying a particular type (fully qualified name) at compile time to allow a specific, single object. This is used to support generic types. Examples include:
new java.util.ArrayList();
In this example, java.util.ArrayList is a ParameterizedQualifiedTypeReference.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

See Also:
;

endVisit

public void endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)

Description copied from interface: JavaAstVisitor

Specifying a particular type at compile time to allow a specific, single object. This is used to support generic types. Examples include:
new ArrayList();
In this example, ArrayList is a ParameterizedSingleTypeReference.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

See Also:
;

endVisit

public void endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(PostfixExpression postfixExpression, BlockScope scope)

Description copied from interface: JavaAstVisitor

Expressions involving prefix operators. Examples include:
x++ x--

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(PostfixExpression postfixExpression, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(PrefixExpression prefixExpression, BlockScope scope)

Description copied from interface: JavaAstVisitor

Expressions involving prefix operators. Examples include:
++x --x

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(PrefixExpression prefixExpression, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)

Description copied from interface: JavaAstVisitor

Allocation of an anonymous Type. Examples include:
new Object() { ... }

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(QualifiedNameReference qualifiedNameReference, BlockScope scope)

Description copied from interface: JavaAstVisitor

Referencing a name using full qualified name. Examples include:
X.a = 1;
In this example, X.a is a QualifiedNameReference

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(QualifiedNameReference qualifiedNameReference, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(QualifiedNameReference qualifiedNameReference, ClassScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

See Also:
;

endVisit

public void endVisit(QualifiedNameReference qualifiedNameReference, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)

Description copied from interface: JavaAstVisitor

Is used in a subclass to access overridden/inherited methods using fully qualified name. Examples include:
X.super.m();
In this example, X.super.m() is a QualifiedSuperReference.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(QualifiedSuperReference qualifiedSuperReference, ClassScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

See Also:
;

endVisit

public void endVisit(QualifiedSuperReference qualifiedSuperReference, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(QualifiedThisReference qualifiedThisReference, BlockScope scope)

Description copied from interface: JavaAstVisitor

Referencing to the current object using fully qualified name � the object whose method or constructor is being called. Examples include:
X.this.d = x;
In this example, X.this.d is a QualifiedThisReference.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(QualifiedThisReference qualifiedThisReference, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(QualifiedThisReference qualifiedThisReference, ClassScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

See Also:
;

endVisit

public void endVisit(QualifiedThisReference qualifiedThisReference, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)

Description copied from interface: JavaAstVisitor

Referencing a particular type with fully qualified name. Examples include:
java.lang.String s = ... ; Y.Z z = new Y.Z();
In this example, java.lang.String and Y.Z is a QualifiedTypeReference.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

See Also:
;

endVisit

public void endVisit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(ReturnStatement returnStatement, BlockScope scope)

Description copied from interface: JavaAstVisitor

Statement that returns a value from a method. Examples include:
return ; return a; return new String("aa");
In this example, return, return a, return new String("aa") is a ReturnStatement

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ReturnStatement returnStatement, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(SingleMemberAnnotation annotation, BlockScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(SingleMemberAnnotation annotation, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

visit

public boolean visit(SingleNameReference singleNameReference, BlockScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(SingleNameReference singleNameReference, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

visit

public boolean visit(SingleNameReference singleNameReference, ClassScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(SingleNameReference singleNameReference, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

visit

public boolean visit(SingleTypeReference singleTypeReference, BlockScope scope)

Description copied from interface: JavaAstVisitor

Referencing a type. Examples include:
interface Y{ ... } class X implements Y { ... }
In this example, Y in (implements Y) is a SingleTypeReference.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(SingleTypeReference singleTypeReference, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(SingleTypeReference singleTypeReference, ClassScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

See Also:
;

endVisit

public void endVisit(SingleTypeReference singleTypeReference, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(StringLiteral stringLiteral, BlockScope scope)

Description copied from interface: JavaAstVisitor

Anything enclosed within double-quotes. Examples include:
"jml4"

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(StringLiteral stringLiteral, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(SuperReference superReference, BlockScope scope)

Description copied from interface: JavaAstVisitor

Used in the definitions of instance methods. It is used in a subclass to access overridden/inherited methods. Examples include:
super.m();
In this example, super.m() is a SuperReference.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(SuperReference superReference, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(SwitchStatement switchStatement, BlockScope scope)

Description copied from interface: JavaAstVisitor

A statement involving switch-case block. Examples include:
switch (i) { case 0: ... break; ... default: ... }
In this example, switch(i) { ... } is a Switch Statement

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(SwitchStatement switchStatement, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(SynchronizedStatement synchronizedStatement, BlockScope scope)

Description copied from interface: JavaAstVisitor

Used to acquire a mutual-exclusion lock on behalf of the executing thread, executes a block, then releases the lock. Examples include:
synchronized(t) { ... } synchronized(new T()) { ... }

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(SynchronizedStatement synchronizedStatement, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(ThisReference thisReference, BlockScope scope)

Description copied from interface: JavaAstVisitor

A reference to the current object � the object whose method or constructor is being called. Examples include:
this.x = x; this(0,0);
In this example, this.x and this(0,0) is a ThisReference.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ThisReference thisReference, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(ThisReference thisReference, ClassScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

See Also:
;

endVisit

public void endVisit(ThisReference thisReference, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(ThrowStatement throwStatement, BlockScope scope)

Description copied from interface: JavaAstVisitor

Used to throw an exception. Examples include:
throw someThrowableObject; throw new EmptyStackException();

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(ThrowStatement throwStatement, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(TrueLiteral trueLiteral, BlockScope scope)

Description copied from interface: JavaAstVisitor

Expression that contains the true keyword. Examples include:
true

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(TrueLiteral trueLiteral, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(TryStatement tryStatement, BlockScope scope)

Description copied from interface: JavaAstVisitor

Statement denoting a try-catch block. Examples include:
try { ... } catch() { ... } try { ... } try { ... } finally { ... }

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(TryStatement tryStatement, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(TypeDeclaration localTypeDeclaration, BlockScope scope)

Description copied from interface: JavaAstVisitor

Declaring an inner type within a method body. Examples include:
void m() { class A { ... } }
In this example, class A { ... } is a localTypeDeclaration.

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(TypeDeclaration localTypeDeclaration, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(TypeDeclaration memberTypeDeclaration, ClassScope scope)

Description copied from interface: JavaAstVisitor

Declaring an inner type within a class/interface. Examples include:
class A{ class B{ } }
In this example, class B { } is a memberTypeDeclaration

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(TypeDeclaration memberTypeDeclaration, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

visit

public boolean visit(TypeParameter typeParameter, BlockScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(TypeParameter typeParameter, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

visit

public boolean visit(TypeParameter typeParameter, ClassScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(TypeParameter typeParameter, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

visit

public boolean visit(UnaryExpression unaryExpression, BlockScope scope)

Description copied from interface: JavaAstVisitor

Expressions having unary operators. Examples include:
++a !a ~a z++

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(UnaryExpression unaryExpression, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(WhileStatement whileStatement, BlockScope scope)

Description copied from interface: JavaAstVisitor

A loop that is continuously iterated while the a particular condition is true. Examples include:
while (e); while (expression) { ... }

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(WhileStatement whileStatement, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

See Also:
;

visit

public boolean visit(Wildcard wildcard, BlockScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(Wildcard wildcard, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

visit

public boolean visit(Wildcard wildcard, ClassScope scope)

Specified by:
visit in interface JavaAstVisitor
Overrides:
visit in class ASTVisitor

endVisit

public void endVisit(Wildcard wildcard, ClassScope scope)

Specified by:
endVisit in interface JavaAstVisitor
Overrides:
endVisit in class ASTVisitor

visit

public boolean visit(CombinedBinaryExpression combinedBinaryExpression, BlockScope scope)

Specified by:
visit in interface JavaAstVisitor

endVisit

public void endVisit(CombinedBinaryExpression combinedBinaryExpression, BlockScope scope)

Specified by:
endVisit in interface JavaAstVisitor

Overview Package Class Use Tree Deprecated Index Help

PREV CLASS NEXT CLASS FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.jml4.rac Class DefaultRacAstVisitor

DefaultRacAstVisitor

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

visit

endVisit

org.jmlspecs.jml4.rac
Class DefaultRacAstVisitor