---

Lock Class Reference

Inheritance diagram for Lock:[legend]Collaboration diagram for Lock:[legend]List of all members.

Public Methods
	Lock (Ref ref, String className)
boolean	equals (Object lock)
String	getClassName ()
Ref	getRef ()
int	hashCode ()
void	print ()
	Lock (boolean waiting, boolean reentrant)
void	apply (TypeSwitch sw, Object o)
boolean	isKind (int kind)
boolean	isReentrant ()
boolean	isWaiting ()
void	setWaiting (boolean waiting)
String	toString ()
Private Attributes
Ref	ref
String	className
boolean	waiting
boolean	reentrant

---

Detailed Description

A lock type.

Definition at line 9 of file lib/jpf/gov/nasa/arc/ase/jpf/jvm/runtime/Lock.java.

---

Constructor & Destructor Documentation

Lock::Lock (  boolean   waiting, boolean   reentrant )  [inline]

Construct a lock type. Parameters: waiting   does the lock support wait/notify? reentrant   can the lock be reacquired without blocking? Definition at line 55 of file src/edu/ksu/cis/bandera/bir/Lock.java.

---

Member Function Documentation

boolean Lock::equals (  Object   lock )  [inline]

Returns: boolean Parameters: otherType   java.lang.Object Reimplemented from Type. Definition at line 19 of file lib/jpf/gov/nasa/arc/ase/jpf/jvm/runtime/Lock.java.

String Lock::toString (    )  [inline]

Returns: Type string, e.g. `int[]' Reimplemented from Type. Definition at line 69 of file src/edu/ksu/cis/bandera/bir/Lock.java.

---

The documentation for this class was generated from the following files:

• lib/jpf/gov/nasa/arc/ase/jpf/jvm/runtime/Lock.java
• src/edu/ksu/cis/bandera/bir/Lock.java

---