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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 21 21:35:36 2009 +0100

Added the new pretty print functionality to Java, OCaml and Prolog interfaces. The predicate takes 3 arguments for specifying preferred wrapping behavior. For Prolog, new predicate is called ppl_CLASS_pretty_print_to_atom/5 and put the result in the last argument as an atom. For Java, method takes a Writer as the first argument. For Caml, function ppl_CLASS_pretty_print returns a caml string.

While at it, also added missing ascii_dump method to Caml and Java interfaces, as well as for the MIP_Problem Prolog interface.

---

interfaces/C/ppl_interface_generator_c_cc_code.m4 | 1 + interfaces/C/ppl_interface_generator_c_h_code.m4 | 1 + ...ppl_interface_generator_java_classes_cc_code.m4 | 31 ++ interfaces/Java/jni/ppl_java_globals.cc | 437 ++++++++++++++++++-- .../Java/parma_polyhedra_library/Congruence.java | 22 + .../parma_polyhedra_library/Congruence_System.java | 24 +- .../Java/parma_polyhedra_library/Constraint.java | 22 + .../parma_polyhedra_library/Constraint_System.java | 24 +- .../Java/parma_polyhedra_library/Generator.java | 22 + .../parma_polyhedra_library/Generator_System.java | 24 +- .../parma_polyhedra_library/Grid_Generator.java | 23 +- .../Grid_Generator_System.java | 24 +- .../parma_polyhedra_library/Linear_Expression.java | 24 +- .../Java/parma_polyhedra_library/MIP_Problem.java | 22 + .../ppl_interface_generator_java_classes_java.m4 | 3 + ...l_interface_generator_java_classes_java_code.m4 | 22 +- .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 33 ++- .../OCaml/ppl_interface_generator_ocaml_ml_code.m4 | 13 +- .../ppl_interface_generator_ocaml_mli_code.m4 | 64 ++-- interfaces/OCaml/ppl_ocaml_common.cc | 35 ++ interfaces/OCaml/ppl_ocaml_globals.ml | 8 + interfaces/OCaml/ppl_ocaml_globals.mli | 6 + .../ppl_interface_generator_prolog_cc_code.m4 | 31 ++ .../ppl_interface_generator_prolog_hh_code.m4 | 11 + ...erface_generator_prolog_procedure_generators.m4 | 4 +- interfaces/Prolog/ppl_prolog_common.cc | 42 ++ interfaces/Prolog/ppl_prolog_common.defs.hh | 17 +- ...erface_generator_common_procedure_generators.m4 | 1 + 28 files changed, 914 insertions(+), 77 deletions(-)

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