@SubtypeOf(value=LowerBoundUnknown.class)
@Target(value={TYPE_USE,TYPE_PARAMETER})
public @interface GTENegativeOne
The annotated expression evaluates to an integer greater than or equal to -1. ("GTE" stands for
``Greater Than or Equal to''.)
- See the Checker Framework Manual:
- Index Checker