org.jikesrvm.compilers.opt.dfsolver
Class DF_Solution

java.lang.Object
  extended by java.util.AbstractMap<K,V>
      extended by java.util.HashMap<Object,DF_LatticeCell>
          extended by org.jikesrvm.compilers.opt.dfsolver.DF_Solution
All Implemented Interfaces:
Serializable, Cloneable, Map<Object,DF_LatticeCell>

public class DF_Solution
extends HashMap<Object,DF_LatticeCell>

Represents the solution to a system of Data Flow equations. Namely, a function mapping Objects to DF_LatticeCells

See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class java.util.AbstractMap
AbstractMap.SimpleEntry<K,V>, AbstractMap.SimpleImmutableEntry<K,V>
 
Field Summary
(package private) static long serialVersionUID
          Support for serialization
 
Constructor Summary
DF_Solution()
           
 
Method Summary
 Object lookup(Object k)
          Return the lattice cell corresponding to an object
 String toString()
          Return a string representation of the dataflow solution
 
Methods inherited from class java.util.HashMap
clear, clone, containsKey, containsValue, entrySet, get, isEmpty, keySet, put, putAll, remove, size, values
 
Methods inherited from class java.util.AbstractMap
equals, hashCode
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.Map
equals, hashCode
 

Field Detail

serialVersionUID

static final long serialVersionUID
Support for serialization

See Also:
Constant Field Values
Constructor Detail

DF_Solution

public DF_Solution()
Method Detail

toString

public String toString()
Return a string representation of the dataflow solution

Overrides:
toString in class AbstractMap<Object,DF_LatticeCell>
Returns:
a string representation of the dataflow solution

lookup

public Object lookup(Object k)
Return the lattice cell corresponding to an object

Parameters:
k - the object to look up
Returns:
its lattice cell