[GIT] ppl/ppl(master): Java interface for wrap asign added.

16 Mar 2010

Module: ppl/ppl
Branch: master
Commit: 80c44d73a29d1585fdffc3f62451877d7e564dc0
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80c44d73a29d1...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Tue Mar 16 12:46:29 2010 +0000
Java interface for wrap asign added.
---
.../Bounded_Integer_Type_Overflow.java             |   39 ++++++++++++++++++
 .../Bounded_Integer_Type_Representation.java       |   40 ++++++++++++++++++
 .../Bounded_Integer_Type_Width.java                |   43 ++++++++++++++++++++
 .../Java/parma_polyhedra_library/Makefile.am       |    9 ++++
 ...l_interface_generator_java_classes_java_code.m4 |   14 ++++++
 ...nterface_generator_java_procedure_generators.m4 |    3 +-
 6 files changed, 147 insertions(+), 1 deletions(-)

diff --git a/interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Overflow.java b/interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Overflow.java
new file mode 100644
index 0000000..23d3c8f
--- /dev/null
+++ b/interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Overflow.java
@@ -0,0 +1,39 @@
+/* Bounded_Integer_Type_Overflow enum declaration.
+   Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it
+
+This file is part of the Parma Polyhedra Library (PPL).
+
+The PPL is free software; you can redistribute it and/or modify it
+under the terms of the GNU General Public License as published by the
+Free Software Foundation; either version 3 of the License, or (at your
+option) any later version.
+
+The PPL is distributed in the hope that it will be useful, but WITHOUT
+ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+for more details.
+
+You should have received a copy of the GNU General Public License
+along with this program; if not, write to the Free Software Foundation,
+Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
+
+For the most up-to-date information see the Parma Polyhedra Library
+site: http://www.cs.unipr.it/ppl/ . */
+
+package parma_polyhedra_library;
+
+//! Overflow behavior of bounded integer types.
+/*! \ingroup PPL_Java_interface */
+public enum Bounded_Integer_Type_Overflow {
+    //! On overflow, wrapping takes place.
+    OVERFLOW_WRAPS,
+    //! On overflow, the result is undefined.
+    OVERFLOW_UNDEFINED,
+    //! Overflow is impossible.
+    OVERFLOW_IMPOSSIBLE;
+
+    private static native void initIDs();
+    static {
+        initIDs();
+    }
+}
diff --git a/interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Representation.java b/interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Representation.java
new file mode 100644
index 0000000..3b033ad
--- /dev/null
+++ b/interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Representation.java
@@ -0,0 +1,40 @@
+/* Bounded_Integer_Type_Representation enum declaration.
+   Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it
+
+This file is part of the Parma Polyhedra Library (PPL).
+
+The PPL is free software; you can redistribute it and/or modify it
+under the terms of the GNU General Public License as published by the
+Free Software Foundation; either version 3 of the License, or (at your
+option) any later version.
+
+The PPL is distributed in the hope that it will be useful, but WITHOUT
+ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+for more details.
+
+You should have received a copy of the GNU General Public License
+along with this program; if not, write to the Free Software Foundation,
+Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
+
+For the most up-to-date information see the Parma Polyhedra Library
+site: http://www.cs.unipr.it/ppl/ . */
+
+package parma_polyhedra_library;
+
+//! Representation of bounded integer types.
+/*! \ingroup PPL_Java_interface */
+public enum Bounded_Integer_Type_Representation {
+    //! Unsigned binary.
+    UNSIGNED,
+    /*! \brief
+      Signed binary where negative values are represented by the two's
+      complement of the absolute value.
+    */
+    SIGNED_2_COMPLEMENT;
+
+    private static native void initIDs();
+    static {
+        initIDs();
+    }
+}
diff --git a/interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Width.java b/interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Width.java
new file mode 100644
index 0000000..cc189c8
--- /dev/null
+++ b/interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Width.java
@@ -0,0 +1,43 @@
+/* Bounded_Integer_Type_Width enum declaration.
+   Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it
+
+This file is part of the Parma Polyhedra Library (PPL).
+
+The PPL is free software; you can redistribute it and/or modify it
+under the terms of the GNU General Public License as published by the
+Free Software Foundation; either version 3 of the License, or (at your
+option) any later version.
+
+The PPL is distributed in the hope that it will be useful, but WITHOUT
+ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+for more details.
+
+You should have received a copy of the GNU General Public License
+along with this program; if not, write to the Free Software Foundation,
+Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
+
+For the most up-to-date information see the Parma Polyhedra Library
+site: http://www.cs.unipr.it/ppl/ . */
+
+package parma_polyhedra_library;
+
+//! Widths of bounded integer types.
+/*! \ingroup PPL_Java_interface */
+public enum Bounded_Integer_Type_Width {
+    //! Minimization is requested.
+    PPL_BITS_8,
+    //! \hideinitializer 16 bits.
+    PPL_BITS_16,
+    //! \hideinitializer 32 bits.
+    PPL_BITS_32,
+    //! \hideinitializer 64 bits.
+    PPL_BITS_64,
+    //! \hideinitializer 128 bits.
+    PPL_BITS_128;
+
+    private static native void initIDs();
+    static {
+        initIDs();
+    }
+}
diff --git a/interfaces/Java/parma_polyhedra_library/Makefile.am b/interfaces/Java/parma_polyhedra_library/Makefile.am
index 8b647b7..8e54256 100644
--- a/interfaces/Java/parma_polyhedra_library/Makefile.am
+++ b/interfaces/Java/parma_polyhedra_library/Makefile.am
@@ -33,6 +33,9 @@ ppl_interface_generator_java_classes_java.m4 \
 ppl_interface_generator_java_classes_java_code.m4
fixed_java_cxx_headers = \
+parma_polyhedra_library.Bounded_Integer_Type_Overflow \
+parma_polyhedra_library.Bounded_Integer_Type_Representation \
+parma_polyhedra_library.Bounded_Integer_Type_Width \
 parma_polyhedra_library.By_Reference \
 parma_polyhedra_library.Coefficient \
 parma_polyhedra_library.Complexity_Class \
@@ -68,6 +71,9 @@ parma_polyhedra_library.Variable \
 parma_polyhedra_library.Variables_Set
fixed_java_cxx_headers_sources = \
+parma_polyhedra_library_Bounded_Integer_Type_Overflow.h \
+parma_polyhedra_library_Bounded_Integer_Type_Representation.h \
+parma_polyhedra_library_Bounded_Integer_Type_Width.h \
 parma_polyhedra_library_By_Reference.h \
 parma_polyhedra_library_Coefficient.h \
 parma_polyhedra_library_Complexity_Class.h \
@@ -104,6 +110,9 @@ parma_polyhedra_library_Variables_Set.h
# NOTE: do _NOT_ add Fake_Class_for_Doxygen.java to this list.
 fixed_java_sources = \
+$(srcdir)/Bounded_Integer_Type_Overflow.java \
+$(srcdir)/Bounded_Integer_Type_Representation.java \
+$(srcdir)/Bounded_Integer_Type_Width.java \
 $(srcdir)/By_Reference.java \
 $(srcdir)/Coefficient.java \
 $(srcdir)/Complexity_Class.java \
diff --git a/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java_code.m4 b/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java_code.m4
index e4456c0..b22bead 100644
--- a/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java_code.m4
+++ b/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java_code.m4
@@ -409,6 +409,20 @@ ___BEGIN_OF_FILE___ @CLASS@.java << ___END_OF_FILE___
')
+m4_define(`ppl_@CLASS@_wrap_assign_code',
+`dnl
+___END_OF_FILE___
+___BEGIN_OF_FILE___ @CLASS@.java << ___END_OF_FILE___
+    public native void wrap_assign(Variables_Set vars,
+				Bounded_Integer_Type_Width w,
+				Bounded_Integer_Type_Representation r,
+                                Bounded_Integer_Type_Overflow o,
+                                By_Reference<Constraint_System> pcs,
+                                By_Reference<Integer> complexity_threshold,
+                                By_Reference<Boolean> wrap_individually);
+
+')
+
 m4_define(`ppl_@CLASS@_@WIDEN@_widening_assign_code',
 `dnl
 ___END_OF_FILE___
diff --git a/interfaces/Java/ppl_interface_generator_java_procedure_generators.m4 b/interfaces/Java/ppl_interface_generator_java_procedure_generators.m4
index ebe79c5..5033b8f 100644
--- a/interfaces/Java/ppl_interface_generator_java_procedure_generators.m4
+++ b/interfaces/Java/ppl_interface_generator_java_procedure_generators.m4
@@ -42,5 +42,6 @@ m4_define(`m4_procedure_list',
 `m4_echo_unquoted(`m4_common_procedure_list',
 ppl_free_@CLASS@/1 +all,
 ppl_@CLASS@_hashcode/2 +all -box,
-ppl_@CLASS@_string/1 +all)dnl
+ppl_@CLASS@_string/1 +all,
+ppl_@CLASS@_wrap_assign/8 +simple)dnl
 ')

    

Patricia Hill

tags (0)

participants (1)