accrue.analysis.pointer

## Interface CContext

-     public interface CContext

  A procedure analysis context. A procedure is analyzed in zero or more CContexts (for the pointer analysis). This interface corresponds to the domain Context in the paper "Pick Your Contexts Well: Understanding Object-Sensitivity" by Smaragdakis, Bravenboer, and Lhotak.

- - ### Method Summary

    Methods
    Modifier and Type | Method and Description
    --- | ---
    `boolean` | `equalsSemantic(CContext o)` Semantic equality between two CContexts.

- - ### Method Detail

    - #### equalsSemantic

          boolean equalsSemantic(CContext o)

      Semantic equality between two CContexts.