chord.project.analyses.rhs
Interface IEdge

public interface IEdge

Specification of a path edge or a summary edge in the Reps-Horwitz-Sagiv algorithm for context-sensitive dataflow analysis.

Author:

Mayur Naik (mhn@cs.stanford.edu)

Method Summary

boolean	matchesSrcNodeOf(IEdge edge) Determines whether the source node of a given path or summary edge is identical to the source node of this edge.
boolean	mergeWith(IEdge edge) Merges the given path or summary edge with this edge.

Method Detail

matchesSrcNodeOf

boolean matchesSrcNodeOf(IEdge edge)

Determines whether the source node of a given path or summary edge is identical to the source node of this edge.

Parameters:

edge - A path or summary edge.

Returns:

true iff the source node of edge is identical to the source node of this edge.

mergeWith

boolean mergeWith(IEdge edge)

Merges the given path or summary edge with this edge. This edge is mutated but the given edge is not. The source nodes of the given edge and this edge are guaranteed to be identical.

Parameters:

edge - A path or summary edge.

Returns:

true iff this edge changes due to the merge.