[PPL-devel] [GIT] ppl/ppl(master): Added deterministic timeout functionality to the Java language interface.

[Enea Zaffanella]

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

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