cz.muni.stanse.checker.CheckerErrorReceiver Class Reference

Public Member Functions
void	receiveAll (final Collection< CheckerError > errors)
void	receive (final CheckerError error)
void	onEnd ()

Member Function Documentation

void cz.muni.stanse.checker.CheckerErrorReceiver.onEnd ( )

inline

void cz.muni.stanse.checker.CheckerErrorReceiver.receive ( final CheckerError  error )

inline

void cz.muni.stanse.checker.CheckerErrorReceiver.receiveAll ( final Collection< CheckerError >  errors )

inline

---

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

• src/cz/muni/stanse/checker/CheckerErrorReceiver.java