Package org.checkerframework.checker.units

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(Collection<Class<? extends Annotation>> qualifierClasses, 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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

UnitsQualifierKindHierarchy

public UnitsQualifierKindHierarchy(Collection<Class<? extends Annotation>> qualifierClasses,
 Elements elements)

Creates a UnitsQualifierKindHierarchy.

Parameters:

qualifierClasses - classes of annotations that are the qualifiers for this hierarchy

elements - element utils