org.checkerframework.framework.type

Class GeneralAnnotatedTypeFactory

java.lang.Object

org.checkerframework.framework.type.AnnotatedTypeFactory

org.checkerframework.framework.type.GeneralAnnotatedTypeFactory

All Implemented Interfaces:

AnnotationProvider

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 file.

Nested Class Summary

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

AnnotatedTypeFactory.InheritedFromClassAnnotator

Field Summary

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

checker, elements, fromTreeCache, ignoreUninferredTypeArguments, loader, processingEnv, qualHierarchy, reflectionResolver, root, shouldCache, trees, typeArgumentInference, typeFormatter, typeHierarchy, types, typeVarSubstitutor, uid, visitorState

Constructor Summary

Constructors

Constructor and Description
GeneralAnnotatedTypeFactory(BaseTypeChecker checker)

Method Summary

Modifier and Type	Method and Description
QualifierHierarchy	createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory factory) Factory method to easily change what QualifierHierarchy is created.
boolean	isSupportedQualifier(AnnotationMirror a) Return true to support any qualifier.
void	postProcessClassTree(ClassTree tree) Called by BaseTypeVisitor.visitClass(ClassTree, Void) after the ClassTree has been type checked.

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

adaptGetClassReturnTypeToReceiver, addAliasedAnnotation, addAliasedAnnotation, addAliasedAnnotation, addAliasedAnnotation, addAliasedDeclAnnotation, addAnnotationFromFieldInvariant, addComputedTypeAnnotations, addComputedTypeAnnotations, addDefaultAnnotations, addInheritedAnnotation, aliasedAnnotation, annotateInheritedFromClass, annotateInheritedFromClass, checkInvalidOptionsInferSignatures, constructorFromUse, createAnnotatedTypeFormatter, createAnnotationFormatter, createQualifierHierarchy, createQualifierHierarchy, createQualifierHierarchyFactory, createSupportedTypeQualifiers, createTypeArgumentInference, createTypeHierarchy, createTypeVariableSubstitutor, declarationFromElement, fromElement, fromElement, fromElement, fromNewClass, getAnnotatedNullType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedTypeFormatter, getAnnotatedTypeFromTypeTree, getAnnotationFormatter, getAnnotationMirror, getAnnotationWithMetaAnnotation, getBoxedType, getBundledTypeQualifiersWithoutPolyAll, getBundledTypeQualifiersWithPolyAll, getCacheSize, getContext, getCurrentClassTree, getCurrentClassType, getCurrentMethodReceiver, getDeclAnnotation, getDeclAnnotationNoAliases, getDeclAnnotations, getDeclAnnotationWithMetaAnnotation, getElementUtils, getEnclosingMethod, getEnclosingType, getFieldInvariantAnnotationTree, getFieldInvariantDeclarationAnnotations, getFieldInvariants, getFnInterfaceFromTree, getFnInterfaceFromTree, getImplicitReceiverType, getMethodReturnType, getMethodReturnType, getNarrowedPrimitive, getPath, getProcessingEnv, getQualifierHierarchy, getReceiverType, getSelfType, getStringType, getSupportedTypeQualifiers, getTreeUtils, getTypeArgumentInference, getTypeHierarchy, getTypeVarSubstitutor, getUnboxedType, getUninferredWildcardType, getVisitorState, getWholeProgramInference, initializeReflectionResolution, isAnyEnclosingThisDeref, isFromByteCode, isFromStubFile, isMostEnclosingThisDeref, isWithinConstructor, methodFromUse, methodFromUse, parseStubFiles, postAsMemberOf, postDirectSuperTypes, postInit, postTypeVarSubstitution, preProcessClassTree, setPathHack, setRoot, toAnnotatedType, toString, type, typeVariablesFromUse, widenToUpperBound

Methods inherited from class java.lang.Object

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

Constructor Detail

GeneralAnnotatedTypeFactory

public GeneralAnnotatedTypeFactory(BaseTypeChecker checker)

Method Detail

postProcessClassTree

public void postProcessClassTree(ClassTree tree)

Description copied from class: AnnotatedTypeFactory

Called by BaseTypeVisitor.visitClass(ClassTree, Void) after the ClassTree has been type checked.

The default implementation uses this to store the defaulted AnnotatedTypeMirrors and inherited declaration annotations back into the corresponding Elements. Subclasses might want to override this method if storing defaulted types is not desirable.

Overrides:

postProcessClassTree in class AnnotatedTypeFactory

isSupportedQualifier

public boolean isSupportedQualifier(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

createQualifierHierarchy

public QualifierHierarchy createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory factory)

Description copied from class: AnnotatedTypeFactory

Factory method to easily change what QualifierHierarchy is created. Needs to be public only because the GraphFactory must be able to call this method. No external use of this method is necessary.

Overrides:

createQualifierHierarchy in class AnnotatedTypeFactory