[Checkers] Question about Polymorphism

[Michael Ernst]

> 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