- case unknown_error: return "unknown_err";
- case arg_error: return "invalid_arg";
- case mismatch_error: return "mismatch";
- case not_found_error: return "not found";
- case system_error: return "system_err";
- case network_error: return "network_err";
- case timeout_error: return "timeout";
- case thread_error: return "thread_err";
- default: return "INVALID_ERR";
+ case unknown_error:
+ return "unknown error";
+ case arg_error:
+ return "invalid argument";
+ case bound_error:
+ return "out of bounds";
+ case mismatch_error:
+ return "mismatch";
+ case not_found_error:
+ return "not found";
+ case system_error:
+ return "system error";
+ case network_error:
+ return "network error";
+ case timeout_error:
+ return "timeout";
+ case cancel_error:
+ return "action canceled";
+ case thread_error:
+ return "thread error";
+ case host_error:
+ return "host failed";
+ case tracing_error:
+ return "tracing error";
+ case io_error:
+ return "io error";
+ }
+ return "INVALID ERROR";
+}
+
+
+#ifdef SIMGRID_TEST
+#include <stdio.h>
+#include "xbt/ex.h"
+
+XBT_TEST_SUITE("xbt_ex", "Exception Handling");
+
+XBT_TEST_UNIT("controlflow", test_controlflow, "basic nested control flow")
+{
+ xbt_ex_t ex;
+ volatile int n = 1;
+
+ xbt_test_add("basic nested control flow");
+
+ TRY {
+ if (n != 1)
+ xbt_test_fail("M1: n=%d (!= 1)", n);
+ n++;
+ TRY {
+ if (n != 2)
+ xbt_test_fail("M2: n=%d (!= 2)", n);
+ n++;
+ THROWF(unknown_error, 0, "something");
+ }
+ CATCH(ex) {
+ if (n != 3)
+ xbt_test_fail("M3: n=%d (!= 3)", n);
+ n++;
+ xbt_ex_free(ex);
+ }
+ n++;
+ TRY {
+ if (n != 5)
+ xbt_test_fail("M2: n=%d (!= 5)", n);
+ n++;
+ THROWF(unknown_error, 0, "something");
+ }
+ CATCH_ANONYMOUS {
+ if (n != 6)
+ xbt_test_fail("M3: n=%d (!= 6)", n);
+ n++;
+ RETHROW;
+ n++;
+ }
+ xbt_test_fail("MX: n=%d (shouldn't reach this point)", n);
+ }
+ CATCH(ex) {
+ if (n != 7)
+ xbt_test_fail("M4: n=%d (!= 7)", n);
+ n++;
+ xbt_ex_free(ex);
+ }
+ if (n != 8)
+ xbt_test_fail("M5: n=%d (!= 8)", n);
+}
+
+XBT_TEST_UNIT("value", test_value, "exception value passing")
+{
+ xbt_ex_t ex;
+
+ TRY {
+ THROWF(unknown_error, 2, "toto");
+ }
+ CATCH(ex) {
+ xbt_test_add("exception value passing");
+ if (ex.category != unknown_error)
+ xbt_test_fail("category=%d (!= 1)", (int)ex.category);
+ if (ex.value != 2)
+ xbt_test_fail("value=%d (!= 2)", ex.value);
+ if (strcmp(ex.msg, "toto"))
+ xbt_test_fail("message=%s (!= toto)", ex.msg);
+ xbt_ex_free(ex);
+ }
+}
+
+XBT_TEST_UNIT("variables", test_variables, "variable value preservation")
+{
+ xbt_ex_t ex;
+ int r1;
+ int _XBT_GNUC_UNUSED r2;
+ volatile int v1, v2;
+
+ r1 = r2 = v1 = v2 = 1234;
+ TRY {
+ r2 = 5678;
+ v2 = 5678;
+ THROWF(unknown_error, 0, "toto");
+ }
+ CATCH(ex) {
+ xbt_test_add("variable preservation");
+ if (r1 != 1234)
+ xbt_test_fail("r1=%d (!= 1234)", r1);
+ if (v1 != 1234)
+ xbt_test_fail("v1=%d (!= 1234)", v1);
+ /* r2 is allowed to be destroyed because not volatile */
+ if (v2 != 5678)
+ xbt_test_fail("v2=%d (!= 5678)", v2);
+ xbt_ex_free(ex);