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

7 May 2009


      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...

Enea Zaffanella

tags (0)

participants (1)