edu.toronto.cs.yasm.abstractor
Class CVCLMemoryModel

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

public class CVCLMemoryModel
extends java.util.HashMap

CVCLMemoryModel.java Created: Mon Jul 5 13:00:17 2004

Version:
1.0
Author:
Kelvin Ku
See Also:
Serialized Form

Constructor Summary
CVCLMemoryModel(MemoryModel _mm, ExprFactory _fac, CVCLExprConverter _cvcl)
           
 
Method Summary
 java.lang.Object get(java.lang.Object o)
           
 java.lang.String toString()
           
 
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
 
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

CVCLMemoryModel

public CVCLMemoryModel(MemoryModel _mm,
                       ExprFactory _fac,
                       CVCLExprConverter _cvcl)
Method Detail

get

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

toString

public java.lang.String toString()
Overrides:
toString in class java.util.AbstractMap