Package org.checkerframework.checker.fenum.qual

Annotation Type 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