Package org.checkerframework.checker.signedness.qual

Annotation Types Summary

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