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

List of all members.

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

boolean cz::muni::stanse::threadchecker::locks::UnlockSet::isEmpty

(

)

[inline]

UnlockSet cz::muni::stanse::threadchecker::locks::UnlockSet::clone

(

)

[inline]

Collection<Lock> cz::muni::stanse::threadchecker::locks::UnlockSet::getLocks

(

)

[inline]

Lock cz::muni::stanse::threadchecker::locks::UnlockSet::getLock

(

String

lockName

)

[inline]

void cz::muni::stanse::threadchecker::locks::UnlockSet::add

(

Lock

lock

)

[inline]

void cz::muni::stanse::threadchecker::locks::UnlockSet::clear

(

)

[inline]

String cz::muni::stanse::threadchecker::locks::UnlockSet::toString

(

)

[inline]

int cz::muni::stanse::threadchecker::locks::UnlockSet::size

(

)

[inline]

boolean cz::muni::stanse::threadchecker::locks::UnlockSet::contains

(

Lock

lock

)

[inline]

boolean cz::muni::stanse::threadchecker::locks::UnlockSet::contains

(

String

lockName

)

[inline]

void cz::muni::stanse::threadchecker::locks::UnlockSet::merge

(

UnlockSet

other

)

[inline]

void cz::muni::stanse::threadchecker::locks::UnlockSet::remove

(

Lock

lock

)

[inline]

void cz::muni::stanse::threadchecker::locks::UnlockSet::remove

(

Collection< Lock >

toRemove

)

[inline]

boolean cz::muni::stanse::threadchecker::locks::UnlockSet::equals

(

Object

obj

)

[inline]

int cz::muni::stanse::threadchecker::locks::UnlockSet::hashCode

(

)

[inline]

---

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

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