```
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@SubtypeOf(SignednessGlb.class)
public @interface SignedPositive
```
The expression's value is in the signed positive range; that is, its most significant bit is zero. The value has the same interpretation as @Signed and @Unsigned — both interpretations are equivalent.
Programmers should rarely write @SignedPositive. Instead, the programmer should write @Signed or @Unsigned to indicate how the programmer intends the value to be interpreted.
@SignedPositive corresponds to @NonNegative in the Index Checker's type system.

See Also:

SignednessGlb

See the Checker Framework Manual:
Signedness Checker

Annotation Type SignedPositive