quickcheck::Property< A, B, C > Class Template Reference

3-argument property. More...

#include <Property.hh>

Inheritance diagram for quickcheck::Property< A, B, C >:

List of all members.

Public Member Functions
virtual void	addFixed (const A &a, const B &b, const C &c)
Private Member Functions
virtual bool	accepts (const A &a, const B &b, const C &c)
virtual const std::string	classify (const A &a, const B &b, const C &c)
virtual void	generateInput (size_t n, A &a, B &b, C &c)
virtual bool	holdsFor (const A &a, const B &b, const C &c)=0
virtual bool	isTrivialFor (const A &a, const B &b, const C &c)
bool	_accepts (const A &a, const B &b, const C &c, const Unit &d, const Unit &e)
const std::string	_classify (const A &a, const B &b, const C &c, const Unit &d, const Unit &e)
void	_generateInput (size_t n, A &a, B &b, C &c, Unit &d, Unit &e)
bool	_holdsFor (const A &a, const B &b, const C &c, const Unit &d, const Unit &e)
bool	_isTrivialFor (const A &a, const B &b, const C &c, const Unit &d, const Unit &e)

---

Detailed Description

template<class A, class B, class C>
class quickcheck::Property< A, B, C >

3-argument property.

This class models a property (see PropertyBase) with 3-argument input.

Template Parameters:

	A	the type of the first argument
	B	the type of the second argument
	C	the type of the third argument

---

Member Function Documentation

template<class A, class B, class C>

void quickcheck::Property< A, B, C >::addFixed	(	const A &	a,
		const B &	b,
		const C &	c
	)			[inline, virtual]

3-argument counterpart of Property::addFixed.

Parameters:

	a	the first argument of the test case
	b	the second argument of the test case
	c	the third argument of the test case

template<class A, class B, class C>

bool quickcheck::Property< A, B, C >::accepts	(	const A &	a,
		const B &	b,
		const C &	c
	)			[inline, private, virtual]

Tells whether or not this property should accept given arguments.

3-argument counterpart of Property::accepts.

Parameters:

	a	the first argument
	b	the second argument
	c	the third argument

template<class A, class B, class C>

const std::string quickcheck::Property< A, B, C >::classify	(	const A &	a,
		const B &	b,
		const C &	c
	)			[inline, private, virtual]

Classifies input to allow observation of input distribution.

3-argument counterpart of Property::classify.

Parameters:

	a	the first argument
	b	the second argument
	c	the third argument

template<class A, class B, class C>

void quickcheck::Property< A, B, C >::generateInput	(	size_t	n,
		A &	a,
		B &	b,
		C &	c
	)			[inline, private, virtual]

Generates input randomly.

3-argument counterpart of Property::generateInput.

Parameters:

	n	the size hint
	a	the first argument
	b	the second argument
	c	the third argument

template<class A, class B, class C>

virtual bool quickcheck::Property< A, B, C >::holdsFor	(	const A &	a,
		const B &	b,
		const C &	c
	)			[private, pure virtual]

Tells whether or not this property holds for the given input.

3-argument counterpart of Property::holdsFor.

Parameters:

	a	the first argument
	b	the second argument
	c	the third argument

template<class A, class B, class C>

bool quickcheck::Property< A, B, C >::isTrivialFor	(	const A &	a,
		const B &	b,
		const C &	c
	)			[inline, private, virtual]

Tells whether or not the property is trivially true for the given input.

3-argument counterpart of Property::isTrivialFor.

Parameters:

	a	the first argument
	b	the second argument
	c	the third argument

template<class A, class B, class C>

bool quickcheck::Property< A, B, C >::_accepts	(	const A &	a,
		const B &	b,
		const C &	c,
		const Unit &	d,
		const Unit &	e
	)			[inline, private]

template<class A, class B, class C>

const std::string quickcheck::Property< A, B, C >::_classify	(	const A &	a,
		const B &	b,
		const C &	c,
		const Unit &	d,
		const Unit &	e
	)			[inline, private]

template<class A, class B, class C>

void quickcheck::Property< A, B, C >::_generateInput	(	size_t	n,
		A &	a,
		B &	b,
		C &	c,
		Unit &	d,
		Unit &	e
	)			[inline, private]

template<class A, class B, class C>

bool quickcheck::Property< A, B, C >::_holdsFor	(	const A &	a,
		const B &	b,
		const C &	c,
		const Unit &	d,
		const Unit &	e
	)			[inline, private]

template<class A, class B, class C>

bool quickcheck::Property< A, B, C >::_isTrivialFor	(	const A &	a,
		const B &	b,
		const C &	c,
		const Unit &	d,
		const Unit &	e
	)			[inline, private]

---

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

• quickcheck/Property.hh