Top Annotations
[default module]

Package org.checkerframework.checker.guieffect.qual


Annotation Summary

Modifier and TypeAnnotation and Description
public @interface
AlwaysSafe

Annotation to override the UI effect on a class, and make a field or method safe for non-UI code to use.

public @interface
PolyUI

Annotation for the polymorphic-UI effect.

public @interface
PolyUIEffect

Annotation for the polymorphic effect on methods, or on field accesses.

public @interface
PolyUIType

Annotation for the polymorphic type declaration.

public @interface
SafeEffect

Annotation for the concrete safe effect on methods, or on field accesses.

public @interface
SafeType

Class declaration annotation to make methods default to @AlwaysSafe.

public @interface
UI

Annotation for the UI effect.

public @interface
UIEffect

Annotation for the concrete UI effect on methods, or on field accesses.

public @interface
UIPackage

Package annotation to make all classes within a package @UIType.

public @interface
UIType

Class declaration annotation to make methods default to @UI.