All Packages  Class Hierarchy  This Package  Previous  Next  Index

Interface harpoon.Analysis.Maps.ExecMap

public interface ExecMap
ExecMap is a mapping from HCodeElements to their executable status.

Version:
$Id: ExecMap.java,v 1.2 1998/10/11 02:37:07 cananian Exp $
Author:
C. Scott Ananian <cananian@alumni.princeton.edu>

Method Index

 o execMap(HCode, HCodeEdge)
Returns the executable status of an HCodeEdge.
 o execMap(HCode, HCodeElement)
Returns the executable status of an HCodeElement.

Methods

 o execMap
 public abstract boolean execMap(HCode hc,
                                 HCodeElement node)
Returns the executable status of an HCodeElement.

Parameters:
hc - The HCode containing node.
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.
 o execMap
 public abstract boolean execMap(HCode hc,
                                 HCodeEdge edge)
Returns the executable status of an HCodeEdge.

Parameters:
hc - The HCode containing edge.
edge - An edge between two HCodeElements in 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.

All Packages  Class Hierarchy  This Package  Previous  Next  Index