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

Class NonNullDefaultAwareTypeAnnotationWalker

java.lang.Object

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

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

All Implemented Interfaces:

ITypeAnnotationWalker

public class NonNullDefaultAwareTypeAnnotationWalker
extends TypeAnnotationWalker

A type annotation walker that adds missing NonNull annotations according to the current default.

Field Summary

Fields inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.classfmt.TypeAnnotationWalker

matches, pathPtr, typeAnnotations

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

EMPTY_ANNOTATION_WALKER, NO_ANNOTATIONS

Constructor Summary

Constructors

Constructor and Description
NonNullDefaultAwareTypeAnnotationWalker(IBinaryTypeAnnotation[] typeAnnotations, int defaultNullness, LookupEnvironment environment) Create initial walker with non-empty type annotations.
NonNullDefaultAwareTypeAnnotationWalker(int defaultNullness, LookupEnvironment environment) Create an initial walker without 'real' type annotations, but with a nonnull default.

Method Summary

Modifier and Type	Method and Description
IBinaryAnnotation[]	getAnnotationsAtCursor(int currentTypeId, boolean mayApplyArrayContentsDefaultNullness) Retrieve the type annotations at the current position reached by invocations of toXYZ() methods.
protected TypeAnnotationWalker	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	toSupertype(short index, char[] superTypeSignature) Walk to the specified supertype either index based or name based:
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.
static ITypeAnnotationWalker	updateWalkerForParamNonNullDefault(ITypeAnnotationWalker walker, int defaultNullness, LookupEnvironment environment)

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.classfmt.TypeAnnotationWalker

toNextNestedType, toReceiver, toTarget, toThrows

Methods inherited from class java.lang.Object

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

Constructor Detail

NonNullDefaultAwareTypeAnnotationWalker

public NonNullDefaultAwareTypeAnnotationWalker(IBinaryTypeAnnotation[] typeAnnotations,
                                               int defaultNullness,
                                               LookupEnvironment environment)

Create initial walker with non-empty type annotations.

NonNullDefaultAwareTypeAnnotationWalker

public NonNullDefaultAwareTypeAnnotationWalker(int defaultNullness,
                                               LookupEnvironment environment)

Create an initial walker without 'real' type annotations, but with a nonnull default.

Method Detail

restrict

protected TypeAnnotationWalker restrict(long newMatches,
                                        int newPathPtr)

Overrides:

restrict in class TypeAnnotationWalker

toSupertype

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

Description copied from class: TypeAnnotationWalker

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

(superTypesSignature is ignored in this implementation).

Specified by:

toSupertype in interface ITypeAnnotationWalker

Overrides:

toSupertype in class TypeAnnotationWalker

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

Overrides:

toMethodParameter in class TypeAnnotationWalker

toField

public ITypeAnnotationWalker toField()

Description copied from interface: ITypeAnnotationWalker

Walk to a field.

Specified by:

toField in interface ITypeAnnotationWalker

Overrides:

toField in class TypeAnnotationWalker

toMethodReturn

public ITypeAnnotationWalker toMethodReturn()

Description copied from interface: ITypeAnnotationWalker

Walk to the return type of a method.

Specified by:

toMethodReturn in interface ITypeAnnotationWalker

Overrides:

toMethodReturn in class TypeAnnotationWalker

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

Overrides:

toTypeBound in class TypeAnnotationWalker

toWildcardBound

public ITypeAnnotationWalker toWildcardBound()

Description copied from interface: ITypeAnnotationWalker

Walk to the bound of a wildcard.

Specified by:

toWildcardBound in interface ITypeAnnotationWalker

Overrides:

toWildcardBound in class TypeAnnotationWalker

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

Overrides:

toTypeParameterBounds in class TypeAnnotationWalker

Parameters:

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

parameterRank - rank of the type parameter.

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

Overrides:

toTypeArgument in class TypeAnnotationWalker

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

Overrides:

toTypeParameter in class TypeAnnotationWalker

Parameters:

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

rank - rank of the type parameter

toNextDetail

protected ITypeAnnotationWalker toNextDetail(int detailKind)

Overrides:

toNextDetail in class TypeAnnotationWalker

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

Overrides:

getAnnotationsAtCursor in class TypeAnnotationWalker

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.

toNextArrayDimension

public ITypeAnnotationWalker toNextArrayDimension()

Description copied from interface: ITypeAnnotationWalker

Descend down one level of array dimensions.

Specified by:

toNextArrayDimension in interface ITypeAnnotationWalker

Overrides:

toNextArrayDimension in class TypeAnnotationWalker

updateWalkerForParamNonNullDefault

public static ITypeAnnotationWalker updateWalkerForParamNonNullDefault(ITypeAnnotationWalker walker,
                                                                       int defaultNullness,
                                                                       LookupEnvironment environment)