Annotation Interface FenumTop
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@TargetLocations({EXPLICIT_LOWER_BOUND,EXPLICIT_UPPER_BOUND})
@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