Uses of Class
gov.nasa.jpf.vm.SharedObjectPolicy

Packages that use SharedObjectPolicy

Package	Description
gov.nasa.jpf.vm

Uses of SharedObjectPolicy in gov.nasa.jpf.vm

Subclasses of SharedObjectPolicy in 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.

Fields in gov.nasa.jpf.vm declared as SharedObjectPolicy

Modifier and Type	Field and Description
protected static SharedObjectPolicy	SharedObjectPolicy.singleton

Methods in gov.nasa.jpf.vm that return SharedObjectPolicy

Modifier and Type	Method and Description
static SharedObjectPolicy	SharedObjectPolicy.getPolicy()