Package org.checkerframework.checker.guieffect.qual
package org.checkerframework.checker.guieffect.qual
-
ClassDescriptionAnnotation to override the UI effect on a class, and make a field or method safe for non-UI code to use.Annotation for the polymorphic-UI effect.Annotation for the polymorphic effect on methods, or on field accesses.Annotation for the polymorphic type declaration.Annotation for the concrete safe effect on methods, or on field accesses.Class declaration annotation to make methods default to
@AlwaysSafe
.Annotation for the UI effect.Annotation for the concrete UI effect on methods, or on field accesses.Package annotation to make all classes within a package@UIType
.Class declaration annotation to make methods default to@UI
.