protected class AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy extends MultiGraphQualifierHierarchy
MultiGraphQualifierHierarchy.MultiGraphFactory
bottoms, polymorphicQualifier, polyQualifiers, supertypesGraph, supertypesMap, tops, typeQualifiers
Modifier | Constructor and Description |
---|---|
protected |
AliasingQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory f) |
Modifier and Type | Method and Description |
---|---|
protected Set<AnnotationMirror> |
findBottoms(Map<AnnotationMirror,Set<AnnotationMirror>> supertypes)
Infer the bottoms of the subtype hierarchy.
|
protected Set<AnnotationMirror> |
findTops(Map<AnnotationMirror,Set<AnnotationMirror>> supertypes)
Infer the tops of the subtype hierarchy.
|
boolean |
isSubtype(AnnotationMirror rhs,
AnnotationMirror lhs)
Most qualifiers have no value fields.
|
addPolyRelations, buildFullMap, findLub, finish, getBottomAnnotation, getBottomAnnotations, getPolymorphicAnnotation, getTopAnnotation, getTopAnnotations, getTypeQualifiers, greatestLowerBound, greatestLowerBoundTypeVariable, isSubtype, isSubtypeTypeVariable, isSubtypeTypeVariable, leastUpperBound, leastUpperBoundTypeVariable, toString
canHaveEmptyAnnotationSet, findCorrespondingAnnotation, getAnnotationInHierarchy, getWidth, greatestLowerBound, greatestLowerBounds, greatestLowerBounds, greatestLowerBoundsTypeVariable, isSubtype, isSubtype, isValid, leastUpperBound, leastUpperBounds, leastUpperBounds, leastUpperBoundsTypeVariable, updateMappingToMutableSet
protected AliasingQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory f)
protected Set<AnnotationMirror> findBottoms(Map<AnnotationMirror,Set<AnnotationMirror>> supertypes)
MultiGraphQualifierHierarchy
findBottoms
in class MultiGraphQualifierHierarchy
protected Set<AnnotationMirror> findTops(Map<AnnotationMirror,Set<AnnotationMirror>> supertypes)
MultiGraphQualifierHierarchy
findTops
in class MultiGraphQualifierHierarchy
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 qualifier