From cace9b38345c10da83c832690d8a325aee4b44e5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=D0=9A=D0=B8=D1=81=D0=B5=D0=BB=D1=91=D0=B2=20=D0=92=D0=BB?=
 =?UTF-8?q?=D0=B0=D0=B4=D0=B8=D1=81=D0=BB=D0=B0=D0=B2?=
 <vladislav-a-k@mail.ru>
Date: Thu, 13 Dec 2018 18:56:34 +0300
Subject: [PATCH] Forgotten exception and another format of calling minizinc.

---
 src/inport/ConversionException.java |  7 -------
 src/inport/Main.java                | 18 +++++++-----------
 2 files changed, 7 insertions(+), 18 deletions(-)
 delete mode 100644 src/inport/ConversionException.java

diff --git a/src/inport/ConversionException.java b/src/inport/ConversionException.java
deleted file mode 100644
index f266122..0000000
--- a/src/inport/ConversionException.java
+++ /dev/null
@@ -1,7 +0,0 @@
-package inport;
-
-public class ConversionException extends Exception {
-    ConversionException(String mess) {
-        super(mess);
-    }
-}
diff --git a/src/inport/Main.java b/src/inport/Main.java
index 7a11750..d25127a 100644
--- a/src/inport/Main.java
+++ b/src/inport/Main.java
@@ -51,22 +51,18 @@ public class Main {
 
                     long start = System.currentTimeMillis();
 
-                    Process p = Runtime.getRuntime().exec("minizinc --solver Chuffed " + constraints + " " + minizincData);
-                    p.waitFor();
+                    ProcessBuilder pb = new ProcessBuilder("minizinc",
+                                                                        "--solver", "Chuffed",
+                                                                        constraints, minizincData,
+                                                                        "-o", solverResults);
+                    Process process = pb.start();
+                    int exitCode = process.waitFor();
+                    assert exitCode == 0;
 
                     long finish = System.currentTimeMillis();
 
                     System.out.println((finish - start) + " milliseconds");
 
-                    try (FileWriter res = new FileWriter(solverResults)) {
-                        BufferedReader reader = new BufferedReader(new InputStreamReader(p.getInputStream()));
-
-                        String line;
-                        while ((line = reader.readLine()) != null) {
-                            res.write(line + "\n");
-                        }
-                    }
-
                     ConversionUtil.resolveMiniZincResults(task, solverResults);
                     task.serialize(fileName);
                 } catch (IOException | InterruptedException ex) {
-- 
GitLab