Package org.checkerframework.common.aliasing

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