checkers.util

Class QualifierPolymorphism

@NonNull java.lang.Object

checkers.util.QualifierPolymorphism

public class QualifierPolymorphism
extends @NonNull Object

Implements framework support for type qualifier polymorphism. Checkers that wish to use it should add calls to annotate(MethodInvocationTree, AnnotatedTypeMirror.AnnotatedExecutableType) to the AnnotatedTypeFactory.annotateImplicit(Tree, AnnotatedTypeMirror) and AnnotatedTypeFactory.annotateImplicit(Tree, AnnotatedTypeMirror) methods.

This implementation currently only supports polymorphism for method invocations, for which the return type depends on the unification of the parameter/receiver types.

See Also:

PolymorphicQualifier

Field Summary

Fields

Modifier and Type	Field and Description
protected Map<@Nullable AnnotationMirror,@Nullable AnnotationMirror>	polyQuals The polymorphic qualifiers: mapping from the top of a qualifier hierarchy to the polymorphic qualifier of that hierarchy.
protected QualifierHierarchy	qualhierarchy The qualifier hierarchy to use.
protected Set<@Nullable AnnotationMirror>	topQuals The qualifiers at the top of the qualifier hierarchy.

Constructor Summary

Constructors

Constructor and Description
QualifierPolymorphism(BaseTypeChecker checker, AnnotatedTypeFactory factory) Creates a QualifierPolymorphism instance that uses the given checker for querying type qualifiers and the given factory for getting annotated types.

Method Summary

Methods

Modifier and Type	Method and Description
void	annotate(MethodInvocationTree tree, AnnotatedTypeMirror.AnnotatedExecutableType type) Resolves polymorphism annotations for the given type.
void	annotate(NewClassTree tree, AnnotatedTypeMirror.AnnotatedExecutableType type)
static @Nullable AnnotationMirror	getPolymorphicQualifier(@Nullable AnnotationMirror qual)
static Class<? extends Annotation>	getPolymorphicQualifierTop(@Nullable AnnotationMirror qual)
static boolean	isPolyAll(@Nullable AnnotationMirror qual)
static boolean	isPolymorphicQualified(@Nullable AnnotationMirror qual)

Methods inherited from class java.lang.Object

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

Field Detail

polyQuals

protected final Map<@Nullable AnnotationMirror,@Nullable AnnotationMirror> polyQuals

The polymorphic qualifiers: mapping from the top of a qualifier hierarchy to the polymorphic qualifier of that hierarchy. Field always non-null but might be an empty mapping. The "null" key, if present, always maps to PolyAll.

topQuals

protected final Set<@Nullable AnnotationMirror> topQuals

The qualifiers at the top of the qualifier hierarchy.

qualhierarchy

protected final QualifierHierarchy qualhierarchy

The qualifier hierarchy to use.

Constructor Detail

QualifierPolymorphism

public QualifierPolymorphism(BaseTypeChecker checker,
                     AnnotatedTypeFactory factory)

Creates a QualifierPolymorphism instance that uses the given checker for querying type qualifiers and the given factory for getting annotated types.

Parameters:

checker - the current checker

factory - the factory for the current checker

Method Detail

getPolymorphicQualifier

public static @Nullable AnnotationMirror getPolymorphicQualifier(@Nullable AnnotationMirror qual)

isPolymorphicQualified

public static boolean isPolymorphicQualified(@Nullable AnnotationMirror qual)

isPolyAll

public static boolean isPolyAll(@Nullable AnnotationMirror qual)

getPolymorphicQualifierTop

public static Class<? extends Annotation> getPolymorphicQualifierTop(@Nullable AnnotationMirror qual)

annotate

public void annotate(MethodInvocationTree tree,
            AnnotatedTypeMirror.AnnotatedExecutableType type)

Resolves polymorphism annotations for the given type.

Parameters:

tree - the tree associated with the type

type - the type to annotate

annotate

public void annotate(NewClassTree tree,
            AnnotatedTypeMirror.AnnotatedExecutableType type)