isSubtype
public boolean isSubtype(@Nullable AnnotationMirror rhs,
@Nullable 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