[PPL-devel] [GIT] ppl/ppl(master): Added the new pretty print functionality to Java, OCaml and Prolog interfaces.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at 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=d9d0b1a6a92407a3a05e16e5216ce4835edbc364