Annotation Type | Description |
---|---|
Constant | |
Signed |
The value is to be interpreted as signed.
|
SignednessBottom |
The bottom qualifier 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.
|