Class UnitsAnnotatedTypeFactory.UnitsQualifierKindHierarchy
- java.lang.Object
-
- org.checkerframework.framework.util.DefaultQualifierKindHierarchy
-
- org.checkerframework.checker.units.UnitsAnnotatedTypeFactory.UnitsQualifierKindHierarchy
-
- All Implemented Interfaces:
QualifierKindHierarchy
- Enclosing class:
- UnitsAnnotatedTypeFactory
@AnnotatedFor("nullness") protected static class UnitsAnnotatedTypeFactory.UnitsQualifierKindHierarchy extends DefaultQualifierKindHierarchy
UnitsQualifierKindHierarchy.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.checkerframework.framework.util.DefaultQualifierKindHierarchy
DefaultQualifierKindHierarchy.DefaultQualifierKind
-
-
Field Summary
-
Fields inherited from class org.checkerframework.framework.util.DefaultQualifierKindHierarchy
nameToQualifierKind, qualifierKinds
-
-
Constructor Summary
Constructors Constructor Description UnitsQualifierKindHierarchy(java.util.Collection<java.lang.Class<? extends java.lang.annotation.Annotation>> qualifierClasses, javax.lang.model.util.Elements elements)
Creates a UnitsQualifierKindHierarchy.
-
Method Summary
-
Methods inherited from class org.checkerframework.framework.util.DefaultQualifierKindHierarchy
allQualifierKinds, createDirectSuperMap, createGlbsMap, createLubsMap, createQualifierKinds, findHighestQualifiers, findLowestQualifiers, getBottoms, getQualifierKind, getTops, greatestLowerBound, initializePolymorphicQualifiers, initializeQualifierKindFields, leastUpperBound, verifyHierarchy
-
-
-
-
Constructor Detail
-
UnitsQualifierKindHierarchy
public UnitsQualifierKindHierarchy(java.util.Collection<java.lang.Class<? extends java.lang.annotation.Annotation>> qualifierClasses, javax.lang.model.util.Elements elements)
Creates a UnitsQualifierKindHierarchy.- Parameters:
qualifierClasses
- classes of annotations that are the qualifiers for this hierarchyelements
- element utils
-
-