Public Member Functions | |
SummariesBuilder (Map< CFGNode, CFGHandle > dictionary, ArgumentPassingManager passingManager, Configuration conf) | |
FunctionStateSummary | traverse (CFGNode startNode, CFGsNavigator navigator, State startState) |
Summaries | getSummaries () |
String | toString () |
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 |
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 | |
navigator | ||
startState | initial state |
Summaries cz::muni::stanse::lockchecker::SummariesBuilder::getSummaries | ( | ) | [inline] |
String cz::muni::stanse::lockchecker::SummariesBuilder::toString | ( | ) | [inline] |