Module: ppl/ppl Branch: master Commit: 3440f5a82c511096e4070825fb85c5374b6ddb72 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3440f5a82c511... Author: Enea Zaffanella <zaffanella@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=3440f5a82...