checkers.linear

Class LinearAnnotatedTypeFactory

@NonNull java.lang.Object

checkers.types.AnnotatedTypeFactory

checkers.types.BasicAnnotatedTypeFactory<LinearChecker>

checkers.linear.LinearAnnotatedTypeFactory

public class LinearAnnotatedTypeFactory
extends BasicAnnotatedTypeFactory<LinearChecker>

Adds Unusable qualifier to a type if it represents:

1. Class declaration tree/element. Such a construct usually requires the top qualifier.
2. Linear reference once it is "used up"

Nested Class Summary

Nested classes/interfaces inherited from class checkers.types.AnnotatedTypeFactory

AnnotatedTypeFactory.InheritedFromClassAnnotator

Field Summary

Fields inherited from class checkers.types.BasicAnnotatedTypeFactory

checker, defaults, flow, FLOW_BY_DEFAULT, poly, treeAnnotator, typeAnnotator, useFlow

Fields inherited from class checkers.types.AnnotatedTypeFactory

annotations, atypes, elements, env, fromTreeCache, qualHierarchy, root, trees, types, uid, visitorState

Constructor Summary

Constructors

Constructor and Description
LinearAnnotatedTypeFactory(LinearChecker checker, @Nullable CompilationUnitTree root)

Method Summary

Methods

Modifier and Type	Method and Description
void	annotateImplicit(@Nullable Element elt, @Mutable AnnotatedTypeMirror type) Case 1: type of class declaration
Flow	createFlow(LinearChecker checker, @Nullable CompilationUnitTree tree, Set<@Nullable AnnotationMirror> flowQuals) Returns a Flow instance that performs flow sensitive analysis to infer qualifiers on unqualified types.

Methods inherited from class checkers.types.BasicAnnotatedTypeFactory

annotateImplicit, annotateImplicit, constructorFromUse, createFlowQualifiers, createTreeAnnotator, createTypeAnnotator, getDefaultedAnnotatedType, methodFromUse, postDirectSuperTypes, postInit

Methods inherited from class checkers.types.AnnotatedTypeFactory

addAliasedAnnotation, aliasedAnnotation, annotateInheritedFromClass, canHaveAnnotatedTypeParameters, createLRUCache, declarationFromElement, fromClass, fromElement, fromElement, fromElement, fromExpression, fromMember, fromNewClass, fromTypeTree, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedTypeFromTypeTree, getBoxedType, getCurrentClassTree, getCurrentClassType, getCurrentMethodReceiver, getDeclAnnotation, getEnclosingType, getImplicitReceiverType, getPath, getQualifierHierarchy, getReceiverType, getSelfType, getUnboxedType, getVisitorState, isAnyEnclosingThisDeref, isMostEnclosingThisDeref, isSupportedQualifier, isWithinConstructor, postAsMemberOf, toAnnotatedType, toString, typeVariablesFromUse, unify

Methods inherited from class java.lang.Object

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

Constructor Detail

LinearAnnotatedTypeFactory

public LinearAnnotatedTypeFactory(LinearChecker checker,
                          @Nullable CompilationUnitTree root)

Method Detail

annotateImplicit

public void annotateImplicit(@Nullable Element elt,
                    @Mutable AnnotatedTypeMirror type)

Case 1: type of class declaration

Overrides:

annotateImplicit in class BasicAnnotatedTypeFactory<LinearChecker>

Parameters:

elt - an element

type - the type obtained from elt

createFlow

public Flow createFlow(LinearChecker checker,
              @Nullable CompilationUnitTree tree,
              Set<@Nullable AnnotationMirror> flowQuals)

Description copied from class: BasicAnnotatedTypeFactory

Returns a Flow instance that performs flow sensitive analysis to infer qualifiers on unqualified types.

Overrides:

createFlow in class BasicAnnotatedTypeFactory<LinearChecker>

Parameters:

checker - the checker

tree - the compilation unit associated with this factory

flowQuals - the qualifiers to infer

Returns:

the flow analysis class