Package org.checkerframework.framework.util.typeinference8.types

Class Qualifier

java.lang.Object

org.checkerframework.framework.util.typeinference8.types.AbstractQualifier

org.checkerframework.framework.util.typeinference8.types.Qualifier

public class Qualifier
extends AbstractQualifier

A wrapper around an AnnotationMirror.

Field Summary

Fields inherited from class org.checkerframework.framework.util.typeinference8.types.AbstractQualifier

context, hierarchyName

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Qualifier(AnnotationMirror annotation, Java8InferenceContext context)	A wrapper around an AnnotationMirror.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
AnnotationMirror	getAnnotation()	Returns the annotation.
AnnotationMirror	getInstantiation()
int	hashCode()
boolean	isUnsolvedPolymorphic()	Returns true if this is a polymorphic annotation that inference does not solve for.
String	toString()

Methods inherited from class org.checkerframework.framework.util.typeinference8.types.AbstractQualifier

create, glb, lub, removeUnsolvedPolymorphic, sameHierarchy

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

Qualifier

protected Qualifier(AnnotationMirror annotation,
 Java8InferenceContext context)

A wrapper around an AnnotationMirror.

Parameters:

annotation - the annotation

context - the context

Method Details

getAnnotation

public AnnotationMirror getAnnotation()

Returns the annotation.

Returns:

the annotation

getInstantiation

public AnnotationMirror getInstantiation()

isUnsolvedPolymorphic

public boolean isUnsolvedPolymorphic()

Description copied from class: AbstractQualifier

Returns true if this is a polymorphic annotation that inference does not solve for.

A polymorphic annotation becomes a QualifierVar only when it appears in the signature of the invocation whose type arguments are being inferred. One that reaches inference some other way -- from the parameter type of an enclosing invocation, for instance -- is wrapped in a Qualifier, where it is indistinguishable from a concrete qualifier. Requiring such a qualifier to equal a concrete one always fails, even though the polymorphic qualifier could be instantiated to it.

Overrides:

isUnsolvedPolymorphic in class AbstractQualifier

Returns:

true if this is a polymorphic annotation that inference does not solve for

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object