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

Packages that use Monitor

Package	Description
gov.nasa.jpf.vm

Uses of Monitor in gov.nasa.jpf.vm

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

Modifier and Type	Field and Description
protected Monitor	ElementInfo.monitor

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

Modifier and Type	Method and Description
Monitor	Monitor.clone()
Monitor	ElementInfo.getMonitor() BEWARE - never change the returned object without knowing about the ElementInfo change status, this field is state managed!

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

Modifier and Type	Method and Description
protected DynamicElementInfo	GenericHeap.createElementInfo(int objref, ClassInfo ci, Fields f, Monitor m, ThreadInfo ti)
void	ElementInfo.restore(int index, int attributes, Fields fields, Monitor monitor)
void	ElementInfo.restoreMonitor(Monitor m)

Constructors in gov.nasa.jpf.vm with parameters of type Monitor

Constructor and Description
DynamicElementInfo(int objref, ClassInfo ci, Fields f, Monitor m, ThreadInfo ti)
ElementInfo(int id, ClassInfo c, Fields f, Monitor m, ThreadInfo ti)
StaticElementInfo(int id, ClassInfo ci, Fields f, Monitor m, ThreadInfo ti, ElementInfo eiClsObj)