Package org.checkerframework.checker.signedness.qual

Annotation Types Summary

Annotation Type	Description
Constant	The value is a compile-time constant, and could be Signed or Unsigned.
PolySignedness	A polymorphic qualifier for the signedness type system.
Signed	The value is to be interpreted as signed.
SignednessBottom	The bottom type in the Unsigned type system.
UnknownSignedness	The value's signedness is not known to the Signedness Checker.
Unsigned	The value is to be interpreted as unsigned.