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.

Author:

Radim Cebis

---

Member Function Documentation

void cz::muni::stanse::lockchecker::CheckerErrorFilter::receive

(

CheckerErrorHolder

holder

)

[inline]

Receives the error

Parameters:

holder

error

void cz::muni::stanse::lockchecker::CheckerErrorFilter::generateErrors

(

CheckerErrorReceiver

errReciver

)

[inline]

Generates errors to the argument

Parameters:

errReciver

CheckerErrorReceiver to generate errors into

---

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

• src/cz/muni/stanse/lockchecker/CheckerErrorFilter.java