tests/Example.cxx

   1 #include <tests/Example.hxx>
   2 #include <libsex/Exception.hxx>
   3 #include <libfsafe/checkpoint.hxx>
   4 #include <libfsafe/assert.hxx>
   5 #include <sstream>
   6
   7 // main() is the entry point -- both for our example
   8 // "application" and this unit test.
   9
  10 void tests::Example::main()
  11 {
  12         std::stringstream cout;
  13
  14         try {
  15                 // Real work starts now.
  16
  17                 initialize();
  18                 run();
  19                 cleanup();
  20
  21                 // Real work finished.
  22
  23         } catch (libsex::Exception& e) {
  24                 e.backtrace(cout);
  25         }
  26
  27         std::string exp =
  28                 __FILE__ ":54: In 'c = calculate(a)':\n"
  29                 __FILE__ ":64: Precondition 'ptr[1] < 42' violated.";
  30         CPPUNIT_ASSERT_EQUAL(exp, cout.str());
  31 }
  32
  33 void tests::Example::initialize()
  34 {
  35         // Some boring initialization stuff.
  36 }
  37
  38 void tests::Example::cleanup()
  39 {
  40         // Boring cleanup here.
  41 }
  42
  43 void tests::Example::run()
  44 {
  45         // The really important part of our code.
  46
  47         int a[2];
  48         a[0] = 41;
  49         a[1] = 42;
  50
  51         // Note that we can't declare c in CHECKPOINT
  52         // because it would be wrapped in try-catch.
  53         int c;
  54         CHECKPOINT(c = calculate(a));
  55
  56         // Now do something with c.
  57         (void) c;
  58 }
  59
  60 int tests::Example::calculate(int* ptr)
  61 {
  62         ASSERT_PRE(ptr != NULL);
  63         ASSERT_PRE(ptr[0] < 42);
  64         ASSERT_PRE(ptr[1] < 42);
  65
  66         int result = ptr[0] + ptr[1];
  67
  68         ASSERT_POST(result <= 82);
  69         return result;
  70 }