Package org.checkerframework.framework.testchecker.util

Annotation Interface SubQual

@SubtypeOf(SuperQual.class)
@Target({TYPE_USE,TYPE_PARAMETER})
public @interface SubQual

A subtype of SuperQual.