| Modifier and Type | Annotation and Description |
|---|---|
| public @interface | PolySigned
A polymorphic qualifier for the signedness type system. |
| public @interface | Signed
The value is to be interpreted as signed. |
| public @interface | SignednessBottom
The bottom type in the Signedness type system. |
| public @interface | SignednessGlb
Client code may interpret the value either as |
| public @interface | SignedPositive
The expression's value is in the signed positive range; that is, its most significant bit is zero. |
| public @interface | UnknownSignedness
The value's signedness is not known to the Signedness Checker. |
| public @interface | Unsigned
The value is to be interpreted as unsigned. |