harpoon.Analysis
Class ReachingDefs

java.lang.Object
  |
  +--harpoon.Analysis.ReachingDefs
Direct Known Subclasses:
ReachingDefsAltImpl, ReachingDefsImpl, SSxReachingDefsImpl

public abstract class ReachingDefs
extends Object

ReachingDefs defines an abstract class for analyzing reaching definitions.

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

Field Summary
protected  HCode hc
          The HCode for which this object contains analysis results.
static boolean TIME
           
 
Constructor Summary
ReachingDefs(HCode hc)
          Creates a ReachingDefs object for the provided HCode.
 
Method Summary
abstract  Set reachingDefs(HCodeElement hce, Temp t)
          Returns the Set of HCodeElements providing definitions of Temp t which reach HCodeElement hce.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

TIME

public static final boolean TIME
See Also:
Constant Field Values

hc

protected final HCode hc
The HCode for which this object contains analysis results.

Constructor Detail

ReachingDefs

public ReachingDefs(HCode hc)
Creates a ReachingDefs object for the provided HCode.

Method Detail

reachingDefs

public abstract Set reachingDefs(HCodeElement hce,
                                 Temp t)
Returns the Set of HCodeElements providing definitions of Temp t which reach HCodeElement hce.