[Checkers] AnnotatedTypeMirror is not sufficiently unique

Michael Ernst mernst at csail.mit.edu
Fri Oct 3 10:49:44 EDT 2008


As Mahmood (and the Javadoc) noted, AnnotatedTypeMirror represents a type.
In this respect it is like TypeMirror, which it directly mimics.

I agree that it doesn't seem to make sense to have a getElement method in


More information about the checkers mailing list