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
AnnotationMirror	getAnnotation()	Returns the annotation
AnnotationMirror	getInstantiation()
String	toString()

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

create, glb, lub, sameHierarchy

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, 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()

toString

public String toString()

Overrides:

toString in class Object