harpoon.Analysis.PreciseGC
Class MRA.MRAToken

java.lang.Object
  harpoon.Analysis.PreciseGC.MRA.MRAToken

Enclosing class:

MRA

public static class MRA.MRAToken
extends Object

The MRAToken class represents the nodes on the lattice for the MRA analysis.

Field Summary

static MRA.MRAToken	BOTTOM
static MRA.MRAToken	RCVR
static MRA.MRAToken	SUCC
static MRA.MRAToken	TOP

Method Summary

MRA.MRAToken	join(MRA.MRAToken t) Returns an MRAToken representing the join of this with the argument.
String	toString() Returns a String representation of the Token.

Methods inherited from class java.lang.Object

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

Field Detail

BOTTOM

public static MRA.MRAToken BOTTOM

RCVR

public static MRA.MRAToken RCVR

SUCC

public static MRA.MRAToken SUCC

TOP

public static MRA.MRAToken TOP

Method Detail

join

public MRA.MRAToken join(MRA.MRAToken t)

Returns an MRAToken representing the join of this with the argument. This operation is symmetric, so a.join(b) == b.join(a)

toString

public String toString()

Returns a String representation of the Token.

Overrides:

toString in class Object