[Checkers] QualifierHierarchy

Artemus Harper subanark at gmail.com
Sun Aug 17 20:57:14 EDT 2008

The qualifier hierarchy is a bit confusing when you are using a type system
that has multiple interacting annotations.

The public abstract method use 2 AnnotationMirrors. For the isSubtype, the
spec says to return true iff anno1 is a sub-qualifier of anno2.
This is unclear in situations where the annotations interact, and a single
annotation can not be taken by itself. These methods also do not include the
actual type  the annotations are on; e.g. @Constrained(UIResource.class)
could indicate that the type cannot be assigned to any reference that does
not implement the UIResource interface.
Artemus Harper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.csail.mit.edu/mailman/private/checkers/attachments/20080817/bda8f79d/attachment.htm 

More information about the checkers mailing list