TraceAstVisitor

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.fspv
Class TraceAstVisitor

java.lang.Object
  org.eclipse.jdt.internal.compiler.ASTVisitor
      org.jmlspecs.jml4.fspv.TraceAstVisitor

Direct Known Subclasses:: TheoryTranslation, TheoryTranslator

public class TraceAstVisitor
extends ASTVisitor
extends ASTVisitor

Constructor Summary
`TraceAstVisitor()`

Method Summary
`void`	`acceptProblem(IProblem problem)`
`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(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(JavadocAllocationExpression expression, BlockScope scope)`
`void`	`endVisit(JavadocAllocationExpression expression, ClassScope scope)`
`void`	`endVisit(JavadocArgumentExpression expression, BlockScope scope)`
`void`	`endVisit(JavadocArgumentExpression expression, ClassScope scope)`
`void`	`endVisit(JavadocArrayQualifiedTypeReference typeRef, BlockScope scope)`
`void`	`endVisit(JavadocArrayQualifiedTypeReference typeRef, ClassScope scope)`
`void`	`endVisit(JavadocArraySingleTypeReference typeRef, BlockScope scope)`
`void`	`endVisit(JavadocArraySingleTypeReference typeRef, ClassScope scope)`
`void`	`endVisit(Javadoc javadoc, BlockScope scope)`
`void`	`endVisit(Javadoc javadoc, ClassScope scope)`
`void`	`endVisit(JavadocFieldReference fieldRef, BlockScope scope)`
`void`	`endVisit(JavadocFieldReference fieldRef, ClassScope scope)`
`void`	`endVisit(JavadocImplicitTypeReference implicitTypeReference, BlockScope scope)`
`void`	`endVisit(JavadocImplicitTypeReference implicitTypeReference, ClassScope scope)`
`void`	`endVisit(JavadocMessageSend messageSend, BlockScope scope)`
`void`	`endVisit(JavadocMessageSend messageSend, ClassScope scope)`
`void`	`endVisit(JavadocQualifiedTypeReference typeRef, BlockScope scope)`
`void`	`endVisit(JavadocQualifiedTypeReference typeRef, ClassScope scope)`
`void`	`endVisit(JavadocReturnStatement statement, BlockScope scope)`
`void`	`endVisit(JavadocReturnStatement statement, ClassScope scope)`
`void`	`endVisit(JavadocSingleNameReference argument, BlockScope scope)`
`void`	`endVisit(JavadocSingleNameReference argument, ClassScope scope)`
`void`	`endVisit(JavadocSingleTypeReference typeRef, BlockScope scope)`
`void`	`endVisit(JavadocSingleTypeReference typeRef, ClassScope 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(JmlAssertStatement assertStatement, 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(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)`
`void`	`endVisit(JmlConstructorDeclaration constructorDeclaration, ClassScope 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(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 expr, BlockScope scope)`
`void`	`endVisit(JmlRequiresClause requiresClause, BlockScope scope)`
`void`	`endVisit(JmlResultReference resultReference, BlockScope scope)`
`void`	`endVisit(JmlReturnStatement returnStatement, 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(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)`
`boolean`	`visit(AND_AND_Expression and_and_Expression, BlockScope scope)`
`boolean`	`visit(AnnotationMethodDeclaration annotationTypeDeclaration, ClassScope classScope)`
`boolean`	`visit(Argument argument, BlockScope scope)`
`boolean`	`visit(Argument argument, ClassScope scope)`
`boolean`	`visit(ArrayAllocationExpression arrayAllocationExpression, BlockScope scope)`
`boolean`	`visit(ArrayInitializer arrayInitializer, BlockScope scope)`
`boolean`	`visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, BlockScope scope)`
`boolean`	`visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)`
`boolean`	`visit(ArrayReference arrayReference, BlockScope scope)`
`boolean`	`visit(ArrayTypeReference arrayTypeReference, BlockScope scope)`
`boolean`	`visit(ArrayTypeReference arrayTypeReference, ClassScope scope)`
`boolean`	`visit(AssertStatement assertStatement, BlockScope scope)`
`boolean`	`visit(Assignment assignment, BlockScope scope)`
`boolean`	`visit(BinaryExpression binaryExpression, BlockScope scope)`
`boolean`	`visit(Block block, BlockScope scope)`
`boolean`	`visit(BreakStatement breakStatement, BlockScope scope)`
`boolean`	`visit(CaseStatement caseStatement, BlockScope scope)`
`boolean`	`visit(CastExpression castExpression, BlockScope scope)`
`boolean`	`visit(CharLiteral charLiteral, BlockScope scope)`
`boolean`	`visit(ClassLiteralAccess classLiteral, BlockScope scope)`
`boolean`	`visit(Clinit clinit, ClassScope scope)`
`boolean`	`visit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)`
`boolean`	`visit(CompoundAssignment compoundAssignment, BlockScope scope)`
`boolean`	`visit(ConditionalExpression conditionalExpression, BlockScope scope)`
`boolean`	`visit(ConstructorDeclaration constructorDeclaration, ClassScope scope)`
`boolean`	`visit(ContinueStatement continueStatement, BlockScope scope)`
`boolean`	`visit(DoStatement doStatement, BlockScope scope)`
`boolean`	`visit(DoubleLiteral doubleLiteral, BlockScope scope)`
`boolean`	`visit(EmptyStatement emptyStatement, BlockScope scope)`
`boolean`	`visit(EqualExpression equalExpression, BlockScope scope)`
`boolean`	`visit(ExplicitConstructorCall explicitConstructor, BlockScope scope)`
`boolean`	`visit(ExtendedStringLiteral extendedStringLiteral, BlockScope scope)`
`boolean`	`visit(FalseLiteral falseLiteral, BlockScope scope)`
`boolean`	`visit(FieldDeclaration fieldDeclaration, MethodScope scope)`
`boolean`	`visit(FieldReference fieldReference, BlockScope scope)`
`boolean`	`visit(FieldReference fieldReference, ClassScope scope)`
`boolean`	`visit(FloatLiteral floatLiteral, BlockScope scope)`
`boolean`	`visit(ForeachStatement forStatement, BlockScope scope)`
`boolean`	`visit(ForStatement forStatement, BlockScope scope)`
`boolean`	`visit(IfStatement ifStatement, BlockScope scope)`
`boolean`	`visit(ImportReference importRef, CompilationUnitScope scope)`
`boolean`	`visit(Initializer initializer, MethodScope scope)`
`boolean`	`visit(InstanceOfExpression instanceOfExpression, BlockScope scope)`
`boolean`	`visit(IntLiteral intLiteral, BlockScope scope)`
`boolean`	`visit(JavadocAllocationExpression expression, BlockScope scope)`
`boolean`	`visit(JavadocAllocationExpression expression, ClassScope scope)`
`boolean`	`visit(JavadocArgumentExpression expression, BlockScope scope)`
`boolean`	`visit(JavadocArgumentExpression expression, ClassScope scope)`
`boolean`	`visit(JavadocArrayQualifiedTypeReference typeRef, BlockScope scope)`
`boolean`	`visit(JavadocArrayQualifiedTypeReference typeRef, ClassScope scope)`
`boolean`	`visit(JavadocArraySingleTypeReference typeRef, BlockScope scope)`
`boolean`	`visit(JavadocArraySingleTypeReference typeRef, ClassScope scope)`
`boolean`	`visit(Javadoc javadoc, BlockScope scope)`
`boolean`	`visit(Javadoc javadoc, ClassScope scope)`
`boolean`	`visit(JavadocFieldReference fieldRef, BlockScope scope)`
`boolean`	`visit(JavadocFieldReference fieldRef, ClassScope scope)`
`boolean`	`visit(JavadocImplicitTypeReference implicitTypeReference, BlockScope scope)`
`boolean`	`visit(JavadocImplicitTypeReference implicitTypeReference, ClassScope scope)`
`boolean`	`visit(JavadocMessageSend messageSend, BlockScope scope)`
`boolean`	`visit(JavadocMessageSend messageSend, ClassScope scope)`
`boolean`	`visit(JavadocQualifiedTypeReference typeRef, BlockScope scope)`
`boolean`	`visit(JavadocQualifiedTypeReference typeRef, ClassScope scope)`
`boolean`	`visit(JavadocReturnStatement statement, BlockScope scope)`
`boolean`	`visit(JavadocReturnStatement statement, ClassScope scope)`
`boolean`	`visit(JavadocSingleNameReference argument, BlockScope scope)`
`boolean`	`visit(JavadocSingleNameReference argument, ClassScope scope)`
`boolean`	`visit(JavadocSingleTypeReference typeRef, BlockScope scope)`
`boolean`	`visit(JavadocSingleTypeReference typeRef, ClassScope 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(JmlAssertStatement assertStatement, BlockScope scope)`
`boolean`	`visit(JmlAssignment assignment, BlockScope scope)`
`boolean`	`visit(JmlAssumeStatement assertStatement, BlockScope scope)`
`boolean`	`visit(JmlCastExpression castExpression, BlockScope scope)`
`boolean`	`visit(JmlCastExpressionWithoutType castExpression, BlockScope scope)`
`boolean`	`visit(JmlClause jmlClause, BlockScope scope)`
`boolean`	`visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)`
`boolean`	`visit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)`
`boolean`	`visit(JmlEnsuresClause ensuresClause, BlockScope scope)`
`boolean`	`visit(JmlFieldDeclaration fieldDeclaration, MethodScope scope)`
`boolean`	`visit(JmlFieldReference fieldReference, BlockScope scope)`
`boolean`	`visit(JmlFieldReference fieldReference, ClassScope scope)`
`boolean`	`visit(JmlLocalDeclaration localDeclaration, BlockScope scope)`
`boolean`	`visit(JmlLoopAnnotations jmlLoopAnnotations, BlockScope scope)`
`boolean`	`visit(JmlLoopInvariant jmlLoopInvariant, BlockScope scope)`
`boolean`	`visit(JmlLoopVariant jmlLoopVariant, BlockScope scope)`
`boolean`	`visit(JmlMessageSend messageSend, BlockScope scope)`
`boolean`	`visit(JmlMethodDeclaration methodDeclaration, ClassScope scope)`
`boolean`	`visit(JmlMethodSpecification jmlMethodSpecification, ClassScope classScope)`
`boolean`	`visit(JmlOldExpression jmlOldExpression, BlockScope scope)`
`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 expr, BlockScope scope)`
`boolean`	`visit(JmlRequiresClause requiresClause, BlockScope scope)`
`boolean`	`visit(JmlResultReference resultReference, BlockScope scope)`
`boolean`	`visit(JmlReturnStatement returnStatement, BlockScope scope)`
`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(JmlWhileStatement whileStatement, BlockScope scope)`
`boolean`	`visit(JmlWildcard wildcard, BlockScope scope)`
`boolean`	`visit(JmlWildcard wildcard, ClassScope scope)`
`boolean`	`visit(LabeledStatement labeledStatement, BlockScope scope)`
`boolean`	`visit(LocalDeclaration localDeclaration, BlockScope scope)`
`boolean`	`visit(LongLiteral longLiteral, BlockScope scope)`
`boolean`	`visit(MarkerAnnotation annotation, BlockScope scope)`
`boolean`	`visit(MemberValuePair pair, BlockScope scope)`
`boolean`	`visit(MessageSend messageSend, BlockScope scope)`
`boolean`	`visit(MethodDeclaration methodDeclaration, ClassScope scope)`
`boolean`	`visit(NormalAnnotation annotation, BlockScope scope)`
`boolean`	`visit(NullLiteral nullLiteral, BlockScope scope)`
`boolean`	`visit(OR_OR_Expression or_or_Expression, BlockScope scope)`
`boolean`	`visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, BlockScope scope)`
`boolean`	`visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)`
`boolean`	`visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, BlockScope scope)`
`boolean`	`visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)`
`boolean`	`visit(PostfixExpression postfixExpression, BlockScope scope)`
`boolean`	`visit(PrefixExpression prefixExpression, BlockScope scope)`
`boolean`	`visit(QualifiedAllocationExpression qualifiedAllocationExpression, BlockScope scope)`
`boolean`	`visit(QualifiedNameReference qualifiedNameReference, BlockScope scope)`
`boolean`	`visit(QualifiedNameReference qualifiedNameReference, ClassScope scope)`
`boolean`	`visit(QualifiedSuperReference qualifiedSuperReference, BlockScope scope)`
`boolean`	`visit(QualifiedSuperReference qualifiedSuperReference, ClassScope scope)`
`boolean`	`visit(QualifiedThisReference qualifiedThisReference, BlockScope scope)`
`boolean`	`visit(QualifiedThisReference qualifiedThisReference, ClassScope scope)`
`boolean`	`visit(QualifiedTypeReference qualifiedTypeReference, BlockScope scope)`
`boolean`	`visit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)`
`boolean`	`visit(ReturnStatement returnStatement, BlockScope scope)`
`boolean`	`visit(SingleMemberAnnotation annotation, BlockScope scope)`
`boolean`	`visit(SingleNameReference singleNameReference, BlockScope scope)`
`boolean`	`visit(SingleNameReference singleNameReference, ClassScope scope)`
`boolean`	`visit(SingleTypeReference singleTypeReference, BlockScope scope)`
`boolean`	`visit(SingleTypeReference singleTypeReference, ClassScope scope)`
`boolean`	`visit(StringLiteral stringLiteral, BlockScope scope)`
`boolean`	`visit(StringLiteralConcatenation literal, BlockScope scope)`
`boolean`	`visit(SuperReference superReference, BlockScope scope)`
`boolean`	`visit(SwitchStatement switchStatement, BlockScope scope)`
`boolean`	`visit(SynchronizedStatement synchronizedStatement, BlockScope scope)`
`boolean`	`visit(ThisReference thisReference, BlockScope scope)`
`boolean`	`visit(ThisReference thisReference, ClassScope scope)`
`boolean`	`visit(ThrowStatement throwStatement, BlockScope scope)`
`boolean`	`visit(TrueLiteral trueLiteral, BlockScope scope)`
`boolean`	`visit(TryStatement tryStatement, BlockScope scope)`
`boolean`	`visit(TypeDeclaration localTypeDeclaration, BlockScope scope)`
`boolean`	`visit(TypeDeclaration memberTypeDeclaration, ClassScope scope)`
`boolean`	`visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)`
`boolean`	`visit(TypeParameter typeParameter, BlockScope scope)`
`boolean`	`visit(TypeParameter typeParameter, ClassScope scope)`
`boolean`	`visit(UnaryExpression unaryExpression, BlockScope scope)`
`boolean`	`visit(WhileStatement whileStatement, BlockScope scope)`
`boolean`	`visit(Wildcard wildcard, BlockScope scope)`
`boolean`	`visit(Wildcard wildcard, ClassScope scope)`

Methods inherited from class org.eclipse.jdt.internal.compiler.ASTVisitor
`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`

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

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

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

Constructor Detail

TraceAstVisitor

public TraceAstVisitor()

Method Detail

acceptProblem

public void acceptProblem(IProblem problem)

Overrides:: acceptProblem in class ASTVisitor

endVisit

public void endVisit(AllocationExpression allocationExpression,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(AND_AND_Expression and_and_Expression,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(AnnotationMethodDeclaration annotationTypeDeclaration,
                     ClassScope classScope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(Argument argument,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(Argument argument,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ArrayAllocationExpression arrayAllocationExpression,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ArrayInitializer arrayInitializer,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ArrayReference arrayReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ArrayTypeReference arrayTypeReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ArrayTypeReference arrayTypeReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(AssertStatement assertStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(Assignment assignment,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(BinaryExpression binaryExpression,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(Block block,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(BreakStatement breakStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(CaseStatement caseStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(CastExpression castExpression,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(CharLiteral charLiteral,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ClassLiteralAccess classLiteral,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(Clinit clinit,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(CompilationUnitDeclaration compilationUnitDeclaration,
                     CompilationUnitScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(CompoundAssignment compoundAssignment,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ConditionalExpression conditionalExpression,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ConstructorDeclaration constructorDeclaration,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ContinueStatement continueStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(DoStatement doStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(DoubleLiteral doubleLiteral,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(EmptyStatement emptyStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(EqualExpression equalExpression,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ExplicitConstructorCall explicitConstructor,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ExtendedStringLiteral extendedStringLiteral,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(FalseLiteral falseLiteral,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(FieldDeclaration fieldDeclaration,
                     MethodScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(FieldReference fieldReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(FieldReference fieldReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(FloatLiteral floatLiteral,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ForeachStatement forStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ForStatement forStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(IfStatement ifStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ImportReference importRef,
                     CompilationUnitScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(Initializer initializer,
                     MethodScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(InstanceOfExpression instanceOfExpression,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(IntLiteral intLiteral,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(Javadoc javadoc,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(Javadoc javadoc,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocAllocationExpression expression,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocAllocationExpression expression,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocArgumentExpression expression,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocArgumentExpression expression,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocArrayQualifiedTypeReference typeRef,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocArrayQualifiedTypeReference typeRef,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocArraySingleTypeReference typeRef,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocArraySingleTypeReference typeRef,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocFieldReference fieldRef,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocFieldReference fieldRef,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocImplicitTypeReference implicitTypeReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocImplicitTypeReference implicitTypeReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocMessageSend messageSend,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocMessageSend messageSend,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocQualifiedTypeReference typeRef,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocQualifiedTypeReference typeRef,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocReturnStatement statement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocReturnStatement statement,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocSingleNameReference argument,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocSingleNameReference argument,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocSingleTypeReference typeRef,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JavadocSingleTypeReference typeRef,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(LabeledStatement labeledStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(LocalDeclaration localDeclaration,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(LongLiteral longLiteral,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(MarkerAnnotation annotation,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

Parameters:: annotation -; scope -
Since:: 3.1

endVisit

public void endVisit(MemberValuePair pair,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

Parameters:: pair -; scope -

endVisit

public void endVisit(MessageSend messageSend,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(MethodDeclaration methodDeclaration,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(StringLiteralConcatenation literal,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(NormalAnnotation annotation,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

Parameters:: annotation -; scope -
Since:: 3.1

endVisit

public void endVisit(NullLiteral nullLiteral,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(OR_OR_Expression or_or_Expression,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(PostfixExpression postfixExpression,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(PrefixExpression prefixExpression,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(QualifiedAllocationExpression qualifiedAllocationExpression,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(QualifiedNameReference qualifiedNameReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(QualifiedNameReference qualifiedNameReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(QualifiedSuperReference qualifiedSuperReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(QualifiedSuperReference qualifiedSuperReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(QualifiedThisReference qualifiedThisReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(QualifiedThisReference qualifiedThisReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(QualifiedTypeReference qualifiedTypeReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(QualifiedTypeReference qualifiedTypeReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ReturnStatement returnStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(SingleMemberAnnotation annotation,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

Parameters:: annotation -; scope -
Since:: 3.1

endVisit

public void endVisit(SingleNameReference singleNameReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(SingleNameReference singleNameReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(SingleTypeReference singleTypeReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(SingleTypeReference singleTypeReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(StringLiteral stringLiteral,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(SuperReference superReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(SwitchStatement switchStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(SynchronizedStatement synchronizedStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ThisReference thisReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ThisReference thisReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(ThrowStatement throwStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(TrueLiteral trueLiteral,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(TryStatement tryStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(TypeDeclaration localTypeDeclaration,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(TypeDeclaration memberTypeDeclaration,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(TypeDeclaration typeDeclaration,
                     CompilationUnitScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(TypeParameter typeParameter,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(TypeParameter typeParameter,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(UnaryExpression unaryExpression,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(WhileStatement whileStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(Wildcard wildcard,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(Wildcard wildcard,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

visit

public boolean visit(AllocationExpression allocationExpression,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(AND_AND_Expression and_and_Expression,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(AnnotationMethodDeclaration annotationTypeDeclaration,
                     ClassScope classScope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(Argument argument,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(Argument argument,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ArrayAllocationExpression arrayAllocationExpression,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ArrayInitializer arrayInitializer,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ArrayReference arrayReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ArrayTypeReference arrayTypeReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ArrayTypeReference arrayTypeReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(AssertStatement assertStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(Assignment assignment,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(BinaryExpression binaryExpression,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(Block block,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(BreakStatement breakStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(CaseStatement caseStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(CastExpression castExpression,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(CharLiteral charLiteral,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ClassLiteralAccess classLiteral,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(Clinit clinit,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(CompilationUnitDeclaration compilationUnitDeclaration,
                     CompilationUnitScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(CompoundAssignment compoundAssignment,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ConditionalExpression conditionalExpression,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ConstructorDeclaration constructorDeclaration,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ContinueStatement continueStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(DoStatement doStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(DoubleLiteral doubleLiteral,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(EmptyStatement emptyStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(EqualExpression equalExpression,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ExplicitConstructorCall explicitConstructor,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ExtendedStringLiteral extendedStringLiteral,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(FalseLiteral falseLiteral,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(FieldDeclaration fieldDeclaration,
                     MethodScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(FieldReference fieldReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(FieldReference fieldReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(FloatLiteral floatLiteral,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ForeachStatement forStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ForStatement forStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(IfStatement ifStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ImportReference importRef,
                     CompilationUnitScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(Initializer initializer,
                     MethodScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(InstanceOfExpression instanceOfExpression,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(IntLiteral intLiteral,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(Javadoc javadoc,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(Javadoc javadoc,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocAllocationExpression expression,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocAllocationExpression expression,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocArgumentExpression expression,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocArgumentExpression expression,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocArrayQualifiedTypeReference typeRef,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocArrayQualifiedTypeReference typeRef,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocArraySingleTypeReference typeRef,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocArraySingleTypeReference typeRef,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocFieldReference fieldRef,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocFieldReference fieldRef,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocImplicitTypeReference implicitTypeReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocImplicitTypeReference implicitTypeReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocMessageSend messageSend,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocMessageSend messageSend,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocQualifiedTypeReference typeRef,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocQualifiedTypeReference typeRef,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocReturnStatement statement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocReturnStatement statement,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocSingleNameReference argument,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocSingleNameReference argument,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocSingleTypeReference typeRef,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JavadocSingleTypeReference typeRef,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(LabeledStatement labeledStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(LocalDeclaration localDeclaration,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(LongLiteral longLiteral,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(MarkerAnnotation annotation,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

Parameters:: annotation -; scope -
Since:: 3.1

visit

public boolean visit(MemberValuePair pair,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

Parameters:: pair -; scope -
Since:: 3.1

visit

public boolean visit(MessageSend messageSend,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(MethodDeclaration methodDeclaration,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(StringLiteralConcatenation literal,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(NormalAnnotation annotation,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

Parameters:: annotation -; scope -
Since:: 3.1

visit

public boolean visit(NullLiteral nullLiteral,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(OR_OR_Expression or_or_Expression,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(PostfixExpression postfixExpression,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(PrefixExpression prefixExpression,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(QualifiedAllocationExpression qualifiedAllocationExpression,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(QualifiedNameReference qualifiedNameReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(QualifiedNameReference qualifiedNameReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(QualifiedSuperReference qualifiedSuperReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(QualifiedSuperReference qualifiedSuperReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(QualifiedThisReference qualifiedThisReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(QualifiedThisReference qualifiedThisReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(QualifiedTypeReference qualifiedTypeReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(QualifiedTypeReference qualifiedTypeReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ReturnStatement returnStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(SingleMemberAnnotation annotation,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

Parameters:: annotation -; scope -
Since:: 3.1

visit

public boolean visit(SingleNameReference singleNameReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(SingleNameReference singleNameReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(SingleTypeReference singleTypeReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(SingleTypeReference singleTypeReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(StringLiteral stringLiteral,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(SuperReference superReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(SwitchStatement switchStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(SynchronizedStatement synchronizedStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ThisReference thisReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ThisReference thisReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(ThrowStatement throwStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(TrueLiteral trueLiteral,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(TryStatement tryStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(TypeDeclaration localTypeDeclaration,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(TypeDeclaration memberTypeDeclaration,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(TypeDeclaration typeDeclaration,
                     CompilationUnitScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(TypeParameter typeParameter,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(TypeParameter typeParameter,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(UnaryExpression unaryExpression,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(WhileStatement whileStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(Wildcard wildcard,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(Wildcard wildcard,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlArrayReference arrayReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlArrayTypeReference arrayTypeReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlArrayTypeReference arrayTypeReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlAssertStatement assertStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlAssumeStatement assertStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlAssignment assignment,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlCastExpression castExpression,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlCastExpressionWithoutType castExpression,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration,
                     CompilationUnitScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlConstructorDeclaration constructorDeclaration,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlEnsuresClause ensuresClause,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlFieldDeclaration fieldDeclaration,
                     MethodScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlFieldReference fieldReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlFieldReference fieldReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlLocalDeclaration localDeclaration,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlMessageSend messageSend,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlMethodDeclaration methodDeclaration,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlQualifiedNameReference qualifiedNameReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlQualifiedNameReference qualifiedNameReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlQualifiedTypeReference qualifiedTypeReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlQualifiedTypeReference qualifiedTypeReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlRequiresClause requiresClause,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlResultReference resultReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlReturnStatement returnStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlSingleNameReference singleNameReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlSingleNameReference singleNameReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlSingleTypeReference singleTypeReference,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlSingleTypeReference singleTypeReference,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlWildcard wildcard,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

endVisit

public void endVisit(JmlWildcard wildcard,
                     ClassScope scope)

Overrides:: endVisit in class ASTVisitor

visit

public boolean visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlArrayReference arrayReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlArrayTypeReference arrayTypeReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlArrayTypeReference arrayTypeReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlAssertStatement assertStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlAssignment assignment,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlAssumeStatement assertStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlCastExpression castExpression,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlCastExpressionWithoutType castExpression,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlCompilationUnitDeclaration compilationUnitDeclaration,
                     CompilationUnitScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlConstructorDeclaration constructorDeclaration,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlEnsuresClause ensuresClause,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlFieldDeclaration fieldDeclaration,
                     MethodScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlFieldReference fieldReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlFieldReference fieldReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlLocalDeclaration localDeclaration,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlMessageSend messageSend,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlMethodDeclaration methodDeclaration,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlQualifiedNameReference qualifiedNameReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlQualifiedNameReference qualifiedNameReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlQualifiedTypeReference qualifiedTypeReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlQualifiedTypeReference qualifiedTypeReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlRequiresClause requiresClause,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlResultReference resultReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlReturnStatement returnStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlSingleNameReference singleNameReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlSingleNameReference singleNameReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlSingleTypeReference singleTypeReference,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlSingleTypeReference singleTypeReference,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlWildcard wildcard,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlWildcard wildcard,
                     ClassScope scope)

Overrides:: visit in class ASTVisitor

visit

public boolean visit(JmlWhileStatement whileStatement,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlWhileStatement whileStatement,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

visit

public boolean visit(JmlLoopAnnotations jmlLoopAnnotations,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlLoopAnnotations jmlLoopAnnotations,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

visit

public boolean visit(JmlLoopInvariant jmlLoopInvariant,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlLoopInvariant jmlLoopInvariant,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

visit

public boolean visit(JmlLoopVariant jmlLoopVariant,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlLoopVariant jmlLoopVariant,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

visit

public boolean visit(JmlQuantifiedExpression expr,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlQuantifiedExpression expr,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

visit

public boolean visit(JmlMethodSpecification jmlMethodSpecification,
                     ClassScope classScope)

Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlMethodSpecification jmlMethodSpecification,
                     ClassScope classScope)

Overrides:: endVisit in class ASTVisitor

visit

public boolean visit(JmlOldExpression jmlOldExpression,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlOldExpression jmlOldExpression,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

visit

public boolean visit(JmlClause jmlClause,
                     BlockScope scope)

Overrides:: visit in class ASTVisitor

endVisit

public void endVisit(JmlClause jmlClause,
                     BlockScope scope)

Overrides:: endVisit in class ASTVisitor

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.fspv Class TraceAstVisitor

TraceAstVisitor

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

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

org.jmlspecs.jml4.fspv
Class TraceAstVisitor