Package org.checkerframework.checker.nullness

Class NullnessNoInitAnnotatedTypeFactory

java.lang.Object

org.checkerframework.framework.type.AnnotatedTypeFactory

org.checkerframework.framework.type.GenericAnnotatedTypeFactory<NullnessNoInitValue,NullnessNoInitStore,NullnessNoInitTransfer,NullnessNoInitAnalysis>

org.checkerframework.checker.nullness.NullnessNoInitAnnotatedTypeFactory

All Implemented Interfaces:

AnnotationProvider

public class NullnessNoInitAnnotatedTypeFactory
extends GenericAnnotatedTypeFactory<NullnessNoInitValue,NullnessNoInitStore,NullnessNoInitTransfer,NullnessNoInitAnalysis>

The annotated type factory for the nullness type-system.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	NullnessNoInitAnnotatedTypeFactory.NullnessPropagationTreeAnnotator	Adds nullness-specific propagation rules
protected class	NullnessNoInitAnnotatedTypeFactory.NullnessTypeAnnotator	This type annotator ensures that constructor return types are NONNULL, unless there is an explicit different annotation.

Nested classes/interfaces inherited from class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

GenericAnnotatedTypeFactory.ScanState

Nested classes/interfaces inherited from class org.checkerframework.framework.type.AnnotatedTypeFactory

AnnotatedTypeFactory.CapturedTypeVarSubstitutor, AnnotatedTypeFactory.ParameterizedExecutableType

Field Summary

Fields

Modifier and Type	Field	Description
protected final ExecutableElement	classGetCanonicalName	The Class.getCanonicalName() method.
protected final CollectionToArrayHeuristics	collectionToArrayHeuristics	Determines the nullness type of calls to Collection.toArray().
protected final AnnotationMirror	MONOTONIC_NONNULL	The @MonotonicNonNull annotation.
protected final AnnotationMirror	NONNULL	The @NonNull annotation.
protected final AnnotationMirror	NULLABLE	The @Nullable annotation.
protected final Set<Class<? extends Annotation>>	nullnessAnnos	Cache for the nullness annotations.
protected final AnnotationMirror	POLYNULL	The @PolyNull annotation.
protected final SystemGetPropertyHandler	systemGetPropertyHandler	Handles invocations of System.getProperty(String).

Fields inherited from class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

analysis, arraysAreRelevant, cfgVisualizer, contractsUtils, defaults, dependentTypesHelper, emptyStore, exceptionalExitStores, flowByDefault, flowResult, flowResultAnalysisCaches, formalParameterPattern, hasOrIsSubchecker, initializationStaticStore, initializationStore, poly, regularExitStores, relevantJavaTypes, returnStatementStores, scannedClasses, shouldClearSubcheckerSharedCFGs, sideEffectsUnrefineAliases, subcheckerSharedCFG, transfer, treeAnnotator, typeAnnotator

Fields inherited from class org.checkerframework.framework.type.AnnotatedTypeFactory

ajavaTypes, annotatedForValueElement, capturedTypeVarSubstitutor, checker, currentFileAjavaTypes, elements, ensuresQualifierExpressionElement, ensuresQualifierIfExpressionElement, ensuresQualifierIfListTM, ensuresQualifierIfListValueElement, ensuresQualifierIfResultElement, ensuresQualifierIfTM, ensuresQualifierListTM, ensuresQualifierListValueElement, ensuresQualifierTM, fieldInvariantFieldElement, fieldInvariantQualifierElement, fromExpressionTreeCache, fromMemberTreeCache, fromTypeTreeCache, hasQualifierParameterValueElement, ignoreRawTypeArguments, loader, methodValClassNameElement, methodValMethodNameElement, methodValParamsElement, noQualifierParameterValueElement, objectGetClass, processingEnv, qualHierarchy, qualifierUpperBounds, reflectionResolver, requiresQualifierExpressionElement, requiresQualifierListTM, requiresQualifierListValueElement, requiresQualifierTM, shouldCache, stubTypes, trees, typeArgumentInference, typeFormatter, typeHierarchy, typeInformationPresenter, types, typeVarSubstitutor, uid, viewpointAdapter

Constructor Summary

Constructors

Constructor	Description
NullnessNoInitAnnotatedTypeFactory(BaseTypeChecker checker)	Creates a NullnessAnnotatedTypeFactory.

Method Summary

Modifier and Type	Method	Description
void	adaptGetClassReturnTypeToReceiver(AnnotatedTypeMirror.AnnotatedExecutableType getClassType, AnnotatedTypeMirror receiverType, ExpressionTree tree)	Java special-cases the return type of getClass().
protected void	addAnnotationsFromDefaultForType(@Nullable Element element, AnnotatedTypeMirror type)	Adds default qualifiers based on the underlying type of type to type.
protected boolean	containsNullnessAnnotation(@Nullable List<? extends AnnotationTree> annoTrees, Tree typeTree)	Returns true if some annotation on the given type, or in the given list, is a nullness annotation such as @NonNull, @Nullable, @MonotonicNonNull, etc.
protected boolean	containsNullnessAnnotation(List<? extends AnnotationTree> annoTrees)	Returns true if some annotation in the given list is a nullness annotation such as @NonNull, @Nullable, @MonotonicNonNull, etc.
protected AnnotatedTypeFormatter	createAnnotatedTypeFormatter()	Returns an AnnotatedTypeFormatter that does not print the qualifiers on null literals.
protected DefaultForTypeAnnotator	createDefaultForTypeAnnotator()	Creates an DefaultForTypeAnnotator.
protected NullnessNoInitAnalysis	createFlowAnalysis()	Returns the appropriate flow analysis class that is used for the org.checkerframework.dataflow analysis.
NullnessNoInitTransfer	createFlowTransferFunction(CFAbstractAnalysis<NullnessNoInitValue,NullnessNoInitStore,NullnessNoInitTransfer> analysis)	Returns the appropriate transfer function that is used for the given org.checkerframework.dataflow analysis.
protected QualifierHierarchy	createQualifierHierarchy()	Returns the QualifierHierarchy to be used by this checker.
protected Set<Class<? extends Annotation>>	createSupportedTypeQualifiers()	Returns a mutable set of annotation classes that are supported by a checker.
protected TreeAnnotator	createTreeAnnotator()	Returns a TreeAnnotator that adds annotations to a type based on the contents of a tree.
protected TypeAnnotator	createTypeAnnotator()	Returns a DefaultForTypeAnnotator that adds annotations to a type based on the content of the type itself.
AnnotatedTypeMirror	getAnnotatedTypeBefore(JavaExpression expr, ExpressionTree tree)	Returns the type of a JavaExpression expr if it were evaluated before a tree tree.
NullnessNoInitSubchecker	getChecker()	Returns the checker associated with this factory.
AnnotatedTypeMirror	getDefaultValueAnnotatedType(TypeMirror typeMirror)	Return the type of the default value of the given type.
AnnotatedTypeMirror	getMethodReturnType(MethodTree m, ReturnTree r)	Returns the return type of the method m at the return statement r.
Set<Class<? extends Annotation>>	getNullnessAnnotations()	Returns the list of annotations of the non-null type system.
boolean	isImmutable(TypeMirror type)	A non-null reference to an object stays non-null under mutation.
boolean	isMapGet(Node node)	Returns true if node is an invocation of Map.get.
protected boolean	isNonNullOrAlias(AnnotationMirror am)	Returns true if the given annotation is @NonNull or an alias for it.
boolean	isNotFullyInitializedReceiver(MethodTree methodDeclTree)	Returns true if the receiver of a method or constructor might not be fully initialized.
protected boolean	isNullableOrAlias(AnnotationMirror am)	Returns true if the given annotation is @Nullable or an alias for it.
protected boolean	isNullnessAnnotation(AnnotationMirror am)	Returns true if the given annotation is a nullness annotation such as @NonNull, @Nullable, @MonotonicNonNull, @PolyNull, or an alias thereof.
protected boolean	isPolyNullOrAlias(AnnotationMirror am)	Returns true if the given annotation is @PolyNull or an alias for it.
protected AnnotatedTypeFactory.ParameterizedExecutableType	methodFromUse(MethodInvocationTree tree, boolean inferTypeArgs)	The implementation of AnnotatedTypeFactory.methodFromUse(MethodInvocationTree) and AnnotatedTypeFactory.methodFromUseWithoutTypeArgInference(MethodInvocationTree).
protected void	replacePolyQualifier(AnnotatedTypeMirror lhsType, Tree context)	For types of left-hand side of an assignment, this method replaces PolyNull with Nullable (or with NonNull if the org.checkerframework.dataflow analysis has determined that this is allowed soundly.

Methods inherited from class org.checkerframework.framework.type.GenericAnnotatedTypeFactory

addCheckedCodeDefaults, addCheckedStandardDefaults, addComputedTypeAnnotations, addComputedTypeAnnotations, addComputedTypeAnnotations, addComputedTypeAnnotationsWithoutFlow, addDefaultAnnotations, addSharedCFGForTree, addUncheckedStandardDefaults, analyze, annotationsForIrrelevantJavaType, applyInferredAnnotations, applyQualifierParameterDefaults, applyQualifierParameterDefaults, checkAndPerformFlowAnalysis, checkForDefaultQualifierInHierarchy, constructorFromUse, constructorFromUsePreSubstitution, createAndInitQualifierDefaults, createCFGVisualizer, createContractsFromMethod, createDefaultForUseTypeAnnotator, createDependentTypesHelper, createQualifierDefaults, createQualifierPolymorphism, createRequiresOrEnsuresQualifier, getAnnotatedTypeLhs, getAnnotatedTypeLhsNoTypeVarDefault, getAnnotatedTypeRhsUnaryAssign, getAnnotatedTypeVarargsArray, getAnnotationFromJavaExpression, getAnnotationFromJavaExpressionString, getAnnotationMirrorFromJavaExpressionString, getAnnotationsFromJavaExpression, getCFGVisualizer, getContractExpressions, getContractsFromMethod, getDefaultAnnotations, getDefaultForTypeAnnotator, getDependentTypesHelper, getEmptyStore, getEnsuresQualifierIfResult, getExceptionalExitStore, getExplicitNewClassAnnos, getExplicitNewClassClassTypeArgs, getExpressionAndOffsetFromJavaExpressionString, getFinalLocalValues, getFirstNodeOfKindForTree, getInferredValueFor, getMethodReturnType, getNodesForTree, getQualifierPolymorphism, getRegularExitStore, getReturnStatementStores, getSharedCFGForTree, getShouldDefaultTypeVarLocals, getSortedQualifierNames, getStoreAfter, getStoreAfter, getStoreAfter, getStoreBefore, getStoreBefore, getStoreBefore, getSupportedMonotonicTypeQualifiers, getTypeFactoryOfSubchecker, getTypeFactoryOfSubcheckerOrNull, getUseFlow, handleCFGViz, irrelevantExtraMessage, isComputingAnnotatedTypeMirrorOfLhs, isIgnoredExceptionType, isRelevant, isRelevant, isRelevantImpl, methodFromUsePreSubstitution, parseJavaExpressionString, performFlowAnalysis, postAnalyze, postAsMemberOf, postDirectSuperTypes, postInit, preProcessClassTree, setRoot, typeVariablesFromUse

Methods inherited from class org.checkerframework.framework.type.AnnotatedTypeFactory

addAliasedDeclAnnotation, addAliasedDeclAnnotation, addAliasedTypeAnnotation, addAliasedTypeAnnotation, addAliasedTypeAnnotation, addAliasedTypeAnnotation, addAnnotationFromFieldInvariant, addInheritedAnnotation, applyCaptureConversion, applyCaptureConversion, applyUnboxing, areSameByClass, binaryTreeArgTypes, binaryTreeArgTypes, canonicalAnnotation, compoundAssignmentTreeArgTypes, constructorFromUse, constructorFromUseWithoutTypeArgInference, containsCapturedTypes, containsSameByClass, createAnnotationClassLoader, createAnnotationFormatter, createQualifierUpperBounds, createTypeArgumentInference, createTypeHierarchy, createTypeInformationPresenter, createTypeVariableSubstitutor, createViewpointAdapter, declarationFromElement, doesAnnotatedForApplyToThisChecker, fromElement, fromElement, fromElement, getAnnotatedNullType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedTypeFormatter, getAnnotatedTypeFromTypeTree, getAnnotationByClass, getAnnotationFormatter, getAnnotationMirror, getAnnotationOrTypeDeclarationBound, getAnnotationWithMetaAnnotation, getBoxedType, getBundledTypeQualifiers, getCacheSize, getCheckerNames, getContractExpressions, getContractListValues, getDeclAnnotation, getDeclAnnotationNoAliases, getDeclAnnotations, getDeclAnnotationWithMetaAnnotation, getDefaultTypeDeclarationBounds, getDummyAssignedTo, getElementUtils, getEnclosingClassOrMethod, getEnclosingSubType, getEnclosingType, getEnumConstructorQualifiers, getExpressionAndOffset, getFieldInvariantAnnotationTree, getFieldInvariantDeclarationAnnotations, getFieldInvariants, getFnInterfaceFromTree, getFunctionTypeFromTree, getFunctionTypeFromTree, getImplicitReceiverType, getIterableElementType, getIterableElementType, getNarrowedAnnotations, getNarrowedPrimitive, getPath, getProcessingEnv, getQualifierHierarchy, getQualifierParameterHierarchies, getQualifierParameterHierarchies, getQualifierUpperBounds, getReceiverType, getResultingTypeOfConstructorMemberReference, getRoot, getSelfType, getStringType, getSupportedTypeQualifierNames, getSupportedTypeQualifiers, getTreeUtils, getTypeArgumentInference, getTypeDeclarationBounds, getTypeHierarchy, getTypeOfExtendsImplements, getTypeVarSubstitutor, getUnboxedType, getVisitorTreePath, getWidenedAnnotations, getWidenedType, getWidenedType, hasExplicitNoQualifierParameterInHierarchy, hasExplicitQualifierParameterInHierarchy, hasQualifierParameterInHierarchy, hasQualifierParameterInHierarchy, initializeAtm, initializeReflectionResolution, isDeterministic, isFromByteCode, isFromStubFile, isSideEffectFree, isSupportedQualifier, isSupportedQualifier, isSupportedQualifier, isWithinConstructor, mergeAnnotationFileAnnosIntoType, methodFromUse, methodFromUse, methodFromUse, methodFromUseWithoutTypeArgInference, methodFromUseWithoutTypeArgInference, negateConstant, order, parseAnnotationFiles, postProcessClassTree, replaceAnnotations, replaceAnnotations, setPathForArtificialTree, setVisitorTreePath, shouldWarnIfStubRedundantWithBytecode, toAnnotatedType, toString, type

Methods inherited from class java.lang.Object

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

Field Details

NONNULL

protected final AnnotationMirror NONNULL

The @NonNull annotation.

NULLABLE

protected final AnnotationMirror NULLABLE

The @Nullable annotation.

POLYNULL

protected final AnnotationMirror POLYNULL

The @PolyNull annotation.

MONOTONIC_NONNULL

protected final AnnotationMirror MONOTONIC_NONNULL

The @MonotonicNonNull annotation.

systemGetPropertyHandler

protected final SystemGetPropertyHandler systemGetPropertyHandler

Handles invocations of System.getProperty(String).

collectionToArrayHeuristics

protected final CollectionToArrayHeuristics collectionToArrayHeuristics

Determines the nullness type of calls to Collection.toArray().

classGetCanonicalName

protected final ExecutableElement classGetCanonicalName

The Class.getCanonicalName() method.

nullnessAnnos

protected final Set<Class<? extends Annotation>> nullnessAnnos

Cache for the nullness annotations.

Constructor Details

NullnessNoInitAnnotatedTypeFactory

public NullnessNoInitAnnotatedTypeFactory(BaseTypeChecker checker)

Creates a NullnessAnnotatedTypeFactory.

Parameters:

checker - the associated NullnessNoInitSubchecker

Method Details

getChecker

public NullnessNoInitSubchecker getChecker()

Description copied from class: AnnotatedTypeFactory

Returns the checker associated with this factory.

Overrides:

getChecker in class AnnotatedTypeFactory

Returns:

the checker associated with this factory

createSupportedTypeQualifiers

protected Set<Class<? extends Annotation>> createSupportedTypeQualifiers()

Description copied from class: AnnotatedTypeFactory

Returns a mutable set of annotation classes that are supported by a checker.

Subclasses may override this method to return a mutable set of their supported type qualifiers through one of the 5 approaches shown below.

Subclasses should not call this method; they should call AnnotatedTypeFactory.getSupportedTypeQualifiers() instead.

By default, a checker supports all annotations located in a subdirectory called qual that's located in the same directory as the checker. Note that only annotations defined with the @Target({ElementType.TYPE_USE}) meta-annotation (and optionally with the additional value of ElementType.TYPE_PARAMETER, but no other ElementType values) are automatically considered as supported annotations.

To support a different set of annotations than those in the qual subdirectory, or that have other ElementType values, see examples below.

In total, there are 5 ways to indicate annotations that are supported by a checker:

1. Only support annotations located in a checker's qual directory:

   This is the default behavior. Simply place those annotations within the qual directory.

2. Support annotations located in a checker's qual directory and a list of other annotations:

   Place those annotations within the qual directory, and override AnnotatedTypeFactory.createSupportedTypeQualifiers() by calling AnnotatedTypeFactory.getBundledTypeQualifiers(Class...) with a varargs parameter list of the other annotations. Code example:

    @Override protected Set<Class<? extends Annotation>> createSupportedTypeQualifiers() {
         return getBundledTypeQualifiers(Regex.class, PartialRegex.class, RegexBottom.class, UnknownRegex.class);
     } 
    

3. Supporting only annotations that are explicitly listed: Override AnnotatedTypeFactory.createSupportedTypeQualifiers() and return a mutable set of the supported annotations. Code example:

    @Override protected Set<Class<? extends Annotation>> createSupportedTypeQualifiers() {
         return new HashSet<Class<? extends Annotation>>(
                 Arrays.asList(A.class, B.class));
     } 
    

   The set of qualifiers returned by AnnotatedTypeFactory.createSupportedTypeQualifiers() must be a fresh, mutable set. The methods AnnotatedTypeFactory.getBundledTypeQualifiers(Class...) must return a fresh, mutable set

Overrides:

createSupportedTypeQualifiers in class AnnotatedTypeFactory

Returns:

the type qualifiers supported this processor, or an empty set if none

replacePolyQualifier

protected void replacePolyQualifier(AnnotatedTypeMirror lhsType,
 Tree context)

For types of left-hand side of an assignment, this method replaces PolyNull with Nullable (or with NonNull if the org.checkerframework.dataflow analysis has determined that this is allowed soundly. For example:

 @PolyNull String foo(@PolyNull String param) {
    if (param == null) {
        //  @PolyNull is really @Nullable, so change
        // the type of param to @Nullable.
        param = null;
    }
    return param;
 }
 

Parameters:

lhsType - type to replace whose polymorphic qualifier will be replaced

context - tree used to get dataflow value

createFlowAnalysis

protected NullnessNoInitAnalysis createFlowAnalysis()

Description copied from class: GenericAnnotatedTypeFactory

Returns the appropriate flow analysis class that is used for the org.checkerframework.dataflow analysis.

This implementation uses the checker naming convention to create the appropriate analysis. If no transfer function is found, it returns an instance of CFAnalysis.

Subclasses have to override this method to create the appropriate analysis if they do not follow the checker naming convention.

Overrides:

createFlowAnalysis in class GenericAnnotatedTypeFactory<NullnessNoInitValue,NullnessNoInitStore,NullnessNoInitTransfer,NullnessNoInitAnalysis>

Returns:

the appropriate flow analysis class that is used for the org.checkerframework.dataflow analysis

createFlowTransferFunction

public NullnessNoInitTransfer createFlowTransferFunction(CFAbstractAnalysis<NullnessNoInitValue,NullnessNoInitStore,NullnessNoInitTransfer> analysis)

Description copied from class: GenericAnnotatedTypeFactory

Returns the appropriate transfer function that is used for the given org.checkerframework.dataflow analysis.

This implementation uses the checker naming convention to create the appropriate transfer function. If no transfer function is found, it returns an instance of CFTransfer.

Subclasses have to override this method to create the appropriate transfer function if they do not follow the checker naming convention.

Overrides:

createFlowTransferFunction in class GenericAnnotatedTypeFactory<NullnessNoInitValue,NullnessNoInitStore,NullnessNoInitTransfer,NullnessNoInitAnalysis>

Parameters:

analysis - a dataflow analysis

Returns:

a new transfer function

createAnnotatedTypeFormatter

protected AnnotatedTypeFormatter createAnnotatedTypeFormatter()

Returns an AnnotatedTypeFormatter that does not print the qualifiers on null literals.

Overrides:

createAnnotatedTypeFormatter in class AnnotatedTypeFactory

Returns:

an AnnotatedTypeFormatter that does not print the qualifiers on null literals

methodFromUse

protected AnnotatedTypeFactory.ParameterizedExecutableType methodFromUse(MethodInvocationTree tree,
 boolean inferTypeArgs)

Description copied from class: AnnotatedTypeFactory

The implementation of AnnotatedTypeFactory.methodFromUse(MethodInvocationTree) and AnnotatedTypeFactory.methodFromUseWithoutTypeArgInference(MethodInvocationTree).

Overrides:

methodFromUse in class GenericAnnotatedTypeFactory<NullnessNoInitValue,NullnessNoInitStore,NullnessNoInitTransfer,NullnessNoInitAnalysis>

Parameters:

tree - a method invocation tree

inferTypeArgs - whether type arguments should be inferred

Returns:

the type of the invoked method, any explicit type arguments, and if inferTypeArgs is true, any inferred type arguments

adaptGetClassReturnTypeToReceiver

public void adaptGetClassReturnTypeToReceiver(AnnotatedTypeMirror.AnnotatedExecutableType getClassType,
 AnnotatedTypeMirror receiverType,
 ExpressionTree tree)

Description copied from class: AnnotatedTypeFactory

Java special-cases the return type of getClass(). Though the method has a return type of Class<?>, the compiler special cases this return-type and changes the bound of the type argument to the erasure of the receiver type. For example:

• x.getClass() has the type Class< ? extends erasure_of_x >
• someInteger.getClass() has the type Class< ? extends Integer >

Overrides:

adaptGetClassReturnTypeToReceiver in class AnnotatedTypeFactory

Parameters:

getClassType - this must be a type representing a call to Object.getClass otherwise a runtime exception will be thrown. It is modified by side effect.

receiverType - the receiver type of the method invocation (not the declared receiver type)

tree - getClass method invocation tree

getMethodReturnType

public AnnotatedTypeMirror getMethodReturnType(MethodTree m,
 ReturnTree r)

Description copied from class: AnnotatedTypeFactory

Returns the return type of the method m at the return statement r. This implementation just calls AnnotatedTypeFactory.getMethodReturnType(MethodTree), but subclasses may override this method to change the type based on the return statement.

Overrides:

getMethodReturnType in class AnnotatedTypeFactory

Parameters:

m - tree of a method declaration

r - a return statement within method m

Returns:

the return type of the method m at the return statement r

isNotFullyInitializedReceiver

public boolean isNotFullyInitializedReceiver(MethodTree methodDeclTree)

Description copied from class: GenericAnnotatedTypeFactory

Returns true if the receiver of a method or constructor might not be fully initialized.

Overrides:

isNotFullyInitializedReceiver in class GenericAnnotatedTypeFactory<NullnessNoInitValue,NullnessNoInitStore,NullnessNoInitTransfer,NullnessNoInitAnalysis>

Parameters:

methodDeclTree - the declaration of the method or constructor

Returns:

true if the receiver of a method or constructor might not be fully initialized

getAnnotatedTypeBefore

public AnnotatedTypeMirror getAnnotatedTypeBefore(JavaExpression expr,
 ExpressionTree tree)

Description copied from class: GenericAnnotatedTypeFactory

Returns the type of a JavaExpression expr if it were evaluated before a tree tree.

This is used by BaseTypeVisitor.visitMethodInvocation(MethodInvocationTree, Void) to check the preconditions of method calls.

Overrides:

getAnnotatedTypeBefore in class GenericAnnotatedTypeFactory<NullnessNoInitValue,NullnessNoInitStore,NullnessNoInitTransfer,NullnessNoInitAnalysis>

Parameters:

expr - the expression to type

tree - a tree

Returns:

the type of expr if it were evaluated before tree tree

createDefaultForTypeAnnotator

protected DefaultForTypeAnnotator createDefaultForTypeAnnotator()

Description copied from class: GenericAnnotatedTypeFactory

Creates an DefaultForTypeAnnotator.

Overrides:

createDefaultForTypeAnnotator in class GenericAnnotatedTypeFactory<NullnessNoInitValue,NullnessNoInitStore,NullnessNoInitTransfer,NullnessNoInitAnalysis>

Returns:

a new DefaultForTypeAnnotator

addAnnotationsFromDefaultForType

protected void addAnnotationsFromDefaultForType(@Nullable Element element,
 AnnotatedTypeMirror type)

Description copied from class: GenericAnnotatedTypeFactory

Adds default qualifiers based on the underlying type of type to type. If element is a local variable, or if the type already has an annotation from the relevant type hierarchy, then the defaults are not added.

(This uses both the DefaultQualifierForUseTypeAnnotator and DefaultForTypeAnnotator.)

Overrides:

addAnnotationsFromDefaultForType in class GenericAnnotatedTypeFactory<NullnessNoInitValue,NullnessNoInitStore,NullnessNoInitTransfer,NullnessNoInitAnalysis>

Parameters:

element - possibly null element whose type is type

type - the type to which defaults are added

createTreeAnnotator

protected TreeAnnotator createTreeAnnotator()

Description copied from class: GenericAnnotatedTypeFactory

Returns a TreeAnnotator that adds annotations to a type based on the contents of a tree.

The default tree annotator is a ListTreeAnnotator of the following:

1. PropagationTreeAnnotator: Propagates annotations from subtrees
2. LiteralTreeAnnotator: Adds annotations based on QualifierForLiterals meta-annotations
3. DependentTypesTreeAnnotator: Adapts dependent annotations based on context

Subclasses may override this method to specify additional tree annotators, for example:

 new ListTreeAnnotator(super.createTreeAnnotator(), new KeyLookupTreeAnnotator(this));
 

Overrides:

createTreeAnnotator in class GenericAnnotatedTypeFactory<NullnessNoInitValue,NullnessNoInitStore,NullnessNoInitTransfer,NullnessNoInitAnalysis>

Returns:

a tree annotator

createTypeAnnotator

protected TypeAnnotator createTypeAnnotator()

Description copied from class: GenericAnnotatedTypeFactory

Returns a DefaultForTypeAnnotator that adds annotations to a type based on the content of the type itself.

Subclass may override this method. The default type annotator is a ListTypeAnnotator of the following:

1. IrrelevantTypeAnnotator: Adds top to types not listed in the @RelevantJavaTypes annotation on the checker.
2. PropagationTypeAnnotator: Propagates annotation onto wildcards.

Overrides:

createTypeAnnotator in class GenericAnnotatedTypeFactory<NullnessNoInitValue,NullnessNoInitStore,NullnessNoInitTransfer,NullnessNoInitAnalysis>

Returns:

a type annotator

getNullnessAnnotations

public Set<Class<? extends Annotation>> getNullnessAnnotations()

Returns the list of annotations of the non-null type system.

Returns:

the list of annotations of the non-null type system

createQualifierHierarchy

protected QualifierHierarchy createQualifierHierarchy()

Description copied from class: AnnotatedTypeFactory

Returns the QualifierHierarchy to be used by this checker.

The implementation builds the type qualifier hierarchy for the AnnotatedTypeFactory.getSupportedTypeQualifiers() using the meta-annotations found in them. The current implementation returns an instance of NoElementQualifierHierarchy.

Subclasses must override this method if their qualifiers have elements; the method must return an implementation of QualifierHierarchy, such as ElementQualifierHierarchy.

Overrides:

createQualifierHierarchy in class AnnotatedTypeFactory

Returns:

a QualifierHierarchy for this type system

containsNullnessAnnotation

protected boolean containsNullnessAnnotation(@Nullable List<? extends AnnotationTree> annoTrees,
 Tree typeTree)

Returns true if some annotation on the given type, or in the given list, is a nullness annotation such as @NonNull, @Nullable, @MonotonicNonNull, etc.

This method ignores aliases of nullness annotations that are declaration annotations, because they may apply to inner types.

Parameters:

annoTrees - a list of annotations that the Java parser attached to the variable/method declaration; null if this type is not from such a location. This is a list of extra annotations to check, in addition to those on the type.

typeTree - the type whose annotations to test

Returns:

true if some annotation is a nullness annotation

containsNullnessAnnotation

protected boolean containsNullnessAnnotation(List<? extends AnnotationTree> annoTrees)

Returns true if some annotation in the given list is a nullness annotation such as @NonNull, @Nullable, @MonotonicNonNull, etc.

This method ignores aliases of nullness annotations that are declaration annotations, because they may apply to inner types.

Clients that are processing a field or variable definition, or a method return type, should call containsNullnessAnnotation(List, Tree) instead.

Parameters:

annoTrees - a list of annotations to check

Returns:

true if some annotation is a nullness annotation

See Also:

• containsNullnessAnnotation(List, Tree)

isNullnessAnnotation

protected boolean isNullnessAnnotation(AnnotationMirror am)

Returns true if the given annotation is a nullness annotation such as @NonNull, @Nullable, @MonotonicNonNull, @PolyNull, or an alias thereof.

Parameters:

am - an annotation

Returns:

true if the given annotation is a nullness annotation

isNonNullOrAlias

protected boolean isNonNullOrAlias(AnnotationMirror am)

Returns true if the given annotation is @NonNull or an alias for it.

Parameters:

am - an annotation

Returns:

true if the given annotation is @NonNull or an alias for it

isNullableOrAlias

protected boolean isNullableOrAlias(AnnotationMirror am)

Returns true if the given annotation is @Nullable or an alias for it.

Parameters:

am - an annotation

Returns:

true if the given annotation is @Nullable or an alias for it

isPolyNullOrAlias

protected boolean isPolyNullOrAlias(AnnotationMirror am)

Returns true if the given annotation is @PolyNull or an alias for it.

Parameters:

am - an annotation

Returns:

true if the given annotation is @PolyNull or an alias for it

getDefaultValueAnnotatedType

public AnnotatedTypeMirror getDefaultValueAnnotatedType(TypeMirror typeMirror)

Description copied from class: GenericAnnotatedTypeFactory

Return the type of the default value of the given type. The default value is 0, false, or null.

Overrides:

getDefaultValueAnnotatedType in class GenericAnnotatedTypeFactory<NullnessNoInitValue,NullnessNoInitStore,NullnessNoInitTransfer,NullnessNoInitAnalysis>

Parameters:

typeMirror - a type

Returns:

the annotated type of type's default value

isImmutable

public boolean isImmutable(TypeMirror type)

A non-null reference to an object stays non-null under mutation.

Overrides:

isImmutable in class AnnotatedTypeFactory

Parameters:

type - type to test

Returns:

true if the type is immutable

isMapGet

public boolean isMapGet(Node node)

Returns true if node is an invocation of Map.get.

Parameters:

node - a CFG node

Returns:

true if node is an invocation of Map.get