cz::muni::stanse::lockchecker::Summaries Class Reference
List of all members.
Detailed Description
Class holding all
FunctionSummary instances for the check run
- Author:
- Radim Cebis
Constructor & Destructor Documentation
Member Function Documentation
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] |
String cz::muni::stanse::lockchecker::Summaries::toString |
( |
|
) |
[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: