cz::muni::stanse::lockchecker::CFGStates Class Reference

Collaboration diagram for cz::muni::stanse::lockchecker::CFGStates:

[legend]

List of all members.

Public Member Functions
	CFGStates (CFGNode startNode, State enterState, ErrorHolder errHandler, Configuration conf)
boolean	propagate (CFGNode from, CFGNode to)
String	toString ()
State	get (CFGNode node)
void	put (CFGNode node, State state)
void	remove (CFGNode node)

---

Detailed Description

This class holds states assigned to the CFGNode. It propagates, states, evaluates state changes and double locks/unlocks.

Author:

Radim Cebis

---

Constructor & Destructor Documentation

cz::muni::stanse::lockchecker::CFGStates::CFGStates	(	CFGNode	startNode,
		State	enterState,
		ErrorHolder	errHandler,
		Configuration	conf
	)			[inline]

Constructor for new CFGStates holder.

Parameters:

	startNode	entering node
	enterState	state in which the node is accessed
	errHandler	error handler to put double lock errors into
	conf	checker's configuration

---

Member Function Documentation

boolean cz::muni::stanse::lockchecker::CFGStates::propagate	(	CFGNode	from,
		CFGNode	to
	)			[inline]

Propagation function. Propagates state from from node to to node, transforms state needed by the node's content

Parameters:

	from	node to propagate state from
	to	node to propagate state to

Returns:

true if the state of the TO node has changed

String cz::muni::stanse::lockchecker::CFGStates::toString

(

)

[inline]

State cz::muni::stanse::lockchecker::CFGStates::get

(

CFGNode

node

)

[inline]

Get state of the node

Parameters:

node

for which the state will be returned

Returns:

state of the node

void cz::muni::stanse::lockchecker::CFGStates::put	(	CFGNode	node,
		State	state
	)			[inline]

Set node's state. Overwrites existing state for a node

Parameters:

	node	to set state for
	state	to be saved for a node

void cz::muni::stanse::lockchecker::CFGStates::remove

(

CFGNode

node

)

[inline]

Removes node

Parameters:

node

to be removed from this holder

---

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

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