QuickCheck++  0.0.3
Automated testing library
Public Member Functions | Private Member Functions | List of all members
quickcheck::Property< A > Class Template Reference

1-argument property. More...

#include <Property.hh>

Inheritance diagram for quickcheck::Property< A >:
quickcheck::PropertyBase< A, Unit, Unit, Unit, Unit >

Public Member Functions

virtual void addFixed (const A &a)
 Adds a fixed test case for with the given arguments.
- Public Member Functions inherited from quickcheck::PropertyBase< A, Unit, Unit, Unit, Unit >
 PropertyBase ()
 Constructor.
virtual ~PropertyBase ()
 Destructor.
bool check (size_t n=100, size_t max=0, bool isVerbose=false, std::ostream &out=std::cout)
 Checks this property.

Private Member Functions

virtual bool accepts (const A &a)
 Tells whether or not this property should accept given arguments.
virtual const std::string classify (const A &a)
 Classifies input to allow observation of input distribution.
virtual void generateInput (size_t n, A &a)
 Generates input randomly.
virtual bool holdsFor (const A &a)=0
 Tells whether or not this property holds for the given input.
virtual bool isTrivialFor (const A &a)
 Tells whether or not the property is trivially true for the given input.
bool _accepts (const A &a, const Unit &b, const Unit &c, const Unit &d, const Unit &e)
const std::string _classify (const A &a, const Unit &b, const Unit &c, const Unit &d, const Unit &e)
void _generateInput (size_t n, A &a, Unit &b, Unit &c, Unit &d, Unit &e)
bool _holdsFor (const A &a, const Unit &b, const Unit &c, const Unit &d, const Unit &e)
bool _isTrivialFor (const A &a, const Unit &b, const Unit &c, const Unit &d, const Unit &e)

Additional Inherited Members

- Protected Member Functions inherited from quickcheck::PropertyBase< A, Unit, Unit, Unit, Unit >
void _addFixed (const A &a, const Unit &b, const Unit &c, const Unit &d, const Unit &e)
 Adds a fixed test case for with the given arguments.

Detailed Description

template<class A>
class quickcheck::Property< A >

1-argument property.

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

Template Parameters
Athe type of the only argument

Member Function Documentation

template<class A >
bool quickcheck::Property< A >::_accepts ( const A &  a,
const Unit b,
const Unit c,
const Unit d,
const Unit e 
)
private
template<class A >
const std::string quickcheck::Property< A >::_classify ( const A &  a,
const Unit b,
const Unit c,
const Unit d,
const Unit e 
)
private
template<class A >
void quickcheck::Property< A >::_generateInput ( size_t  n,
A &  a,
Unit b,
Unit c,
Unit d,
Unit e 
)
private
template<class A >
bool quickcheck::Property< A >::_holdsFor ( const A &  a,
const Unit b,
const Unit c,
const Unit d,
const Unit e 
)
private
template<class A >
bool quickcheck::Property< A >::_isTrivialFor ( const A &  a,
const Unit b,
const Unit c,
const Unit d,
const Unit e 
)
private
template<class A >
bool quickcheck::Property< A >::accepts ( const A &  a)
privatevirtual

Tells whether or not this property should accept given arguments.

1-argument counterpart of Property::accepts.

Parameters
athe only argument
template<class A >
void quickcheck::Property< A >::addFixed ( const A &  a)
virtual

Adds a fixed test case for with the given arguments.

1-argument counterpart of Property::addFixed.

Parameters
athe first argument of the test case
template<class A >
const std::string quickcheck::Property< A >::classify ( const A &  a)
privatevirtual

Classifies input to allow observation of input distribution.

1-argument counterpart of Property::classify.

Parameters
athe only argument
template<class A >
void quickcheck::Property< A >::generateInput ( size_t  n,
A &  a 
)
privatevirtual

Generates input randomly.

1-argument counterpart of Property::generateInput.

Parameters
nthe size hint
athe only argument
template<class A >
virtual bool quickcheck::Property< A >::holdsFor ( const A &  a)
privatepure virtual

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

1-argument counterpart of Property::holdsFor.

Parameters
athe only argument
template<class A >
bool quickcheck::Property< A >::isTrivialFor ( const A &  a)
privatevirtual

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

1-argument counterpart of Property::isTrivialFor.

Parameters
athe only argument

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