[PPL-devel] [GIT] ppl/ppl(master): Better differentiate between unreachable code and unexpected values.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Dec  9 17:41:47 2011 +0100

Better differentiate between unreachable code and unexpected values.
We call, e.g., PPL_JAVA_UNEXPECTED when we are converting an illegal
Java value to a C++ value; we call PPL_UNREACHABLE when such a mismatch
occurs the other way round (an illegal C++ value produced by the core library).

---

 interfaces/C/ppl_c_implementation_common.cc        |    9 +--
 interfaces/C/ppl_c_implementation_common.defs.hh   |    3 -
 ...ppl_interface_generator_java_classes_cc_code.m4 |    8 +-
 interfaces/Java/jni/ppl_java_common.cc             |   52 ++++++++--------
 interfaces/Java/jni/ppl_java_common.defs.hh        |   24 ++++---
 interfaces/OCaml/ppl_ocaml_common.cc               |   67 ++++++++------------
 interfaces/OCaml/ppl_ocaml_common.defs.hh          |    4 +-
 7 files changed, 75 insertions(+), 92 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=3440f5a82c511096e4070825fb85c5374b6ddb72