Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Method and Description |
---|---|
protected DynamicElementInfo |
GenericHeap.createElementInfo(int objref,
ClassInfo ci,
Fields f,
Monitor m,
ThreadInfo ti) |
Modifier and Type | Method and Description |
---|---|
abstract ThreadInfoSet |
SharedObjectPolicy.getThreadInfoSet(ThreadInfo allocThread,
DynamicElementInfo ei) |
ThreadInfoSet |
OverlappingContenderPolicy.getThreadInfoSet(ThreadInfo allocThread,
DynamicElementInfo ei) |
ThreadInfoSet |
GlobalTrackingPolicy.getThreadInfoSet(ThreadInfo allocThread,
DynamicElementInfo ei) |