org.checkerframework.checker.guieffect.qual

Annotation Type UIEffect

@Documented
 @Retention(value=RUNTIME)
 @Target(value={METHOD,CONSTRUCTOR,FIELD})
public @interface UIEffect

Annotation for the concrete UI effect on methods, or on field accesses.

See the Checker Framework Manual:

GUI Effect Checker