[PPL-devel] [GIT] ppl/ppl(master): Fixed typo in the Java interface for method `frequency' and added testcase .

[Enea Zaffanella]

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

Author: Enea Zaffanella <enea.zaffanella at bugseng.com>
Date:   Sun May 26 20:33:25 2013 +0200

Fixed typo in the Java interface for method `frequency' and added testcase.
Bug reported by Gianluca Amato.

---

 ...ppl_interface_generator_java_classes_cc_code.m4 |    2 +-
 ...l_interface_generator_java_classes_java_code.m4 |    4 ++--
 interfaces/Java/tests/C_Polyhedron_test1.java      |   11 +++++++++++
 3 files changed, 14 insertions(+), 3 deletions(-)

diff --git a/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 b/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4
index 99d35a2..0123266 100644
--- a/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4
+++ b/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4
@@ -607,7 +607,7 @@ Java_parma_1polyhedra_1library_ at 1CLASS@_ at 1MAXMIN@__Lparma_1polyhedra_1library_Li
 m4_define(`ppl_ at CLASS@_frequency_code',
 `dnl
 JNIEXPORT jboolean JNICALL
-Java_parma_1polyhedra_1library_ at 1CLASS@_1frequency__Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_Coefficient_2
+Java_parma_1polyhedra_1library_ at 1CLASS@_frequency
 (JNIEnv* env, jobject j_this, jobject j_le,
  jobject j_freqn, jobject j_freqd, jobject j_valn, jobject j_vald) {
   try {
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 3f71d75..66c4194 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
@@ -252,8 +252,8 @@ m4_define(`ppl_ at CLASS@_frequency_code',
 ___END_OF_FILE___
 ___BEGIN_OF_FILE___ @CLASS at .java << ___END_OF_FILE___
     public native boolean frequency(Linear_Expression expr,
-				   Coefficient freq_n, Coefficient freq_d,
-				   Coefficient val_n, Coefficient val_d);
+				    Coefficient freq_n, Coefficient freq_d,
+				    Coefficient val_n, Coefficient val_d);
 
 ')
 
diff --git a/interfaces/Java/tests/C_Polyhedron_test1.java b/interfaces/Java/tests/C_Polyhedron_test1.java
index 674d4aa..a55840d 100644
--- a/interfaces/Java/tests/C_Polyhedron_test1.java
+++ b/interfaces/Java/tests/C_Polyhedron_test1.java
@@ -114,6 +114,17 @@ public class C_Polyhedron_test1 {
         return ok;
     }
 
+    public static boolean test04() {
+        Coefficient freq_n = new Coefficient(0);
+        Coefficient freq_d = new Coefficient(0);
+        Coefficient val_n = new Coefficient(0);
+        Coefficient val_d = new Coefficient(0);
+        Linear_Expression le
+            = new Linear_Expression_Coefficient(new Coefficient(0));
+        C_Polyhedron ph = new C_Polyhedron(0, Degenerate_Element.UNIVERSE);
+        return ph.frequency(le, freq_n, freq_d, val_n, val_d);
+    }
+
     public static void main(String[] args) {
         Parma_Polyhedra_Library.initialize_library();
         boolean test_result_ok =