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

Class TypeAnnotationWalker

java.lang.Object

org.aspectj.org.eclipse.jdt.internal.compiler.classfmt.TypeAnnotationWalker

All Implemented Interfaces:

ITypeAnnotationWalker

Direct Known Subclasses:

NonNullDefaultAwareTypeAnnotationWalker

public class TypeAnnotationWalker
extends Object
implements ITypeAnnotationWalker

Type annotation walker implementation based an actual annotations decoded from a .class file.

Field Summary

Fields

Modifier and Type	Field	Description
protected final long	matches
protected final int	pathPtr
protected final IBinaryTypeAnnotation[]	typeAnnotations

Fields inherited from interface org.aspectj.org.eclipse.jdt.internal.compiler.env.ITypeAnnotationWalker

EMPTY_ANNOTATION_WALKER, NO_ANNOTATIONS

Constructor Summary

Constructors

Modifier	Constructor	Description
	TypeAnnotationWalker(IBinaryTypeAnnotation[] typeAnnotations)
protected	TypeAnnotationWalker(IBinaryTypeAnnotation[] typeAnnotations, long matchBits, int pathPtr)

Method Summary

Modifier and Type	Method	Description
IBinaryAnnotation[]	getAnnotationsAtCursor(int currentTypeId, boolean mayApplyArrayContentsDefaultNullness)	Retrieve the type annotations at the current position reached by invocations of toXYZ() methods.
protected ITypeAnnotationWalker	restrict(long newMatches, int newPathPtr)
ITypeAnnotationWalker	toField()	Walk to a field.
ITypeAnnotationWalker	toMethodParameter(short index)	Walk to the index'th visible formal method parameter (i.e., not counting synthetic args).
ITypeAnnotationWalker	toMethodReturn()	Walk to the return type of a method.
ITypeAnnotationWalker	toNextArrayDimension()	Descend down one level of array dimensions.
protected ITypeAnnotationWalker	toNextDetail(int detailKind)
ITypeAnnotationWalker	toNextNestedType()	Descend down one level of type nesting.
ITypeAnnotationWalker	toReceiver()	Walk to the receiver type of a method.
ITypeAnnotationWalker	toSupertype(short index, char[] superTypeSignature)	Walk to the specified supertype either index based or name based:
protected ITypeAnnotationWalker	toTarget(int targetType)
ITypeAnnotationWalker	toThrows(int index)	Walk to the throws type at the given index.
ITypeAnnotationWalker	toTypeArgument(int rank)	Walk to the type argument of the given rank.
ITypeAnnotationWalker	toTypeBound(short boundIndex)	Detail of ITypeAnnotationWalker.toTypeParameterBounds(boolean, int): walk to the bounds of the previously selected type parameter.
ITypeAnnotationWalker	toTypeParameter(boolean isClassTypeParameter, int rank)	Walk to the type parameter of the given rank.
ITypeAnnotationWalker	toTypeParameterBounds(boolean isClassTypeParameter, int parameterRank)	Walk to the bounds of a type parameter of either a class or a method (signaled by isClassTypeParameter).
ITypeAnnotationWalker	toWildcardBound()	Walk to the bound of a wildcard.

Methods inherited from class java.lang.Object

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

Field Details

typeAnnotations

protected final IBinaryTypeAnnotation[] typeAnnotations

matches

protected final long matches

pathPtr

protected final int pathPtr

Constructor Details

TypeAnnotationWalker

public TypeAnnotationWalker(IBinaryTypeAnnotation[] typeAnnotations)

TypeAnnotationWalker

protected TypeAnnotationWalker(IBinaryTypeAnnotation[] typeAnnotations,
 long matchBits,
 int pathPtr)

Method Details

restrict

protected ITypeAnnotationWalker restrict(long newMatches,
 int newPathPtr)

toField

public ITypeAnnotationWalker toField()

Description copied from interface: ITypeAnnotationWalker

Walk to a field.

Specified by:

toField in interface ITypeAnnotationWalker

toMethodReturn

public ITypeAnnotationWalker toMethodReturn()

Description copied from interface: ITypeAnnotationWalker

Walk to the return type of a method.

Specified by:

toMethodReturn in interface ITypeAnnotationWalker

toReceiver

public ITypeAnnotationWalker toReceiver()

Description copied from interface: ITypeAnnotationWalker

Walk to the receiver type of a method. Note: Type annotations on receiver are not currently used by the compiler.

Specified by:

toReceiver in interface ITypeAnnotationWalker

toTarget

protected ITypeAnnotationWalker toTarget(int targetType)

toTypeParameter

public ITypeAnnotationWalker toTypeParameter(boolean isClassTypeParameter,
 int rank)

Description copied from interface: ITypeAnnotationWalker

Walk to the type parameter of the given rank.

Specified by:

toTypeParameter in interface ITypeAnnotationWalker

Parameters:

isClassTypeParameter - whether we are looking for a class type parameter (else: method type parameter)

rank - rank of the type parameter

toTypeParameterBounds

public ITypeAnnotationWalker toTypeParameterBounds(boolean isClassTypeParameter,
 int parameterRank)

Description copied from interface: ITypeAnnotationWalker

Walk to the bounds of a type parameter of either a class or a method (signaled by isClassTypeParameter). Clients must then call ITypeAnnotationWalker.toTypeBound(short) on the resulting walker.

Specified by:

toTypeParameterBounds in interface ITypeAnnotationWalker

Parameters:

isClassTypeParameter - whether we are looking at a class type parameter (else: method type parameter)

parameterRank - rank of the type parameter.

toTypeBound

public ITypeAnnotationWalker toTypeBound(short boundIndex)

Description copied from interface: ITypeAnnotationWalker

Detail of ITypeAnnotationWalker.toTypeParameterBounds(boolean, int): walk to the bounds of the previously selected type parameter.

Specified by:

toTypeBound in interface ITypeAnnotationWalker

toSupertype

public ITypeAnnotationWalker toSupertype(short index,
 char[] superTypeSignature)

Walk to the specified supertype either index based or name based:

(superTypesSignature is ignored in this implementation).

Specified by:

toSupertype in interface ITypeAnnotationWalker

Parameters:

index - -1 is superclass, else index into the list of superinterfaces

superTypeSignature - name and type arguments of the super type to visit

toMethodParameter

public ITypeAnnotationWalker toMethodParameter(short index)

Description copied from interface: ITypeAnnotationWalker

Walk to the index'th visible formal method parameter (i.e., not counting synthetic args).

Specified by:

toMethodParameter in interface ITypeAnnotationWalker

toThrows

public ITypeAnnotationWalker toThrows(int index)

Description copied from interface: ITypeAnnotationWalker

Walk to the throws type at the given index.

Specified by:

toThrows in interface ITypeAnnotationWalker

toTypeArgument

public ITypeAnnotationWalker toTypeArgument(int rank)

Description copied from interface: ITypeAnnotationWalker

Walk to the type argument of the given rank.

Specified by:

toTypeArgument in interface ITypeAnnotationWalker

toWildcardBound

public ITypeAnnotationWalker toWildcardBound()

Description copied from interface: ITypeAnnotationWalker

Walk to the bound of a wildcard.

Specified by:

toWildcardBound in interface ITypeAnnotationWalker

toNextArrayDimension

public ITypeAnnotationWalker toNextArrayDimension()

Description copied from interface: ITypeAnnotationWalker

Descend down one level of array dimensions.

Specified by:

toNextArrayDimension in interface ITypeAnnotationWalker

toNextNestedType

public ITypeAnnotationWalker toNextNestedType()

Description copied from interface: ITypeAnnotationWalker

Descend down one level of type nesting.

Specified by:

toNextNestedType in interface ITypeAnnotationWalker

toNextDetail

protected ITypeAnnotationWalker toNextDetail(int detailKind)

getAnnotationsAtCursor

public IBinaryAnnotation[] getAnnotationsAtCursor(int currentTypeId,
 boolean mayApplyArrayContentsDefaultNullness)

Description copied from interface: ITypeAnnotationWalker

Retrieve the type annotations at the current position reached by invocations of toXYZ() methods.

Specified by:

getAnnotationsAtCursor in interface ITypeAnnotationWalker

Parameters:

currentTypeId - the id of the type being annotated; 0 signals don't care / unknown; -1 signals if annotating a wildcard or a use of a type variable.