Annotation Type SignedPositive


  • @Documented
    @Retention(RUNTIME)
    @Target({TYPE_USE,TYPE_PARAMETER})
    public @interface SignedPositive
    The expression's value is in the signed positive range; that is, its most significant bit is not set. 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.

    Internally, this is translated to the @SignednessGlb annotation. This means that programmers do not see this annotation in error messages.

    @SignedPositive corresponds to @NonNegative in the Index Checker's type system.

    See Also:
    SignednessGlb