Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Field and Description |
---|---|
protected static FieldLockInfo |
FieldLockInfo.empty |
protected FieldLockInfo[] |
ElementInfo.fLockInfo |
Modifier and Type | Method and Description |
---|---|
abstract FieldLockInfo |
FieldLockInfo.checkProtection(ThreadInfo ti,
ElementInfo ei,
FieldInfo fi) |
abstract FieldLockInfo |
FieldLockInfo.cleanUp(Heap heap) |
FieldLockInfo |
FieldLockInfoFactory.createFieldLockInfo(ThreadInfo ti,
ElementInfo ei,
FieldInfo fi) |
FieldLockInfo |
StatisticFieldLockInfoFactory.createFieldLockInfo(ThreadInfo ti,
ElementInfo ei,
FieldInfo fi) |
FieldLockInfo |
ElementInfo.getFieldLockInfo(FieldInfo fi) |
Modifier and Type | Method and Description |
---|---|
void |
ElementInfo.setFieldLockInfo(FieldInfo fi,
FieldLockInfo flInfo) |