edu.toronto.cs.yasm.abstractor
Class MemoryModel

java.lang.Object
  extended by java.util.AbstractMap
      extended by java.util.HashMap
          extended by edu.toronto.cs.yasm.abstractor.MemoryModel
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, java.util.Map

public class MemoryModel
extends java.util.HashMap

See Also:
Serialized Form

Constructor Summary
MemoryModel()
           
 
Method Summary
 void assign(Expr e, Expr v)
           
 java.lang.Object get(java.lang.Object e)
           
 Expr lookup(Expr e)
           
 
Methods inherited from class java.util.HashMap
clear, clone, containsKey, containsValue, entrySet, isEmpty, keySet, put, putAll, remove, size, values
 
Methods inherited from class java.util.AbstractMap
equals, hashCode, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.Map
equals, hashCode
 

Constructor Detail

MemoryModel

public MemoryModel()
Method Detail

lookup

public Expr lookup(Expr e)

get

public java.lang.Object get(java.lang.Object e)
Specified by:
get in interface java.util.Map
Overrides:
get in class java.util.HashMap

assign

public void assign(Expr e,
                   Expr v)