cz::muni::stanse::checker::CheckerErrorReceiver Class Reference

List of all members.

Public Member Functions

void receive (final CheckerError error)
void onEnd ()


Member Function Documentation

void cz::muni::stanse::checker::CheckerErrorReceiver::receive ( final CheckerError  error  )  [inline]

void cz::muni::stanse::checker::CheckerErrorReceiver::onEnd (  )  [inline]


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

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