gov.nasa.jpf.vm

Class Monitor

java.lang.Object

gov.nasa.jpf.vm.Monitor

All Implemented Interfaces:

java.lang.Cloneable

public class Monitor
extends java.lang.Object
implements java.lang.Cloneable

Represents the variable, hash-collapsed pooled data associated with an object that is not related to the object values (->Fields), but to the use of the object for synchronization purposes (locks and signals).

Constructor Summary

Constructors

Constructor and Description
Monitor() Creates a new empty monitor.

Method Summary

Modifier and Type	Method and Description
boolean	canLock(ThreadInfo th) Returns true if it is possible to lock the monitor.
Monitor	clone()
void	dump()
boolean	equals(java.lang.Object o) Compares to another object.
ThreadInfo[]	getBlockedOrWaitingThreads()
ThreadInfo[]	getBlockedThreads()
int	getLockCount() Returns the number of nested locks acquired.
ThreadInfo[]	getLockedThreads() Returns the list of locked threads
ThreadInfo	getLockingThread() Returns the identifier of the thread holding the lock.
int	getNumberOfBlockedOrWaitingThreads()
int	getNumberOfBlockedThreads()
int	getNumberOfWaitingThreads()
ThreadInfo[]	getWaitingThreads()
void	hash(HashData hd)
int	hashCode()
boolean	hasLockedThreads()
boolean	hasWaitingThreads()
boolean	isLocking(ThreadInfo ti)
int	objectHashCode()
void	printFields(java.io.PrintWriter pw)

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Monitor

public Monitor()

Creates a new empty monitor.

Method Detail

printFields

public void printFields(java.io.PrintWriter pw)

dump

public void dump()

clone

public Monitor clone()

Overrides:

clone in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Compares to another object.

Overrides:

equals in class java.lang.Object

hash

public void hash(HashData hd)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getLockCount

public int getLockCount()

Returns the number of nested locks acquired.

getLockingThread

public ThreadInfo getLockingThread()

Returns the identifier of the thread holding the lock.

getLockedThreads

public ThreadInfo[] getLockedThreads()

Returns the list of locked threads

hasLockedThreads

public boolean hasLockedThreads()

hasWaitingThreads

public boolean hasWaitingThreads()

getNumberOfWaitingThreads

public int getNumberOfWaitingThreads()

getWaitingThreads

public ThreadInfo[] getWaitingThreads()

getNumberOfBlockedThreads

public int getNumberOfBlockedThreads()

getBlockedThreads

public ThreadInfo[] getBlockedThreads()

getNumberOfBlockedOrWaitingThreads

public int getNumberOfBlockedOrWaitingThreads()

getBlockedOrWaitingThreads

public ThreadInfo[] getBlockedOrWaitingThreads()

canLock

public boolean canLock(ThreadInfo th)

Returns true if it is possible to lock the monitor.

objectHashCode

public int objectHashCode()

isLocking

public boolean isLocking(ThreadInfo ti)