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:
    SignednessGlb