cz.muni.stanse.checker.CheckerErrorReceiver Member List

This is the complete list of members for cz.muni.stanse.checker.CheckerErrorReceiver, including all inherited members.

onEnd()	cz.muni.stanse.checker.CheckerErrorReceiver	inline
receive(final CheckerError error)	cz.muni.stanse.checker.CheckerErrorReceiver	inline
receiveAll(final Collection< CheckerError > errors)	cz.muni.stanse.checker.CheckerErrorReceiver	inline