Annotation Interface UIType


@Documented @Retention(RUNTIME) @Target(TYPE) public @interface UIType
Class declaration annotation to make methods default to @UI.
See the Checker Framework Manual:
GUI Effect Checker