public class LinearAnnotatedTypeFactory extends BasicAnnotatedTypeFactory<LinearChecker>
Unusable
qualifier to a type if it represents:
Linear
reference once it is "used up"AnnotatedTypeFactory.InheritedFromClassAnnotator
checker, defaults, flow, FLOW_BY_DEFAULT, poly, treeAnnotator, typeAnnotator, useFlow
elements, fromTreeCache, processingEnv, qualHierarchy, root, trees, types, uid, visitorState
Constructor and Description |
---|
LinearAnnotatedTypeFactory(LinearChecker checker,
CompilationUnitTree root) |
Modifier and Type | Method and Description |
---|---|
void |
annotateImplicit(Element elt,
AnnotatedTypeMirror type)
Case 1: type of class declaration
|
Flow |
createFlow(LinearChecker checker,
CompilationUnitTree tree,
Set<AnnotationMirror> flowQuals)
Returns a
Flow instance that performs flow sensitive analysis
to infer qualifiers on unqualified types. |
annotateImplicit, constructorFromUse, createFlowQualifiers, createQualifierDefaults, createQualifierPolymorphism, createTreeAnnotator, createTypeAnnotator, methodFromUse, postDirectSuperTypes, postInit
addAliasedAnnotation, addAliasedDeclAnnotation, aliasedAnnotation, annotateInheritedFromClass, canHaveAnnotatedTypeParameters, createLRUCache, declarationFromElement, fromClass, fromElement, fromElement, fromElement, fromExpression, fromMember, fromNewClass, fromTypeTree, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedTypeFromTypeTree, getAnnotationWithMetaAnnotation, getBoxedType, getCurrentClassTree, getCurrentClassType, getCurrentMethodReceiver, getDeclAnnotation, getDeclAnnotations, getDeclAnnotationTree, getDeclAnnotationWithMetaAnnotation, getDefaultedAnnotatedType, getElementUtils, getEnclosingType, getImplicitReceiverType, getPath, getProcessingEnv, getQualifierHierarchy, getReceiverType, getSelfType, getUnboxedType, getUninferredMethodTypeArgument, getVisitorState, isAnyEnclosingThisDeref, isMostEnclosingThisDeref, isSupportedQualifier, isWithinConstructor, postAsMemberOf, toAnnotatedType, toString, type, typeVariablesFromUse
public LinearAnnotatedTypeFactory(LinearChecker checker, CompilationUnitTree root)
public void annotateImplicit(Element elt, AnnotatedTypeMirror type)
annotateImplicit
in class BasicAnnotatedTypeFactory<LinearChecker>
elt
- an elementtype
- the type obtained from elt
public Flow createFlow(LinearChecker checker, CompilationUnitTree tree, Set<AnnotationMirror> flowQuals)
BasicAnnotatedTypeFactory
Flow
instance that performs flow sensitive analysis
to infer qualifiers on unqualified types.createFlow
in class BasicAnnotatedTypeFactory<LinearChecker>
checker
- the checkertree
- the compilation unit associated with this factoryflowQuals
- the qualifiers to infer