org.checkerframework.checker.fenum.qual

Annotation Type SwingTitlePosition

@Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @SubtypeOf(value=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