cz::muni::stanse::lockchecker::SummariesBuilder Class Reference

Collaboration diagram for cz::muni::stanse::lockchecker::SummariesBuilder:
[legend]

List of all members.

Public Member Functions

 SummariesBuilder (Map< CFGNode, CFGHandle > dictionary, ArgumentPassingManager passingManager, Configuration conf)
FunctionStateSummary traverse (CFGNode startNode, CFGsNavigator navigator, State startState)
Summaries getSummaries ()
String toString ()


Detailed Description

Class used to build summaries

Author:
Radim Cebis

Constructor & Destructor Documentation

cz::muni::stanse::lockchecker::SummariesBuilder::SummariesBuilder ( Map< CFGNode, CFGHandle dictionary,
ArgumentPassingManager  passingManager,
Configuration  conf 
) [inline]

Constructs summaries builder

Parameters:
dictionary to translate nodes to handles
passingManager passing manager
conf configuration


Member Function Documentation

FunctionStateSummary cz::muni::stanse::lockchecker::SummariesBuilder::traverse ( CFGNode  startNode,
CFGsNavigator  navigator,
State  startState 
) [inline]

Traverses CFG from start node using start state as starting state

Parameters:
startNode from which to start a traverse
navigator 
startState initial state
Returns:
computed FunctionStateSummary for given parameters

Summaries cz::muni::stanse::lockchecker::SummariesBuilder::getSummaries (  )  [inline]

Returns:
this instance's summaries object

String cz::muni::stanse::lockchecker::SummariesBuilder::toString (  )  [inline]


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