Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Field and Description |
---|---|
protected Monitor |
ElementInfo.monitor |
Modifier and Type | Method and Description |
---|---|
Monitor |
Monitor.clone() |
Monitor |
ElementInfo.getMonitor()
BEWARE - never change the returned object without knowing about the
ElementInfo change status, this field is state managed!
|
Modifier and Type | Method and Description |
---|---|
protected DynamicElementInfo |
GenericHeap.createElementInfo(int objref,
ClassInfo ci,
Fields f,
Monitor m,
ThreadInfo ti) |
void |
ElementInfo.restore(int index,
int attributes,
Fields fields,
Monitor monitor) |
void |
ElementInfo.restoreMonitor(Monitor m) |
Constructor and Description |
---|
DynamicElementInfo(int objref,
ClassInfo ci,
Fields f,
Monitor m,
ThreadInfo ti) |
ElementInfo(int id,
ClassInfo c,
Fields f,
Monitor m,
ThreadInfo ti) |
StaticElementInfo(int id,
ClassInfo ci,
Fields f,
Monitor m,
ThreadInfo ti,
ElementInfo eiClsObj) |