[PPL-devel] [GIT] ppl/ppl(devel): In Java, throw an exception when trying to build a disequality.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Nov 19 16:42:50 2015 +0100

In Java, throw an exception when trying to build a disequality.

---

 .../Java/parma_polyhedra_library/Constraint.java   |    2 +
 .../Java/tests/Parma_Polyhedra_Library_test2.java  |   22 ++++++++++++++++++++
 2 files changed, 24 insertions(+), 0 deletions(-)

diff --git a/interfaces/Java/parma_polyhedra_library/Constraint.java b/interfaces/Java/parma_polyhedra_library/Constraint.java
index fbcc9c6..9df78c5 100644
--- a/interfaces/Java/parma_polyhedra_library/Constraint.java
+++ b/interfaces/Java/parma_polyhedra_library/Constraint.java
@@ -47,6 +47,8 @@ public class Constraint {
     */
     public Constraint(Linear_Expression le1, Relation_Symbol rel_sym,
                       Linear_Expression le2) {
+        if (rel_sym == Relation_Symbol.NOT_EQUAL)
+            throw new Invalid_Argument_Exception("Invalid relation symbol");
         lhs = le1.clone();
         rhs = le2.clone();
         kind = rel_sym;
diff --git a/interfaces/Java/tests/Parma_Polyhedra_Library_test2.java b/interfaces/Java/tests/Parma_Polyhedra_Library_test2.java
index 6e11183..a040e16 100644
--- a/interfaces/Java/tests/Parma_Polyhedra_Library_test2.java
+++ b/interfaces/Java/tests/Parma_Polyhedra_Library_test2.java
@@ -51,6 +51,28 @@ public class Parma_Polyhedra_Library_test2 {
                                                           max_dimension);
     }
 
+    public static boolean test03() {
+        Linear_Expression_Variable le_a
+            = new Linear_Expression_Variable(new Variable(0));
+        Linear_Expression le_zero
+            = new Linear_Expression_Coefficient(new Coefficient("0"));
+        try {
+            Constraint c = new Constraint(le_a,
+                                          Relation_Symbol.NOT_EQUAL,
+                                          le_zero);
+        }
+        catch (Invalid_Argument_Exception e) {
+            PPL_Test.println_if_noisy("Expected invalid argument exception"
+                                      + " caught!");
+            PPL_Test.println_if_noisy(e.getMessage());
+            return true;
+        }
+        PPL_Test.println_if_noisy("Expected invalid argument exception"
+                                  + " NOT caught!");
+        return false;
+    }
+
+
     public static void main(String[] args) {
         Parma_Polyhedra_Library.initialize_library();
         boolean test_result_ok =