@Documented
@Retention(value=RUNTIME)
@Target(value={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