Annotation 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