checkers.nullness.quals
Annotation Type PolyRaw


@Documented
@TypeQualifier
@Retention(value=RUNTIME)
public @interface PolyRaw

A polymorphic qualifier for the Rawness type system.

Any method written using @PolyRaw conceptually has two versions: one in which every instance of @PolyRaw has been replaced by @Raw, and one in which every instance of @PolyRaw has been replaced by @NonRaw.