Package org.aspectj.weaver

Class BoundedReferenceType

java.lang.Object

org.aspectj.weaver.UnresolvedType

org.aspectj.weaver.ResolvedType

org.aspectj.weaver.ReferenceType

org.aspectj.weaver.BoundedReferenceType

All Implemented Interfaces:

AnnotatedElement, Traceable, TypeVariableDeclaringElement

public class BoundedReferenceType
extends ReferenceType

A BoundedReferenceType is the result of a generics wildcard expression ? extends String, ? super Foo etc.. The "signature" for a bounded reference type follows the generic signature specification in section 4.4 of JVM spec: *,+,- plus signature strings. The bound may be a type variable (e.g. ? super T)

Author:

Adrian Colyer, Andy Clement

Nested Class Summary

Nested classes/interfaces inherited from class org.aspectj.weaver.UnresolvedType

UnresolvedType.TypeKind

Field Summary

Fields

Modifier and Type	Field	Description
protected ReferenceType[]	additionalInterfaceBounds
static final int	EXTENDS
int	kind
static final int	SUPER
static final int	UNBOUND

Fields inherited from class org.aspectj.weaver.ReferenceType

EMPTY_ARRAY

Fields inherited from class org.aspectj.weaver.ResolvedType

bits, crosscuttingMembers, EMPTY_RESOLVED_TYPE_ARRAY, interTypeMungers, MISSING, NONE, PARAMETERIZED_TYPE_IDENTIFIER, temporaryAnnotationTypes, validBoxing, world

Fields inherited from class org.aspectj.weaver.UnresolvedType

AJC_PRIVILEGED, ANNOTATION, ARRAY_WITH_JUST_OBJECT, AT_INHERITED, AT_RETENTION, AT_TARGET, BOOLEAN, BYTE, CHAR, CLONEABLE, DOUBLE, ENUM, ERROR, FLOAT, INT, JAVA_LANG_ANNOTATION, JAVA_LANG_CLASS_ARRAY, JAVA_LANG_REFLECT_CONSTRUCTOR, JAVA_LANG_REFLECT_FIELD, JAVA_LANG_REFLECT_METHOD, JL_CLASS, JL_EXCEPTION, JL_STRING, JOINPOINT_ENCLOSINGSTATICPART, JOINPOINT_STATICPART, LONG, MISSING_NAME, OBJECT, OBJECTARRAY, PROCEEDING_JOINPOINT, RUNTIME_EXCEPTION, SERIALIZABLE, SHORT, signature, signatureErasure, SOMETHING, SUPPRESS_AJ_WARNINGS, THROWABLE, typeKind, typeParameters, typeVariables, VOID

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	BoundedReferenceType(String signature, String erasedSignature, World world)	only for use when resolving GenericsWildcardTypeX or a TypeVariableReferenceType
	BoundedReferenceType(ReferenceType aBound, boolean isExtends, World world)
	BoundedReferenceType(ReferenceType aBound, boolean isExtends, World world, ReferenceType[] additionalInterfaces)
	BoundedReferenceType(World world)	Constructs the BoundedReferenceType representing an unbounded wildcard '?'.

Method Summary

Modifier and Type	Method	Description
boolean	alwaysMatches(ResolvedType aCandidateType)
boolean	canBeCoercedTo(ResolvedType aCandidateType)
ReferenceType[]	getAdditionalBounds()
ResolvedType[]	getDeclaredInterfaces()	Find out from the generic signature the true signature of any interfaces I implement.
UnresolvedType	getLowerBound()
String	getSignatureForAttribute()
String	getSimpleName()
UnresolvedType	getUpperBound()
boolean	hasLowerBound()
boolean	isExtends()
boolean	isGenericWildcard()
boolean	isSuper()
boolean	isUnbound()
UnresolvedType	parameterize(Map<String,UnresolvedType> typeBindings)	Iff I am a parameterized type, and any of my parameters are type variable references (or nested parameterized types), return a version with those type parameters replaced in accordance with the passed bindings.

Methods inherited from class org.aspectj.weaver.ReferenceType

addAnnotation, addParent, canAnnotationTargetType, checkDuplicates, demoteToSimpleType, doesNotExposeShadowMungers, ensureConsistent, findDerivativeType, fromTypeX, getAnnotationOfType, getAnnotations, getAnnotationTargetKinds, getAnnotationTypes, getCompilerVersion, getDeclaredFields, getDeclaredGenericSignature, getDeclaredMethods, getDeclaredPointcuts, getDeclares, getDelegate, getEndPos, getGenericSignature, getGenericType, getModifiers, getNameAsIdentifier, getOuterClass, getPerClause, getPrivilegedAccesses, getRetentionPolicy, getSourceContext, getSourceLocation, getStartPos, getSuperclass, getTypeMungers, getTypeVariables, getWeaverState, hasAnnotation, hasAnnotations, hasNewInterfaces, isAnnotation, isAnnotationStyleAspect, isAnnotationWithRuntimeRetention, isAnonymous, isAspect, isAssignableFrom, isAssignableFrom, isClass, isCoerceableFrom, isEnum, isExposedToWeaver, isGenericType, isNested, setDelegate, setEndPos, setGenericType, setStartPos

Methods inherited from class org.aspectj.weaver.ResolvedType

addInterTypeMunger, ajMembersNeedParameterization, canBeSeenBy, checkInterTypeMungers, checkLegalOverride, clearInterTypeMungers, collectCrosscuttingMembers, collectDeclares, collectInterTypeMungers, conflictingSignature, conflictingSignature, discoverActualOccurrenceOfTypeInHierarchy, equals, fillInAnyTypeParameters, findPointcut, getAjMemberParameterizationMap, getBinaryPath, getDeclaredAdvice, getDeclaredJavaFields, getDeclaredJavaMethods, getDeclaredShadowMungers, getDeclaringType, getDirectSupertypes, getExposedPointcuts, getFields, getHierarchy, getHierarchy, getHierarchyWithoutIterator, getInterTypeMungers, getInterTypeMungersIncludingSupers, getInterTypeParentMungers, getInterTypeParentMungersIncludingSupers, getMemberParameterizationMap, getMethods, getMethodsIncludingIntertypeDeclarations, getMethodsWithoutIterator, getPointcuts, getRawType, getResolvedComponentType, getResolvedTypeParameters, getSize, getTopmostImplementor, getWorld, isAbstract, isCacheable, isCheckedException, isConvertableFrom, isException, isFinal, isGroovyObject, isInheritedAnnotation, isInterface, isMissing, isMissing, isMoreVisible, isParameterizedWithTypeVariable, isPrimitiveArray, isPrivilegedAspect, isSynthetic, isTopmostImplementor, isTypeHierarchyComplete, isVisible, lookupDirectlyDeclaredMemberNoSupers, lookupField, lookupMemberIncludingITDsOnInterfaces, lookupMemberNoSupers, lookupMemberWithSupersAndITDs, lookupMethod, lookupMethodInITDs, lookupResolvedMember, lookupSyntheticMember, makeArray, matches, needsNoConversionFrom, parameterizedWith, setBinaryPath, tagAsTypeHierarchyComplete

Methods inherited from class org.aspectj.weaver.UnresolvedType

add, forGenericType, forGenericTypeSignature, forGenericTypeVariables, forName, forNames, forPrimitiveType, forRawTypeName, forSignature, forSignatures, getBaseName, getClassName, getComponentType, getDimensions, getErasureSignature, getName, getNames, getOutermostType, getPackageName, getPackageNameAsIdentifier, getRawName, getSignature, getSimpleBaseName, getTypekind, getTypeParameters, getTypeVariableNamed, hashCode, insert, isArray, isParameterizedOrGenericType, isParameterizedOrRawType, isParameterizedType, isPrimitiveType, isRawType, isSimpleType, isTypeVariableReference, isVoid, makeArray, needsModifiableDelegate, read, readArray, resolve, setNeedsModifiableDelegate, toDebugString, toString, toTraceString, write, writeArray

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

UNBOUND

public static final int UNBOUND

See Also:

• Constant Field Values

EXTENDS

public static final int EXTENDS

See Also:

• Constant Field Values

SUPER

public static final int SUPER

See Also:

• Constant Field Values

kind

public int kind

additionalInterfaceBounds

protected ReferenceType[] additionalInterfaceBounds

Constructor Details

BoundedReferenceType

public BoundedReferenceType(ReferenceType aBound,
 boolean isExtends,
 World world)

BoundedReferenceType

public BoundedReferenceType(ReferenceType aBound,
 boolean isExtends,
 World world,
 ReferenceType[] additionalInterfaces)

BoundedReferenceType

protected BoundedReferenceType(String signature,
 String erasedSignature,
 World world)

only for use when resolving GenericsWildcardTypeX or a TypeVariableReferenceType

BoundedReferenceType

public BoundedReferenceType(World world)

Constructs the BoundedReferenceType representing an unbounded wildcard '?'. In this situation the signature is '*' and the erased signature is Ljava/lang/Object;

Method Details

getUpperBound

public UnresolvedType getUpperBound()

getLowerBound

public UnresolvedType getLowerBound()

getAdditionalBounds

public ReferenceType[] getAdditionalBounds()

parameterize

public UnresolvedType parameterize(Map<String,UnresolvedType> typeBindings)

Description copied from class: ResolvedType

Iff I am a parameterized type, and any of my parameters are type variable references (or nested parameterized types), return a version with those type parameters replaced in accordance with the passed bindings.

Overrides:

parameterize in class ResolvedType

getSignatureForAttribute

public String getSignatureForAttribute()

Overrides:

getSignatureForAttribute in class ReferenceType

hasLowerBound

public boolean hasLowerBound()

isExtends

public boolean isExtends()

isSuper

public boolean isSuper()

isUnbound

public boolean isUnbound()

alwaysMatches

public boolean alwaysMatches(ResolvedType aCandidateType)

canBeCoercedTo

public boolean canBeCoercedTo(ResolvedType aCandidateType)

getSimpleName

public String getSimpleName()

Overrides:

getSimpleName in class UnresolvedType

getDeclaredInterfaces

public ResolvedType[] getDeclaredInterfaces()

Description copied from class: ReferenceType

Find out from the generic signature the true signature of any interfaces I implement. If I am parameterized, these may then need to be parameterized before returning.

Overrides:

getDeclaredInterfaces in class ReferenceType

isGenericWildcard

public boolean isGenericWildcard()

Overrides:

isGenericWildcard in class UnresolvedType