| Class | Description |
|---|---|
| SignednessAnnotatedTypeFactory | |
| SignednessChecker |
A type-checker that prevents mixing of unsigned and signed values, and prevents meaningless
operations on unsigned values.
|
| SignednessUtil |
Provides static utility methods for unsigned values.
|
| SignednessVisitor |
The SignednessVisitor enforces the Signedness Checker rules.
|