harpoon.Analysis.Maps
Interface ExecMap

All Known Implementing Classes:
BitWidthAnalysis, DefaultMap, ExecMapProxy, SCCAnalysis, SCCOptimize

public interface ExecMap

ExecMap is a mapping from HCodeElements to their executable status.

Version:
$Id: ExecMap.java,v 1.3 2002/02/25 20:58:10 cananian Exp $
Author:
C. Scott Ananian <cananian@alumni.princeton.edu>

Method Summary
 boolean execMap(HCodeEdge edge)
          Returns the executable status of an HCodeEdge.
 boolean execMap(HCodeElement node)
          Returns the executable status of an HCodeElement.
 

Method Detail

execMap

public boolean execMap(HCodeElement node)
Returns the executable status of an HCodeElement.

Parameters:
node - The HCodeElement to examine.
Returns:
true if it is possible to execute this HCodeElement; or false if it can be proved that this HCodeElement will never be executed.

execMap

public boolean execMap(HCodeEdge edge)
Returns the executable status of an HCodeEdge.

Parameters:
edge - An edge between two HCodeElements in some HCode.
Returns:
true if it is possible to traverse this edge during execution, or false if it can be proved that this edge will never be followed.