Stanse  -1
Public Member Functions | List of all members
cz.muni.stanse.threadchecker.locks.LockStack Class Reference
Inheritance diagram for cz.muni.stanse.threadchecker.locks.LockStack:
Inheritance graph
[legend]
Collaboration diagram for cz.muni.stanse.threadchecker.locks.LockStack:
Collaboration graph
[legend]

Public Member Functions

void add (Lock lock)
 
void clear ()
 
boolean contains (String lockName)
 
Stack< LockgetLocks ()
 
ListIterator< LocklistIterator ()
 
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

◆ add()

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

◆ clear()

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

◆ clone()

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

◆ contains() [1/2]

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

◆ contains() [2/2]

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

◆ equals()

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

◆ getLastLock()

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

◆ getLock()

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

◆ getLocks()

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

◆ hashCode()

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

◆ isEmpty()

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

◆ listIterator()

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

◆ merge() [1/2]

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

◆ merge() [2/2]

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

◆ remove()

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

◆ size()

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

◆ toString()

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

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