Annotation Type SafeEffect
-
@Documented @Retention(RUNTIME) @Target({CONSTRUCTOR,METHOD,FIELD}) public @interface SafeEffect
Annotation for the concrete safe effect on methods, or on field accesses.
@Documented
@Retention(RUNTIME)
@Target({CONSTRUCTOR,METHOD,FIELD})
public @interface SafeEffect