search

typetools / checker-framework

Pluggable type-checking for Java
http://checkerframework.org/
Other
1.01k stars 352 forks source link

Support for DefaultLocation.UPPER_BOUNDS in @DefaultQualifier #34

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Section 15.1.1 "Generics (parametric polymorphism or type polymorphism)" of
the Checker Framework manual claims that it is posible to write this
annotation:

@DefaultQualifier(value="Nullable", locations={DefaultLocation.UPPER_BOUNDS})

It may be possible to write it, but no support for it is implemented yet.
This needs to be implemented.

Original issue reported on code.google.com by michael.ernst@gmail.com on 5 Dec 2009 at 6:42

GoogleCodeExporter commented 9 years ago 
Fixed as of 8c8cc942cf1d

Original comment by notn...@gmail.com on 5 Dec 2009 at 11:05

GoogleCodeExporter commented 9 years ago

Original comment by michael.ernst@gmail.com on 6 Dec 2009 at 6:30