[PPL-devel] [GIT] ppl/ppl(master): Added basic timeout support to the Java library interface.

[Enea Zaffanella]

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

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