[PPL-devel] [GIT] ppl/ppl(master): Added std:: logic_error to the list of exceptions caught.

Patricia Hill p.m.hill at leeds.ac.uk
Sat Mar 20 17:57:04 CET 2010


Module: ppl/ppl
Branch: master
Commit: 0cf98127510beb73d5d9f8a5fbb72c8c1b740853
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cf98127510beb73d5d9f8a5fbb72c8c1b740853

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Thu Mar 18 15:08:15 2010 +0000

Added std::logic_error to the list of exceptions caught.

---

 interfaces/OCaml/ppl_ocaml_common.defs.hh   |    4 ++++
 interfaces/Prolog/ppl_prolog_common.defs.hh |    3 +++
 2 files changed, 7 insertions(+), 0 deletions(-)

diff --git a/interfaces/OCaml/ppl_ocaml_common.defs.hh b/interfaces/OCaml/ppl_ocaml_common.defs.hh
index fde6a8e..db969a8 100644
--- a/interfaces/OCaml/ppl_ocaml_common.defs.hh
+++ b/interfaces/OCaml/ppl_ocaml_common.defs.hh
@@ -209,6 +209,10 @@ catch(std::exception& e) {						\
   caml_raise_with_string(*caml_named_value("PPL_unknown_standard_exception"), \
                          (const_cast<char*>(e.what())));		\
 }									\
+catch(std::logic_error& e) {						\
+  caml_raise_with_string(*caml_named_value("PPL_logic_error"), \
+                         (const_cast<char*>(e.what())));		\
+}									\
 catch(timeout_exception&) {                                             \
   reset_timeout();                                                      \
   caml_raise_constant(*caml_named_value("PPL_timeout_exception"));      \
diff --git a/interfaces/Prolog/ppl_prolog_common.defs.hh b/interfaces/Prolog/ppl_prolog_common.defs.hh
index 33af32d..bb3e245 100644
--- a/interfaces/Prolog/ppl_prolog_common.defs.hh
+++ b/interfaces/Prolog/ppl_prolog_common.defs.hh
@@ -513,6 +513,9 @@ handle_exception(const deterministic_timeout_exception&);
   catch (const std::exception& e) { \
     handle_exception(e); \
   } \
+  catch (const std::logic_error& e) { \
+    handle_exception(e); \
+  } \
   catch (...) { \
     handle_exception(); \
   } \




More information about the PPL-devel mailing list