org.jmlspecs.eclipse.jdt.internal.esc2
Class PrintVisitor

java.lang.Object
  org.jmlspecs.eclipse.jdt.internal.esc2.PrintVisitor

Direct Known Subclasses:

JdtAst2EscjAstVisitor

Deprecated. because it is very unlikely that we will try to map between JML4 and ESC/Java2 ASTs.

public class PrintVisitor
extends java.lang.Object

Author:

karabot

Constructor Summary

PrintVisitor()
Deprecated.

Method Summary

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PrintVisitor

public PrintVisitor()

Deprecated.

Method Detail

acceptProblem

public void acceptProblem(IProblem problem)

Deprecated.

visit

public boolean visit(AllocationExpression allocationExpression,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(AND_AND_Expression and_and_Expression,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(AnnotationMethodDeclaration annotationTypeDeclaration,
                     ClassScope classScope)

Deprecated.

visit

public boolean visit(Argument argument,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(Argument argument,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(ArrayAllocationExpression arrayAllocationExpression,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(ArrayInitializer arrayInitializer,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(ArrayReference arrayReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(ArrayTypeReference arrayTypeReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(ArrayTypeReference arrayTypeReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(AssertStatement assertStatement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(Assignment assignment,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(BinaryExpression binaryExpression,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(Block block,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(BreakStatement breakStatement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(CaseStatement caseStatement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(CastExpression castExpression,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(CharLiteral charLiteral,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(ClassLiteralAccess classLiteral,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(Clinit clinit,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(CompilationUnitDeclaration compilationUnitDeclaration,
                     CompilationUnitScope scope)

Deprecated.

visit

public boolean visit(CompoundAssignment compoundAssignment,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(ConditionalExpression conditionalExpression,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(ConstructorDeclaration constructorDeclaration,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(ContinueStatement continueStatement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(DoStatement doStatement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(DoubleLiteral doubleLiteral,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(EmptyStatement emptyStatement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(EqualExpression equalExpression,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(ExplicitConstructorCall explicitConstructor,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(ExtendedStringLiteral extendedStringLiteral,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(FalseLiteral falseLiteral,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(FieldDeclaration fieldDeclaration,
                     MethodScope scope)

Deprecated.

visit

public boolean visit(FieldReference fieldReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(FieldReference fieldReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(FloatLiteral floatLiteral,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(ForeachStatement forStatement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(ForStatement forStatement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(IfStatement ifStatement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(ImportReference importRef,
                     CompilationUnitScope scope)

Deprecated.

visit

public boolean visit(Initializer initializer,
                     MethodScope scope)

Deprecated.

visit

public boolean visit(InstanceOfExpression instanceOfExpression,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(IntLiteral intLiteral,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(Javadoc javadoc,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(Javadoc javadoc,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JavadocAllocationExpression expression,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JavadocAllocationExpression expression,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JavadocArgumentExpression expression,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JavadocArgumentExpression expression,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JavadocArrayQualifiedTypeReference typeRef,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JavadocArrayQualifiedTypeReference typeRef,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JavadocArraySingleTypeReference typeRef,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JavadocArraySingleTypeReference typeRef,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JavadocFieldReference fieldRef,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JavadocFieldReference fieldRef,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JavadocImplicitTypeReference implicitTypeReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JavadocImplicitTypeReference implicitTypeReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JavadocMessageSend messageSend,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JavadocMessageSend messageSend,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JavadocQualifiedTypeReference typeRef,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JavadocQualifiedTypeReference typeRef,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JavadocReturnStatement statement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JavadocReturnStatement statement,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JavadocSingleNameReference argument,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JavadocSingleNameReference argument,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JavadocSingleTypeReference typeRef,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JavadocSingleTypeReference typeRef,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(LabeledStatement labeledStatement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(LocalDeclaration localDeclaration,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(LongLiteral longLiteral,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(MarkerAnnotation annotation,
                     BlockScope scope)

Deprecated.

Parameters:

annotation -

scope -

Since:

3.1

visit

public boolean visit(MemberValuePair pair,
                     BlockScope scope)

Deprecated.

Parameters:

pair -

scope -

Since:

3.1

visit

public boolean visit(MessageSend messageSend,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(MethodDeclaration methodDeclaration,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(StringLiteralConcatenation literal,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(NormalAnnotation annotation,
                     BlockScope scope)

Deprecated.

Parameters:

annotation -

scope -

Since:

3.1

visit

public boolean visit(NullLiteral nullLiteral,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(OR_OR_Expression or_or_Expression,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(PostfixExpression postfixExpression,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(PrefixExpression prefixExpression,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(QualifiedAllocationExpression qualifiedAllocationExpression,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(QualifiedNameReference qualifiedNameReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(QualifiedNameReference qualifiedNameReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(QualifiedSuperReference qualifiedSuperReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(QualifiedSuperReference qualifiedSuperReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(QualifiedThisReference qualifiedThisReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(QualifiedThisReference qualifiedThisReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(QualifiedTypeReference qualifiedTypeReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(QualifiedTypeReference qualifiedTypeReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(ReturnStatement returnStatement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(SingleMemberAnnotation annotation,
                     BlockScope scope)

Deprecated.

Parameters:

annotation -

scope -

Since:

3.1

visit

public boolean visit(SingleNameReference singleNameReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(SingleNameReference singleNameReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(SingleTypeReference singleTypeReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(SingleTypeReference singleTypeReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(StringLiteral stringLiteral,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(SuperReference superReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(SwitchStatement switchStatement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(SynchronizedStatement synchronizedStatement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(ThisReference thisReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(ThisReference thisReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(ThrowStatement throwStatement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(TrueLiteral trueLiteral,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(TryStatement tryStatement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(TypeDeclaration localTypeDeclaration,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(TypeDeclaration memberTypeDeclaration,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(TypeDeclaration typeDeclaration,
                     CompilationUnitScope scope)

Deprecated.

visit

public boolean visit(TypeParameter typeParameter,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(TypeParameter typeParameter,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(UnaryExpression unaryExpression,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(WhileStatement whileStatement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(Wildcard wildcard,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(Wildcard wildcard,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JmlArrayReference arrayReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlArrayTypeReference arrayTypeReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlArrayTypeReference arrayTypeReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JmlAssertStatement assertStatement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlAssignment assignment,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlCastExpression castExpression,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlCastExpressionWithoutType castExpression,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlCompilationUnitDeclaration compilationUnitDeclaration,
                     CompilationUnitScope scope)

Deprecated.

visit

public boolean visit(JmlConstructorDeclaration constructorDeclaration,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JmlEnsuresClause ensuresClause,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlFieldDeclaration fieldDeclaration,
                     MethodScope scope)

Deprecated.

visit

public boolean visit(JmlFieldReference fieldReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlFieldReference fieldReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JmlLocalDeclaration localDeclaration,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlMessageSend messageSend,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlMethodDeclaration methodDeclaration,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JmlQualifiedNameReference qualifiedNameReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlQualifiedNameReference qualifiedNameReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JmlQualifiedTypeReference qualifiedTypeReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlQualifiedTypeReference qualifiedTypeReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JmlRequiresClause requiresClause,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlResultReference resultReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlReturnStatement returnStatement,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlSingleNameReference singleNameReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlSingleNameReference singleNameReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JmlSingleTypeReference singleTypeReference,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlSingleTypeReference singleTypeReference,
                     ClassScope scope)

Deprecated.

visit

public boolean visit(JmlWildcard wildcard,
                     BlockScope scope)

Deprecated.

visit

public boolean visit(JmlWildcard wildcard,
                     ClassScope scope)

Deprecated.