Package org.checkerframework.framework.testchecker.testaccumulation.qual

Annotation Interface PolyTestAccumulation

@PolymorphicQualifier(TestAccumulation.class)
@Target({TYPE_USE,TYPE_PARAMETER})
public @interface PolyTestAccumulation

Polymorphic qualifier for the test accumulation type system.