protected class MethodValAnnotatedTypeFactory.MethodValQualifierHierarchy extends MultiGraphQualifierHierarchy
MultiGraphQualifierHierarchy.MultiGraphFactory
bottoms, polymorphicQualifier, polyQualifiers, supertypesGraph, supertypesMap, tops, typeQualifiers
Modifier | Constructor and Description |
---|---|
protected |
MethodValQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory factory,
javax.lang.model.element.AnnotationMirror bottom) |
Modifier and Type | Method and Description |
---|---|
boolean |
isSubtype(javax.lang.model.element.AnnotationMirror rhs,
javax.lang.model.element.AnnotationMirror lhs)
Most qualifiers have no value fields.
|
javax.lang.model.element.AnnotationMirror |
leastUpperBound(javax.lang.model.element.AnnotationMirror a1,
javax.lang.model.element.AnnotationMirror a2)
Returns the least upper bound for the qualifiers a1 and a2.
|
addPolyRelations, buildFullMap, findBottoms, findTops, finish, getBottomAnnotation, getBottomAnnotations, getPolymorphicAnnotation, getTopAnnotation, getTopAnnotations, getTypeQualifiers, greatestLowerBound, greatestLowerBoundTypeVariable, isSubtype, isSubtypeTypeVariable, isSubtypeTypeVariable, leastUpperBoundTypeVariable, toString
canHaveEmptyAnnotationSet, findCorrespondingAnnotation, getAnnotationInHierarchy, getWidth, greatestLowerBound, greatestLowerBounds, greatestLowerBounds, greatestLowerBoundsTypeVariable, isSubtype, isSubtype, isValid, leastUpperBound, leastUpperBounds, leastUpperBounds, leastUpperBoundsTypeVariable, updateMappingToMutableSet
protected MethodValQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory factory, javax.lang.model.element.AnnotationMirror bottom)
factory
- MultiGraphFactory to use to construct thisbottom
- the bottom annotation in the constructed hierarchypublic javax.lang.model.element.AnnotationMirror leastUpperBound(javax.lang.model.element.AnnotationMirror a1, javax.lang.model.element.AnnotationMirror a2)
QualifierHierarchy
Examples:
leastUpperBound
in class MultiGraphQualifierHierarchy
public boolean isSubtype(javax.lang.model.element.AnnotationMirror rhs, javax.lang.model.element.AnnotationMirror lhs)
MultiGraphQualifierHierarchy
@I
.isSubtype
in class MultiGraphQualifierHierarchy
rhs
- The right-hand side, i.e. the sub qualifierlhs
- The left-hand side, i.e. the super qualifier