cz::muni::stanse::lockchecker::FunctionSummary Class Reference

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

Detailed Description

Class holding all the FunctionStateSummary objects of the given function.

cz::muni::stanse::lockchecker::FunctionSummary::FunctionSummary	(	StateRepository	repos,
		CFGNode	startNode,
		Map< CFGNode, CFGHandle >	dictionary,
		Configuration	conf
	)			`[inline]`

Constructs function summary for given function

Parameters:

	repos	state repository
	startNode	this functionsummary's start node
	dictionary
	conf	Configuration

FunctionStateSummary cz::muni::stanse::lockchecker::FunctionSummary::get ( State state ) [inline]

Returns FunctionStateSummary for a given entered state If FSS is not found, it creates a new one

Parameters:

state

entered state

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

FunctionStateSummary cz::muni::stanse::lockchecker::FunctionSummary::getFromCache ( State state ) [inline]

Returns FunctionStateSummary for a given entered state If FSS for the given state does not exists null is returned

Parameters:

state

entered state

Returns:: FunctionStateSummary for the give entered state or null if not existing

Collection<FunctionStateSummary> cz::muni::stanse::lockchecker::FunctionSummary::getFunctionStateSummaries ( ) [inline]

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


Public Member Functions
	FunctionSummary (StateRepository repos, CFGNode startNode, Map< CFGNode, CFGHandle > dictionary, Configuration conf)
FunctionStateSummary	get (State state)
String	toString ()
FunctionStateSummary	getFromCache (State state)
Collection< FunctionStateSummary >	getFunctionStateSummaries ()