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.