Package org.aspectj.org.eclipse.jdt.internal.compiler.lookup

Class BlockScope

java.lang.Object

org.aspectj.org.eclipse.jdt.internal.compiler.lookup.Scope

org.aspectj.org.eclipse.jdt.internal.compiler.lookup.BlockScope

Direct Known Subclasses:

CodeSnippetScope, MethodScope, ModuleScope

public class BlockScope
extends Scope

Nested Class Summary

Nested classes/interfaces inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.lookup.Scope

Scope.Substitutor

Field Summary

Fields

Modifier and Type	Field	Description
Statement	blockStatement
static final VariableBinding[]	EmulationPathToImplicitThis
CaseStatement	enclosingCase
FlowInfo	finallyInfo	Used only during analyseCode and only for checking if a resource was closed in a finallyBlock.
boolean	insideTypeAnnotation
int	localIndex
LocalVariableBinding[]	locals
int	maxOffset
static final VariableBinding[]	NoEnclosingInstanceInConstructorCall
static final VariableBinding[]	NoEnclosingInstanceInStaticContext
int	offset
boolean	resolvingGuardExpression
BlockScope[]	shiftScopes
int	startIndex
int	subscopeCount
Scope[]	subscopes

Fields inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.lookup.Scope

AUTOBOX_COMPATIBLE, BLOCK_SCOPE, CLASS_SCOPE, COMPATIBLE, COMPILATION_UNIT_SCOPE, compilationUnitScope, EQUAL_OR_MORE_SPECIFIC, kind, METHOD_SCOPE, MODULE_SCOPE, MORE_GENERIC, NOT_COMPATIBLE, NOT_REDUNDANT, NOT_RELATED, parent, VARARGS_COMPATIBLE

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	BlockScope(int kind, Scope parent)
	BlockScope(BlockScope parent)
	BlockScope(BlockScope parent, boolean addToParentScope)
	BlockScope(BlockScope parent, int variableCount)

Method Summary

Modifier and Type	Method	Description
final void	addAnonymousType(TypeDeclaration anonymousType, ReferenceBinding superBinding)
final void	addLocalType(TypeDeclaration localType)
final void	addLocalVariable(LocalVariableBinding binding)
void	addSubscope(Scope childScope)
void	adjustCurrentAndSubScopeLocalVariablePositions(int delta)
void	adjustLocalVariablePositions(int delta, boolean offsetAlreadyUpdated)
final boolean	allowBlankFinalFieldAssignment(FieldBinding binding)	Answer true if the receiver is suitable for assigning final blank fields.
void	checkAppropriateMethodAgainstSupers(char[] selector, MethodBinding compileTimeMethod, TypeBinding[] parameters, InvocationSite site)	15.12.3 (Java 8) "Compile-Time Step 3: Is the Chosen Method Appropriate?"
void	checkUnclosedCloseables(FlowInfo flowInfo, FlowContext flowContext, ASTNode location, BlockScope locationScope)	At the end of a block check the closing-status of all tracked closeables that are declared in this block.
void	correlateTrackingVarsIfElse(FlowInfo thenFlowInfo, FlowInfo elseFlowInfo)	If one branch of an if-else closes any AutoCloseable resource, and if the same resource is known to be null on the other branch mark it as closed, too, so that merging both branches indicates that the resource is always closed.
void	emulateOuterAccess(LocalVariableBinding outerLocalVariable)
void	exclude(LocalVariableBinding[] bindings)
protected Scope	findLastRelevantSubScope()
final ReferenceBinding	findLocalType(char[] name)
LocalDeclaration[]	findLocalVariableDeclarations(int position)	Returns all declarations of most specific locals containing a given position in their source range.
LocalVariableBinding	findVariable(char[] variableName, InvocationSite invocationSite)
Binding	getBinding(char[][] compoundName, int mask, InvocationSite invocationSite, boolean needResolve)
final Binding	getBinding(char[][] compoundName, InvocationSite invocationSite)
FakedTrackingVariable	getCloseTrackerFor(LocalVariableBinding localVariable)	Retrieve the nearest tracking variable for the given original binding.
VariableBinding[]	getEmulationPath(LocalVariableBinding outerLocalVariable)
Object[]	getEmulationPath(ReferenceBinding targetEnclosingType, boolean onlyExactMatch, boolean denyEnclosingArgInConstructorCall)
boolean	hasResourceTrackers()
void	include(LocalVariableBinding[] bindings)
final boolean	isDuplicateLocalVariable(char[] name)
int	maxShiftedOffset()
final boolean	needBlankFinalFieldInitializationCheck(FieldBinding binding)	Returns true if the context requires to check initialization of final blank fields.
ProblemReporter	problemReporter()	See also the contract of ProblemReporter.close().
void	propagateInnerEmulation(ReferenceBinding targetType, boolean isEnclosingInstanceSupplied)
void	pruneWrapperTrackingVar(FakedTrackingVariable trackingVariable)	Unregister a wrapper resource without affecting its inner.
TypeDeclaration	referenceType()
int	registerTrackingVariable(FakedTrackingVariable fakedTrackingVariable)	Register a tracking variable and compute its id.
void	removeTrackingVar(FakedTrackingVariable trackingVariable)	When are no longer interested in this tracking variable - remove it.
void	reparentLocals(boolean reparent)
void	reportClashingDeclarations(LocalVariableBinding[] left, LocalVariableBinding[] right)
boolean	resolvingGuardExpression()
int	scopeIndex()
String	toString()
String	toString(int tab)

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.lookup.Scope

boxing, checkRedundantDefaultNullness, classScope, compareTypes, compilationUnitScope, compilerOptions, computeCompatibleMethod, computeCompatibleMethod, connectTypeVariables, convertEliminatingTypeVariables, createArrayType, createArrayType, createTypeVariables, deferBoundCheck, enclosingClassScope, enclosingLambdaScope, enclosingMethodScope, enclosingReceiverType, enclosingReferenceContext, enclosingSourceType, enclosingTopMostClassScope, environment, findDefaultAbstractMethod, findDirectMemberType, findExactMethod, findField, findField, findMemberType, findMethod, findMethod0, findMethodForArray, findMethodInSuperInterfaces, findPrivilegedHandler, findType, findTypeVariable, getBaseType, getBinding, getCommonReferenceBinding, getConstructor, getConstructor0, getCurrentPackage, getDeclarationModifiers, getExactConstructor, getExactMethod, getField, getImplicitMethod, getJavaIoSerializable, getJavaLangAnnotationAnnotation, getJavaLangAssertionError, getJavaLangBoolean, getJavaLangByte, getJavaLangCharacter, getJavaLangClass, getJavaLangClassDesc, getJavaLangClassNotFoundException, getJavaLangCloneable, getJavaLangDouble, getJavaLangEnum, getJavaLangEnumDesc, getJavaLangError, getJavaLangFloat, getJavaLangIllegalArgumentException, getJavaLangIncompatibleClassChangeError, getJavaLangInteger, getJavaLangInvokeConstantBootstraps, getJavaLangInvokeLambdaMetafactory, getJavaLangInvokeMethodHandle, getJavaLangInvokeMethodHandlesLookup, getJavaLangInvokeSerializedLambda, getJavaLangInvokeStringConcatFactory, getJavaLangInvokeVarHandle, getJavaLangIterable, getJavaLangLong, getJavaLangNoClassDefFoundError, getJavaLangNoSuchFieldError, getJavaLangObject, getJavaLangRecord, getJavaLangReflectField, getJavaLangReflectMethod, getJavaLangRuntimeObjectMethods, getJavaLangRuntimeSwitchBootstraps, getJavaLangRuntimeTemplateRuntimeBootstraps, getJavaLangShort, getJavaLangString, getJavaLangStringBuffer, getJavaLangStringBuilder, getJavaLangStringTemplate, getJavaLangStringTemplateProcessor, getJavaLangThrowable, getJavaLangVoid, getJavaUtilIterator, getMemberType, getMethod, getOnlyPackage, getPackage, getStaticFactory, getType, getType, getType, getTypeOrPackage, greaterLowerBound, greaterLowerBound, hasDefaultNullnessFor, hasDefaultNullnessForType, hasErasedCandidatesCollisions, innermostSwitchCase, invocationType, isAcceptableMethod, isBoxingCompatibleWith, isDefinedInField, isDefinedInMethod, isDefinedInSameUnit, isDefinedInType, isInsideCase, isInsideDeprecatedCode, isInterTypeScope, isLambdaScope, isLambdaSubscope, isSubtypeOfRawType, localCheckRedundantDefaultNullness, localNonNullByDefaultValue, lowerUpperBound, methodScope, minimalErasedCandidates, module, mostSpecificClassMethodBinding, mostSpecificInterfaceMethodBinding, mostSpecificMethodBinding, namedMethodScope, originalReferenceContext, outerMostClassScope, outerMostMethodScope, parameterCompatibilityLevel, parameterCompatibilityLevel, parameterCompatibilityLevel, parameterCompatibilityLevel, recordNonNullByDefault, referenceCompilationUnit, referenceContext, setParent, substitute, substitute, substitute, tagAsAccessingEnclosingInstanceStateOf, typeAnnotationsResolutionScope, validateNullAnnotation

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

locals

public LocalVariableBinding[] locals

localIndex

public int localIndex

startIndex

public int startIndex

offset

public int offset

maxOffset

public int maxOffset

shiftScopes

public BlockScope[] shiftScopes

subscopes

public Scope[] subscopes

subscopeCount

public int subscopeCount

enclosingCase

public CaseStatement enclosingCase

EmulationPathToImplicitThis

public static final VariableBinding[] EmulationPathToImplicitThis

NoEnclosingInstanceInConstructorCall

public static final VariableBinding[] NoEnclosingInstanceInConstructorCall

NoEnclosingInstanceInStaticContext

public static final VariableBinding[] NoEnclosingInstanceInStaticContext

insideTypeAnnotation

public boolean insideTypeAnnotation

blockStatement

public Statement blockStatement

resolvingGuardExpression

public boolean resolvingGuardExpression

finallyInfo

public FlowInfo finallyInfo

Used only during analyseCode and only for checking if a resource was closed in a finallyBlock.

Constructor Details

BlockScope

public BlockScope(BlockScope parent)

BlockScope

public BlockScope(BlockScope parent,
 boolean addToParentScope)

BlockScope

public BlockScope(BlockScope parent,
 int variableCount)

BlockScope

protected BlockScope(int kind,
 Scope parent)

Method Details

addAnonymousType

public final void addAnonymousType(TypeDeclaration anonymousType,
 ReferenceBinding superBinding)

addLocalType

public final void addLocalType(TypeDeclaration localType)

addLocalVariable

public final void addLocalVariable(LocalVariableBinding binding)

addSubscope

public void addSubscope(Scope childScope)

allowBlankFinalFieldAssignment

public final boolean allowBlankFinalFieldAssignment(FieldBinding binding)

Answer true if the receiver is suitable for assigning final blank fields. in other words, it is inside an initializer, a constructor or a clinit

adjustLocalVariablePositions

public void adjustLocalVariablePositions(int delta,
 boolean offsetAlreadyUpdated)

adjustCurrentAndSubScopeLocalVariablePositions

public void adjustCurrentAndSubScopeLocalVariablePositions(int delta)

emulateOuterAccess

public void emulateOuterAccess(LocalVariableBinding outerLocalVariable)

findLocalType

public final ReferenceBinding findLocalType(char[] name)

findLocalVariableDeclarations

public LocalDeclaration[] findLocalVariableDeclarations(int position)

Returns all declarations of most specific locals containing a given position in their source range. This code does not recurse in nested types. Returned array may have null values at trailing indexes.

findVariable

public LocalVariableBinding findVariable(char[] variableName,
 InvocationSite invocationSite)

Overrides:

findVariable in class Scope

getBinding

public Binding getBinding(char[][] compoundName,
 int mask,
 InvocationSite invocationSite,
 boolean needResolve)

getBinding

public final Binding getBinding(char[][] compoundName,
 InvocationSite invocationSite)

getEmulationPath

public VariableBinding[] getEmulationPath(LocalVariableBinding outerLocalVariable)

getEmulationPath

public Object[] getEmulationPath(ReferenceBinding targetEnclosingType,
 boolean onlyExactMatch,
 boolean denyEnclosingArgInConstructorCall)

isDuplicateLocalVariable

public final boolean isDuplicateLocalVariable(char[] name)

maxShiftedOffset

public int maxShiftedOffset()

needBlankFinalFieldInitializationCheck

public final boolean needBlankFinalFieldInitializationCheck(FieldBinding binding)

Returns true if the context requires to check initialization of final blank fields. in other words, it is inside an initializer, a constructor or a clinit

problemReporter

public ProblemReporter problemReporter()

Description copied from class: Scope

See also the contract of ProblemReporter.close().

Specified by:

problemReporter in class Scope

propagateInnerEmulation

public void propagateInnerEmulation(ReferenceBinding targetType,
 boolean isEnclosingInstanceSupplied)

referenceType

public TypeDeclaration referenceType()

scopeIndex

public int scopeIndex()

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(int tab)

registerTrackingVariable

public int registerTrackingVariable(FakedTrackingVariable fakedTrackingVariable)

Register a tracking variable and compute its id.

removeTrackingVar

public void removeTrackingVar(FakedTrackingVariable trackingVariable)

When are no longer interested in this tracking variable - remove it.

pruneWrapperTrackingVar

public void pruneWrapperTrackingVar(FakedTrackingVariable trackingVariable)

Unregister a wrapper resource without affecting its inner.

hasResourceTrackers

public boolean hasResourceTrackers()

checkUnclosedCloseables

public void checkUnclosedCloseables(FlowInfo flowInfo,
 FlowContext flowContext,
 ASTNode location,
 BlockScope locationScope)

At the end of a block check the closing-status of all tracked closeables that are declared in this block. Also invoked when entering unreachable code.

findLastRelevantSubScope

protected Scope findLastRelevantSubScope()

correlateTrackingVarsIfElse

public void correlateTrackingVarsIfElse(FlowInfo thenFlowInfo,
 FlowInfo elseFlowInfo)

If one branch of an if-else closes any AutoCloseable resource, and if the same resource is known to be null on the other branch mark it as closed, too, so that merging both branches indicates that the resource is always closed. Example: FileReader fr1 = null; try {\n" + fr1 = new FileReader(someFile);" + fr1.read(buf);\n" + } finally {\n" + if (fr1 != null)\n" + try {\n" + fr1.close();\n" + } catch (IOException e) { // do nothing } // after this if statement fr1 is definitely not leaked }

getCloseTrackerFor

public FakedTrackingVariable getCloseTrackerFor(LocalVariableBinding localVariable)

Retrieve the nearest tracking variable for the given original binding.

checkAppropriateMethodAgainstSupers

public void checkAppropriateMethodAgainstSupers(char[] selector,
 MethodBinding compileTimeMethod,
 TypeBinding[] parameters,
 InvocationSite site)

15.12.3 (Java 8) "Compile-Time Step 3: Is the Chosen Method Appropriate?"

reparentLocals

public void reparentLocals(boolean reparent)

reportClashingDeclarations

public void reportClashingDeclarations(LocalVariableBinding[] left,
 LocalVariableBinding[] right)

resolvingGuardExpression

public boolean resolvingGuardExpression()

Overrides:

resolvingGuardExpression in class Scope

include

public void include(LocalVariableBinding[] bindings)

exclude

public void exclude(LocalVariableBinding[] bindings)