Annotation Interface SafeType


@Documented @Retention(RUNTIME) @Target(TYPE) public @interface SafeType
Class declaration annotation to make methods default to @AlwaysSafe. While the normal default is already @AlwaysSafe methods, this is useful for a type inside a package marked @UIPackage.
See the Checker Framework Manual:
GUI Effect Checker