Top Annotations
[default module]

Package org.checkerframework.checker.fenum.qual


Annotation Summary

Modifier and TypeAnnotation and Description
public @interface
AwtAlphaCompositingRule

Basic alpha compositing rules for combining source and destination colors to achieve blending and transparency effects with graphics and images (see java.awt.AlphaComposite for more details).

public @interface
AwtColorSpace

Color space tags to identify the specific color space of a Color object or, via a ColorModel object, of an Image, a BufferedImage, or a GraphicsDevice (see java.awt.color.ColorSpace for more details).

public @interface
AwtCursorType

AwtCursorType.

public @interface
AwtFlowLayout

Line alignments in a flow layout (see java.awt.FlowLayout for more details).

public @interface
Fenum

A generic fake enumeration qualifier that is parameterized by a name.

public @interface
FenumBottom

The bottom type in the Fenum type system.

public @interface
FenumTop

The top of the fake enumeration type hierarchy.

public @interface
FenumUnqualified

An unqualified type.

public @interface
PolyFenum

A polymorphic qualifier for the fake enum type system.

public @interface
SwingBoxOrientation

SwingBoxOrientation.

public @interface
SwingCompassDirection

SwingCompassDirection.

public @interface
SwingElementOrientation

SwingElementOrientation.

public @interface
SwingHorizontalOrientation

SwingHorizontalOrientation.

public @interface
SwingSplitPaneOrientation

SwingSplitPaneOrientation.

public @interface
SwingTextOrientation

SwingTextOrientation.

public @interface
SwingTitleJustification

Vertical orientations for the title text of a javax.swing.border.TitledBorder.

public @interface
SwingTitlePosition

Justifications for the title text of a javax.swing.border.TitledBorder.

public @interface
SwingVerticalOrientation

SwingVerticalOrientation.