96 lines
2.1 KiB
C
96 lines
2.1 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
|