harpoon.Analysis.Maps
Class ExecMapProxy

java.lang.Object
  |
  +--harpoon.Analysis.Maps.MapProxy
        |
        +--harpoon.Analysis.Maps.ExecMapProxy
All Implemented Interfaces:
ExecMap

public class ExecMapProxy
extends harpoon.Analysis.Maps.MapProxy
implements ExecMap

An ExecMapProxy implements an ExecMap for a cloned HCode given the HCodeAndMaps which specifies its relationship to an HCode for which a ExecMap is known.

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

Constructor Summary
ExecMapProxy(HCodeAndMaps hcam, ExecMap em)
          Creates an ExecMapProxy.
 
Method Summary
 boolean execMap(HCodeEdge edge)
          Returns the executable status of an HCodeEdge.
 boolean execMap(HCodeElement node)
          Returns the executable status of an HCodeElement.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ExecMapProxy

public ExecMapProxy(HCodeAndMaps hcam,
                    ExecMap em)
Creates an ExecMapProxy.

Method Detail

execMap

public boolean execMap(HCodeElement node)
Description copied from interface: ExecMap
Returns the executable status of an HCodeElement.

Specified by:
execMap in interface ExecMap
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)
Description copied from interface: ExecMap
Returns the executable status of an HCodeEdge.

Specified by:
execMap in interface ExecMap
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.