org.checkerframework.checker.guieffect.qual
public @Interface UIEffect
extends Annotation
- Annotations
- @Documented
- @Retention:RUNTIME
- @Target:METHOD, CONSTRUCTOR, FIELD
- Imports
- java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target
Annotation for the concrete UI effect on methods, or on field accesses.
