cz::muni::stanse::lockchecker::State Class Reference

Inheritance diagram for cz::muni::stanse::lockchecker::State:

[legend]

List of all members.

Public Member Functions
	State ()
	State (State state)
boolean	isUnlocked ()
boolean	propagate (State from)
String	toString ()
int	hashCode ()
boolean	equals (Object obj)
int	size ()
boolean	contains (State state)
Static Public Member Functions
static State	transformState (boolean isUnlock, String lockId, State state)
static LockError	checkDoubles (boolean isUnlock, String lockId, State state)
static State	getRenamedCFGState (State state, VarTransformations varTransformations, boolean fromCallerToCallee)

---

Detailed Description

Class representing state of the locks for a node

Author:

Radim Cebis

---

Constructor & Destructor Documentation

cz::muni::stanse::lockchecker::State::State

(

)

[inline]

cz::muni::stanse::lockchecker::State::State

(

State

state

)

[inline]

Copy constructor

Parameters:

state

to copy

---

Member Function Documentation

boolean cz::muni::stanse::lockchecker::State::isUnlocked

(

)

[inline]

Is this state unlocked

Returns:

returns true if all the locks are unlocked - or there are no locks

boolean cz::muni::stanse::lockchecker::State::propagate

(

State

from

)

[inline]

Propagates From State to this state

Parameters:

from

State to propagate from

Returns:

has this state changed?

static State cz::muni::stanse::lockchecker::State::transformState	(	boolean	isUnlock,
		String	lockId,
		State	state
	)			[inline, static]

Returns transformed copy of the state

Parameters:

	isUnlock	is this operation unlock operation?
	lockId	id of the lock which will be transformed
	state	State from which we want to make transformation

Returns:

transformed copy of the state

static LockError cz::muni::stanse::lockchecker::State::checkDoubles	(	boolean	isUnlock,
		String	lockId,
		State	state
	)			[inline, static]

Check if there is double lock/unlock error when there would be operation on the state

Parameters:

	isUnlock
	lockId
	state

Returns:

LockError if one occurs, null otherwise

String cz::muni::stanse::lockchecker::State::toString

(

)

[inline]

int cz::muni::stanse::lockchecker::State::hashCode

(

)

[inline]

boolean cz::muni::stanse::lockchecker::State::equals

(

Object

obj

)

[inline]

static State cz::muni::stanse::lockchecker::State::getRenamedCFGState	(	State	state,
		VarTransformations	varTransformations,
		boolean	fromCallerToCallee
	)			[inline, static]

Returns renamed copy of the state

Parameters:

	state	State to be copied
	varTransformations	name transformations
	fromCallerToCallee	should this rename from caller to callee?

Returns:

renamed copy of the state

int cz::muni::stanse::lockchecker::State::size

(

)

[inline]

Returns:

number of locks registered in this state

boolean cz::muni::stanse::lockchecker::State::contains

(

State

state

)

[inline]

Returns true if this state contains all the locks contained in parameter.

Parameters:

state

to look into for the locks

Returns:

true if this state contains all locks in same state in the given parameter

---

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

• src/cz/muni/stanse/lockchecker/State.java