| Class | Description |
|---|---|
| AliasingAnnotatedTypeFactory |
Annotated type factory for the Aliasing Checker.
|
| AliasingChecker |
Aliasing type system -- used to identify expressions that definitely have no aliases.
|
| AliasingTransfer |
Type refinement is treated in the usual way, except that at (pseudo-)assignments the RHS may lose
its type refinement, before the LHS is type-refined.
|
| AliasingVisitor |
This visitor ensures that every constructor whose result is annotated as @Unique does
not leak aliases.
|