cz::muni::stanse::lockchecker::Summaries Class Reference

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

List of all members.

Public Member Functions

FunctionStateSummary get (CFGNode startNode, State startState)
StateRepository getRepos ()
 Summaries (Map< CFGNode, CFGHandle > dictionary, Configuration conf)
String toString ()
FunctionSummary get (CFGNode startNode)
Collection< FunctionStateSummarygetAllFunctionStateSummaries ()


Detailed Description

Class holding all FunctionSummary instances for the check run

Author:
Radim Cebis

Constructor & Destructor Documentation

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

Constructs repository with given configuration

Parameters:
dictionary to translate nodes to handles
conf Configuration


Member Function Documentation

FunctionStateSummary cz::muni::stanse::lockchecker::Summaries::get ( CFGNode  startNode,
State  startState 
) [inline]

Get function state summary for given function and enter state

Parameters:
startNode of the function
startState enter state of the function
Returns:
appropriate function state summary

StateRepository cz::muni::stanse::lockchecker::Summaries::getRepos (  )  [inline]

Returns:
state repository

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

FunctionSummary cz::muni::stanse::lockchecker::Summaries::get ( CFGNode  startNode  )  [inline]

Get function summary for the given function

Parameters:
startNode of the function
Returns:
appropriate function summary

Collection<FunctionStateSummary> cz::muni::stanse::lockchecker::Summaries::getAllFunctionStateSummaries (  )  [inline]

Returns:
all function state summaries hold in this instance


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