harpoon.Analysis.Maps
Interface ExecMap<HCE extends HCodeElement>

All Known Implementing Classes:

BitWidthAnalysis, DefaultMap, ExecMapProxy, SCCAnalysis, SCCOptimize

public interface ExecMap<HCE extends HCodeElement>

ExecMap is a mapping from HCodeElements to their executable status.

Version:

$Id: ExecMap.java,v 1.4 2002/09/02 19:23:26 cananian Exp $

Author:

C. Scott Ananian <cananian@alumni.princeton.edu>

Method Summary

boolean	execMap(HCE node) Returns the executable status of an HCodeElement.
boolean	execMap(HCodeEdge<HCE> edge) Returns the executable status of an HCodeEdge.

Method Detail

execMap

boolean execMap(HCE 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

boolean execMap(HCodeEdge<HCE> 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.