95 lines
4.4 KiB
C++
95 lines
4.4 KiB
C++
#ifndef CPPUNIT_EXTENSIONS_ORTHODOX_H
|
||
#define CPPUNIT_EXTENSIONS_ORTHODOX_H
|
||
|
||
#include <cppunit/TestCase.h>
|
||
|
||
CPPUNIT_NS_BEGIN
|
||
|
||
|
||
/*
|
||
* Orthodox performs a simple set of tests on an arbitary
|
||
* class to make sure that it supports at least the
|
||
* following operations:
|
||
*
|
||
* default construction - constructor
|
||
* equality/inequality - operator== && operator!=
|
||
* assignment - operator=
|
||
* negation - operator!
|
||
* safe passage - copy construction
|
||
*
|
||
* If operations for each of these are not declared
|
||
* the template will not instantiate. If it does
|
||
* instantiate, tests are performed to make sure
|
||
* that the operations have correct semantics.
|
||
*
|
||
* Adding an orthodox test to a suite is very
|
||
* easy:
|
||
*
|
||
* public: Test *suite () {
|
||
* TestSuite *suiteOfTests = new TestSuite;
|
||
* suiteOfTests->addTest (new ComplexNumberTest ("testAdd");
|
||
* suiteOfTests->addTest (new TestCaller<Orthodox<Complex> > ());
|
||
* return suiteOfTests;
|
||
* }
|
||
*
|
||
* Templated test cases be very useful when you are want to
|
||
* make sure that a group of classes have the same form.
|
||
*
|
||
* see TestSuite
|
||
*/
|
||
|
||
|
||
template <class ClassUnderTest> class Orthodox : public TestCase
|
||
{
|
||
public:
|
||
Orthodox () : TestCase ("Orthodox") {}
|
||
|
||
protected:
|
||
ClassUnderTest call (ClassUnderTest object);
|
||
void runTest ();
|
||
|
||
|
||
};
|
||
|
||
|
||
// Run an orthodoxy test
|
||
template <class ClassUnderTest> void Orthodox<ClassUnderTest>::runTest ()
|
||
{
|
||
// make sure we have a default constructor
|
||
ClassUnderTest a, b, c;
|
||
|
||
// make sure we have an equality operator
|
||
CPPUNIT_ASSERT (a == b);
|
||
|
||
// check the inverse
|
||
b.operator= (a.operator! ());
|
||
CPPUNIT_ASSERT (a != b);
|
||
|
||
// double inversion
|
||
b = !!a;
|
||
CPPUNIT_ASSERT (a == b);
|
||
|
||
// invert again
|
||
b = !a;
|
||
|
||
// check calls
|
||
c = a;
|
||
CPPUNIT_ASSERT (c == call (a));
|
||
|
||
c = b;
|
||
CPPUNIT_ASSERT (c == call (b));
|
||
|
||
}
|
||
|
||
|
||
// Exercise a call
|
||
template <class ClassUnderTest>
|
||
ClassUnderTest Orthodox<ClassUnderTest>::call (ClassUnderTest object)
|
||
{
|
||
return object;
|
||
}
|
||
|
||
|
||
CPPUNIT_NS_END
|
||
|
||
#endif
|