[Checkers] [Pag] Progress Report

Mahmood Ali 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  
ReadOnly.

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.

Regards,
Mahmood



More information about the checkers mailing list