|
||||||||||
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.MemoryModel
public class MemoryModel
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 |
---|
public MemoryModel()
Method Detail |
---|
public Expr lookup(Expr e)
public java.lang.Object get(java.lang.Object e)
get
in interface java.util.Map
get
in class java.util.HashMap
public void assign(Expr e, Expr v)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |