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

Packages that use CompilationUnitScope

org.eclipse.jdt.internal.codeassist
org.eclipse.jdt.internal.codeassist.complete
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.formatter
org.jmlspecs.eclipse.jdt.internal.esc2
org.jmlspecs.jml4.ast
org.jmlspecs.jml4.compiler
org.jmlspecs.jml4.esc
org.jmlspecs.jml4.fspv
org.jmlspecs.jml4.fspv.phases
org.jmlspecs.jml4.rac

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

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

boolean

ThrownExceptionFinder.visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)

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

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

void	CompletionNodeDetector.endVisit(MemberValuePair pair, CompilationUnitScope scope)
void	CompletionJavadoc.resolve(CompilationUnitScope scope) Resolve completion node if not null and throw exception to let clients know that it has been found.
boolean	CompletionNodeDetector.visit(MemberValuePair pair, CompilationUnitScope scope)

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

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

void	ASTVisitor.endVisit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	ASTVisitor.endVisit(ImportReference importRef, CompilationUnitScope scope)
void	ASTVisitor.endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	ASTVisitor.endVisit(JmlTypeDeclaration typeDecle, CompilationUnitScope scope)
void	ASTVisitor.endVisit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)
boolean	ASTVisitor.visit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	ASTVisitor.visit(ImportReference importRef, CompilationUnitScope scope)
boolean	ASTVisitor.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	ASTVisitor.visit(JmlTypeDeclaration typeDecle, CompilationUnitScope scope)
boolean	ASTVisitor.visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)

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

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

CompilationUnitScope

CompilationUnitDeclaration.scope

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

void	TypeDeclaration.analyseCode(CompilationUnitScope unitScope) Flow analysis for a package member type
void	TypeDeclaration.generateCode(CompilationUnitScope unitScope) Bytecode generation for a package member
void	TypeDeclaration.resolve(CompilationUnitScope upperScope) Resolve a top level type declaration
void	Javadoc.resolve(CompilationUnitScope unitScope)
void	TypeDeclaration.traverse(ASTVisitor visitor, CompilationUnitScope unitScope) Iteration for a package member type
void	ImportReference.traverse(ASTVisitor visitor, CompilationUnitScope scope)
void	CompilationUnitDeclaration.traverse(ASTVisitor visitor, CompilationUnitScope unitScope)

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

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

CompilationUnitScope

Scope.compilationUnitScope()

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

MethodBinding	SourceTypeBinding.getExactMethod(char[] selector, TypeBinding[] argumentTypes, CompilationUnitScope refScope)
MethodBinding	ReferenceBinding.getExactMethod(char[] selector, TypeBinding[] argumentTypes, CompilationUnitScope refScope)
MethodBinding	ParameterizedTypeBinding.getExactMethod(char[] selector, TypeBinding[] argumentTypes, CompilationUnitScope refScope)
MethodBinding	BinaryTypeBinding.getExactMethod(char[] selector, TypeBinding[] argumentTypes, CompilationUnitScope refScope)

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

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

boolean

SuperTypeNamesCollector.TypeDeclarationVisitor.visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)

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

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

boolean	CodeFormatterVisitor.visit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	CodeFormatterVisitor.visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)

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

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

void	JdtAst2EscjAstVisitor.endVisit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope) Deprecated.
void	JdtAst2EscjAstVisitor.endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope) Deprecated.
void	JdtAst2EscjAstVisitor.endVisit(TypeDeclaration typeDeclaration, CompilationUnitScope scope) Deprecated.
boolean	PrintVisitor.visit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope) Deprecated.
boolean	JdtAst2EscjAstVisitor.visit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope) Deprecated.
boolean	PrintVisitor.visit(ImportReference importRef, CompilationUnitScope scope) Deprecated.
boolean	PrintVisitor.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope) Deprecated.
boolean	JdtAst2EscjAstVisitor.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope) Deprecated.
boolean	PrintVisitor.visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope) Deprecated.
boolean	JdtAst2EscjAstVisitor.visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope) Deprecated.

Uses of CompilationUnitScope in org.jmlspecs.jml4.ast

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

void	JmlTypeDeclaration.analyseCode(CompilationUnitScope unitScope)
void	JmlCompilationUnitDeclaration.traverse(ASTVisitor visitor, CompilationUnitScope unitScope)

Uses of CompilationUnitScope in org.jmlspecs.jml4.compiler

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

void	ReferenceCounterVisitor.endVisit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	ReferenceCounterVisitor.endVisit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)
boolean	ReferenceCounterVisitor.visit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	ReferenceCounterVisitor.visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)

Uses of CompilationUnitScope in org.jmlspecs.jml4.esc

Methods in org.jmlspecs.jml4.esc with parameters of type CompilationUnitScope

GcProgram

GcTranslator.translate(JmlAbstractMethodDeclaration method, JmlTypeDeclaration typeDecl, CompilationUnitScope scope)

Uses of CompilationUnitScope in org.jmlspecs.jml4.fspv

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

void	TraceAstVisitor.endVisit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	TheoryTranslator.endVisit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	TraceAstVisitor.endVisit(ImportReference importRef, CompilationUnitScope scope)
void	TraceAstVisitor.endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	TheoryTranslator.endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	TraceAstVisitor.endVisit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)
void	TheoryTranslator.endVisit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)
boolean	TraceAstVisitor.visit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	TheoryTranslator.visit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	TraceAstVisitor.visit(ImportReference importRef, CompilationUnitScope scope)
boolean	TraceAstVisitor.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	TheoryTranslator.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	TraceAstVisitor.visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)
boolean	TheoryTranslator.visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)

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

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

void	TheoryTranslation.endVisit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	TheoryTranslation.endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	TheoryTranslation.endVisit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)
boolean	TheoryTranslation.visit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	TheoryTranslation.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	TheoryTranslation.visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)

Uses of CompilationUnitScope in org.jmlspecs.jml4.rac

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

void	JavaAstVisitor.endVisit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	DefaultRacAstVisitor.endVisit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	AstDirtyBitsRetriever.endVisit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	AstDirtyBitsRestorer.endVisit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	JavaAstVisitor.endVisit(ImportReference importRef, CompilationUnitScope scope)
void	DefaultRacAstVisitor.endVisit(ImportReference importRef, CompilationUnitScope scope)
void	AstDirtyBitsRetriever.endVisit(ImportReference importRef, CompilationUnitScope scope)
void	AstDirtyBitsRestorer.endVisit(ImportReference importRef, CompilationUnitScope scope)
void	JmlAstVisitor.endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	DefaultRacAstVisitor.endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
void	JmlAstVisitor.endVisit(JmlInitiallyClause jmlInitiallyClause, CompilationUnitScope scope)
void	DefaultRacAstVisitor.endVisit(JmlInitiallyClause jmlInitiallyClause, CompilationUnitScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlInitiallyClause jmlInitiallyClause, CompilationUnitScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlInitiallyClause jmlInitiallyClause, CompilationUnitScope scope)
void	JmlAstVisitor.endVisit(JmlInvariantForType jmlInvariantForType, CompilationUnitScope scope)
void	DefaultRacAstVisitor.endVisit(JmlInvariantForType jmlInvariantForType, CompilationUnitScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlInvariantForType jmlInvariantForType, CompilationUnitScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlInvariantForType jmlInvariantForType, CompilationUnitScope scope)
void	JmlAstVisitor.endVisit(JmlRepresentsClause representsClause, CompilationUnitScope scope)
void	DefaultRacAstVisitor.endVisit(JmlRepresentsClause representsClause, CompilationUnitScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlRepresentsClause representsClause, CompilationUnitScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlRepresentsClause representsClause, CompilationUnitScope scope)
void	JmlAstVisitor.endVisit(JmlTypeDeclaration typeDecle, CompilationUnitScope scope)
void	DefaultRacAstVisitor.endVisit(JmlTypeDeclaration typeDecle, CompilationUnitScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlTypeDeclaration typeDecle, CompilationUnitScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlTypeDeclaration typeDecle, CompilationUnitScope scope)
void	JavaAstVisitor.endVisit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)
void	DefaultRacAstVisitor.endVisit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)
void	AstDirtyBitsRetriever.endVisit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)
void	AstDirtyBitsRestorer.endVisit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)
boolean	JavaAstVisitor.visit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	DefaultRacAstVisitor.visit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	AstDirtyBitsRetriever.visit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	AstDirtyBitsRestorer.visit(CompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	JavaAstVisitor.visit(ImportReference importRef, CompilationUnitScope scope) Statement used to reference classes and interfaces declared in other packages.
boolean	DefaultRacAstVisitor.visit(ImportReference importRef, CompilationUnitScope scope)
boolean	AstDirtyBitsRetriever.visit(ImportReference importRef, CompilationUnitScope scope)
boolean	AstDirtyBitsRestorer.visit(ImportReference importRef, CompilationUnitScope scope)
boolean	JmlAstVisitor.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	DefaultRacAstVisitor.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlCompilationUnitDeclaration compilationUnitDeclaration, CompilationUnitScope scope)
boolean	JmlAstVisitor.visit(JmlInitiallyClause jmlInitiallyClause, CompilationUnitScope scope) Is used to specify the initial state of model fields.
boolean	DefaultRacAstVisitor.visit(JmlInitiallyClause jmlInitiallyClause, CompilationUnitScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlInitiallyClause jmlInitiallyClause, CompilationUnitScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlInitiallyClause jmlInitiallyClause, CompilationUnitScope scope)
boolean	JmlAstVisitor.visit(JmlInvariantForType jmlInvariantForType, CompilationUnitScope scope) Properties that have to hold in all visible states.
boolean	DefaultRacAstVisitor.visit(JmlInvariantForType jmlInvariantForType, CompilationUnitScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlInvariantForType jmlInvariantForType, CompilationUnitScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlInvariantForType jmlInvariantForType, CompilationUnitScope scope)
boolean	JmlAstVisitor.visit(JmlRepresentsClause representsClause, CompilationUnitScope scope) The first form of represents clauses (with <- or =) is called a functional abstraction.
boolean	DefaultRacAstVisitor.visit(JmlRepresentsClause representsClause, CompilationUnitScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlRepresentsClause representsClause, CompilationUnitScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlRepresentsClause representsClause, CompilationUnitScope scope)
boolean	JmlAstVisitor.visit(JmlTypeDeclaration typeDecle, CompilationUnitScope scope)
boolean	DefaultRacAstVisitor.visit(JmlTypeDeclaration typeDecle, CompilationUnitScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlTypeDeclaration typeDecle, CompilationUnitScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlTypeDeclaration typeDecle, CompilationUnitScope scope)
boolean	JavaAstVisitor.visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)
boolean	DefaultRacAstVisitor.visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)
boolean	AstDirtyBitsRetriever.visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)
boolean	AstDirtyBitsRestorer.visit(TypeDeclaration typeDeclaration, CompilationUnitScope scope)