Annotation Type SignedPositiveFromUnsigned


@Documented @Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @SubtypeOf(SignednessGlb.class) public @interface SignedPositiveFromUnsigned
The expression is @SignedPositive, and its value came from widening a value that is allowed to be interpreted as unsigned.

Programmers should rarely write this annotation.

See Also: