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

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

inline

Member Function Documentation

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

inline

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

inline

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

inline

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

inline

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

inline

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

inline

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