A class template for test machines. More...
Public Member Functions | |
void | addFrequencies (ValidationCounterT &summary) |
Add statistics of the validater's run to ValidationCounterT . | |
void | addViolations (ViolationCounterT &summary, ViolationMapT &collector) |
Add statistics and law violations to book keeper objects. | |
void | init () |
Initialize the validater. | |
void | run () |
Run tests on the law. |
A class template for test machines.
Class template LawValidater
defines a testmachine for a given law LawT
and a generator template, that produces a matching generator of input variables for the law.
void boost::icl::LawValidater< LawT, GentorT >::init | ( | ) | [inline, virtual] |
Initialize the validater.
Implements boost::icl::LawValidaterI.
void boost::icl::LawValidater< LawT, GentorT >::run | ( | ) | [inline, virtual] |
Run tests on the law.
Generate law instantiations, test the law on them. Collect violations, if they occur.
Implements boost::icl::LawValidaterI.
void boost::icl::LawValidater< LawT, GentorT >::addFrequencies | ( | ValidationCounterT & | ) | [inline, virtual] |
Add statistics of the validater's run to ValidationCounterT
.
Implements boost::icl::LawValidaterI.
void boost::icl::LawValidater< LawT, GentorT >::addViolations | ( | ViolationCounterT & | , | |
ViolationMapT & | ||||
) | [inline, virtual] |
Add statistics and law violations to book keeper objects.
Implements boost::icl::LawValidaterI.