[Checkers] Representation of unqualified type

Michael Ernst mernst at csail.mit.edu
Wed Oct 15 06:05:14 EDT 2008


> In the Checker Framework, is the representation of an unqualified type the
> @Unqualified annotation, or the lack of a type qualifier?

Or, is it "null" as a value for an AnnotationMirror?  That's what
QualifierHierarchy.wrapCollection does, but I don't understand which
representation needs to be used where.


More information about the checkers mailing list