cz.muni.stanse.threadchecker.locks.JoinNode Class Reference

Inheritance diagram for cz.muni.stanse.threadchecker.locks.JoinNode:

Collaboration diagram for cz.muni.stanse.threadchecker.locks.JoinNode:

Public Member Functions
	JoinNode (ResourceVertex vertex, LockStack lockStack, UnlockSet unlockSet)
LockStack	getLockStack ()
UnlockSet	getUnlockSet ()
ResourceVertex	getVertex ()
String	toString ()
boolean	equals (Object obj)
int	hashCode ()
JoinNode	clone ()

Detailed Description

Author

Jan Kučera

Constructor & Destructor Documentation

JoinNode()

cz.muni.stanse.threadchecker.locks.JoinNode.JoinNode ( ResourceVertex  vertex, LockStack  lockStack, UnlockSet  unlockSet  )

inline

Member Function Documentation

clone()

JoinNode cz.muni.stanse.threadchecker.locks.JoinNode.clone ( )

inline

equals()

boolean cz.muni.stanse.threadchecker.locks.JoinNode.equals ( Object  obj )

inline

getLockStack()

LockStack cz.muni.stanse.threadchecker.locks.JoinNode.getLockStack ( )

inline

getUnlockSet()

UnlockSet cz.muni.stanse.threadchecker.locks.JoinNode.getUnlockSet ( )

inline

getVertex()

ResourceVertex cz.muni.stanse.threadchecker.locks.JoinNode.getVertex ( )

inline

hashCode()

int cz.muni.stanse.threadchecker.locks.JoinNode.hashCode ( )

inline

toString()

String cz.muni.stanse.threadchecker.locks.JoinNode.toString ( )

inline

---

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

• src/cz/muni/stanse/threadchecker/locks/JoinNode.java