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

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

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.

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.

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

from node to propagate state from
to node to propagate state to
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

node for which the state will be returned
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

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

void cz::muni::stanse::lockchecker::CFGStates::remove ( CFGNode  node  )  [inline]

Removes node

node to be removed from this holder

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

Generated on Thu Jan 13 16:24:09 2011 for Stanse by  doxygen 1.5.6