[Checkers] failing MultiAnnotations test

Matt Papi mpapi at csail.mit.edu
Mon Apr 21 12:26:17 EDT 2008

The problem seems to be with the use of "isEmpty()" (in TypesRelations
and in other places, including the NonNull type factory). In the case
of MultiAnnotations, isEmpty() ends up returning false when there are
@Interned annotations on the type.

We're using "isEmpty" to mean "isEmpty with respect to the type system
we're checking"; once I've committed the "isRecognizedAnnotation"
patch, these two notions will be equivalent, so we should be okay.

- Matt

On Mon, Apr 21, 2008 at 12:16 PM, Mahmood Ali <mahmood at mit.edu> wrote:
> The NonNull MultiAnnotations test fails because
> GraphAnnotationRelations is confused by types that are both @Interned
> and @NonNull. I will investigate the problem.  TypeRelations and
> GraphAnnotationsRelations should only operate on annotations in type
> qualifiers too.
> Regards,
> Mahmood

More information about the checkers mailing list