Package org.checkerframework.checker.fenum.qual

Annotation Interface FenumTop

@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@TargetLocations({LOWER_BOUND,UPPER_BOUND,LOCAL_VARIABLE,RESOURCE_VARIABLE})
@SubtypeOf({})
@DefaultFor({LOCAL_VARIABLE,RESOURCE_VARIABLE})
public @interface FenumTop

The top of the fake enumeration type hierarchy.

See the Checker Framework Manual:

Fake Enum Checker