|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.util.AbstractMap
java.util.HashMap
edu.toronto.cs.yasm.abstractor.CVCLMemoryModel
public class CVCLMemoryModel
CVCLMemoryModel.java Created: Mon Jul 5 13:00:17 2004
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 |
---|
public CVCLMemoryModel(MemoryModel _mm, ExprFactory _fac, CVCLExprConverter _cvcl)
Method Detail |
---|
public java.lang.Object get(java.lang.Object o)
get
in interface java.util.Map
get
in class java.util.HashMap
public java.lang.String toString()
toString
in class java.util.AbstractMap
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |