Package | Description |
---|---|
gov.nasa.jpf.util | |
gov.nasa.jpf.vm |
Modifier and Type | Class and Description |
---|---|
class |
MutableIntegerRestorer
on-demand restorer for MutableInteger instances
|
Modifier and Type | Method and Description |
---|---|
ClosedMemento |
SystemState.getRestorer(Object key) |
Modifier and Type | Method and Description |
---|---|
void |
SystemState.putRestorer(Object key,
ClosedMemento restorer)
call the provided restorer each time we get back to this state
|