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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Jul 13 10:46:44 2009 +0200

Added deterministic timeout functionality to the Java language interface.

---

interfaces/Java/jni/ppl_java_common.cc | 31 ++++++++++++++ interfaces/Java/jni/ppl_java_common.defs.hh | 28 ++++++++++++- interfaces/Java/jni/ppl_java_globals.cc | 42 +++++++++++++++++++- .../Parma_Polyhedra_Library.java | 37 +++++++++++++++++ .../Java/tests/Parma_Polyhedra_Library_test2.java | 37 +++++++++++++++++ 5 files changed, 172 insertions(+), 3 deletions(-)

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