From 1119acf1b39ca888dd5d6a2378aac97e26e43401 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Thu, 6 Oct 2016 11:25:26 +0200
Subject: [PATCH] add try catch around session.request and writeNextSolutions
---
src/main/java/de/stups/probkodkod/KodkodAnalysis.java | 10 ++++++++--
1 file changed, 8 insertions(+), 2 deletions(-)
diff --git a/src/main/java/de/stups/probkodkod/KodkodAnalysis.java b/src/main/java/de/stups/probkodkod/KodkodAnalysis.java
index 43bbe14..22853ac 100644
--- a/src/main/java/de/stups/probkodkod/KodkodAnalysis.java
+++ b/src/main/java/de/stups/probkodkod/KodkodAnalysis.java
@@ -274,8 +274,14 @@ public class KodkodAnalysis extends DepthFirstAdapter {
int size = extractInt(node.getSize()); // the maximum number of
// solutions to be computed
final Map<String, TupleSet> args = extractArguments(node.getArguments(), problem);
- session.request(problem, signum, args);
- session.writeNextSolutions(problem, size, pto);
+
+ try {
+ session.request(problem, signum, args);
+ session.writeNextSolutions(problem, size, pto);
+ } catch (Exception e) {
+ pto.openTerm("unknown").printAtom(problemId).closeTerm().fullstop();
+ throw e;
+ }
} else {
pto.openTerm("unknown").printAtom(problemId).closeTerm().fullstop();
}
--
GitLab