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

Class Scope

java.lang.Object

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

Direct Known Subclasses:

BlockScope, ClassScope, CompilationUnitScope

public abstract class Scope
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Scope.Substitutor

Field Summary

Fields

Modifier and Type	Field	Description
static final int	AUTOBOX_COMPATIBLE
static final int	BLOCK_SCOPE
static final int	CLASS_SCOPE
static final int	COMPATIBLE
static final int	COMPILATION_UNIT_SCOPE
CompilationUnitScope	compilationUnitScope
static final int	EQUAL_OR_MORE_SPECIFIC
int	kind
static final int	METHOD_SCOPE
static final int	MODULE_SCOPE
static final int	MORE_GENERIC
static final int	NOT_COMPATIBLE
static Binding	NOT_REDUNDANT
static final int	NOT_RELATED
Scope	parent
static final int	VARARGS_COMPATIBLE

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Scope(int kind, Scope parent)

Method Summary

Modifier and Type	Method	Description
TypeBinding	boxing(TypeBinding type)
Binding	checkRedundantDefaultNullness(int nullBits, int sourceStart)	Check whether the given null default is redundant at the given position inside this scope.
final ClassScope	classScope()
static int	compareTypes(TypeBinding left, TypeBinding right)
final CompilationUnitScope	compilationUnitScope()
final CompilerOptions	compilerOptions()	Finds the most specific compiler options
protected final MethodBinding	computeCompatibleMethod(MethodBinding method, TypeBinding[] arguments, InvocationSite invocationSite)	Internal use only Given a method, returns null if arguments cannot be converted to parameters.
protected final MethodBinding	computeCompatibleMethod(MethodBinding method, TypeBinding[] arguments, InvocationSite invocationSite, boolean tiebreakingVarargsMethods)	Internal use only Given a method, returns null if arguments cannot be converted to parameters.
protected boolean	connectTypeVariables(TypeParameter[] typeParameters, boolean checkForErasedCandidateCollisions)	Connect type variable supertypes, and returns true if no problem was detected
static TypeBinding	convertEliminatingTypeVariables(TypeBinding originalType, ReferenceBinding genericType, int rank, Set eliminatedVariables)	Returns a type where either all variables or specific ones got discarded.
ArrayBinding	createArrayType(TypeBinding type, int dimension)
ArrayBinding	createArrayType(TypeBinding type, int dimension, AnnotationBinding[] annotations)
TypeVariableBinding[]	createTypeVariables(TypeParameter[] typeParameters, Binding declaringElement)
void	deferBoundCheck(TypeReference typeRef)
final ClassScope	enclosingClassScope()
final MethodScope	enclosingLambdaScope()
final MethodScope	enclosingMethodScope()
final ReferenceBinding	enclosingReceiverType()
ReferenceContext	enclosingReferenceContext()	Returns the immediately enclosing reference context, starting from current scope parent.
final SourceTypeBinding	enclosingSourceType()
final ClassScope	enclosingTopMostClassScope()
final LookupEnvironment	environment()
protected MethodBinding	findDefaultAbstractMethod(ReferenceBinding receiverType, char[] selector, TypeBinding[] argumentTypes, InvocationSite invocationSite, ReferenceBinding classHierarchyStart, ObjectVector found, MethodBinding[] concreteMatches)
ReferenceBinding	findDirectMemberType(char[] typeName, ReferenceBinding enclosingType)
MethodBinding	findExactMethod(ReferenceBinding receiverType, char[] selector, TypeBinding[] argumentTypes, InvocationSite invocationSite)
FieldBinding	findField(TypeBinding receiverType, char[] fieldName, InvocationSite invocationSite, boolean needResolve)
FieldBinding	findField(TypeBinding receiverType, char[] fieldName, InvocationSite invocationSite, boolean needResolve, boolean invisibleFieldsOk)
ReferenceBinding	findMemberType(char[] typeName, ReferenceBinding enclosingType)
MethodBinding	findMethod(ReferenceBinding receiverType, char[] selector, TypeBinding[] argumentTypes, InvocationSite invocationSite, boolean inStaticContext)
MethodBinding	findMethod0(ReferenceBinding receiverType, char[] selector, TypeBinding[] argumentTypes, InvocationSite invocationSite, boolean inStaticContext)
MethodBinding	findMethodForArray(ArrayBinding receiverType, char[] selector, TypeBinding[] argumentTypes, InvocationSite invocationSite)
protected void	findMethodInSuperInterfaces(ReferenceBinding receiverType, char[] selector, ObjectVector found, List<TypeBinding> visitedTypes, InvocationSite invocationSite)
static final IPrivilegedHandler	findPrivilegedHandler(ReferenceBinding type)
ReferenceBinding	findType(char[] typeName, PackageBinding declarationPackage, PackageBinding invocationPackage)
TypeVariableBinding	findTypeVariable(char[] name, SourceTypeBinding sourceType)	Other scopes can override this method
LocalVariableBinding	findVariable(char[] variable, InvocationSite invocationSite)
static TypeBinding	getBaseType(char[] name)
Binding	getBinding(char[] name, int mask, InvocationSite invocationSite, boolean needResolve)
Supplier<ReferenceBinding>	getCommonReferenceBinding(char[] typeName)
MethodBinding	getConstructor(ReferenceBinding receiverType, TypeBinding[] argumentTypes, InvocationSite invocationSite)
MethodBinding	getConstructor0(ReferenceBinding receiverType, TypeBinding[] argumentTypes, InvocationSite invocationSite)
final PackageBinding	getCurrentPackage()
int	getDeclarationModifiers()	Returns the modifiers of the innermost enclosing declaration.
MethodBinding	getExactConstructor(TypeBinding receiverType, InvocationSite invocationSite)
MethodBinding	getExactMethod(TypeBinding receiverType, char[] selector, InvocationSite invocationSite)
FieldBinding	getField(TypeBinding receiverType, char[] fieldName, InvocationSite invocationSite)
MethodBinding	getImplicitMethod(char[] selector, TypeBinding[] argumentTypes, InvocationSite invocationSite)
final ReferenceBinding	getJavaIoSerializable()
final ReferenceBinding	getJavaLangAnnotationAnnotation()
final ReferenceBinding	getJavaLangAssertionError()
final ReferenceBinding	getJavaLangBoolean()
final ReferenceBinding	getJavaLangByte()
final ReferenceBinding	getJavaLangCharacter()
final ReferenceBinding	getJavaLangClass()
final ReferenceBinding	getJavaLangClassDesc()
final ReferenceBinding	getJavaLangClassNotFoundException()
final ReferenceBinding	getJavaLangCloneable()
final ReferenceBinding	getJavaLangDouble()
final ReferenceBinding	getJavaLangEnum()
final ReferenceBinding	getJavaLangEnumDesc()
final ReferenceBinding	getJavaLangError()
final ReferenceBinding	getJavaLangFloat()
final ReferenceBinding	getJavaLangIllegalArgumentException()
final ReferenceBinding	getJavaLangIncompatibleClassChangeError()
final ReferenceBinding	getJavaLangInteger()
final ReferenceBinding	getJavaLangInvokeConstantBootstraps()
final ReferenceBinding	getJavaLangInvokeLambdaMetafactory()
final ReferenceBinding	getJavaLangInvokeMethodHandle()
final ReferenceBinding	getJavaLangInvokeMethodHandlesLookup()
final ReferenceBinding	getJavaLangInvokeSerializedLambda()
final ReferenceBinding	getJavaLangInvokeStringConcatFactory()
final ReferenceBinding	getJavaLangInvokeVarHandle()
final ReferenceBinding	getJavaLangIterable()
final ReferenceBinding	getJavaLangLong()
final ReferenceBinding	getJavaLangNoClassDefFoundError()
final ReferenceBinding	getJavaLangNoSuchFieldError()
final ReferenceBinding	getJavaLangObject()
final ReferenceBinding	getJavaLangRecord()
final ReferenceBinding	getJavaLangReflectField()
final ReferenceBinding	getJavaLangReflectMethod()
final ReferenceBinding	getJavaLangRuntimeObjectMethods()
final ReferenceBinding	getJavaLangRuntimeSwitchBootstraps()
final ReferenceBinding	getJavaLangRuntimeTemplateRuntimeBootstraps()
final ReferenceBinding	getJavaLangShort()
final ReferenceBinding	getJavaLangString()
final ReferenceBinding	getJavaLangStringBuffer()
final ReferenceBinding	getJavaLangStringBuilder()
TypeBinding	getJavaLangStringTemplate()
final ReferenceBinding	getJavaLangStringTemplateProcessor()
final ReferenceBinding	getJavaLangThrowable()
final ReferenceBinding	getJavaLangVoid()
final ReferenceBinding	getJavaUtilIterator()
final ReferenceBinding	getMemberType(char[] typeName, ReferenceBinding enclosingType)
MethodBinding	getMethod(TypeBinding receiverType, char[] selector, TypeBinding[] argumentTypes, InvocationSite invocationSite)
final Binding	getOnlyPackage(char[][] compoundName)
final Binding	getPackage(char[][] compoundName)
MethodBinding	getStaticFactory(ParameterizedTypeBinding allocationType, ReferenceBinding originalEnclosingType, TypeBinding[] argumentTypes, InvocationSite allocationSite)
final TypeBinding	getType(char[] name)
final TypeBinding	getType(char[][] compoundName, int typeNameLength)
final TypeBinding	getType(char[] name, PackageBinding packageBinding)
final Binding	getTypeOrPackage(char[][] compoundName)
static ReferenceBinding[]	greaterLowerBound(ReferenceBinding[] types)
static TypeBinding[]	greaterLowerBound(TypeBinding[] types, Scope scope, LookupEnvironment environment)
boolean	hasDefaultNullnessFor(int location, int sourceStart)	Answer a defaultNullness defined for the closest enclosing scope, using bits from Binding.NullnessDefaultMASK.
boolean	hasDefaultNullnessForType(TypeBinding type, int location, int sourceStart)
boolean	hasErasedCandidatesCollisions(TypeBinding one, TypeBinding two, Map invocations, ReferenceBinding type, ASTNode typeRef)
CaseStatement	innermostSwitchCase()	Returns the immediately enclosing switchCase statement (carried by closest blockScope),
SourceTypeBinding	invocationType()	For Java scopes, the invocationType is always the same as the enclosingSourceType This distinction is important for AspectJ's inter-type declarations For inter-type declarations, the invocationType is the lexically enclosing type.
protected boolean	isAcceptableMethod(MethodBinding one, MethodBinding two)
boolean	isBoxingCompatibleWith(TypeBinding expressionType, TypeBinding targetType)
final boolean	isDefinedInField(FieldBinding field)
final boolean	isDefinedInMethod(MethodBinding method)
final boolean	isDefinedInSameUnit(ReferenceBinding type)
final boolean	isDefinedInType(ReferenceBinding type)
boolean	isInsideCase(CaseStatement caseStatement)	Returns true if the scope or one of its parent is associated to a given caseStatement, denoting being part of a given switch case statement.
boolean	isInsideDeprecatedCode()
boolean	isInterTypeScope()
boolean	isLambdaScope()
boolean	isLambdaSubscope()
boolean	isSubtypeOfRawType(TypeBinding paramType)
protected final Binding	localCheckRedundantDefaultNullness(int nullBits, int position)
final int	localNonNullByDefaultValue(int start)
TypeBinding	lowerUpperBound(TypeBinding[] types)	Returns VoidBinding if types have no intersection (e.g.
final MethodScope	methodScope()
protected TypeBinding[]	minimalErasedCandidates(TypeBinding[] types, Map allInvocations)	Returns the most specific set of types compatible with all given types.
ModuleBinding	module()
protected final MethodBinding	mostSpecificClassMethodBinding(MethodBinding[] visible, int visibleSize, InvocationSite invocationSite)
protected final MethodBinding	mostSpecificInterfaceMethodBinding(MethodBinding[] visible, int visibleSize, InvocationSite invocationSite)
protected final MethodBinding	mostSpecificMethodBinding(MethodBinding[] visible, int visibleSize, TypeBinding[] argumentTypes, InvocationSite invocationSite, ReferenceBinding receiverType)
final MethodScope	namedMethodScope()
ReferenceContext	originalReferenceContext()	Returns the nearest original reference context, starting from current scope.
final ClassScope	outerMostClassScope()
final MethodScope	outerMostMethodScope()
int	parameterCompatibilityLevel(MethodBinding method, TypeBinding[] arguments)
int	parameterCompatibilityLevel(MethodBinding method, TypeBinding[] arguments, boolean tiebreakingVarargsMethods)
int	parameterCompatibilityLevel(MethodBinding method, TypeBinding[] arguments, InvocationSite site)
int	parameterCompatibilityLevel(TypeBinding arg, TypeBinding param)
abstract ProblemReporter	problemReporter()	See also the contract of ProblemReporter.close().
boolean	recordNonNullByDefault(Binding target, int value, Annotation annotation, int scopeStart, int scopeEnd)	Record a NNBD annotation applying to a given source range within the current scope
final CompilationUnitDeclaration	referenceCompilationUnit()
ReferenceContext	referenceContext()	Returns the nearest reference context, starting from current scope.
boolean	resolvingGuardExpression()
void	setParent(Scope parent)
static ReferenceBinding[]	substitute(Substitution substitution, ReferenceBinding[] originalTypes)	Returns an array of types, where original types got substituted given a substitution.
static TypeBinding	substitute(Substitution substitution, TypeBinding originalType)	Returns a type, where original type was substituted using the receiver parameterized type.
static TypeBinding[]	substitute(Substitution substitution, TypeBinding[] originalTypes)	Returns an array of types, where original types got substituted given a substitution.
void	tagAsAccessingEnclosingInstanceStateOf(ReferenceBinding enclosingType, boolean typeVariableAccess)
static BlockScope	typeAnnotationsResolutionScope(Scope scope)
boolean	validateNullAnnotation(long tagBits, TypeReference typeRef, Annotation[] annotations)

Methods inherited from class java.lang.Object

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

Field Details

NOT_REDUNDANT

public static Binding NOT_REDUNDANT

BLOCK_SCOPE

public static final int BLOCK_SCOPE

See Also:

• Constant Field Values

CLASS_SCOPE

public static final int CLASS_SCOPE

See Also:

• Constant Field Values

COMPILATION_UNIT_SCOPE

public static final int COMPILATION_UNIT_SCOPE

See Also:

• Constant Field Values

METHOD_SCOPE

public static final int METHOD_SCOPE

See Also:

• Constant Field Values

MODULE_SCOPE

public static final int MODULE_SCOPE

See Also:

• Constant Field Values

NOT_COMPATIBLE

public static final int NOT_COMPATIBLE

See Also:

• Constant Field Values

COMPATIBLE

public static final int COMPATIBLE

See Also:

• Constant Field Values

AUTOBOX_COMPATIBLE

public static final int AUTOBOX_COMPATIBLE

See Also:

• Constant Field Values

VARARGS_COMPATIBLE

public static final int VARARGS_COMPATIBLE

See Also:

• Constant Field Values

EQUAL_OR_MORE_SPECIFIC

public static final int EQUAL_OR_MORE_SPECIFIC

See Also:

• Constant Field Values

NOT_RELATED

public static final int NOT_RELATED

See Also:

• Constant Field Values

MORE_GENERIC

public static final int MORE_GENERIC

See Also:

• Constant Field Values

kind

public int kind

parent

public Scope parent

compilationUnitScope

public CompilationUnitScope compilationUnitScope

Constructor Details

Scope

protected Scope(int kind,
 Scope parent)

Method Details

setParent

public void setParent(Scope parent)

compareTypes

public static int compareTypes(TypeBinding left,
 TypeBinding right)

convertEliminatingTypeVariables

public static TypeBinding convertEliminatingTypeVariables(TypeBinding originalType,
 ReferenceBinding genericType,
 int rank,
 Set eliminatedVariables)

Returns a type where either all variables or specific ones got discarded. e.g. List<E> (discarding <E extends Enum<E>) will return: List<? extends Enum<?>>

getBaseType

public static TypeBinding getBaseType(char[] name)

greaterLowerBound

public static ReferenceBinding[] greaterLowerBound(ReferenceBinding[] types)

greaterLowerBound

public static TypeBinding[] greaterLowerBound(TypeBinding[] types,
 Scope scope,
 LookupEnvironment environment)

substitute

public static ReferenceBinding[] substitute(Substitution substitution,
 ReferenceBinding[] originalTypes)

Returns an array of types, where original types got substituted given a substitution. Only allocate an array if anything is different.

substitute

public static TypeBinding substitute(Substitution substitution,
 TypeBinding originalType)

Returns a type, where original type was substituted using the receiver parameterized type. In raw mode (see Substitution.isRawSubstitution()), all parameterized types are converted to raw types. Cf. 4.8: "The type of a constructor (8.8), instance method (8.4, 9.4), or non-static field (8.3) M of a raw type C that is not inherited from its superclasses or superinterfaces is the raw type that corresponds to the erasure of its type in the generic declaration corresponding to C."

substitute

public static TypeBinding[] substitute(Substitution substitution,
 TypeBinding[] originalTypes)

Returns an array of types, where original types got substituted given a substitution. Only allocate an array if anything is different.

boxing

public TypeBinding boxing(TypeBinding type)

classScope

public final ClassScope classScope()

compilationUnitScope

public final CompilationUnitScope compilationUnitScope()

module

public ModuleBinding module()

isLambdaScope

public boolean isLambdaScope()

isLambdaSubscope

public boolean isLambdaSubscope()

compilerOptions

public final CompilerOptions compilerOptions()

Finds the most specific compiler options

computeCompatibleMethod

protected final MethodBinding computeCompatibleMethod(MethodBinding method,
 TypeBinding[] arguments,
 InvocationSite invocationSite)

Internal use only Given a method, returns null if arguments cannot be converted to parameters. Will answer a substituted method in case the method was generic and type inference got triggered; in case the method was originally compatible, then simply answer it back.

computeCompatibleMethod

protected final MethodBinding computeCompatibleMethod(MethodBinding method,
 TypeBinding[] arguments,
 InvocationSite invocationSite,
 boolean tiebreakingVarargsMethods)

Internal use only Given a method, returns null if arguments cannot be converted to parameters. Will answer a substituted method in case the method was generic and type inference got triggered; in case the method was originally compatible, then simply answer it back.

connectTypeVariables

protected boolean connectTypeVariables(TypeParameter[] typeParameters,
 boolean checkForErasedCandidateCollisions)

Connect type variable supertypes, and returns true if no problem was detected

createArrayType

public ArrayBinding createArrayType(TypeBinding type,
 int dimension)

createArrayType

public ArrayBinding createArrayType(TypeBinding type,
 int dimension,
 AnnotationBinding[] annotations)

createTypeVariables

public TypeVariableBinding[] createTypeVariables(TypeParameter[] typeParameters,
 Binding declaringElement)

enclosingClassScope

public final ClassScope enclosingClassScope()

enclosingTopMostClassScope

public final ClassScope enclosingTopMostClassScope()

enclosingMethodScope

public final MethodScope enclosingMethodScope()

enclosingLambdaScope

public final MethodScope enclosingLambdaScope()

enclosingReceiverType

public final ReferenceBinding enclosingReceiverType()

enclosingReferenceContext

public ReferenceContext enclosingReferenceContext()

Returns the immediately enclosing reference context, starting from current scope parent. If starting on a class, it will skip current class. If starting on unitScope, returns null.

enclosingSourceType

public final SourceTypeBinding enclosingSourceType()

invocationType

public SourceTypeBinding invocationType()

For Java scopes, the invocationType is always the same as the enclosingSourceType This distinction is important for AspectJ's inter-type declarations For inter-type declarations, the invocationType is the lexically enclosing type.

environment

public final LookupEnvironment environment()

findDefaultAbstractMethod

protected MethodBinding findDefaultAbstractMethod(ReferenceBinding receiverType,
 char[] selector,
 TypeBinding[] argumentTypes,
 InvocationSite invocationSite,
 ReferenceBinding classHierarchyStart,
 ObjectVector found,
 MethodBinding[] concreteMatches)

findDirectMemberType

public ReferenceBinding findDirectMemberType(char[] typeName,
 ReferenceBinding enclosingType)

findExactMethod

public MethodBinding findExactMethod(ReferenceBinding receiverType,
 char[] selector,
 TypeBinding[] argumentTypes,
 InvocationSite invocationSite)

findPrivilegedHandler

public static final IPrivilegedHandler findPrivilegedHandler(ReferenceBinding type)

findField

public FieldBinding findField(TypeBinding receiverType,
 char[] fieldName,
 InvocationSite invocationSite,
 boolean needResolve)

findField

public FieldBinding findField(TypeBinding receiverType,
 char[] fieldName,
 InvocationSite invocationSite,
 boolean needResolve,
 boolean invisibleFieldsOk)

findMemberType

public ReferenceBinding findMemberType(char[] typeName,
 ReferenceBinding enclosingType)

findMethod

public MethodBinding findMethod(ReferenceBinding receiverType,
 char[] selector,
 TypeBinding[] argumentTypes,
 InvocationSite invocationSite,
 boolean inStaticContext)

findMethod0

public MethodBinding findMethod0(ReferenceBinding receiverType,
 char[] selector,
 TypeBinding[] argumentTypes,
 InvocationSite invocationSite,
 boolean inStaticContext)

findMethodForArray

public MethodBinding findMethodForArray(ArrayBinding receiverType,
 char[] selector,
 TypeBinding[] argumentTypes,
 InvocationSite invocationSite)

findMethodInSuperInterfaces

protected void findMethodInSuperInterfaces(ReferenceBinding receiverType,
 char[] selector,
 ObjectVector found,
 List<TypeBinding> visitedTypes,
 InvocationSite invocationSite)

findType

public ReferenceBinding findType(char[] typeName,
 PackageBinding declarationPackage,
 PackageBinding invocationPackage)

findVariable

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

resolvingGuardExpression

public boolean resolvingGuardExpression()

getBinding

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

getExactMethod

public MethodBinding getExactMethod(TypeBinding receiverType,
 char[] selector,
 InvocationSite invocationSite)

getExactConstructor

public MethodBinding getExactConstructor(TypeBinding receiverType,
 InvocationSite invocationSite)

getConstructor

public MethodBinding getConstructor(ReferenceBinding receiverType,
 TypeBinding[] argumentTypes,
 InvocationSite invocationSite)

getConstructor0

public MethodBinding getConstructor0(ReferenceBinding receiverType,
 TypeBinding[] argumentTypes,
 InvocationSite invocationSite)

getCurrentPackage

public final PackageBinding getCurrentPackage()

getDeclarationModifiers

public int getDeclarationModifiers()

Returns the modifiers of the innermost enclosing declaration.

Returns:

modifiers

getField

public FieldBinding getField(TypeBinding receiverType,
 char[] fieldName,
 InvocationSite invocationSite)

getImplicitMethod

public MethodBinding getImplicitMethod(char[] selector,
 TypeBinding[] argumentTypes,
 InvocationSite invocationSite)

getJavaIoSerializable

public final ReferenceBinding getJavaIoSerializable()

getJavaLangAnnotationAnnotation

public final ReferenceBinding getJavaLangAnnotationAnnotation()

getJavaLangAssertionError

public final ReferenceBinding getJavaLangAssertionError()

getJavaLangBoolean

public final ReferenceBinding getJavaLangBoolean()

getJavaLangByte

public final ReferenceBinding getJavaLangByte()

getJavaLangCharacter

public final ReferenceBinding getJavaLangCharacter()

getJavaLangClass

public final ReferenceBinding getJavaLangClass()

getJavaLangCloneable

public final ReferenceBinding getJavaLangCloneable()

getJavaLangClassNotFoundException

public final ReferenceBinding getJavaLangClassNotFoundException()

getJavaLangDouble

public final ReferenceBinding getJavaLangDouble()

getJavaLangFloat

public final ReferenceBinding getJavaLangFloat()

getJavaLangIncompatibleClassChangeError

public final ReferenceBinding getJavaLangIncompatibleClassChangeError()

getJavaLangNoClassDefFoundError

public final ReferenceBinding getJavaLangNoClassDefFoundError()

getJavaLangNoSuchFieldError

public final ReferenceBinding getJavaLangNoSuchFieldError()

getJavaLangEnum

public final ReferenceBinding getJavaLangEnum()

getJavaLangError

public final ReferenceBinding getJavaLangError()

getJavaLangReflectField

public final ReferenceBinding getJavaLangReflectField()

getJavaLangReflectMethod

public final ReferenceBinding getJavaLangReflectMethod()

getJavaLangRuntimeObjectMethods

public final ReferenceBinding getJavaLangRuntimeObjectMethods()

getJavaLangRuntimeSwitchBootstraps

public final ReferenceBinding getJavaLangRuntimeSwitchBootstraps()

getJavaLangInvokeConstantBootstraps

public final ReferenceBinding getJavaLangInvokeConstantBootstraps()

getJavaLangEnumDesc

public final ReferenceBinding getJavaLangEnumDesc()

getJavaLangClassDesc

public final ReferenceBinding getJavaLangClassDesc()

getJavaLangInvokeStringConcatFactory

public final ReferenceBinding getJavaLangInvokeStringConcatFactory()

getJavaLangRuntimeTemplateRuntimeBootstraps

public final ReferenceBinding getJavaLangRuntimeTemplateRuntimeBootstraps()

getJavaLangInvokeLambdaMetafactory

public final ReferenceBinding getJavaLangInvokeLambdaMetafactory()

getJavaLangInvokeSerializedLambda

public final ReferenceBinding getJavaLangInvokeSerializedLambda()

getJavaLangInvokeMethodHandlesLookup

public final ReferenceBinding getJavaLangInvokeMethodHandlesLookup()

getJavaLangInvokeMethodHandle

public final ReferenceBinding getJavaLangInvokeMethodHandle()

getJavaLangInvokeVarHandle

public final ReferenceBinding getJavaLangInvokeVarHandle()

getJavaLangInteger

public final ReferenceBinding getJavaLangInteger()

getJavaLangIterable

public final ReferenceBinding getJavaLangIterable()

getJavaLangLong

public final ReferenceBinding getJavaLangLong()

getJavaLangObject

public final ReferenceBinding getJavaLangObject()

getJavaLangRecord

public final ReferenceBinding getJavaLangRecord()

getJavaLangShort

public final ReferenceBinding getJavaLangShort()

getJavaLangString

public final ReferenceBinding getJavaLangString()

getJavaLangStringBuffer

public final ReferenceBinding getJavaLangStringBuffer()

getJavaLangStringBuilder

public final ReferenceBinding getJavaLangStringBuilder()

getJavaLangStringTemplate

public TypeBinding getJavaLangStringTemplate()

getJavaLangStringTemplateProcessor

public final ReferenceBinding getJavaLangStringTemplateProcessor()

getJavaLangThrowable

public final ReferenceBinding getJavaLangThrowable()

getJavaLangVoid

public final ReferenceBinding getJavaLangVoid()

getJavaLangIllegalArgumentException

public final ReferenceBinding getJavaLangIllegalArgumentException()

getJavaUtilIterator

public final ReferenceBinding getJavaUtilIterator()

getMemberType

public final ReferenceBinding getMemberType(char[] typeName,
 ReferenceBinding enclosingType)

getMethod

public MethodBinding getMethod(TypeBinding receiverType,
 char[] selector,
 TypeBinding[] argumentTypes,
 InvocationSite invocationSite)

getPackage

public final Binding getPackage(char[][] compoundName)

getOnlyPackage

public final Binding getOnlyPackage(char[][] compoundName)

getType

public final TypeBinding getType(char[] name)

getType

public final TypeBinding getType(char[] name,
 PackageBinding packageBinding)

getType

public final TypeBinding getType(char[][] compoundName,
 int typeNameLength)

getTypeOrPackage

public final Binding getTypeOrPackage(char[][] compoundName)

hasErasedCandidatesCollisions

public boolean hasErasedCandidatesCollisions(TypeBinding one,
 TypeBinding two,
 Map invocations,
 ReferenceBinding type,
 ASTNode typeRef)

innermostSwitchCase

public CaseStatement innermostSwitchCase()

Returns the immediately enclosing switchCase statement (carried by closest blockScope),

isAcceptableMethod

protected boolean isAcceptableMethod(MethodBinding one,
 MethodBinding two)

isBoxingCompatibleWith

public boolean isBoxingCompatibleWith(TypeBinding expressionType,
 TypeBinding targetType)

isDefinedInField

public final boolean isDefinedInField(FieldBinding field)

isDefinedInMethod

public final boolean isDefinedInMethod(MethodBinding method)

isDefinedInSameUnit

public final boolean isDefinedInSameUnit(ReferenceBinding type)

isDefinedInType

public final boolean isDefinedInType(ReferenceBinding type)

isInsideCase

public boolean isInsideCase(CaseStatement caseStatement)

Returns true if the scope or one of its parent is associated to a given caseStatement, denoting being part of a given switch case statement.

isInsideDeprecatedCode

public boolean isInsideDeprecatedCode()

isSubtypeOfRawType

public boolean isSubtypeOfRawType(TypeBinding paramType)

lowerUpperBound

public TypeBinding lowerUpperBound(TypeBinding[] types)

Returns VoidBinding if types have no intersection (e.g. 2 unrelated interfaces), or null if no common supertype (e.g. List<String> and List<Exception>), or the intersection type if possible

methodScope

public final MethodScope methodScope()

namedMethodScope

public final MethodScope namedMethodScope()

minimalErasedCandidates

protected TypeBinding[] minimalErasedCandidates(TypeBinding[] types,
 Map allInvocations)

Returns the most specific set of types compatible with all given types. (i.e. most specific common super types) If no types is given, will return an empty array. If not compatible reference type is found, returns null. In other cases, will return an array of minimal erased types, where some nulls may appear (and must simply be ignored).

mostSpecificClassMethodBinding

protected final MethodBinding mostSpecificClassMethodBinding(MethodBinding[] visible,
 int visibleSize,
 InvocationSite invocationSite)

mostSpecificInterfaceMethodBinding

protected final MethodBinding mostSpecificInterfaceMethodBinding(MethodBinding[] visible,
 int visibleSize,
 InvocationSite invocationSite)

mostSpecificMethodBinding

protected final MethodBinding mostSpecificMethodBinding(MethodBinding[] visible,
 int visibleSize,
 TypeBinding[] argumentTypes,
 InvocationSite invocationSite,
 ReferenceBinding receiverType)

outerMostClassScope

public final ClassScope outerMostClassScope()

outerMostMethodScope

public final MethodScope outerMostMethodScope()

parameterCompatibilityLevel

public int parameterCompatibilityLevel(MethodBinding method,
 TypeBinding[] arguments,
 InvocationSite site)

parameterCompatibilityLevel

public int parameterCompatibilityLevel(MethodBinding method,
 TypeBinding[] arguments)

parameterCompatibilityLevel

public int parameterCompatibilityLevel(MethodBinding method,
 TypeBinding[] arguments,
 boolean tiebreakingVarargsMethods)

parameterCompatibilityLevel

public int parameterCompatibilityLevel(TypeBinding arg,
 TypeBinding param)

problemReporter

public abstract ProblemReporter problemReporter()

See also the contract of ProblemReporter.close().

referenceCompilationUnit

public final CompilationUnitDeclaration referenceCompilationUnit()

referenceContext

public ReferenceContext referenceContext()

Returns the nearest reference context, starting from current scope. If starting on a class, it will return current class. If starting on unitScope, returns unit.

originalReferenceContext

public ReferenceContext originalReferenceContext()

Returns the nearest original reference context, starting from current scope. If starting on a class, it will return current class. If starting on unitScope, returns unit.

deferBoundCheck

public void deferBoundCheck(TypeReference typeRef)

getStaticFactory

public MethodBinding getStaticFactory(ParameterizedTypeBinding allocationType,
 ReferenceBinding originalEnclosingType,
 TypeBinding[] argumentTypes,
 InvocationSite allocationSite)

validateNullAnnotation

public boolean validateNullAnnotation(long tagBits,
 TypeReference typeRef,
 Annotation[] annotations)

recordNonNullByDefault

public boolean recordNonNullByDefault(Binding target,
 int value,
 Annotation annotation,
 int scopeStart,
 int scopeEnd)

Record a NNBD annotation applying to a given source range within the current scope

Parameters:

target - the annotated element

value - bitset describing the default nullness (see Binding.NullnessDefaultMASK)

annotation - the NNBD annotation

scopeStart - start of the source range affected by the default

scopeEnd - end of the source range affected by the default

Returns:

true if the annotation was newly recorded, false if a corresponding entry already existed.

checkRedundantDefaultNullness

public Binding checkRedundantDefaultNullness(int nullBits,
 int sourceStart)

Check whether the given null default is redundant at the given position inside this scope.

Parameters:

nullBits - locally defined nullness default, see Binding.NullnessDefaultMASK

Returns:

enclosing binding that already has a matching NonNullByDefault annotation, or the special binding NOT_REDUNDANT, indicating that a different enclosing nullness default was found, or null to indicate that no enclosing nullness default was found.

hasDefaultNullnessFor

public boolean hasDefaultNullnessFor(int location,
 int sourceStart)

Answer a defaultNullness defined for the closest enclosing scope, using bits from Binding.NullnessDefaultMASK.

hasDefaultNullnessForType

public boolean hasDefaultNullnessForType(TypeBinding type,
 int location,
 int sourceStart)

localNonNullByDefaultValue

public final int localNonNullByDefaultValue(int start)

localCheckRedundantDefaultNullness

protected final Binding localCheckRedundantDefaultNullness(int nullBits,
 int position)

typeAnnotationsResolutionScope

public static BlockScope typeAnnotationsResolutionScope(Scope scope)

tagAsAccessingEnclosingInstanceStateOf

public void tagAsAccessingEnclosingInstanceStateOf(ReferenceBinding enclosingType,
 boolean typeVariableAccess)

getCommonReferenceBinding

public Supplier<ReferenceBinding> getCommonReferenceBinding(char[] typeName)

findTypeVariable

public TypeVariableBinding findTypeVariable(char[] name,
 SourceTypeBinding sourceType)

Other scopes can override this method

isInterTypeScope

public boolean isInterTypeScope()