harpoon.Analysis.Maps
Class ExecMapProxy<HCE extends HCodeElement>

java.lang.Object
  harpoon.Analysis.Maps.ExecMapProxy<HCE>

All Implemented Interfaces:

ExecMap<HCE>

public class ExecMapProxy<HCE extends HCodeElement>
extends Object
implements ExecMap<HCE>

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.5 2004/07/01 22:24:35 cananian Exp $

Author:

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

Constructor Summary

ExecMapProxy(HCodeAndMaps<HCE> hcam, ExecMap<HCE> em)
Creates an ExecMapProxy.

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExecMapProxy

public ExecMapProxy(HCodeAndMaps<HCE> hcam,
                    ExecMap<HCE> em)

Creates an ExecMapProxy.

Method Detail

execMap

public boolean execMap(HCE node)

Description copied from interface: ExecMap

Returns the executable status of an HCodeElement.

Specified by:

execMap in interface ExecMap<HCE extends 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<HCE> edge)

Description copied from interface: ExecMap

Returns the executable status of an HCodeEdge.

Specified by:

execMap in interface ExecMap<HCE extends HCodeElement>

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.