[PPL-devel] [GIT] ppl/ppl(devel): Added thread-safety support to the Java interface.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Aug 27 12:38:42 2016 +0200

Added thread-safety support to the Java interface.

---

 interfaces/Java/jni/ppl_java_common.cc             |   76 ++++++++++----
 interfaces/Java/jni/ppl_java_common_defs.hh        |   40 ++++++-
 interfaces/Java/jni/ppl_java_common_inlines.hh     |   44 ++++++++
 interfaces/Java/jni/ppl_java_globals.cc            |   44 ++++----
 .../Parma_Polyhedra_Library.java                   |   31 +++++
 .../Java/parma_polyhedra_library/Variable.java     |    5 +-
 .../Java/tests/Custom_Variable_Stringifier.java    |    8 +-
 interfaces/Java/tests/Makefile.am                  |   17 +++-
 interfaces/Java/tests/Variable_Output_test1.java   |    2 +-
 .../Java/tests/Variable_Output_thread_safe1.java   |  117 ++++++++++++++++++++
 10 files changed, 330 insertions(+), 54 deletions(-)

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