Annotation Type PolyUIType
-
@Documented @Retention(RUNTIME) @Target(TYPE) public @interface PolyUIType
Annotation for the polymorphic type declaration.- See the Checker Framework Manual:
- GUI Effect Checker, Qualifier polymorphism
@Documented
@Retention(RUNTIME)
@Target(TYPE)
public @interface PolyUIType