[Checkers] [Pag] Progress Report
mahmood at MIT.EDU
Thu Apr 10 13:08:55 EDT 2008
>>> There is no "@DefaultTypeQualifier" (or some similar name)
> We need this to handle cases like List<T> --> List<T extends @ReadOnly
> Object>, right?
I don't think so. We will need @RootQualifier (already there!) to do
this. List<T> should be List<T extends @RootAnnotation Object> rather
than List<T extends @DefaultAnnotation Object>. In the case of IGJ for
example, the default annotation is always mutable, but the root is
I assume that this may be different for NonNull, and List<T> in a
method signiture might be for List<T extends @NonNull Object> rather
than List<T extends @Nullable Object>.
> Actually, now that I think of it, NonNull's @Default
> implementation (which I've been really meaning to move to the
> framework) could be trivially extended to support a
> @DefaultTypeQualifier. If nobody minds me picking it up, I can do it
> Monday afternoon after the ABB talk.
You can. The AnnotationRelations already provides the root
annotation. We can discuss it a bit more later.
More information about the checkers