Module: ppl/ppl Branch: master Commit: 14da854b5b2b1476c7eb46988cec83b29c4081fc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=14da854b5b2b1... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Tue May 5 23:36:20 2009 +0200 Added basic timeout support to the Java library interface. --- NEWS | 2 + interfaces/C/ppl_c_header.h | 2 +- interfaces/Java/jni/Makefile.am | 8 ++ interfaces/Java/jni/ppl_java_common.cc | 27 +++++ interfaces/Java/jni/ppl_java_common.defs.hh | 29 +++++- interfaces/Java/jni/ppl_java_globals.cc | 39 +++++++ .../Java/parma_polyhedra_library/Makefile.am | 2 + .../Parma_Polyhedra_Library.java | 27 +++++ .../parma_polyhedra_library/Timeout_Exception.java | 32 ++++++ interfaces/Java/tests/Makefile.am | 11 ++- .../Java/tests/Parma_Polyhedra_Library_test2.java | 105 ++++++++++++++++++++ 11 files changed, 281 insertions(+), 3 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=14da854b5...