cz::muni::stanse::lockchecker::CheckerErrorFilter Class Reference

List of all members.

Public Member Functions

void receive (CheckerErrorHolder holder)
void generateErrors (CheckerErrorReceiver errReciver)

Detailed Description

Class holding CheckerErrors. This class filters the errors.

If the error has same z-statistic, variable id, traces as any of the previously received errors, it is thrown away.

Radim Cebis

Member Function Documentation

void cz::muni::stanse::lockchecker::CheckerErrorFilter::receive ( CheckerErrorHolder  holder  )  [inline]

Receives the error

holder error

void cz::muni::stanse::lockchecker::CheckerErrorFilter::generateErrors ( CheckerErrorReceiver  errReciver  )  [inline]

Generates errors to the argument

errReciver CheckerErrorReceiver to generate errors into

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

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