Module: ppl/ppl Branch: devel Commit: 57895cf11406edbc38447cdbd0adaf212fc2bb37 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57895cf11406e... Author: Enea Zaffanella <zaffanella@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=57895cf11...