checkers.types

Class GeneralAnnotatedTypeFactory

@NonNull java.lang.Object

checkers.types.AnnotatedTypeFactory

checkers.types.GeneralAnnotatedTypeFactory

public class GeneralAnnotatedTypeFactory
extends AnnotatedTypeFactory

A "general" annotated type factory that supports qualifiers from any type hierarchy. One big limitation is that it does not support annotations coming from a stub files.

Nested Class Summary

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

AnnotatedTypeFactory.InheritedFromClassAnnotator

Field Summary

Fields inherited from class checkers.types.AnnotatedTypeFactory

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

Constructor Summary

Constructors

Constructor and Description
GeneralAnnotatedTypeFactory(SourceChecker checker, @Nullable CompilationUnitTree root)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isSupportedQualifier(@Nullable AnnotationMirror a) Return true to support any qualifier.

Methods inherited from class checkers.types.AnnotatedTypeFactory

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

Methods inherited from class java.lang.Object

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

Constructor Detail

GeneralAnnotatedTypeFactory

public GeneralAnnotatedTypeFactory(SourceChecker checker,
                           @Nullable CompilationUnitTree root)

Method Detail

isSupportedQualifier

public boolean isSupportedQualifier(@Nullable AnnotationMirror a)

Return true to support any qualifier. No handling of aliases.

Overrides:

isSupportedQualifier in class AnnotatedTypeFactory

Parameters:

a - any annotation

Returns:

true if that annotation is part of the type system under which this type factory operates, false otherwise