Package org.checkerframework.checker.signedness.qual
package org.checkerframework.checker.signedness.qual
-
Annotation InterfacesClassDescriptionA polymorphic qualifier for the signedness type system.The value is to be interpreted as signed.The bottom type in the Signedness type system.The expression's value is in the signed positive range; that is, its most significant bit is not set.The expression is
@SignedPositive, and its value came from widening a value that is allowed to be interpreted as unsigned.The value's signedness is not known to the Signedness Checker.The value is to be interpreted as unsigned.