| Class | Description |
|---|---|
| AliasingAnnotatedTypeFactory | |
| 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.
|