[Checkers] Question about Polymorphism

Michael Ernst mernst at csail.mit.edu
Tue Apr 29 05:03:17 EDT 2008

> 2. Or is it that polymorphism functionality would be in the framework,  
> but the annotation itself need to be specified by type system  
> (@NullPoly, @InternedPoly, @ReadOnly, etc)?

That is the current design, I think.

public @interface PolyRead {

public @interface PolyNull {



More information about the checkers mailing list