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.