protected class UnitsAnnotatedTypeFactory.UnitsQualifierHierarchy
extends org.checkerframework.framework.util.GraphQualifierHierarchy
Constructor and Description |
---|
UnitsQualifierHierarchy(org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory mgf,
AnnotationMirror bottom) |
Modifier and Type | Method and Description |
---|---|
boolean |
isSubtype(AnnotationMirror subAnno,
AnnotationMirror superAnno) |
AnnotationMirror |
leastUpperBound(AnnotationMirror a1,
AnnotationMirror a2) |
finish, getBottomAnnotations, getTopAnnotations, isSubtype
addPolyRelations, buildFullMap, findBottoms, findLub, findTops, getBottomAnnotation, getPolymorphicAnnotation, getTopAnnotation, getTypeQualifiers, greatestLowerBound, greatestLowerBoundTypeVariable, isSubtypeTypeVariable, isSubtypeTypeVariable, leastUpperBoundTypeVariable, toString
canHaveEmptyAnnotationSet, findAnnotationInHierarchy, findAnnotationInSameHierarchy, getWidth, greatestLowerBound, greatestLowerBounds, greatestLowerBounds, greatestLowerBoundsTypeVariable, isSubtype, isSubtype, isValid, leastUpperBound, leastUpperBounds, leastUpperBounds, leastUpperBoundsTypeVariable, numberOfIterationsBeforeWidening, replacePolyAll, updateMappingToMutableSet, widenedUpperBound
public UnitsQualifierHierarchy(org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory mgf, AnnotationMirror bottom)
public boolean isSubtype(AnnotationMirror subAnno, AnnotationMirror superAnno)
isSubtype
in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy
public AnnotationMirror leastUpperBound(AnnotationMirror a1, AnnotationMirror a2)
leastUpperBound
in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy