search

biddyweb / checker-framework

Automatically exported from code.google.com/p/checker-framework
Other
0 stars 1 forks source link

Polymorphic type qualifiers for non-generic Java classes #169

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Sometimes, a Java class is not written in a generic way, but it is still 
desirable to apply a type qualifier, that is chosen at the "new" statement 
where the class is instantiated, and apply that type qualifier to various 
fields/parameters/returns of the class.  If the Java class is changed to be 
generic, then the goal is easy to achieve.  However, it is desirable to support 
type qualifier polymorphism even when the underlying Java class is not 
polymorphic and when it is inconvenient or impossible to change the class's 
definition.

Original issue reported on code.google.com by michael.ernst@gmail.com on 16 Oct 2012 at 7:58

GoogleCodeExporter commented 9 years ago

Original comment by michael.ernst@gmail.com on 28 Jan 2013 at 6:30