Package org.checkerframework.common.aliasing

package org.checkerframework.common.aliasing
  • Classes
    Annotated 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.