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