Uses of Class
org.eclipse.jdt.internal.compiler.lookup.ClassScope

Packages that use ClassScope

org.eclipse.jdt.internal.codeassist
org.eclipse.jdt.internal.codeassist.complete
org.eclipse.jdt.internal.codeassist.select
org.eclipse.jdt.internal.compiler
org.eclipse.jdt.internal.compiler.ast
org.eclipse.jdt.internal.compiler.lookup
org.eclipse.jdt.internal.core.search.matching
org.eclipse.jdt.internal.core.util
org.eclipse.jdt.internal.formatter
org.jmlspecs.eclipse.jdt.internal.esc2
org.jmlspecs.jml4.ast
org.jmlspecs.jml4.compiler
org.jmlspecs.jml4.fspv
org.jmlspecs.jml4.fspv.phases
org.jmlspecs.jml4.rac

Uses of ClassScope in org.eclipse.jdt.internal.codeassist

Methods in org.eclipse.jdt.internal.codeassist with parameters of type ClassScope

void	UnresolvedReferenceNameFinder.endVisit(Argument argument, ClassScope classScope)
void	UnresolvedReferenceNameFinder.endVisit(ConstructorDeclaration constructorDeclaration, ClassScope classScope)
void	UnresolvedReferenceNameFinder.endVisit(MethodDeclaration methodDeclaration, ClassScope classScope)
void	UnresolvedReferenceNameFinder.endVisit(TypeDeclaration typeDeclaration, ClassScope classScope)
void	UnresolvedReferenceNameFinder.find(char[] startWith, Initializer initializer, ClassScope scope, int from, char[][] discouragedNames, UnresolvedReferenceNameFinder.UnresolvedReferenceNameRequestor nameRequestor)
void	UnresolvedReferenceNameFinder.findAfter(char[] startWith, Scope scope, ClassScope classScope, int from, int to, char[][] discouragedNames, UnresolvedReferenceNameFinder.UnresolvedReferenceNameRequestor nameRequestor)
void	UnresolvedReferenceNameFinder.findBefore(char[] startWith, Scope scope, ClassScope classScope, int from, int recordTo, int parseTo, char[][] discouragedNames, UnresolvedReferenceNameFinder.UnresolvedReferenceNameRequestor nameRequestor)
boolean	UnresolvedReferenceNameFinder.visit(ConstructorDeclaration constructorDeclaration, ClassScope classScope)
boolean	UnresolvedReferenceNameFinder.visit(MethodDeclaration methodDeclaration, ClassScope classScope)
boolean	UnresolvedReferenceNameFinder.visit(TypeDeclaration memberTypeDeclaration, ClassScope classScope)
boolean	ThrownExceptionFinder.visit(TypeDeclaration memberTypeDeclaration, ClassScope scope)

Uses of ClassScope in org.eclipse.jdt.internal.codeassist.complete

Methods in org.eclipse.jdt.internal.codeassist.complete with parameters of type ClassScope

void	CompletionNodeDetector.endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
void	CompletionNodeDetector.endVisit(ArrayTypeReference arrayTypeReference, ClassScope scope)
void	CompletionNodeDetector.endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
void	CompletionNodeDetector.endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
void	CompletionNodeDetector.endVisit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)
void	CompletionNodeDetector.endVisit(SingleTypeReference singleTypeReference, ClassScope scope)
void	CompletionOnMethodName.resolve(ClassScope upperScope)
void	CompletionJavadoc.resolve(ClassScope scope) Resolve completion node if not null and throw exception to let clients know that it has been found.
TypeBinding	CompletionOnStringLiteral.resolveType(ClassScope scope)
TypeBinding	CompletionOnParameterizedQualifiedTypeReference.resolveType(ClassScope scope)
boolean	CompletionNodeDetector.visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
boolean	CompletionNodeDetector.visit(ArrayTypeReference arrayTypeReference, ClassScope scope)
boolean	CompletionNodeDetector.visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
boolean	CompletionNodeDetector.visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
boolean	CompletionNodeDetector.visit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)
boolean	CompletionNodeDetector.visit(SingleTypeReference singleTypeReference, ClassScope scope)

Uses of ClassScope in org.eclipse.jdt.internal.codeassist.select

Methods in org.eclipse.jdt.internal.codeassist.select with parameters of type ClassScope

void	SelectionJavadoc.resolve(ClassScope scope) Resolve selected node if not null and throw exception to let clients know that it has been found.
TypeBinding	SelectionOnParameterizedSingleTypeReference.resolveType(ClassScope scope)
TypeBinding	SelectionOnParameterizedQualifiedTypeReference.resolveType(ClassScope scope)

Uses of ClassScope in org.eclipse.jdt.internal.compiler

Methods in org.eclipse.jdt.internal.compiler with parameters of type ClassScope

void	ASTVisitor.endVisit(AnnotationMethodDeclaration annotationTypeDeclaration, ClassScope classScope)
void	ASTVisitor.endVisit(Argument argument, ClassScope scope)
void	ASTVisitor.endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
void	ASTVisitor.endVisit(ArrayTypeReference arrayTypeReference, ClassScope scope)
void	ASTVisitor.endVisit(Clinit clinit, ClassScope scope)
void	ASTVisitor.endVisit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
void	ASTVisitor.endVisit(FieldReference fieldReference, ClassScope scope)
void	ASTVisitor.endVisit(JavadocAllocationExpression expression, ClassScope scope)
void	ASTVisitor.endVisit(JavadocArgumentExpression expression, ClassScope scope)
void	ASTVisitor.endVisit(JavadocArrayQualifiedTypeReference typeRef, ClassScope scope)
void	ASTVisitor.endVisit(JavadocArraySingleTypeReference typeRef, ClassScope scope)
void	ASTVisitor.endVisit(Javadoc javadoc, ClassScope scope)
void	ASTVisitor.endVisit(JavadocFieldReference fieldRef, ClassScope scope)
void	ASTVisitor.endVisit(JavadocImplicitTypeReference implicitTypeReference, ClassScope scope)
void	ASTVisitor.endVisit(JavadocMessageSend messageSend, ClassScope scope)
void	ASTVisitor.endVisit(JavadocQualifiedTypeReference typeRef, ClassScope scope)
void	ASTVisitor.endVisit(JavadocReturnStatement statement, ClassScope scope)
void	ASTVisitor.endVisit(JavadocSingleNameReference argument, ClassScope scope)
void	ASTVisitor.endVisit(JavadocSingleTypeReference typeRef, ClassScope scope)
void	ASTVisitor.endVisit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
void	ASTVisitor.endVisit(JmlArrayTypeReference arrayTypeReference, ClassScope scope)
void	ASTVisitor.endVisit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)
void	ASTVisitor.endVisit(JmlFieldReference fieldReference, ClassScope scope)
void	ASTVisitor.endVisit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
void	ASTVisitor.endVisit(JmlMethodSpecification jmlMethodSpecification, ClassScope classScope)
void	ASTVisitor.endVisit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
void	ASTVisitor.endVisit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
void	ASTVisitor.endVisit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
void	ASTVisitor.endVisit(JmlQualifiedTypeReference qualifiedTypeReference, ClassScope scope)
void	ASTVisitor.endVisit(JmlSingleNameReference singleNameReference, ClassScope scope)
void	ASTVisitor.endVisit(JmlSingleTypeReference singleTypeReference, ClassScope scope)
void	ASTVisitor.endVisit(JmlWildcard wildcard, ClassScope scope)
void	ASTVisitor.endVisit(MethodDeclaration methodDeclaration, ClassScope scope)
void	ASTVisitor.endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
void	ASTVisitor.endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
void	ASTVisitor.endVisit(QualifiedNameReference qualifiedNameReference, ClassScope scope)
void	ASTVisitor.endVisit(QualifiedSuperReference qualifiedSuperReference, ClassScope scope)
void	ASTVisitor.endVisit(QualifiedThisReference qualifiedThisReference, ClassScope scope)
void	ASTVisitor.endVisit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)
void	ASTVisitor.endVisit(SingleNameReference singleNameReference, ClassScope scope)
void	ASTVisitor.endVisit(SingleTypeReference singleTypeReference, ClassScope scope)
void	ASTVisitor.endVisit(ThisReference thisReference, ClassScope scope)
void	ASTVisitor.endVisit(TypeDeclaration memberTypeDeclaration, ClassScope scope)
void	ASTVisitor.endVisit(TypeParameter typeParameter, ClassScope scope)
void	ASTVisitor.endVisit(Wildcard wildcard, ClassScope scope)
boolean	ASTVisitor.visit(AnnotationMethodDeclaration annotationTypeDeclaration, ClassScope classScope)
boolean	ASTVisitor.visit(Argument argument, ClassScope scope)
boolean	ASTVisitor.visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
boolean	ASTVisitor.visit(ArrayTypeReference arrayTypeReference, ClassScope scope)
boolean	ASTVisitor.visit(Clinit clinit, ClassScope scope)
boolean	ASTVisitor.visit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	ASTVisitor.visit(FieldReference fieldReference, ClassScope scope)
boolean	ASTVisitor.visit(JavadocAllocationExpression expression, ClassScope scope)
boolean	ASTVisitor.visit(JavadocArgumentExpression expression, ClassScope scope)
boolean	ASTVisitor.visit(JavadocArrayQualifiedTypeReference typeRef, ClassScope scope)
boolean	ASTVisitor.visit(JavadocArraySingleTypeReference typeRef, ClassScope scope)
boolean	ASTVisitor.visit(Javadoc javadoc, ClassScope scope)
boolean	ASTVisitor.visit(JavadocFieldReference fieldRef, ClassScope scope)
boolean	ASTVisitor.visit(JavadocImplicitTypeReference implicitTypeReference, ClassScope scope)
boolean	ASTVisitor.visit(JavadocMessageSend messageSend, ClassScope scope)
boolean	ASTVisitor.visit(JavadocQualifiedTypeReference typeRef, ClassScope scope)
boolean	ASTVisitor.visit(JavadocReturnStatement statement, ClassScope scope)
boolean	ASTVisitor.visit(JavadocSingleNameReference argument, ClassScope scope)
boolean	ASTVisitor.visit(JavadocSingleTypeReference typeRef, ClassScope scope)
boolean	ASTVisitor.visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
boolean	ASTVisitor.visit(JmlArrayTypeReference arrayTypeReference, ClassScope scope)
boolean	ASTVisitor.visit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	ASTVisitor.visit(JmlFieldReference fieldReference, ClassScope scope)
boolean	ASTVisitor.visit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
boolean	ASTVisitor.visit(JmlMethodSpecification jmlMethodSpecification, ClassScope classScope)
boolean	ASTVisitor.visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
boolean	ASTVisitor.visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
boolean	ASTVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
boolean	ASTVisitor.visit(JmlQualifiedTypeReference qualifiedTypeReference, ClassScope scope)
boolean	ASTVisitor.visit(JmlSingleNameReference singleNameReference, ClassScope scope)
boolean	ASTVisitor.visit(JmlSingleTypeReference singleTypeReference, ClassScope scope)
boolean	ASTVisitor.visit(JmlWildcard wildcard, ClassScope scope)
boolean	ASTVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	ASTVisitor.visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
boolean	ASTVisitor.visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
boolean	ASTVisitor.visit(QualifiedNameReference qualifiedNameReference, ClassScope scope)
boolean	ASTVisitor.visit(QualifiedSuperReference qualifiedSuperReference, ClassScope scope)
boolean	ASTVisitor.visit(QualifiedThisReference qualifiedThisReference, ClassScope scope)
boolean	ASTVisitor.visit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)
boolean	ASTVisitor.visit(SingleNameReference singleNameReference, ClassScope scope)
boolean	ASTVisitor.visit(SingleTypeReference singleTypeReference, ClassScope scope)
boolean	ASTVisitor.visit(ThisReference thisReference, ClassScope scope)
boolean	ASTVisitor.visit(TypeDeclaration memberTypeDeclaration, ClassScope scope)
boolean	SourceElementNotifier.LocalDeclarationVisitor.visit(TypeDeclaration typeDeclaration, ClassScope scope)
boolean	ASTVisitor.visit(TypeParameter typeParameter, ClassScope scope)
boolean	ASTVisitor.visit(Wildcard wildcard, ClassScope scope)

Uses of ClassScope in org.eclipse.jdt.internal.compiler.ast

Fields in org.eclipse.jdt.internal.compiler.ast declared as ClassScope

ClassScope

TypeDeclaration.scope

Methods in org.eclipse.jdt.internal.compiler.ast with parameters of type ClassScope

void	TypeDeclaration.analyseCode(ClassScope enclosingClassScope) Flow analysis for a member innertype
void	TypeDeclaration.analyseCode(ClassScope currentScope, FlowContext flowContext, FlowInfo flowInfo) Flow analysis for a local member innertype
void	MethodDeclaration.analyseCode(ClassScope classScope, InitializationFlowContext initializationContext, FlowInfo flowInfo)
void	ConstructorDeclaration.analyseCode(ClassScope classScope, InitializationFlowContext initializerFlowContext, FlowInfo flowInfo) Deprecated. use instead ConstructorDeclaration.analyseCode(ClassScope, InitializationFlowContext, FlowInfo, int)
void	Clinit.analyseCode(ClassScope classScope, InitializationFlowContext staticInitializerFlowContext, FlowInfo flowInfo)
abstract void	AbstractMethodDeclaration.analyseCode(ClassScope classScope, InitializationFlowContext initializationContext, FlowInfo info)
void	ConstructorDeclaration.analyseCode(ClassScope classScope, InitializationFlowContext initializerFlowContext, FlowInfo flowInfo, int initialReachMode) The flowInfo corresponds to non-static field initialization infos.
void	TypeDeclaration.generateCode(ClassScope classScope, ClassFile enclosingClassFile) Bytecode generation for a member inner type
void	ConstructorDeclaration.generateCode(ClassScope classScope, ClassFile classFile) Bytecode generation for a constructor
void	Clinit.generateCode(ClassScope classScope, ClassFile classFile) Bytecode generation for a method
void	AbstractMethodDeclaration.generateCode(ClassScope classScope, ClassFile classFile) Bytecode generation for a method
void	TypeDeclaration.manageEnclosingInstanceAccessIfNecessary(ClassScope currentScope, FlowInfo flowInfo) Access emulation for a local member type force to emulation of access to direct enclosing instance.
void	TypeParameter.resolve(ClassScope scope)
void	TypeDeclaration.resolve(ClassScope upperScope) Resolve a member type declaration (can be a local member)
void	Javadoc.resolve(ClassScope scope)
void	Clinit.resolve(ClassScope classScope)
void	AbstractMethodDeclaration.resolve(ClassScope upperScope)
TypeBinding	TypeReference.resolveSuperType(ClassScope scope)
TypeBinding	Wildcard.resolveType(ClassScope scope)
TypeBinding	TypeReference.resolveType(ClassScope scope)
TypeBinding	ParameterizedSingleTypeReference.resolveType(ClassScope scope)
TypeBinding	ParameterizedQualifiedTypeReference.resolveType(ClassScope scope)
TypeBinding	JavadocQualifiedTypeReference.resolveType(ClassScope classScope)
TypeBinding	JavadocMessageSend.resolveType(ClassScope scope)
TypeBinding	JavadocFieldReference.resolveType(ClassScope scope)
TypeBinding	JavadocArgumentExpression.resolveType(ClassScope scope)
TypeBinding	JavadocAllocationExpression.resolveType(ClassScope scope)
TypeBinding	Expression.resolveType(ClassScope scope) Resolve the type of this expression in the context of a classScope
TypeBinding	Wildcard.resolveTypeArgument(ClassScope classScope, ReferenceBinding genericType, int rank)
TypeBinding	TypeReference.resolveTypeArgument(ClassScope classScope, ReferenceBinding genericType, int rank)
void	Wildcard.traverse(ASTVisitor visitor, ClassScope scope)
abstract void	TypeReference.traverse(ASTVisitor visitor, ClassScope scope)
void	TypeParameter.traverse(ASTVisitor visitor, ClassScope scope)
void	TypeDeclaration.traverse(ASTVisitor visitor, ClassScope classScope) Iteration for a member innertype
void	ThisReference.traverse(ASTVisitor visitor, ClassScope blockScope)
void	SingleTypeReference.traverse(ASTVisitor visitor, ClassScope scope)
void	SingleNameReference.traverse(ASTVisitor visitor, ClassScope scope)
void	QualifiedTypeReference.traverse(ASTVisitor visitor, ClassScope scope)
void	QualifiedThisReference.traverse(ASTVisitor visitor, ClassScope blockScope)
void	QualifiedSuperReference.traverse(ASTVisitor visitor, ClassScope blockScope)
void	QualifiedNameReference.traverse(ASTVisitor visitor, ClassScope scope)
void	ParameterizedSingleTypeReference.traverse(ASTVisitor visitor, ClassScope scope)
void	ParameterizedQualifiedTypeReference.traverse(ASTVisitor visitor, ClassScope scope)
void	MethodDeclaration.traverse(ASTVisitor visitor, ClassScope classScope)
void	JavadocSingleTypeReference.traverse(ASTVisitor visitor, ClassScope scope)
void	JavadocSingleNameReference.traverse(ASTVisitor visitor, ClassScope scope)
void	JavadocReturnStatement.traverse(ASTVisitor visitor, ClassScope scope)
void	JavadocQualifiedTypeReference.traverse(ASTVisitor visitor, ClassScope scope)
void	JavadocMessageSend.traverse(ASTVisitor visitor, ClassScope scope)
void	JavadocImplicitTypeReference.traverse(ASTVisitor visitor, ClassScope scope)
void	JavadocFieldReference.traverse(ASTVisitor visitor, ClassScope scope)
void	JavadocArraySingleTypeReference.traverse(ASTVisitor visitor, ClassScope scope)
void	JavadocArrayQualifiedTypeReference.traverse(ASTVisitor visitor, ClassScope scope)
void	JavadocArgumentExpression.traverse(ASTVisitor visitor, ClassScope blockScope)
void	JavadocAllocationExpression.traverse(ASTVisitor visitor, ClassScope scope)
void	Javadoc.traverse(ASTVisitor visitor, ClassScope scope)
void	Expression.traverse(ASTVisitor visitor, ClassScope scope) Traverse an expression in the context of a classScope
void	ConstructorDeclaration.traverse(ASTVisitor visitor, ClassScope classScope)
void	Clinit.traverse(ASTVisitor visitor, ClassScope classScope)
void	ArrayTypeReference.traverse(ASTVisitor visitor, ClassScope scope)
void	ArrayQualifiedTypeReference.traverse(ASTVisitor visitor, ClassScope scope)
void	Argument.traverse(ASTVisitor visitor, ClassScope scope)
void	AnnotationMethodDeclaration.traverse(ASTVisitor visitor, ClassScope classScope)
void	AbstractMethodDeclaration.traverse(ASTVisitor visitor, ClassScope classScope)

Uses of ClassScope in org.eclipse.jdt.internal.compiler.lookup

Fields in org.eclipse.jdt.internal.compiler.lookup declared as ClassScope

ClassScope

SourceTypeBinding.scope

Methods in org.eclipse.jdt.internal.compiler.lookup that return ClassScope

ClassScope	Scope.classScope()
ClassScope	Scope.enclosingClassScope()
ClassScope	Scope.outerMostClassScope()

Constructors in org.eclipse.jdt.internal.compiler.lookup with parameters of type ClassScope

LocalTypeBinding(ClassScope scope, SourceTypeBinding enclosingType, CaseStatement switchCase, ReferenceBinding anonymousOriginalSuperType)

MemberTypeBinding(char[][] compoundName, ClassScope scope, SourceTypeBinding enclosingType)

MethodScope(ClassScope parent, ReferenceContext context, boolean isStatic)

NestedTypeBinding(char[][] typeName, ClassScope scope, SourceTypeBinding enclosingType)

SourceTypeBinding(char[][] compoundName, PackageBinding fPackage, ClassScope scope)

Uses of ClassScope in org.eclipse.jdt.internal.core.search.matching

Methods in org.eclipse.jdt.internal.core.search.matching with parameters of type ClassScope

boolean	MatchLocatorParser.ClassButNoMethodDeclarationVisitor.visit(AnnotationMethodDeclaration methodDeclaration, ClassScope scope)
boolean	SuperTypeNamesCollector.TypeDeclarationVisitor.visit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	MatchLocatorParser.NoClassNoMethodDeclarationVisitor.visit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	MatchLocatorParser.ClassButNoMethodDeclarationVisitor.visit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	SuperTypeNamesCollector.TypeDeclarationVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	MatchLocatorParser.NoClassNoMethodDeclarationVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	MatchLocatorParser.ClassButNoMethodDeclarationVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	SuperTypeNamesCollector.TypeDeclarationVisitor.visit(TypeDeclaration memberTypeDeclaration, ClassScope scope)
boolean	MatchLocatorParser.ClassButNoMethodDeclarationVisitor.visit(TypeDeclaration memberTypeDeclaration, ClassScope scope)

Uses of ClassScope in org.eclipse.jdt.internal.core.util

Methods in org.eclipse.jdt.internal.core.util with parameters of type ClassScope

IJavaElement

HandleFactory.createElement(ClassScope scope, ICompilationUnit unit, java.util.HashSet existingElements, java.util.HashMap knownScopes) Returns a handle denoting the class member identified by its scope.

Uses of ClassScope in org.eclipse.jdt.internal.formatter

Methods in org.eclipse.jdt.internal.formatter with parameters of type ClassScope

boolean	CodeFormatterVisitor.visit(AnnotationMethodDeclaration annotationTypeMemberDeclaration, ClassScope scope)
boolean	CodeFormatterVisitor.visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
boolean	CodeFormatterVisitor.visit(ArrayTypeReference arrayTypeReference, ClassScope scope)
boolean	CodeFormatterVisitor.visit(Clinit clinit, ClassScope scope)
boolean	CodeFormatterVisitor.visit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	CodeFormatterVisitor.visit(MarkerAnnotation annotation, ClassScope scope)
boolean	CodeFormatterVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	CodeFormatterVisitor.visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
boolean	CodeFormatterVisitor.visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
boolean	CodeFormatterVisitor.visit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)
boolean	CodeFormatterVisitor.visit(SingleTypeReference singleTypeReference, ClassScope scope)
boolean	CodeFormatterVisitor.visit(TypeDeclaration memberTypeDeclaration, ClassScope scope)
boolean	CodeFormatterVisitor.visit(TypeParameter typeParameter, ClassScope scope)
boolean	CodeFormatterVisitor.visit(Wildcard wildcard, ClassScope scope)

Uses of ClassScope in org.jmlspecs.eclipse.jdt.internal.esc2

Methods in org.jmlspecs.eclipse.jdt.internal.esc2 with parameters of type ClassScope

void	JdtAst2EscjAstVisitor.endVisit(ConstructorDeclaration constructorDeclaration, ClassScope scope) Deprecated.
void	JdtAst2EscjAstVisitor.endVisit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope) Deprecated.
void	JdtAst2EscjAstVisitor.endVisit(TypeDeclaration memberTypeDeclaration, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(AnnotationMethodDeclaration annotationTypeDeclaration, ClassScope classScope) Deprecated.
boolean	PrintVisitor.visit(Argument argument, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(ArrayTypeReference arrayTypeReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(Clinit clinit, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(ConstructorDeclaration constructorDeclaration, ClassScope scope) Deprecated.
boolean	JdtAst2EscjAstVisitor.visit(ConstructorDeclaration constructorDeclaration, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(FieldReference fieldReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JavadocAllocationExpression expression, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JavadocArgumentExpression expression, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JavadocArrayQualifiedTypeReference typeRef, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JavadocArraySingleTypeReference typeRef, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(Javadoc javadoc, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JavadocFieldReference fieldRef, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JavadocImplicitTypeReference implicitTypeReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JavadocMessageSend messageSend, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JavadocQualifiedTypeReference typeRef, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JavadocReturnStatement statement, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JavadocSingleNameReference argument, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JavadocSingleTypeReference typeRef, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JmlArrayTypeReference arrayTypeReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope) Deprecated.
boolean	JdtAst2EscjAstVisitor.visit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JmlFieldReference fieldReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JmlMethodDeclaration methodDeclaration, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JmlQualifiedTypeReference qualifiedTypeReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JmlSingleNameReference singleNameReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JmlSingleTypeReference singleTypeReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(JmlWildcard wildcard, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(QualifiedNameReference qualifiedNameReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(QualifiedSuperReference qualifiedSuperReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(QualifiedThisReference qualifiedThisReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(SingleNameReference singleNameReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(SingleTypeReference singleTypeReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(ThisReference thisReference, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(TypeDeclaration memberTypeDeclaration, ClassScope scope) Deprecated.
boolean	JdtAst2EscjAstVisitor.visit(TypeDeclaration memberTypeDeclaration, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(TypeParameter typeParameter, ClassScope scope) Deprecated.
boolean	PrintVisitor.visit(Wildcard wildcard, ClassScope scope) Deprecated.

Uses of ClassScope in org.jmlspecs.jml4.ast

Methods in org.jmlspecs.jml4.ast with parameters of type ClassScope

void	JmlMethodDeclaration.analyseCode(ClassScope classScope, InitializationFlowContext initializationContext, FlowInfo flowInfo)
void	JmlClinit.analyseCode(ClassScope classScope, InitializationFlowContext staticInitializerFlowContext, FlowInfo flowInfo)
void	JmlConstructorDeclaration.analyseCode(ClassScope classScope, InitializationFlowContext initializerFlowContext, FlowInfo flowInfo, int initialReachMode)
void	JmlMethodDeclaration.resolve(ClassScope upperScope)
void	JmlConstructorDeclaration.resolve(ClassScope upperScope)
void	JmlMethodDeclaration.traverse(ASTVisitor visitor, ClassScope classScope)
void	JmlConstructorDeclaration.traverse(ASTVisitor visitor, ClassScope classScope)

Uses of ClassScope in org.jmlspecs.jml4.compiler

Methods in org.jmlspecs.jml4.compiler with parameters of type ClassScope

boolean	ReferenceCounterVisitor.visit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	ReferenceCounterVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope)

Uses of ClassScope in org.jmlspecs.jml4.fspv

Methods in org.jmlspecs.jml4.fspv with parameters of type ClassScope

void	TraceAstVisitor.endVisit(AnnotationMethodDeclaration annotationTypeDeclaration, ClassScope classScope)
void	TraceAstVisitor.endVisit(Argument argument, ClassScope scope)
void	TraceAstVisitor.endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
void	TraceAstVisitor.endVisit(ArrayTypeReference arrayTypeReference, ClassScope scope)
void	TraceAstVisitor.endVisit(Clinit clinit, ClassScope scope)
void	TraceAstVisitor.endVisit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
void	TraceAstVisitor.endVisit(FieldReference fieldReference, ClassScope scope)
void	TraceAstVisitor.endVisit(JavadocAllocationExpression expression, ClassScope scope)
void	TraceAstVisitor.endVisit(JavadocArgumentExpression expression, ClassScope scope)
void	TraceAstVisitor.endVisit(JavadocArrayQualifiedTypeReference typeRef, ClassScope scope)
void	TraceAstVisitor.endVisit(JavadocArraySingleTypeReference typeRef, ClassScope scope)
void	TraceAstVisitor.endVisit(Javadoc javadoc, ClassScope scope)
void	TraceAstVisitor.endVisit(JavadocFieldReference fieldRef, ClassScope scope)
void	TraceAstVisitor.endVisit(JavadocImplicitTypeReference implicitTypeReference, ClassScope scope)
void	TraceAstVisitor.endVisit(JavadocMessageSend messageSend, ClassScope scope)
void	TraceAstVisitor.endVisit(JavadocQualifiedTypeReference typeRef, ClassScope scope)
void	TraceAstVisitor.endVisit(JavadocReturnStatement statement, ClassScope scope)
void	TraceAstVisitor.endVisit(JavadocSingleNameReference argument, ClassScope scope)
void	TraceAstVisitor.endVisit(JavadocSingleTypeReference typeRef, ClassScope scope)
void	TraceAstVisitor.endVisit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
void	TraceAstVisitor.endVisit(JmlArrayTypeReference arrayTypeReference, ClassScope scope)
void	TraceAstVisitor.endVisit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)
void	TraceAstVisitor.endVisit(JmlFieldReference fieldReference, ClassScope scope)
void	TraceAstVisitor.endVisit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
void	TheoryTranslator.endVisit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
void	TraceAstVisitor.endVisit(JmlMethodSpecification jmlMethodSpecification, ClassScope classScope)
void	TraceAstVisitor.endVisit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
void	TraceAstVisitor.endVisit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
void	TraceAstVisitor.endVisit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
void	TraceAstVisitor.endVisit(JmlQualifiedTypeReference qualifiedTypeReference, ClassScope scope)
void	TraceAstVisitor.endVisit(JmlSingleNameReference singleNameReference, ClassScope scope)
void	TraceAstVisitor.endVisit(JmlSingleTypeReference singleTypeReference, ClassScope scope)
void	TraceAstVisitor.endVisit(JmlWildcard wildcard, ClassScope scope)
void	TraceAstVisitor.endVisit(MethodDeclaration methodDeclaration, ClassScope scope)
void	TheoryTranslator.endVisit(MethodDeclaration methodDeclaration, ClassScope scope)
void	TraceAstVisitor.endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
void	TraceAstVisitor.endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
void	TraceAstVisitor.endVisit(QualifiedNameReference qualifiedNameReference, ClassScope scope)
void	TraceAstVisitor.endVisit(QualifiedSuperReference qualifiedSuperReference, ClassScope scope)
void	TraceAstVisitor.endVisit(QualifiedThisReference qualifiedThisReference, ClassScope scope)
void	TraceAstVisitor.endVisit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)
void	TraceAstVisitor.endVisit(SingleNameReference singleNameReference, ClassScope scope)
void	TraceAstVisitor.endVisit(SingleTypeReference singleTypeReference, ClassScope scope)
void	TraceAstVisitor.endVisit(ThisReference thisReference, ClassScope scope)
void	TraceAstVisitor.endVisit(TypeDeclaration memberTypeDeclaration, ClassScope scope)
void	TraceAstVisitor.endVisit(TypeParameter typeParameter, ClassScope scope)
void	TraceAstVisitor.endVisit(Wildcard wildcard, ClassScope scope)
boolean	TraceAstVisitor.visit(AnnotationMethodDeclaration annotationTypeDeclaration, ClassScope classScope)
boolean	TraceAstVisitor.visit(Argument argument, ClassScope scope)
boolean	TraceAstVisitor.visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
boolean	TraceAstVisitor.visit(ArrayTypeReference arrayTypeReference, ClassScope scope)
boolean	TraceAstVisitor.visit(Clinit clinit, ClassScope scope)
boolean	TraceAstVisitor.visit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	TraceAstVisitor.visit(FieldReference fieldReference, ClassScope scope)
boolean	TraceAstVisitor.visit(JavadocAllocationExpression expression, ClassScope scope)
boolean	TraceAstVisitor.visit(JavadocArgumentExpression expression, ClassScope scope)
boolean	TraceAstVisitor.visit(JavadocArrayQualifiedTypeReference typeRef, ClassScope scope)
boolean	TraceAstVisitor.visit(JavadocArraySingleTypeReference typeRef, ClassScope scope)
boolean	TraceAstVisitor.visit(Javadoc javadoc, ClassScope scope)
boolean	TraceAstVisitor.visit(JavadocFieldReference fieldRef, ClassScope scope)
boolean	TraceAstVisitor.visit(JavadocImplicitTypeReference implicitTypeReference, ClassScope scope)
boolean	TraceAstVisitor.visit(JavadocMessageSend messageSend, ClassScope scope)
boolean	TraceAstVisitor.visit(JavadocQualifiedTypeReference typeRef, ClassScope scope)
boolean	TraceAstVisitor.visit(JavadocReturnStatement statement, ClassScope scope)
boolean	TraceAstVisitor.visit(JavadocSingleNameReference argument, ClassScope scope)
boolean	TraceAstVisitor.visit(JavadocSingleTypeReference typeRef, ClassScope scope)
boolean	TraceAstVisitor.visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
boolean	TraceAstVisitor.visit(JmlArrayTypeReference arrayTypeReference, ClassScope scope)
boolean	TraceAstVisitor.visit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	TraceAstVisitor.visit(JmlFieldReference fieldReference, ClassScope scope)
boolean	TraceAstVisitor.visit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
boolean	TheoryTranslator.visit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
boolean	TraceAstVisitor.visit(JmlMethodSpecification jmlMethodSpecification, ClassScope classScope)
boolean	TraceAstVisitor.visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
boolean	TraceAstVisitor.visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
boolean	TraceAstVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
boolean	TraceAstVisitor.visit(JmlQualifiedTypeReference qualifiedTypeReference, ClassScope scope)
boolean	TraceAstVisitor.visit(JmlSingleNameReference singleNameReference, ClassScope scope)
boolean	TraceAstVisitor.visit(JmlSingleTypeReference singleTypeReference, ClassScope scope)
boolean	TraceAstVisitor.visit(JmlWildcard wildcard, ClassScope scope)
boolean	TraceAstVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	TheoryTranslator.visit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	TraceAstVisitor.visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
boolean	TraceAstVisitor.visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
boolean	TraceAstVisitor.visit(QualifiedNameReference qualifiedNameReference, ClassScope scope)
boolean	TraceAstVisitor.visit(QualifiedSuperReference qualifiedSuperReference, ClassScope scope)
boolean	TraceAstVisitor.visit(QualifiedThisReference qualifiedThisReference, ClassScope scope)
boolean	TraceAstVisitor.visit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)
boolean	TraceAstVisitor.visit(SingleNameReference singleNameReference, ClassScope scope)
boolean	TraceAstVisitor.visit(SingleTypeReference singleTypeReference, ClassScope scope)
boolean	TraceAstVisitor.visit(ThisReference thisReference, ClassScope scope)
boolean	TraceAstVisitor.visit(TypeDeclaration memberTypeDeclaration, ClassScope scope)
boolean	TraceAstVisitor.visit(TypeParameter typeParameter, ClassScope scope)
boolean	TraceAstVisitor.visit(Wildcard wildcard, ClassScope scope)

Uses of ClassScope in org.jmlspecs.jml4.fspv.phases

Methods in org.jmlspecs.jml4.fspv.phases with parameters of type ClassScope

void	TheoryTranslation.endVisit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
void	TheoryTranslation.endVisit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)
void	TheoryTranslation.endVisit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
void	TheoryTranslation.endVisit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	TheoryTranslation.visit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	TheoryTranslation.visit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	TheoryTranslation.visit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
boolean	TheoryTranslation.visit(MethodDeclaration methodDeclaration, ClassScope scope)

Uses of ClassScope in org.jmlspecs.jml4.rac

Methods in org.jmlspecs.jml4.rac with parameters of type ClassScope

void	JavaAstVisitor.endVisit(AnnotationMethodDeclaration annotationTypeDeclaration, ClassScope classScope)
void	DefaultRacAstVisitor.endVisit(AnnotationMethodDeclaration annotationTypeDeclaration, ClassScope classScope)
void	AstDirtyBitsRetriever.endVisit(AnnotationMethodDeclaration annotationTypeDeclaration, ClassScope classScope)
void	AstDirtyBitsRestorer.endVisit(AnnotationMethodDeclaration annotationTypeDeclaration, ClassScope classScope)
void	JavaAstVisitor.endVisit(Argument argument, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(Argument argument, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(Argument argument, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(Argument argument, ClassScope scope)
void	JavaAstVisitor.endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
void	JavaAstVisitor.endVisit(ArrayTypeReference arrayTypeReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(ArrayTypeReference arrayTypeReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(ArrayTypeReference arrayTypeReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(ArrayTypeReference arrayTypeReference, ClassScope scope)
void	JavaAstVisitor.endVisit(Clinit clinit, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(Clinit clinit, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(Clinit clinit, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(Clinit clinit, ClassScope scope)
void	JavaAstVisitor.endVisit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
void	JavaAstVisitor.endVisit(FieldReference fieldReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(FieldReference fieldReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(FieldReference fieldReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(FieldReference fieldReference, ClassScope scope)
void	JmlAstVisitor.endVisit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
void	JmlAstVisitor.endVisit(JmlArrayTypeReference arrayTypeReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(JmlArrayTypeReference arrayTypeReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlArrayTypeReference arrayTypeReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlArrayTypeReference arrayTypeReference, ClassScope scope)
void	JmlAstVisitor.endVisit(JmlClinit clinit, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(JmlClinit clinit, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlClinit clinit, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlClinit clinit, ClassScope scope)
void	JmlAstVisitor.endVisit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)
void	JmlAstVisitor.endVisit(JmlFieldReference fieldReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(JmlFieldReference fieldReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlFieldReference fieldReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlFieldReference fieldReference, ClassScope scope)
void	JmlNullifier.endVisit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
void	JmlAstVisitor.endVisit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
void	JmlNullifier.endVisit(JmlMethodSpecification jmlMethodSpecification, ClassScope classScope)
void	JmlAstVisitor.endVisit(JmlMethodSpecification jmlMethodSpecification, ClassScope classScope)
void	DefaultRacAstVisitor.endVisit(JmlMethodSpecification jmlMethodSpecification, ClassScope classScope)
void	AstDirtyBitsRetriever.endVisit(JmlMethodSpecification jmlMethodSpecification, ClassScope classScope)
void	JmlAstVisitor.endVisit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
void	JmlAstVisitor.endVisit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
void	JmlAstVisitor.endVisit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
void	JmlAstVisitor.endVisit(JmlQualifiedTypeReference qualifiedTypeReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(JmlQualifiedTypeReference qualifiedTypeReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlQualifiedTypeReference qualifiedTypeReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlQualifiedTypeReference qualifiedTypeReference, ClassScope scope)
void	JmlAstVisitor.endVisit(JmlSingleNameReference singleNameReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(JmlSingleNameReference singleNameReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlSingleNameReference singleNameReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlSingleNameReference singleNameReference, ClassScope scope)
void	JmlAstVisitor.endVisit(JmlSingleTypeReference singleTypeReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(JmlSingleTypeReference singleTypeReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlSingleTypeReference singleTypeReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlSingleTypeReference singleTypeReference, ClassScope scope)
void	JmlAstVisitor.endVisit(JmlWildcard wildcard, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(JmlWildcard wildcard, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlWildcard wildcard, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlWildcard wildcard, ClassScope scope)
void	JavaAstVisitor.endVisit(MethodDeclaration methodDeclaration, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(MethodDeclaration methodDeclaration, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(MethodDeclaration methodDeclaration, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(MethodDeclaration methodDeclaration, ClassScope scope)
void	JavaAstVisitor.endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
void	JavaAstVisitor.endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
void	JavaAstVisitor.endVisit(QualifiedNameReference qualifiedNameReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(QualifiedNameReference qualifiedNameReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(QualifiedNameReference qualifiedNameReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(QualifiedNameReference qualifiedNameReference, ClassScope scope)
void	JavaAstVisitor.endVisit(QualifiedSuperReference qualifiedSuperReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(QualifiedSuperReference qualifiedSuperReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(QualifiedSuperReference qualifiedSuperReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(QualifiedSuperReference qualifiedSuperReference, ClassScope scope)
void	JavaAstVisitor.endVisit(QualifiedThisReference qualifiedThisReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(QualifiedThisReference qualifiedThisReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(QualifiedThisReference qualifiedThisReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(QualifiedThisReference qualifiedThisReference, ClassScope scope)
void	JavaAstVisitor.endVisit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)
void	JavaAstVisitor.endVisit(SingleNameReference singleNameReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(SingleNameReference singleNameReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(SingleNameReference singleNameReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(SingleNameReference singleNameReference, ClassScope scope)
void	JavaAstVisitor.endVisit(SingleTypeReference singleTypeReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(SingleTypeReference singleTypeReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(SingleTypeReference singleTypeReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(SingleTypeReference singleTypeReference, ClassScope scope)
void	JavaAstVisitor.endVisit(ThisReference thisReference, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(ThisReference thisReference, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(ThisReference thisReference, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(ThisReference thisReference, ClassScope scope)
void	JavaAstVisitor.endVisit(TypeDeclaration memberTypeDeclaration, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(TypeDeclaration memberTypeDeclaration, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(TypeDeclaration memberTypeDeclaration, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(TypeDeclaration memberTypeDeclaration, ClassScope scope)
void	JavaAstVisitor.endVisit(TypeParameter typeParameter, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(TypeParameter typeParameter, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(TypeParameter typeParameter, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(TypeParameter typeParameter, ClassScope scope)
void	JavaAstVisitor.endVisit(Wildcard wildcard, ClassScope scope)
void	DefaultRacAstVisitor.endVisit(Wildcard wildcard, ClassScope scope)
void	AstDirtyBitsRetriever.endVisit(Wildcard wildcard, ClassScope scope)
void	AstDirtyBitsRestorer.endVisit(Wildcard wildcard, ClassScope scope)
boolean	JavaAstVisitor.visit(AnnotationMethodDeclaration annotationTypeDeclaration, ClassScope classScope)
boolean	DefaultRacAstVisitor.visit(AnnotationMethodDeclaration annotationTypeDeclaration, ClassScope classScope)
boolean	AstDirtyBitsRetriever.visit(AnnotationMethodDeclaration annotationTypeDeclaration, ClassScope classScope)
boolean	AstDirtyBitsRestorer.visit(AnnotationMethodDeclaration annotationTypeDeclaration, ClassScope classScope)
boolean	JavaAstVisitor.visit(Argument argument, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(Argument argument, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(Argument argument, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(Argument argument, ClassScope scope)
boolean	JavaAstVisitor.visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(ArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
boolean	JavaAstVisitor.visit(ArrayTypeReference arrayTypeReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(ArrayTypeReference arrayTypeReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(ArrayTypeReference arrayTypeReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(ArrayTypeReference arrayTypeReference, ClassScope scope)
boolean	JavaAstVisitor.visit(Clinit clinit, ClassScope scope) Class and interface initialization method that are called implicitly by the Java Virtual Machine.
boolean	DefaultRacAstVisitor.visit(Clinit clinit, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(Clinit clinit, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(Clinit clinit, ClassScope scope)
boolean	JavaAstVisitor.visit(ConstructorDeclaration constructorDeclaration, ClassScope scope) A method declaration which is a constructor.
boolean	DefaultRacAstVisitor.visit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(ConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	JavaAstVisitor.visit(FieldReference fieldReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(FieldReference fieldReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(FieldReference fieldReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(FieldReference fieldReference, ClassScope scope)
boolean	JmlAstVisitor.visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlArrayQualifiedTypeReference arrayQualifiedTypeReference, ClassScope scope)
boolean	JmlAstVisitor.visit(JmlArrayTypeReference arrayTypeReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(JmlArrayTypeReference arrayTypeReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlArrayTypeReference arrayTypeReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlArrayTypeReference arrayTypeReference, ClassScope scope)
boolean	JmlAstVisitor.visit(JmlClinit clinit, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(JmlClinit clinit, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlClinit clinit, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlClinit clinit, ClassScope scope)
boolean	ResolutionNullifier.visit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	JmlAstVisitor.visit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlConstructorDeclaration constructorDeclaration, ClassScope scope)
boolean	JmlAstVisitor.visit(JmlFieldReference fieldReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(JmlFieldReference fieldReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlFieldReference fieldReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlFieldReference fieldReference, ClassScope scope)
boolean	ResolutionNullifier.visit(JmlMethodDeclaration meth, ClassScope scope)
boolean	JmlNullifier.visit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
boolean	JmlAstVisitor.visit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlMethodDeclaration methodDeclaration, ClassScope scope)
boolean	JmlNullifier.visit(JmlMethodSpecification jmlMethodSpecification, ClassScope classScope)
boolean	JmlAstVisitor.visit(JmlMethodSpecification jmlMethodSpecification, ClassScope classScope)
boolean	DefaultRacAstVisitor.visit(JmlMethodSpecification jmlMethodSpecification, ClassScope classScope)
boolean	AstDirtyBitsRetriever.visit(JmlMethodSpecification jmlMethodSpecification, ClassScope classScope)
boolean	JmlAstVisitor.visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
boolean	JmlAstVisitor.visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
boolean	JmlAstVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlQualifiedNameReference qualifiedNameReference, ClassScope scope)
boolean	JmlAstVisitor.visit(JmlQualifiedTypeReference qualifiedTypeReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(JmlQualifiedTypeReference qualifiedTypeReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlQualifiedTypeReference qualifiedTypeReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlQualifiedTypeReference qualifiedTypeReference, ClassScope scope)
boolean	JmlAstVisitor.visit(JmlSingleNameReference singleNameReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(JmlSingleNameReference singleNameReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlSingleNameReference singleNameReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlSingleNameReference singleNameReference, ClassScope scope)
boolean	JmlAstVisitor.visit(JmlSingleTypeReference singleTypeReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(JmlSingleTypeReference singleTypeReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlSingleTypeReference singleTypeReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlSingleTypeReference singleTypeReference, ClassScope scope)
boolean	JmlAstVisitor.visit(JmlWildcard wildcard, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(JmlWildcard wildcard, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlWildcard wildcard, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlWildcard wildcard, ClassScope scope)
boolean	JavaAstVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope) Declaration of a method.
boolean	DefaultRacAstVisitor.visit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(MethodDeclaration methodDeclaration, ClassScope scope)
boolean	JavaAstVisitor.visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(ParameterizedQualifiedTypeReference parameterizedQualifiedTypeReference, ClassScope scope)
boolean	JavaAstVisitor.visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(ParameterizedSingleTypeReference parameterizedSingleTypeReference, ClassScope scope)
boolean	JavaAstVisitor.visit(QualifiedNameReference qualifiedNameReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(QualifiedNameReference qualifiedNameReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(QualifiedNameReference qualifiedNameReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(QualifiedNameReference qualifiedNameReference, ClassScope scope)
boolean	JavaAstVisitor.visit(QualifiedSuperReference qualifiedSuperReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(QualifiedSuperReference qualifiedSuperReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(QualifiedSuperReference qualifiedSuperReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(QualifiedSuperReference qualifiedSuperReference, ClassScope scope)
boolean	JavaAstVisitor.visit(QualifiedThisReference qualifiedThisReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(QualifiedThisReference qualifiedThisReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(QualifiedThisReference qualifiedThisReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(QualifiedThisReference qualifiedThisReference, ClassScope scope)
boolean	JavaAstVisitor.visit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(QualifiedTypeReference qualifiedTypeReference, ClassScope scope)
boolean	JavaAstVisitor.visit(SingleNameReference singleNameReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(SingleNameReference singleNameReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(SingleNameReference singleNameReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(SingleNameReference singleNameReference, ClassScope scope)
boolean	JavaAstVisitor.visit(SingleTypeReference singleTypeReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(SingleTypeReference singleTypeReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(SingleTypeReference singleTypeReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(SingleTypeReference singleTypeReference, ClassScope scope)
boolean	JavaAstVisitor.visit(ThisReference thisReference, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(ThisReference thisReference, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(ThisReference thisReference, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(ThisReference thisReference, ClassScope scope)
boolean	JavaAstVisitor.visit(TypeDeclaration memberTypeDeclaration, ClassScope scope) Declaring an inner type within a class/interface.
boolean	DefaultRacAstVisitor.visit(TypeDeclaration memberTypeDeclaration, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(TypeDeclaration memberTypeDeclaration, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(TypeDeclaration memberTypeDeclaration, ClassScope scope)
boolean	JavaAstVisitor.visit(TypeParameter typeParameter, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(TypeParameter typeParameter, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(TypeParameter typeParameter, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(TypeParameter typeParameter, ClassScope scope)
boolean	JavaAstVisitor.visit(Wildcard wildcard, ClassScope scope)
boolean	DefaultRacAstVisitor.visit(Wildcard wildcard, ClassScope scope)
boolean	AstDirtyBitsRetriever.visit(Wildcard wildcard, ClassScope scope)
boolean	AstDirtyBitsRestorer.visit(Wildcard wildcard, ClassScope scope)