Class AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy
java.lang.Object
org.checkerframework.framework.type.NoElementQualifierHierarchy
org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy
- All Implemented Interfaces:
QualifierHierarchy
- Enclosing class:
- AliasingAnnotatedTypeFactory
protected class AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy
extends NoElementQualifierHierarchy
AliasingQualifierHierarchy.
-
Field Summary
Fields inherited from class org.checkerframework.framework.type.NoElementQualifierHierarchy
bottoms, kindToAnnotationMirror, qualifierKindHierarchy, qualifiers, tops
-
Constructor Summary
ConstructorsModifierConstructorDescriptionprotected
AliasingQualifierHierarchy
(Collection<Class<? extends Annotation>> qualifierClasses, Elements elements) Create AliasingQualifierHierarchy. -
Method Summary
Modifier and TypeMethodDescriptionboolean
isSubtype
(AnnotationMirror subAnno, AnnotationMirror superAnno) Tests whethersubQualifier
is equal to or a sub-qualifier ofsuperQualifier
, according to the type qualifier hierarchy.Methods inherited from class org.checkerframework.framework.type.NoElementQualifierHierarchy
createAnnotationMirrors, createBottoms, createQualifierKindHierarchy, createTops, findAnnotationInHierarchy, findAnnotationInSameHierarchy, getBottomAnnotation, getBottomAnnotations, getPolymorphicAnnotation, getQualifierKind, getTopAnnotation, getTopAnnotations, greatestLowerBound, isPolymorphicQualifier, leastUpperBound
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface org.checkerframework.framework.type.QualifierHierarchy
getWidth, greatestLowerBounds, isSubtype, isValid, leastUpperBounds, numberOfIterationsBeforeWidening, updateMappingToMutableSet, widenedUpperBound
-
Constructor Details
-
AliasingQualifierHierarchy
protected AliasingQualifierHierarchy(Collection<Class<? extends Annotation>> qualifierClasses, Elements elements) Create AliasingQualifierHierarchy.- Parameters:
qualifierClasses
- classes of annotations that are the qualifierselements
- element utils
-
-
Method Details
-
isSubtype
Description copied from interface:QualifierHierarchy
Tests whethersubQualifier
is equal to or a sub-qualifier ofsuperQualifier
, according to the type qualifier hierarchy.- Specified by:
isSubtype
in interfaceQualifierHierarchy
- Overrides:
isSubtype
in classNoElementQualifierHierarchy
- Parameters:
subAnno
- possible subqualifiersuperAnno
- possible superqualifier- Returns:
- true iff
subQualifier
is a subqualifier of, or equal to,superQualifier
-