package accrue.analysis.pointer;

/**
 * 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.
 */
public interface CContext {

    /**
     * Semantic equality between two CContexts.
     */
    boolean equalsSemantic(CContext o);
}
