Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Class and Description |
---|---|
class |
GlobalTrackingPolicy
a SharedObjectPolicy that uses search global ThreadInfoSets, i.e.
|
class |
OverlappingContenderPolicy
a thread tracking policy that uses ThreadInfoSets which are
search global from the point of object creation.
|
Modifier and Type | Field and Description |
---|---|
protected static SharedObjectPolicy |
SharedObjectPolicy.singleton |
Modifier and Type | Method and Description |
---|---|
static SharedObjectPolicy |
SharedObjectPolicy.getPolicy() |