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

Author: Enea Zaffanella enea.zaffanella@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_@1CLASS@_@1MAXMIN@__Lparma_1polyhedra_1library_Li m4_define(`ppl_@CLASS@_frequency_code', `dnl JNIEXPORT jboolean JNICALL -Java_parma_1polyhedra_1library_@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_@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_@CLASS@_frequency_code', ___END_OF_FILE___ ___BEGIN_OF_FILE___ @CLASS@.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 =