boost::icl::LawValidater< LawT, GentorT > Class Template Reference

A class template for test machines. More...

Inheritance diagram for boost::icl::LawValidater< LawT, GentorT >:

List of all members.

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.

---

Detailed Description

template<class LawT, template< typename >class GentorT = RandomGentor>
class boost::icl::LawValidater< LawT, GentorT >

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.

---

Member Function Documentation

template<class LawT , template< typename >class GentorT>

void boost::icl::LawValidater< LawT, GentorT >::init

(

)

[inline, virtual]

Initialize the validater.

Implements boost::icl::LawValidaterI.

template<class LawT , template< typename >class GentorT>

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.

template<class LawT , template< typename >class GentorT = RandomGentor>

void boost::icl::LawValidater< LawT, GentorT >::addFrequencies

(

ValidationCounterT &

)

[inline, virtual]

Add statistics of the validater's run to ValidationCounterT.

Implements boost::icl::LawValidaterI.

template<class LawT , template< typename >class GentorT = RandomGentor>

void boost::icl::LawValidater< LawT, GentorT >::addViolations	(	ViolationCounterT &	,
		ViolationMapT &
	)			[inline, virtual]

Add statistics and law violations to book keeper objects.

Implements boost::icl::LawValidaterI.

---

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

• boost/validate/validater/law_validater.hpp