Package org.checkerframework.common.aliasing
package org.checkerframework.common.aliasing
-
ClassDescriptionAnnotated type factory for the Aliasing Checker.Aliasing type system -- used to identify expressions that definitely have no aliases.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.This visitor ensures that every constructor whose result is annotated as @Unique does not leak aliases.