[Checkers] Question about Polymorphism

Matt Papi mpapi at csail.mit.edu
Tue Apr 29 09:01:56 EDT 2008


Yes, that's correct.

- Matt

On Tue, Apr 29, 2008 at 5:03 AM, Michael Ernst <mernst at csail.mit.edu> wrote:
> > 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.
>
>  @PolymorphicQualifier
>  public @interface PolyRead {
>  }
>
>  @PolymorphicQualifier
>  public @interface PolyNull {
>  }
>
>  etc.
>
>                     -Mike
>



More information about the checkers mailing list