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

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

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

Radim Cebis

Constructor & Destructor Documentation

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

Constructs summaries builder

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

startNode from which to start a traverse
startState initial state
computed FunctionStateSummary for given parameters

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

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