Annotation Interface PolyUIEffect


@Documented @Retention(RUNTIME) @Target({CONSTRUCTOR,METHOD,FIELD}) public @interface PolyUIEffect
Annotation for the polymorphic effect on methods, or on field accesses.
See the Checker Framework Manual:
GUI Effect Checker, Qualifier polymorphism