COIN-OR::LEMON - Graph Library

Changeset 108:889d0c289d19 in lemon-1.2 for test


Ignore:
Timestamp:
03/25/08 16:36:44 (16 years ago)
Author:
Balazs Dezso <deba@…>
Branch:
default
Children:
109:abddaa08b507, 112:d2ee5e7f00ef
Phase:
public
Message:

Reworking assertions and moving to distinict file

Location:
test
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • test/Makefile.am

    r106 r108  
    1313        test/digraph_test \
    1414        test/dim_test \
     15        test/error_test \
    1516        test/graph_test \
    1617        test/kruskal_test \
     
    2930test_digraph_test_SOURCES = test/digraph_test.cc
    3031test_dim_test_SOURCES = test/dim_test.cc
    31 #test_error_test_SOURCES = test/error_test.cc
     32test_error_test_SOURCES = test/error_test.cc
    3233test_graph_test_SOURCES = test/graph_test.cc
    3334# test_heap_test_SOURCES = test/heap_test.cc
  • test/error_test.cc

    r66 r108  
    2323
    2424using namespace lemon;
    25 using std::cout;
    26 using std::endl;
    27 
    28 void faulty_fn() {
    29   fault("This is a fault message");
    30 }
    31 
    32 void exception_fn() {
    33   throw Exception("This is a function throwing exception with some args: ")
    34     << 5 << ", " << 18;
    35 }
    36 
    37 void unfinished_fn() {
    38   LEMON_FIXME("unfinished_fn() is unfinished!");
    39 }
     25
     26#ifdef LEMON_ENABLE_ASSERTS
     27#undef LEMON_ENABLE_ASSERTS
     28#endif
     29
     30#ifdef LEMON_DISABLE_ASSERTS
     31#undef LEMON_DISABLE_ASSERTS
     32#endif
     33
     34//checking disabled asserts
     35#define LEMON_DISABLE_ASSERTS
     36#include <lemon/assert.h>
     37
     38void no_assertion_text_disable() {
     39  LEMON_ASSERT(true, "This is a fault message");
     40}
     41
     42void no_assertion_exception_disable() {
     43  LEMON_ASSERT(true, Exception());
     44}
     45
     46void assertion_text_disable() {
     47  LEMON_ASSERT(false, "This is a fault message");
     48}
     49
     50void assertion_exception_disable() {
     51  LEMON_ASSERT(false, Exception());
     52}
     53
     54void fixme_disable() {
     55  LEMON_FIXME("fixme_disable() is fixme!");
     56}
     57
     58void check_assertion_disable() {
     59  no_assertion_text_disable();
     60  no_assertion_exception_disable();
     61  assertion_exception_disable();
     62  assertion_text_disable();
     63  fixme_disable();
     64}
     65#undef LEMON_DISABLE_ASSERTS
     66
     67
     68#define LEMON_ASSERT_ERROR
     69#include <lemon/assert.h>
     70
     71void no_assertion_text_error() {
     72  LEMON_ASSERT(true, "This is a fault message");
     73}
     74
     75void no_assertion_exception_error() {
     76  LEMON_ASSERT(true, Exception());
     77}
     78
     79void assertion_text_error() {
     80  LEMON_ASSERT(false, "This is a fault message");
     81}
     82
     83void assertion_exception_error() {
     84  LEMON_ASSERT(false, Exception());
     85}
     86
     87void fixme_error() {
     88  LEMON_FIXME("fixme_error() is fixme!");
     89}
     90
     91void check_assertion_error() {
     92  no_assertion_text_error();
     93  no_assertion_exception_error();
     94  try {
     95    assertion_exception_error();
     96    check(false, "Assertion error");
     97  } catch (const AssertionFailedError& e) {
     98  }
     99
     100  try {
     101    assertion_text_error();
     102    check(false, "Assertion error");
     103  } catch (const AssertionFailedError& e) {
     104  }
     105
     106  try {
     107    fixme_error();
     108    check(false, "Assertion error");
     109  } catch (const AssertionFailedError& e) {
     110  }
     111}
     112#undef LEMON_ASSERT_ERROR
     113
     114#define LEMON_ASSERT_EXCEPTION
     115#include <lemon/assert.h>
     116
     117void no_assertion_text_exception() {
     118  LEMON_ASSERT(true, "This is a fault message");
     119}
     120
     121void no_assertion_exception_exception() {
     122  LEMON_ASSERT(true, Exception());
     123}
     124
     125void assertion_text_exception() {
     126  LEMON_ASSERT(false, "This is a fault message");
     127}
     128
     129void assertion_exception_exception() {
     130  LEMON_ASSERT(false, Exception());
     131}
     132
     133void fixme_exception() {
     134  LEMON_FIXME("fixme_exception() is fixme!");
     135}
     136
     137void check_assertion_exception() {
     138  no_assertion_text_exception();
     139  no_assertion_exception_exception();
     140  try {
     141    assertion_exception_exception();
     142    check(false, "Assertion error");
     143  } catch (const Exception& e) {
     144  }
     145
     146  try {
     147    assertion_text_exception();
     148    check(false, "Assertion error");
     149  } catch (const AssertionFailedError& e) {
     150  }
     151
     152  try {
     153    assertion_text_exception();
     154    check(false, "Assertion error");
     155  } catch (const AssertionFailedError& e) {
     156  }
     157
     158  try {
     159    fixme_exception();
     160    check(false, "Assertion error");
     161  } catch (const AssertionFailedError& e) {
     162  }
     163}
     164#undef LEMON_ASSERT_EXCEPTION
     165
     166#define LEMON_ASSERT_LOG
     167
     168#include <lemon/assert.h>
     169
     170void no_assertion_text_log() {
     171  LEMON_ASSERT(true, "This is a fault message");
     172}
     173
     174void no_assertion_exception_log() {
     175  LEMON_ASSERT(true, Exception());
     176}
     177
     178void assertion_text_log() {
     179  LEMON_ASSERT(false, "This is a fault message");
     180}
     181
     182void assertion_exception_log() {
     183  LEMON_ASSERT(false, Exception());
     184}
     185
     186void fixme_log() {
     187  LEMON_FIXME("fixme_log() is fixme!");
     188}
     189
     190void check_assertion_log() {
     191  no_assertion_text_log();
     192  no_assertion_exception_log();
     193  std::cerr << "The next 3 failure messages are expected: " << std::endl;
     194  assertion_exception_log();
     195  assertion_text_log();
     196  fixme_log();
     197  std::cerr << "End of expected error messages" << std::endl;
     198}
     199#undef LEMON_ASSERT_LOG
     200
     201#define LEMON_ASSERT_CUSTOM
     202
     203static int cnt = 0;
     204void my_assert_handler(const char*, int, const char*,
     205                       const char*, const char*) {
     206  ++cnt;
     207}
     208
     209void my_assert_handler(const char*, int, const char*,
     210                       const std::exception&, const char*) {
     211  ++cnt;
     212}
     213
     214void my_assert_handler(const char*, int, const char*,
     215                       const std::string&, const char*) {
     216  ++cnt;
     217}
     218
     219
     220#define LEMON_CUSTOM_ASSERT_HANDLER my_assert_handler
     221#include <lemon/assert.h>
     222
     223void no_assertion_text_custom() {
     224  LEMON_ASSERT(true, "This is a fault message");
     225}
     226
     227void no_assertion_exception_custom() {
     228  LEMON_ASSERT(true, Exception());
     229}
     230
     231void assertion_text_custom() {
     232  LEMON_ASSERT(false, "This is a fault message");
     233}
     234
     235void assertion_exception_custom() {
     236  LEMON_ASSERT(false, Exception());
     237}
     238
     239void fixme_custom() {
     240  LEMON_FIXME("fixme_custom() is fixme!");
     241}
     242
     243void check_assertion_custom() {
     244  no_assertion_text_custom();
     245  no_assertion_exception_custom();
     246  assertion_exception_custom();
     247  assertion_text_custom();
     248  fixme_custom();
     249  check(cnt == 3, "The custom assert handler does not work");
     250}
     251
     252#undef LEMON_ASSERT_CUSTOM
    40253
    41254
    42255int main() {
    43   try {
    44     faulty_fn();
    45     check(false, "A faulty function did not fail.");
    46   }
    47   catch(const Exception &e) {
    48     cout << "Exeption = \"" << e.what() << "\" (Right behaviour)" << endl;
    49   }
    50 
    51   try {
    52     exception_fn();
    53     check(false, "The function did not throw Exception.");
    54   }
    55   catch(const Exception &e) {
    56     cout << "Exeption = \"" << e.what() << "\" (Right behaviour)" << endl;
    57   }
    58 
    59   try {
    60     unfinished_fn();
    61     check(false, "FIXME macro does not work.");
    62   }
    63   catch(const Exception &e) {
    64     cout << "Exeption = \"" << e.what() << "\" (Right behaviour)" << endl;
    65   }
     256  check_assertion_disable();
     257  check_assertion_error();
     258  check_assertion_exception();
     259  check_assertion_log();
     260  check_assertion_custom();
    66261
    67262  return 0;
Note: See TracChangeset for help on using the changeset viewer.