Package org.checkerframework.checker.guieffect.qual

Annotation Type UIEffect

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