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

Class ClassScope

java.lang.Object

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

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

Direct Known Subclasses:

InterTypeScope

public class ClassScope
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 and Description
TypeDeclaration	referenceContext
TypeReference	superTypeReference

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

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

Constructor Summary

Constructors

Constructor and Description
ClassScope(Scope parent, TypeDeclaration context)

Method Summary

Modifier and Type	Method and Description
int	addDepth()
void	checkParameterizedSuperTypeCollisions()
void	checkParameterizedTypeBounds()
Binding	checkRedundantDefaultNullness(int nullBits, int sourceStart) Check whether the given null default is redundant at the given position inside this scope.
boolean	deferCheck(java.lang.Runnable check)
boolean	detectHierarchyCycle(TypeBinding superType, TypeReference reference)
boolean	hasDefaultNullnessFor(int location, int sourceStart) Answer a defaultNullness defined for the closest enclosing scope, using bits from Binding.NullnessDefaultMASK.
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.
ProblemReporter	problemReporter()
TypeDeclaration	referenceType()
java.lang.String	toString()

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

boxing, 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, findVariable, getBaseType, getBinding, getCommonReferenceBinding, getConstructor, getConstructor0, getCurrentPackage, getDeclarationModifiers, getExactConstructor, getExactMethod, getField, getImplicitMethod, getJavaIoSerializable, getJavaLangAnnotationAnnotation, getJavaLangAssertionError, getJavaLangBoolean, getJavaLangByte, getJavaLangCharacter, getJavaLangClass, getJavaLangClassNotFoundException, getJavaLangCloneable, getJavaLangDouble, getJavaLangEnum, getJavaLangError, getJavaLangFloat, getJavaLangIllegalArgumentException, getJavaLangIncompatibleClassChangeError, getJavaLangInteger, getJavaLangInvokeLambdaMetafactory, getJavaLangInvokeMethodHandlesLookup, getJavaLangInvokeSerializedLambda, getJavaLangIterable, getJavaLangLong, getJavaLangNoClassDefFoundError, getJavaLangNoSuchFieldError, getJavaLangObject, getJavaLangRecord, getJavaLangReflectField, getJavaLangReflectMethod, getJavaLangRuntimeObjectMethods, getJavaLangShort, getJavaLangString, getJavaLangStringBuffer, getJavaLangStringBuilder, getJavaLangThrowable, getJavaLangVoid, getJavaUtilIterator, getMemberType, getMethod, getOnlyPackage, getPackage, getStaticFactory, getType, getType, getType, getTypeOrPackage, greaterLowerBound, greaterLowerBound, hasErasedCandidatesCollisions, innermostSwitchCase, 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, substitute, substitute, substitute, tagAsAccessingEnclosingInstanceStateOf, typeAnnotationsResolutionScope, validateNullAnnotation

Methods inherited from class java.lang.Object

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

Field Detail

referenceContext

public TypeDeclaration referenceContext

superTypeReference

public TypeReference superTypeReference

Constructor Detail

ClassScope

public ClassScope(Scope parent,
                  TypeDeclaration context)

Method Detail

checkParameterizedSuperTypeCollisions

public void checkParameterizedSuperTypeCollisions()

checkParameterizedTypeBounds

public void checkParameterizedTypeBounds()

deferCheck

public boolean deferCheck(java.lang.Runnable check)

Overrides:

deferCheck in class Scope

detectHierarchyCycle

public boolean detectHierarchyCycle(TypeBinding superType,
                                    TypeReference reference)

problemReporter

public ProblemReporter problemReporter()

Specified by:

problemReporter in class Scope

referenceType

public TypeDeclaration referenceType()

hasDefaultNullnessFor

public boolean hasDefaultNullnessFor(int location,
                                     int sourceStart)

Description copied from class: Scope

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

Overrides:

hasDefaultNullnessFor in class Scope

checkRedundantDefaultNullness

public Binding checkRedundantDefaultNullness(int nullBits,
                                             int sourceStart)

Description copied from class: Scope

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

Overrides:

checkRedundantDefaultNullness in class Scope

Parameters:

nullBits - locally defined nullness default, see Binding.NullnessDefaultMASK

Returns:

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

addDepth

public int addDepth()

invocationType

public SourceTypeBinding invocationType()

Description copied from class: Scope

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.

Overrides:

invocationType in class Scope