public final class ModelStateObserver
extends java.lang.Object
Constructor and Description |
---|
ModelStateObserver(Memory[] registers,
Memory[] memory,
Label[] labels) |
Modifier and Type | Method and Description |
---|---|
LocationAccessor |
accessLocation(java.lang.String name) |
LocationAccessor |
accessLocation(java.lang.String name,
java.math.BigInteger index) |
void |
resetState() |
void |
setUseTempState(boolean value) |
public LocationAccessor accessLocation(java.lang.String name) throws ConfigurationException
ConfigurationException
public LocationAccessor accessLocation(java.lang.String name, java.math.BigInteger index) throws ConfigurationException
ConfigurationException
public void resetState()
public void setUseTempState(boolean value)