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

Packages that use DynamicElementInfo

Package	Description
gov.nasa.jpf.vm

Uses of DynamicElementInfo in gov.nasa.jpf.vm

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

Modifier and Type	Method and Description
protected DynamicElementInfo	GenericHeap.createElementInfo(int objref, ClassInfo ci, Fields f, Monitor m, ThreadInfo ti)

Methods in gov.nasa.jpf.vm with parameters of type DynamicElementInfo

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)