Package 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	Description
void	resolve(MethodInvocationTree tree, AnnotatedTypeMirror.AnnotatedExecutableType type)	Resolves polymorphism annotations for the given type.
void	resolve(NewClassTree tree, AnnotatedTypeMirror.AnnotatedExecutableType type)	Resolves polymorphism annotations for the given type.
void	resolve(VariableElement field, AnnotatedTypeMirror owner, AnnotatedTypeMirror type)	Resolves polymorphism annotations for the given field type.
void	resolve(AnnotatedTypeMirror.AnnotatedExecutableType functionalInterface, AnnotatedTypeMirror.AnnotatedExecutableType memberReference)	Resolves polymorphism annotations for the given type.

Method Details

resolve

void resolve(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(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

resolve

void resolve(VariableElement field,
 AnnotatedTypeMirror owner,
 AnnotatedTypeMirror type)

Resolves polymorphism annotations for the given field type.

Parameters:

field - field element to whose poly annotation must be resolved

owner - the type of the object whose field is being typed

type - type of the field which still has poly annotations