GlobalTrackingPolicy (JPF API)

```
public class GlobalTrackingPolicy
extends SharedObjectPolicy
```
a SharedObjectPolicy that uses search global ThreadInfoSets, i.e. we remember thread access of all previously executed paths. For instances, we use the object reference value to retrieve cached values For static fields, we just use the corresponding class object reference Note that this policy requires search global object ids (SGOID), i.e. only works with Heap implementations providing SGOIDs

Fields
Modifier and Type	Field and Description
`protected SparseObjVector<ThreadInfoSet>`	`globalCache`

Constructors
Constructor and Description
`GlobalTrackingPolicy()`

Methods
Modifier and Type	Method and Description
`void`	`cleanupThreadTermination(ThreadInfo ti)`
`Memento<ThreadInfoSet>`	`getMemento(ThreadInfoSet set)`
`protected ThreadInfoSet`	`getRegisteredSet(int key, ThreadInfo allocThread)`
`ThreadInfoSet`	`getThreadInfoSet(ThreadInfo allocThread, DynamicElementInfo ei)`
`ThreadInfoSet`	`getThreadInfoSet(ThreadInfo allocThread, StaticElementInfo ei)`
`boolean`	`isShared(ElementInfo ei, ThreadInfoSet set)`

Methods inherited from class gov.nasa.jpf.vm.SharedObjectPolicy
getPolicy, init

protected SparseObjVector<ThreadInfoSet> globalCache

protected ThreadInfoSet getRegisteredSet(int key,
                             ThreadInfo allocThread)

public ThreadInfoSet getThreadInfoSet(ThreadInfo allocThread,
                             DynamicElementInfo ei)

public ThreadInfoSet getThreadInfoSet(ThreadInfo allocThread,
                             StaticElementInfo ei)

public boolean isShared(ElementInfo ei,
               ThreadInfoSet set)

public Memento<ThreadInfoSet> getMemento(ThreadInfoSet set)

Class GlobalTrackingPolicy