An interface for a test machine. More...
Public Member Functions | |
virtual void | addFrequencies (ValidationCounterT &)=0 |
Add statistics of the validater's run to ValidationCounterT . | |
virtual void | addViolations (ViolationCounterT &, ViolationMapT &)=0 |
Add statistics and law violations to book keeper objects. | |
virtual void | init ()=0 |
Initialize the validater. | |
virtual void | run ()=0 |
Run tests on the law. | |
virtual | ~LawValidaterI () |
Virtual dtor. |
An interface for a test machine.
virtual boost::icl::LawValidaterI::~LawValidaterI | ( | ) | [inline, virtual] |
Virtual dtor.
virtual void boost::icl::LawValidaterI::init | ( | ) | [pure virtual] |
Initialize the validater.
Implemented in boost::icl::LawValidater< LawT, GentorT >.
virtual void boost::icl::LawValidaterI::run | ( | ) | [pure virtual] |
Run tests on the law.
Generate law instantiations, test the law on them. Collect violations, if they occur.
Implemented in boost::icl::LawValidater< LawT, GentorT >.
virtual void boost::icl::LawValidaterI::addFrequencies | ( | ValidationCounterT & | ) | [pure virtual] |
Add statistics of the validater's run to ValidationCounterT
.
Implemented in boost::icl::LawValidater< LawT, GentorT >.
virtual void boost::icl::LawValidaterI::addViolations | ( | ViolationCounterT & | , | |
ViolationMapT & | ||||
) | [pure virtual] |
Add statistics and law violations to book keeper objects.
Implemented in boost::icl::LawValidater< LawT, GentorT >.