isSubtype
public boolean isSubtype(AnnotationMirror rhs,
AnnotationMirror lhs)
Most qualifiers have no value fields. However, two annotations with
values are subtype of each other only if they have the same values.
i.e. I(m) is a subtype of I(n) iff m = n
When client specifies an annotation, a1, to be a subtype of annotation
with values, a2, then a1 is a subtype of all instances of a2 regardless
of a2 values. i.e. IGJBottom is a subtype of all instances of
@I
.
- Overrides:
isSubtype
in class MultiGraphQualifierHierarchy
- Returns:
- true iff anno1 is a sub qualifier of anno2