Package Functions | |
MessagesStat (final List errElements, final List failElements) | |
final int | getNumMsgs () |
final int | getNumBugs () |
final int | getNumFalses () |
final int | getNumTouched () |
final int | getNumUntouched () |
final int | getNumFailures () |
final double | getBugsPercentage () |
final double | getFalsesPercentage () |
final double | getTouchedPercentage () |
cz::muni::stanse::statistics::MessagesStat::MessagesStat | ( | final List | errElements, | |
final List | failElements | |||
) | [inline, package] |
final int cz::muni::stanse::statistics::MessagesStat::getNumMsgs | ( | ) | [inline, package] |
final int cz::muni::stanse::statistics::MessagesStat::getNumBugs | ( | ) | [inline, package] |
final int cz::muni::stanse::statistics::MessagesStat::getNumFalses | ( | ) | [inline, package] |
final int cz::muni::stanse::statistics::MessagesStat::getNumTouched | ( | ) | [inline, package] |
final int cz::muni::stanse::statistics::MessagesStat::getNumUntouched | ( | ) | [inline, package] |
final int cz::muni::stanse::statistics::MessagesStat::getNumFailures | ( | ) | [inline, package] |
final double cz::muni::stanse::statistics::MessagesStat::getBugsPercentage | ( | ) | [inline, package] |
final double cz::muni::stanse::statistics::MessagesStat::getFalsesPercentage | ( | ) | [inline, package] |
final double cz::muni::stanse::statistics::MessagesStat::getTouchedPercentage | ( | ) | [inline, package] |