Annotation Interface SafeEffect

@Documented
@Retention(RUNTIME)
@Target({CONSTRUCTOR,METHOD,FIELD})
public @interface SafeEffect

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

See the Checker Framework Manual:

GUI Effect Checker