org.checkerframework.checker.mustcall.qual

Annotation Type PolyMustCall

@Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @PolymorphicQualifier(value=MustCallUnknown.class)
public @interface PolyMustCall

The polymorphic qualifier for the Must Call type system.

See the Checker Framework Manual:

Must Call Checker, Qualifier polymorphism