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

Packages that use MethodScope

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.eval
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 MethodScope in org.eclipse.jdt.internal.codeassist

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

void	UnresolvedReferenceNameFinder.endVisit(FieldDeclaration fieldDeclaration, MethodScope methodScope)
void	UnresolvedReferenceNameFinder.endVisit(Initializer initializer, MethodScope methodScope)
boolean	UnresolvedReferenceNameFinder.visit(FieldDeclaration fieldDeclaration, MethodScope methodScope)
boolean	UnresolvedReferenceNameFinder.visit(Initializer initializer, MethodScope methodScope)

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

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

void	CompletionOnArgumentName.bind(MethodScope scope, TypeBinding typeBinding, boolean used)
void	CompletionOnFieldName.resolve(MethodScope initializationScope)
void	CompletionJavadoc.resolve(MethodScope scope) Resolve completion node if not null and throw exception to let clients know that it has been found.

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

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

void	SelectionOnArgumentName.bind(MethodScope scope, TypeBinding typeBinding, boolean used)
void	SelectionJavadoc.resolve(MethodScope scope) Resolve selected node if not null and throw exception to let clients know that it has been found.

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

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

void	ASTVisitor.endVisit(FieldDeclaration fieldDeclaration, MethodScope scope)
void	ASTVisitor.endVisit(Initializer initializer, MethodScope scope)
void	ASTVisitor.endVisit(JmlFieldDeclaration fieldDeclaration, MethodScope scope)
boolean	ASTVisitor.visit(FieldDeclaration fieldDeclaration, MethodScope scope)
boolean	ASTVisitor.visit(Initializer initializer, MethodScope scope)
boolean	ASTVisitor.visit(JmlFieldDeclaration fieldDeclaration, MethodScope scope)

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

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

MethodScope	TypeDeclaration.initializerScope
MethodScope	AbstractMethodDeclaration.scope
MethodScope	TypeDeclaration.staticInitializerScope

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

FlowInfo	Initializer.analyseCode(MethodScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
FlowInfo	FieldDeclaration.analyseCode(MethodScope initializationScope, FlowContext flowContext, FlowInfo flowInfo)
void	Argument.bind(MethodScope scope, TypeBinding typeBinding, boolean used)
boolean	ThisReference.checkAccess(MethodScope methodScope)
void	ConstructorDeclaration.generateSyntheticFieldInitializationsIfNecessary(MethodScope methodScope, CodeStream codeStream, ReferenceBinding declaringClass)
void	Javadoc.resolve(MethodScope methScope)
void	Initializer.resolve(MethodScope scope)
void	FieldDeclaration.resolve(MethodScope initializationScope)
void	Initializer.traverse(ASTVisitor visitor, MethodScope scope)
void	FieldDeclaration.traverse(ASTVisitor visitor, MethodScope scope)

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

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

MethodScope	Scope.enclosingMethodScope()
MethodScope	Scope.methodScope()
MethodScope	Scope.outerMostMethodScope()

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

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

boolean	SuperTypeNamesCollector.TypeDeclarationVisitor.visit(FieldDeclaration fieldDeclaration, MethodScope scope)
boolean	MatchLocatorParser.NoClassNoMethodDeclarationVisitor.visit(FieldDeclaration fieldDeclaration, MethodScope scope)
boolean	MatchLocatorParser.ClassButNoMethodDeclarationVisitor.visit(FieldDeclaration fieldDeclaration, MethodScope scope)
boolean	SuperTypeNamesCollector.TypeDeclarationVisitor.visit(Initializer initializer, MethodScope scope)
boolean	MatchLocatorParser.NoClassNoMethodDeclarationVisitor.visit(Initializer initializer, MethodScope scope)
boolean	MatchLocatorParser.ClassButNoMethodDeclarationVisitor.visit(Initializer initializer, MethodScope scope)

Uses of MethodScope in org.eclipse.jdt.internal.eval

Methods in org.eclipse.jdt.internal.eval with parameters of type MethodScope

boolean

CodeSnippetThisReference.checkAccess(MethodScope methodScope)

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

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

boolean	CodeFormatterVisitor.visit(FieldDeclaration enumConstant, MethodScope scope)
boolean	CodeFormatterVisitor.visit(Initializer initializer, MethodScope scope)

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

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

boolean	PrintVisitor.visit(FieldDeclaration fieldDeclaration, MethodScope scope) Deprecated.
boolean	PrintVisitor.visit(Initializer initializer, MethodScope scope) Deprecated.
boolean	PrintVisitor.visit(JmlFieldDeclaration fieldDeclaration, MethodScope scope) Deprecated.

Uses of MethodScope in org.jmlspecs.jml4.ast

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

FlowInfo	JmlFieldDeclaration.analyseCode(MethodScope initializationScope, FlowContext flowContext, FlowInfo flowInfo)
void	JmlSpecCaseRestAsClauseSeq.analysePostcondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
abstract void	JmlSpecCaseRest.analysePostcondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
void	JmlSpecCaseBody.analysePostcondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
void	JmlSpecCaseBlock.analysePostcondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
void	JmlSpecCase.analysePostcondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
void	JmlMethodSpecification.analysePostcondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
void	JmlSpecCaseHeader.analysePrecondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
void	JmlSpecCaseBody.analysePrecondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
void	JmlSpecCase.analysePrecondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
void	JmlMethodSpecification.analysePrecondition(MethodScope scope, FlowContext methodContext, FlowInfo flowInfo)
void	JmlSpecCaseHeader.generateCheckOfPrecondition(MethodScope methodScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlSpecCaseBody.generateCheckOfPrecondition(MethodScope methodScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlSpecCase.generateCheckOfPrecondition(MethodScope methodScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlMethodSpecification.generateCheckOfRequires(MethodScope methodScope, AbstractMethodDeclaration methodDeclaration, CodeStream codeStream)
void	JmlSpecCaseRestAsClauseSeq.resolve(MethodScope scope)
abstract void	JmlSpecCaseRest.resolve(MethodScope scope)
void	JmlSpecCaseHeader.resolve(MethodScope scope)
void	JmlSpecCaseBody.resolve(MethodScope scope)
void	JmlSpecCaseBlock.resolve(MethodScope scope)
void	JmlSpecCase.resolve(MethodScope scope)
void	JmlMethodSpecification.resolve(MethodScope scope)
void	JmlFieldDeclaration.resolve(MethodScope initializationScope)

Uses of MethodScope in org.jmlspecs.jml4.compiler

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

boolean

ReferenceCounterVisitor.visit(FieldDeclaration fieldDeclaration, MethodScope scope)

Uses of MethodScope in org.jmlspecs.jml4.fspv

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

void	TraceAstVisitor.endVisit(FieldDeclaration fieldDeclaration, MethodScope scope)
void	TraceAstVisitor.endVisit(Initializer initializer, MethodScope scope)
void	TraceAstVisitor.endVisit(JmlFieldDeclaration fieldDeclaration, MethodScope scope)
boolean	TraceAstVisitor.visit(FieldDeclaration fieldDeclaration, MethodScope scope)
boolean	TraceAstVisitor.visit(Initializer initializer, MethodScope scope)
boolean	TraceAstVisitor.visit(JmlFieldDeclaration fieldDeclaration, MethodScope scope)

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

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

void	TheoryTranslation.endVisit(FieldDeclaration fieldDeclaration, MethodScope scope)
boolean	TheoryTranslation.visit(FieldDeclaration fieldDeclaration, MethodScope scope)

Uses of MethodScope in org.jmlspecs.jml4.rac

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

void	JavaAstVisitor.endVisit(FieldDeclaration fieldDeclaration, MethodScope scope)
void	DefaultRacAstVisitor.endVisit(FieldDeclaration fieldDeclaration, MethodScope scope)
void	AstDirtyBitsRetriever.endVisit(FieldDeclaration fieldDeclaration, MethodScope scope)
void	AstDirtyBitsRestorer.endVisit(FieldDeclaration fieldDeclaration, MethodScope scope)
void	JavaAstVisitor.endVisit(Initializer initializer, MethodScope scope)
void	DefaultRacAstVisitor.endVisit(Initializer initializer, MethodScope scope)
void	AstDirtyBitsRetriever.endVisit(Initializer initializer, MethodScope scope)
void	AstDirtyBitsRestorer.endVisit(Initializer initializer, MethodScope scope)
void	JmlAstVisitor.endVisit(JmlFieldDeclaration fieldDeclaration, MethodScope scope)
void	DefaultRacAstVisitor.endVisit(JmlFieldDeclaration fieldDeclaration, MethodScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlFieldDeclaration fieldDeclaration, MethodScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlFieldDeclaration fieldDeclaration, MethodScope scope)
boolean	JavaAstVisitor.visit(FieldDeclaration fieldDeclaration, MethodScope scope) Examples include:
boolean	DefaultRacAstVisitor.visit(FieldDeclaration fieldDeclaration, MethodScope scope)
boolean	AstDirtyBitsRetriever.visit(FieldDeclaration fieldDeclaration, MethodScope scope)
boolean	AstDirtyBitsRestorer.visit(FieldDeclaration fieldDeclaration, MethodScope scope)
boolean	JavaAstVisitor.visit(Initializer initializer, MethodScope scope) A normal block of code used to initialize fields.
boolean	DefaultRacAstVisitor.visit(Initializer initializer, MethodScope scope)
boolean	AstDirtyBitsRetriever.visit(Initializer initializer, MethodScope scope)
boolean	AstDirtyBitsRestorer.visit(Initializer initializer, MethodScope scope)
boolean	JmlAstVisitor.visit(JmlFieldDeclaration fieldDeclaration, MethodScope scope)
boolean	DefaultRacAstVisitor.visit(JmlFieldDeclaration fieldDeclaration, MethodScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlFieldDeclaration fieldDeclaration, MethodScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlFieldDeclaration fieldDeclaration, MethodScope scope)