harpoon.Analysis.PreciseGC
Class MRA

java.lang.Object
  |
  +--harpoon.Analysis.PreciseGC.MRA

public abstract class MRA
extends Object

MRA is answers the question "which Temps contain the address of the most recently allocated object at this program point?"

Version:
$Id: MRA.java,v 1.2 2002/02/25 20:58:53 cananian Exp $
Author:
Karen Zee <kkz@tmi.lcs.mit.edu>

Nested Class Summary
static class MRA.MRAToken
          The MRAToken class represents the nodes on the lattice for the MRA analysis.
 
Constructor Summary
MRA()
           
 
Method Summary
abstract  Tuple mra_before(Quad q)
          Returns a Tuple.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MRA

public MRA()
Method Detail

mra_before

public abstract Tuple mra_before(Quad q)
Returns a Tuple. The first element of the Tuple contains a Map of Temps that point to the most recently allocated object at that program point, to a MRAToken that indicates whether the Temp points to the receiver object and whether the Temp succeeded the receiver object as the most-recently allocated. The second element of the Tuple is a Set of HClasses of which objects may have been allocated that are more recent.