Class LocalVariableBinding

java.lang.Object

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

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

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

Direct Known Subclasses:

AptBinaryLocalVariableBinding, AptSourceLocalVariableBinding, CatchParameterBinding, SyntheticArgumentBinding

public class LocalVariableBinding
extends VariableBinding

Field Summary

Fields

Modifier and Type	Field	Description
FakedTrackingVariable	closeTracker
LocalDeclaration	declaration
BlockScope	declaringScope
static final int	FAKE_USED
int	initializationCount
int[]	initializationPCs
int	resolvedPosition
Set<MethodScope>	uninitializedInMethod
static final int	UNUSED
static final int	USED
int	useFlag

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

constant, id, modifiers, name, tagBits, type

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

ANY_EXCEPTION, ARRAY_TYPE, BASE_TYPE, DefaultLocationArrayContents, DefaultLocationField, DefaultLocationParameter, DefaultLocationReturnType, DefaultLocationsForTrueValue, DefaultLocationTypeArgument, DefaultLocationTypeBound, DefaultLocationTypeParameter, FIELD, GENERIC_TYPE, IMPORT, INTERSECTION_TYPE, INTERSECTION_TYPE18, LOCAL, METHOD, MODULE, NO_ANNOTATIONS, NO_COMPONENTS, NO_ELEMENT_VALUE_PAIRS, NO_EXCEPTIONS, NO_FIELDS, NO_MEMBER_TYPES, NO_METHODS, NO_MODULES, NO_NULL_DEFAULT, NO_PACKAGES, NO_PARAMETER_NAMES, NO_PARAMETERS, NO_PERMITTED_TYPES, NO_PLAIN_PACKAGES, NO_REFERENCE_TYPES, NO_SUPERINTERFACES, NO_TYPE_VARIABLES, NO_TYPES, NULL_UNSPECIFIED_BY_DEFAULT, NullnessDefaultMASK, PACKAGE, PARAMETERIZED_TYPE, PATTERN, POLY_TYPE, RAW_TYPE, RECORD_COMPONENT, TYPE, TYPE_PARAMETER, TYPE_USE, UNINITIALIZED_COMPONENTS, UNINITIALIZED_FIELDS, UNINITIALIZED_METHODS, UNINITIALIZED_REFERENCE_TYPES, VARIABLE, WILDCARD_TYPE

Constructor Summary

Constructors

Constructor	Description
LocalVariableBinding(char[] name, TypeBinding type, int modifiers, boolean isArgument)
LocalVariableBinding(LocalDeclaration declaration, TypeBinding type, int modifiers, boolean isArgument)
LocalVariableBinding(LocalDeclaration declaration, TypeBinding type, int modifiers, MethodScope declaringScope)

Method Summary

Modifier and Type	Method	Description
void	checkEffectiveFinality(Scope scope, Expression node)
void	clearEffectiveFinality(Scope scope, Expression node, boolean complain)
char[]	computeUniqueKey(boolean isLeaf)
AnnotationBinding[]	getAnnotations()
MethodBinding	getEnclosingMethod()
boolean	isCatchParameter()
boolean	isParameter()
boolean	isPatternVariable()
boolean	isResourceVariable()
boolean	isSecret()
boolean	isUninitializedIn(Scope scope)
final int	kind()
void	markAsUninitializedIn(Scope scope)
void	markInitialized()
void	markReferenced()
static LocalVariableBinding[]	merge(LocalVariableBinding[] left, LocalVariableBinding[] right)
void	recordInitializationEndPC(int pc)
void	recordInitializationStartPC(int pc)
void	resetInitializations()
void	setAnnotations(AnnotationBinding[] annotations, Scope scope, boolean forceStore)
String	toString()

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

constant, constant, isBlankFinal, isEffectivelyFinal, isFinal, isNonNull, isNullable, readableName, setConstant

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

computeUniqueKey, getAnnotationTagBits, initializeDeprecatedAnnotationTagBits, isAnnotationType, isTaggedRepeatable, isValid, isValidBinding, isVolatile, problemId, setAnnotations, shortReadableName

Methods inherited from class java.lang.Object

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

Field Details

resolvedPosition

public int resolvedPosition

UNUSED

public static final int UNUSED

See Also:

• Constant Field Values

USED

public static final int USED

See Also:

• Constant Field Values

FAKE_USED

public static final int FAKE_USED

See Also:

• Constant Field Values

useFlag

public int useFlag

declaringScope

public BlockScope declaringScope

declaration

public LocalDeclaration declaration

initializationPCs

public int[] initializationPCs

initializationCount

public int initializationCount

closeTracker

public FakedTrackingVariable closeTracker

uninitializedInMethod

public Set<MethodScope> uninitializedInMethod

Constructor Details

LocalVariableBinding

public LocalVariableBinding(char[] name,
 TypeBinding type,
 int modifiers,
 boolean isArgument)

LocalVariableBinding

public LocalVariableBinding(LocalDeclaration declaration,
 TypeBinding type,
 int modifiers,
 boolean isArgument)

LocalVariableBinding

public LocalVariableBinding(LocalDeclaration declaration,
 TypeBinding type,
 int modifiers,
 MethodScope declaringScope)

Method Details

kind

public final int kind()

Specified by:

kind in class Binding

computeUniqueKey

public char[] computeUniqueKey(boolean isLeaf)

Overrides:

computeUniqueKey in class Binding

getAnnotations

public AnnotationBinding[] getAnnotations()

Specified by:

getAnnotations in class VariableBinding

isSecret

public boolean isSecret()

recordInitializationEndPC

public void recordInitializationEndPC(int pc)

recordInitializationStartPC

public void recordInitializationStartPC(int pc)

setAnnotations

public void setAnnotations(AnnotationBinding[] annotations,
 Scope scope,
 boolean forceStore)

Overrides:

setAnnotations in class Binding

resetInitializations

public void resetInitializations()

toString

public String toString()

Overrides:

toString in class VariableBinding

isParameter

public boolean isParameter()

Overrides:

isParameter in class Binding

isCatchParameter

public boolean isCatchParameter()

isResourceVariable

public boolean isResourceVariable()

isPatternVariable

public boolean isPatternVariable()

Overrides:

isPatternVariable in class Binding

getEnclosingMethod

public MethodBinding getEnclosingMethod()

markInitialized

public void markInitialized()

markReferenced

public void markReferenced()

checkEffectiveFinality

public void checkEffectiveFinality(Scope scope,
 Expression node)

clearEffectiveFinality

public void clearEffectiveFinality(Scope scope,
 Expression node,
 boolean complain)

Overrides:

clearEffectiveFinality in class VariableBinding

isUninitializedIn

public boolean isUninitializedIn(Scope scope)

markAsUninitializedIn

public void markAsUninitializedIn(Scope scope)

merge

public static LocalVariableBinding[] merge(LocalVariableBinding[] left,
 LocalVariableBinding[] right)