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

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

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

Public Member Functions
void	add (Lock lock)
void	clear ()
boolean	contains (String lockName)
Stack< Lock >	getLocks ()
ListIterator< Lock >	listIterator ()
Lock	getLastLock ()
LockStack	clone ()
boolean	isEmpty ()
int	size ()
boolean	contains (Lock lock)
void	remove (Lock lock)
String	toString ()
Lock	getLock (String lockName)
void	merge (LockStack other)
void	merge (UnlockSet unlockSet)
boolean	equals (Object obj)
int	hashCode ()

Detailed Description

Author

Jan Kučera

Member Function Documentation

void cz.muni.stanse.threadchecker.locks.LockStack.add ( Lock  lock )

inline

void cz.muni.stanse.threadchecker.locks.LockStack.clear ( )

inline

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

inline

boolean cz.muni.stanse.threadchecker.locks.LockStack.contains ( String  lockName )

inline

boolean cz.muni.stanse.threadchecker.locks.LockStack.contains ( Lock  lock )

inline

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

inline

Lock cz.muni.stanse.threadchecker.locks.LockStack.getLastLock ( )

inline

Lock cz.muni.stanse.threadchecker.locks.LockStack.getLock ( String  lockName )

inline

Stack<Lock> cz.muni.stanse.threadchecker.locks.LockStack.getLocks ( )

inline

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

inline

boolean cz.muni.stanse.threadchecker.locks.LockStack.isEmpty ( )

inline

ListIterator<Lock> cz.muni.stanse.threadchecker.locks.LockStack.listIterator ( )

inline

void cz.muni.stanse.threadchecker.locks.LockStack.merge ( LockStack  other )

inline

void cz.muni.stanse.threadchecker.locks.LockStack.merge ( UnlockSet  unlockSet )

inline

void cz.muni.stanse.threadchecker.locks.LockStack.remove ( Lock  lock )

inline

int cz.muni.stanse.threadchecker.locks.LockStack.size ( )

inline

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

inline

---

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

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