protected class UnitsAnnotatedTypeFactory.UnitsQualifierHierarchy extends GraphQualifierHierarchy
MultiGraphQualifierHierarchy.MultiGraphFactory
bottoms, polymorphicQualifier, polyQualifiers, supertypesGraph, supertypesMap, tops, typeQualifiers
Constructor and Description |
---|
UnitsQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory mgf,
AnnotationMirror bottom) |
Modifier and Type | Method and Description |
---|---|
boolean |
isSubtype(AnnotationMirror rhs,
AnnotationMirror lhs)
Most qualifiers have no value fields.
|
AnnotationMirror |
leastUpperBound(AnnotationMirror a1,
AnnotationMirror a2)
Returns the least upper bound for the qualifiers a1 and a2.
|
finish, getBottomAnnotations, getTopAnnotations, isSubtype
addPolyRelations, buildFullMap, findBottoms, findLub, findTops, getBottomAnnotation, getPolymorphicAnnotation, getTopAnnotation, getTypeQualifiers, greatestLowerBound, greatestLowerBoundTypeVariable, isSubtypeTypeVariable, isSubtypeTypeVariable, leastUpperBoundTypeVariable, toString
canHaveEmptyAnnotationSet, findCorrespondingAnnotation, getAnnotationInHierarchy, getWidth, greatestLowerBound, greatestLowerBounds, greatestLowerBounds, greatestLowerBoundsTypeVariable, isSubtype, isSubtype, isValid, leastUpperBound, leastUpperBounds, leastUpperBounds, leastUpperBoundsTypeVariable, updateMappingToMutableSet
public UnitsQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory mgf, AnnotationMirror bottom)
public boolean isSubtype(AnnotationMirror rhs, AnnotationMirror lhs)
MultiGraphQualifierHierarchy
isSubtype
in class MultiGraphQualifierHierarchy
rhs
- the right-hand side, i.e. the sub qualifierlhs
- the left-hand side, i.e. the super qualifierpublic AnnotationMirror leastUpperBound(AnnotationMirror a1, AnnotationMirror a2)
QualifierHierarchy
Examples:
leastUpperBound
in class MultiGraphQualifierHierarchy