/* ** OSSP ex - Exception Handling ** Copyright (c) 2002-2007 Ralf S. Engelschall ** Copyright (c) 2002-2007 The OSSP Project ** ** This file is part of OSSP ex, an exception handling library ** which can be found at http://www.ossp.org/pkg/lib/ex/. ** ** Permission to use, copy, modify, and distribute this software for ** any purpose with or without fee is hereby granted, provided that ** the above copyright notice and this permission notice appear in all ** copies. ** ** THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED ** WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF ** MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. ** IN NO EVENT SHALL THE AUTHORS AND COPYRIGHT HOLDERS AND THEIR ** CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, ** SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT ** LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF ** USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ** ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, ** OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT ** OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF ** SUCH DAMAGE. ** ** ex_test.c: exception handling test suite */ #include #include #include #include "ts.h" #include "ex.h" TS_TEST(test_controlflow) { ex_t ex; volatile int n; ts_test_check(TS_CTX, "basic nested control flow"); n = 1; ex_try { if (n != 1) ts_test_fail(TS_CTX, "M1: n=%d (!= 1)", n); n++; ex_try { if (n != 2) ts_test_fail(TS_CTX, "M2: n=%d (!= 2)", n); n++; ex_throw(0, 0, 0); } ex_catch (ex) { if (n != 3) ts_test_fail(TS_CTX, "M3: n=%d (!= 1)", n); n++; ex_rethrow; } ts_test_fail(TS_CTX, "MX: n=%d (expected: not reached)", n); } ex_catch (ex) { if (n != 4) ts_test_fail(TS_CTX, "M4: n=%d (!= 4)", n); n++; } if (n != 5) ts_test_fail(TS_CTX, "M5: n=%d (!= 5)", n); } TS_TEST(test_value) { ex_t ex; ex_try { ex_throw(1, 2, 3); } ex_catch (ex) { ts_test_check(TS_CTX, "exception value passing"); if (ex.ex_class != (void *)1) ts_test_fail(TS_CTX, "ex_class=0x%lx (!= 1)", (long)ex.ex_class); if (ex.ex_object != (void *)2) ts_test_fail(TS_CTX, "ex_object=0x%lx (!= 2)", (long)ex.ex_object); if (ex.ex_value != (void *)3) ts_test_fail(TS_CTX, "ex_value=0x%lx (!= 3)", (long)ex.ex_value); } } TS_TEST(test_variables) { ex_t ex; int r1, r2; volatile int v1, v2; r1 = r2 = v1 = v2 = 1234; ex_try { r2 = 5678; v2 = 5678; ex_throw(0, 0, 0); } ex_catch (ex) { ts_test_check(TS_CTX, "variable preservation"); if (r1 != 1234) ts_test_fail(TS_CTX, "r1=%d (!= 1234)", r1); if (v1 != 1234) ts_test_fail(TS_CTX, "v1=%d (!= 1234)", v1); /* r2 is allowed to be destroyed because not volatile */ if (v2 != 5678) ts_test_fail(TS_CTX, "v2=%d (!= 5678)", v2); } } TS_TEST(test_defer) { ex_t ex; volatile int i1 = 0; volatile int i2 = 0; volatile int i3 = 0; ts_test_check(TS_CTX, "exception deferring"); if (ex_deferring) ts_test_fail(TS_CTX, "unexpected deferring scope"); ex_try { ex_defer { if (!ex_deferring) ts_test_fail(TS_CTX, "unexpected non-deferring scope"); ex_defer { i1 = 1; ex_throw(0, 0, 4711); i2 = 2; ex_throw(0, 0, 0); i3 = 3; ex_throw(0, 0, 0); } ex_throw(0, 0, 0); } ts_test_fail(TS_CTX, "unexpected not occurred deferred throwing"); } ex_catch (ex) { if ((long)ex.ex_value != (long)4711) ts_test_fail(TS_CTX, "caught exception with value %d, expected 4711", (long)ex.ex_value); } if (i1 != 1) ts_test_fail(TS_CTX, "v.i1 not set (expected 1, got %d)", i1); if (i2 != 2) ts_test_fail(TS_CTX, "v.i2 not set (expected 2, got %d)", i2); if (i3 != 3) ts_test_fail(TS_CTX, "v.i3 not set (expected 3, got %d)", i3); } TS_TEST(test_shield) { ex_t ex; ts_test_check(TS_CTX, "exception shielding"); if (ex_shielding) ts_test_fail(TS_CTX, "unexpected shielding scope"); if (ex_catching) ts_test_fail(TS_CTX, "unexpected catching scope"); ex_try { ex_shield { if (!ex_shielding) ts_test_fail(TS_CTX, "unexpected non-shielding scope"); ex_throw(0, 0, 0); } if (ex_shielding) ts_test_fail(TS_CTX, "unexpected shielding scope"); if (!ex_catching) ts_test_fail(TS_CTX, "unexpected non-catching scope"); } ex_catch (ex) { ts_test_fail(TS_CTX, "unexpected exception catched"); if (ex_catching) ts_test_fail(TS_CTX, "unexpected catching scope"); } if (ex_catching) ts_test_fail(TS_CTX, "unexpected catching scope"); } TS_TEST(test_cleanup) { ex_t ex; volatile int v1; int c; ts_test_check(TS_CTX, "cleanup handling"); v1 = 1234; c = 0; ex_try { v1 = 5678; ex_throw(1, 2, 3); } ex_cleanup { if (v1 != 5678) ts_test_fail(TS_CTX, "v1 = %d (!= 5678)", v1); c = 1; } ex_catch (ex) { if (v1 != 5678) ts_test_fail(TS_CTX, "v1 = %d (!= 5678)", v1); if (!(ex.ex_class == (void *)1 && ex.ex_object == (void *)2 && ex.ex_value == (void *)3)) ts_test_fail(TS_CTX, "unexpected exception contents"); } if (!c) ts_test_fail(TS_CTX, "ex_cleanup not executed"); } int main(int argc, char *argv[]) { ts_suite_t *ts; int n; ts = ts_suite_new("OSSP ex (Exception Handling)"); ts_suite_test(ts, test_controlflow, "basic nested control flow"); ts_suite_test(ts, test_value, "exception value passing"); ts_suite_test(ts, test_variables, "variable value preservation"); ts_suite_test(ts, test_defer, "exception deferring"); ts_suite_test(ts, test_shield, "exception shielding"); ts_suite_test(ts, test_cleanup, "cleanup handling"); n = ts_suite_run(ts); ts_suite_free(ts); return n; }