Class Qualifier
java.lang.Object
org.checkerframework.framework.util.typeinference8.types.AbstractQualifier
org.checkerframework.framework.util.typeinference8.types.Qualifier
A wrapper around an
AnnotationMirror.-
Field Summary
Fields inherited from class org.checkerframework.framework.util.typeinference8.types.AbstractQualifier
context, hierarchyName -
Constructor Summary
ConstructorsModifierConstructorDescriptionprotectedQualifier(AnnotationMirror annotation, Java8InferenceContext context) A wrapper around anAnnotationMirror. -
Method Summary
Methods inherited from class org.checkerframework.framework.util.typeinference8.types.AbstractQualifier
create, glb, lub, sameHierarchy
-
Constructor Details
-
Qualifier
A wrapper around anAnnotationMirror.- Parameters:
annotation- the annotationcontext- the context
-
-
Method Details