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

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

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

Public Member Functions
boolean	isEmpty ()
UnlockSet	clone ()
Collection< Lock >	getLocks ()
Lock	getLock (String lockName)
void	add (Lock lock)
void	clear ()
String	toString ()
int	size ()
boolean	contains (Lock lock)
boolean	contains (String lockName)
void	merge (UnlockSet other)
void	remove (Lock lock)
void	remove (Collection< Lock > toRemove)
boolean	equals (Object obj)
int	hashCode ()

Detailed Description

Author

Jan Kučera

Member Function Documentation

add()

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

inline

clear()

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

inline

clone()

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

inline

contains() [1/2]

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

inline

contains() [2/2]

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

inline

equals()

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

inline

getLock()

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

inline

getLocks()

Collection<Lock> cz.muni.stanse.threadchecker.locks.UnlockSet.getLocks ( )

inline

hashCode()

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

inline

isEmpty()

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

inline

merge()

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

inline

remove() [1/2]

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

inline

remove() [2/2]

void cz.muni.stanse.threadchecker.locks.UnlockSet.remove ( Collection< Lock >  toRemove )

inline

size()

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

inline

toString()

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

inline

---

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

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