cz::muni::stanse::statistics::MessagesStat Class Reference

Inheritance diagram for cz::muni::stanse::statistics::MessagesStat:
[legend]

List of all members.

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 ()


Constructor & Destructor Documentation

cz::muni::stanse::statistics::MessagesStat::MessagesStat ( final List  errElements,
final List  failElements 
) [inline, package]


Member Function Documentation

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]


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

Generated on Thu Jan 13 16:24:10 2011 for Stanse by  doxygen 1.5.6