Package org.checkerframework.checker.fenum.qual

Annotation Interface SwingTitlePosition

@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@SubtypeOf(FenumTop.class)
public @interface SwingTitlePosition

Justifications for the title text of a TitledBorder.

See Also:

• TitledBorder.DEFAULT_POSITION
• TitledBorder.ABOVE_TOP
• TitledBorder.TOP
• TitledBorder.BELOW_TOP
• TitledBorder.ABOVE_BOTTOM
• TitledBorder.BOTTOM
• TitledBorder.BELOW_BOTTOM

See the Checker Framework Manual:

Fake Enum Checker