Package org.checkerframework.common.aliasing

Class Summary

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.