|
virtual bool | accepts (const A &a, const B &b, const C &c, const D &d) |
| Tells whether or not this property should accept given arguments. More...
|
|
virtual const std::string | classify (const A &a, const B &b, const C &c, const D &d) |
| Classifies input to allow observation of input distribution. More...
|
|
virtual void | generateInput (size_t n, A &a, B &b, C &c, D &d) |
| Generates input randomly. More...
|
|
virtual bool | holdsFor (const A &a, const B &b, const C &c, const D &d)=0 |
| Tells whether or not this property holds for the given input. More...
|
|
virtual bool | isTrivialFor (const A &a, const B &b, const C &c, const D &d) |
| Tells whether or not the property is trivially true for the given input. More...
|
|
bool | _accepts (const A &a, const B &b, const C &c, const D &d, const Unit &e) |
| Generic wrapper for Property::accepts. More...
|
|
const std::string | _classify (const A &a, const B &b, const C &c, const D &d, const Unit &e) |
| Generic wrapper for Property::classify. More...
|
|
void | _generateInput (size_t n, A &a, B &b, C &c, D &d, Unit &e) |
| Generic wrapper for Property::generateInput. More...
|
|
bool | _holdsFor (const A &a, const B &b, const C &c, const D &d, const Unit &e) |
| Generic wrappper for Property::holdsFor. More...
|
|
bool | _isTrivialFor (const A &a, const B &b, const C &c, const D &d, const Unit &e) |
| Generic wrapper for Property::isTrivialFor. More...
|
|
template<class A, class B, class C, class D>
class quickcheck::Property< A, B, C, D >
4-argument property.
This class models a property (see PropertyBase) with 4-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 |
D | the type of the fourth argument |
template<class A , class B , class C , class D >
bool quickcheck::Property< A, B, C, D >::_accepts |
( |
const A & |
a, |
|
|
const B & |
b, |
|
|
const C & |
c, |
|
|
const D & |
d, |
|
|
const Unit & |
e |
|
) |
| |
|
privatevirtual |
Generic wrapper for Property::accepts.
- Parameters
-
a | the first argument |
b | the second argument or UNIT if less than two arguments |
c | the third argument or UNIT if less than three arguments |
d | the fourth argument or UNIT if less than four arguments |
e | the fifth argument or UNIT if less than five arguments |
- Returns
true
if arguments forms valid input and false
otherwise
Implements quickcheck::PropertyBase< A, B, C, D, Unit >.
template<class A , class B , class C , class D >
const std::string quickcheck::Property< A, B, C, D >::_classify |
( |
const A & |
a, |
|
|
const B & |
b, |
|
|
const C & |
c, |
|
|
const D & |
d, |
|
|
const Unit & |
e |
|
) |
| |
|
privatevirtual |
Generic wrapper for Property::classify.
- Parameters
-
a | the first argument |
b | the second argument or UNIT if less than two arguments |
c | the third argument or UNIT if less than three arguments |
d | the fourth argument or UNIT if less than four arguments |
e | the fifth argument or UNIT if less than five arguments |
- Returns
- a string representing the input class
Implements quickcheck::PropertyBase< A, B, C, D, Unit >.
template<class A , class B , class C , class D >
Generic wrapper for Property::generateInput.
- Parameters
-
n | the size hint |
a | the first argument |
b | the second argument or UNIT if less than two arguments |
c | the third argument or UNIT if less than three arguments |
d | the fourth argument or UNIT if less than four arguments |
e | the fifth argument or UNIT if less than five arguments |
Implements quickcheck::PropertyBase< A, B, C, D, Unit >.
template<class A , class B , class C , class D >
bool quickcheck::Property< A, B, C, D >::_holdsFor |
( |
const A & |
a, |
|
|
const B & |
b, |
|
|
const C & |
c, |
|
|
const D & |
d, |
|
|
const Unit & |
e |
|
) |
| |
|
privatevirtual |
Generic wrappper for Property::holdsFor.
- Parameters
-
a | the first argument |
b | the second argument or UNIT if less than two arguments |
c | the third argument or UNIT if less than three arguments |
d | the fourth argument or UNIT if less than four arguments |
e | the fifth argument or UNIT if less than five arguments |
- Returns
true
if the property holds and false
otherwise
Implements quickcheck::PropertyBase< A, B, C, D, Unit >.
template<class A , class B , class C , class D >
bool quickcheck::Property< A, B, C, D >::_isTrivialFor |
( |
const A & |
a, |
|
|
const B & |
b, |
|
|
const C & |
c, |
|
|
const D & |
d, |
|
|
const Unit & |
e |
|
) |
| |
|
privatevirtual |
Generic wrapper for Property::isTrivialFor.
- Parameters
-
a | the first argument |
b | the second argument or UNIT if less than two arguments |
c | the third argument or UNIT if less than three arguments |
d | the fourth argument or UNIT if less than four arguments |
e | the fifth argument or UNIT if less than five arguments |
- Returns
true
if the property is trivial for given arguments and false
otherwise
Implements quickcheck::PropertyBase< A, B, C, D, Unit >.