org.checkerframework.framework.type.poly

Interface QualifierPolymorphism

All Known Implementing Classes:

AbstractQualifierPolymorphism, DefaultQualifierPolymorphism

public interface QualifierPolymorphism

Interface to implement qualifier polymorphism.

See Also:

PolymorphicQualifier, AbstractQualifierPolymorphism, DefaultQualifierPolymorphism

Method Summary

Modifier and Type	Method and Description
static javax.lang.model.element.AnnotationMirror	getPolymorphicQualifier(javax.lang.model.element.AnnotationMirror qual)
static javax.lang.model.element.Name	getPolymorphicQualifierElement(javax.lang.model.element.AnnotationMirror qual) If qual is a polymorphic qualifier, return the class specified by the PolymorphicQualifier meta-annotation on the polymorphic qualifier is returned.
static javax.lang.model.element.Name	getPolymorphicQualifierTop(javax.lang.model.element.AnnotationMirror qual) Deprecated. use getPolymorphicQualifierElement(javax.lang.model.element.AnnotationMirror)
static boolean	hasPolymorphicQualifier(javax.lang.model.element.AnnotationMirror qual)
static boolean	isPolyAll(javax.lang.model.element.AnnotationMirror qual)
static boolean	isPolymorphicQualified(javax.lang.model.element.AnnotationMirror qual) Deprecated. use hasPolymorphicQualifier(javax.lang.model.element.AnnotationMirror)
void	resolve(AnnotatedTypeMirror.AnnotatedExecutableType functionalInterface, AnnotatedTypeMirror.AnnotatedExecutableType memberReference) Resolves polymorphism annotations for the given type.
void	resolve(com.sun.source.tree.MethodInvocationTree tree, AnnotatedTypeMirror.AnnotatedExecutableType type) Resolves polymorphism annotations for the given type.
void	resolve(com.sun.source.tree.NewClassTree tree, AnnotatedTypeMirror.AnnotatedExecutableType type) Resolves polymorphism annotations for the given type.

Method Detail

isPolyAll

static boolean isPolyAll(javax.lang.model.element.AnnotationMirror qual)

Returns:

true if qual is @PolyAll

getPolymorphicQualifier

static javax.lang.model.element.AnnotationMirror getPolymorphicQualifier(javax.lang.model.element.AnnotationMirror qual)

Returns:

the PolymorphicQualifier meta-annotation on qual if one exists; otherwise return null

isPolymorphicQualified

@Deprecated
static boolean isPolymorphicQualified(javax.lang.model.element.AnnotationMirror qual)

Deprecated. use hasPolymorphicQualifier(javax.lang.model.element.AnnotationMirror)

Returns:

true if qual has the PolymorphicQualifier meta-annotation

hasPolymorphicQualifier

static boolean hasPolymorphicQualifier(javax.lang.model.element.AnnotationMirror qual)

Returns:

true if qual has the PolymorphicQualifier meta-annotation.

getPolymorphicQualifierTop

@Deprecated
static javax.lang.model.element.Name getPolymorphicQualifierTop(javax.lang.model.element.AnnotationMirror qual)

Deprecated. use getPolymorphicQualifierElement(javax.lang.model.element.AnnotationMirror)

If qual is a polymorphic qualifier, return the class specified by the PolymorphicQualifier meta-annotation on the polymorphic qualifier is returned. Otherwise, return null.

This value identifies the qualifier hierarchy to which this polymorphic qualifier belongs. By convention, it is the top qualifier of the hierarchy. Use of PolymorphicQualifier.class is discouraged, because it can lead to ambiguity if used for multiple type systems.

Parameters:

qual - an annotation

Returns:

the class specified by the PolymorphicQualifier meta-annotation on qual, if qual is a polymorphic qualifier; otherwise, null.

See Also:

PolymorphicQualifier.value()

getPolymorphicQualifierElement

static javax.lang.model.element.Name getPolymorphicQualifierElement(javax.lang.model.element.AnnotationMirror qual)

If qual is a polymorphic qualifier, return the class specified by the PolymorphicQualifier meta-annotation on the polymorphic qualifier is returned. Otherwise, return null.

This value identifies the qualifier hierarchy to which this polymorphic qualifier belongs. By convention, it is the top qualifier of the hierarchy. Use of PolymorphicQualifier.class is discouraged, because it can lead to ambiguity if used for multiple type systems.

Parameters:

qual - an annotation

Returns:

the class specified by the PolymorphicQualifier meta-annotation on qual, if qual is a polymorphic qualifier; otherwise, null.

See Also:

PolymorphicQualifier.value()

resolve

void resolve(com.sun.source.tree.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; is side-effected by this method

resolve

void resolve(com.sun.source.tree.NewClassTree tree,
             AnnotatedTypeMirror.AnnotatedExecutableType type)

Resolves polymorphism annotations for the given type.

Parameters:

tree - the tree associated with the type

type - the type to annotate; is side-effected by this method

resolve

void resolve(AnnotatedTypeMirror.AnnotatedExecutableType functionalInterface,
             AnnotatedTypeMirror.AnnotatedExecutableType memberReference)

Resolves polymorphism annotations for the given type.

Parameters:

functionalInterface - the function type of memberReference

memberReference - the type of a member reference; is side-effected by this method