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

TypeDeclaration	referenceContext
TypeReference	superTypeReference

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

APPLICABILITY, AUTOBOX_COMPATIBLE, BLOCK_SCOPE, CLASS_SCOPE, COMPATIBLE, COMPILATION_UNIT_SCOPE, EQUAL_OR_MORE_SPECIFIC, FULL_INFERENCE, INVOCATION_TYPE, kind, METHOD_SCOPE, MORE_GENERIC, NOT_COMPATIBLE, NOT_RELATED, parent, VARARGS_COMPATIBLE

Constructor Summary

ClassScope(Scope parent, TypeDeclaration context)

Method Summary

int	addDepth()
void	checkParameterizedSuperTypeCollisions()
void	checkParameterizedTypeBounds()
boolean	deferCheck(java.lang.Runnable check)
boolean	detectHierarchyCycle(TypeBinding superType, TypeReference reference)
boolean	hasDefaultNullnessFor(int location) 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, environment, findDefaultAbstractMethod, findDirectMemberType, findExactMethod, findField, findField, findMemberType, findMethod, findMethod0, findMethodForArray, findMethodInSuperInterfaces, findPrivilegedHandler, findType, findTypeVariable, findVariable, getBaseType, getBinding, getConstructor, getConstructor0, getCurrentPackage, getDeclarationModifiers, getExactConstructor, getExactMethod, getField, getImplicitMethod, getJavaIoSerializable, getJavaLangAnnotationAnnotation, getJavaLangAssertionError, getJavaLangClass, getJavaLangCloneable, getJavaLangEnum, getJavaLangIllegalArgumentException, getJavaLangInvokeLambdaMetafactory, getJavaLangInvokeMethodHandlesLookup, getJavaLangInvokeSerializedLambda, getJavaLangIterable, getJavaLangObject, getJavaLangString, getJavaLangThrowable, getJavaUtilIterator, getMemberType, getMethod, getOnlyPackage, getPackage, getStaticFactory, getType, getType, getType, getTypeOrPackage, greaterLowerBound, greaterLowerBound, hasErasedCandidatesCollisions, inferInvocationType, innermostSwitchCase, isAcceptableMethod, isBoxingCompatibleWith, isDefinedInField, isDefinedInMethod, isDefinedInSameUnit, isDefinedInType, isInsideCase, isInsideDeprecatedCode, isLambdaScope, isLambdaSubscope, isPossibleSubtypeOfRawType, lowerUpperBound, methodScope, minimalErasedCandidates, mostSpecificClassMethodBinding, mostSpecificInterfaceMethodBinding, mostSpecificMethodBinding, namedMethodScope, originalReferenceContext, outerMostClassScope, outerMostMethodScope, parameterCompatibilityLevel, parameterCompatibilityLevel, parameterCompatibilityLevel, 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)

Description copied from class: Scope

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

Specified by:

hasDefaultNullnessFor in class Scope

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