From 9f0e9cd014f603dbcdab7e28a3ff14b858361e20 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 9 Jan 2024 10:45:15 +0100
Subject: [PATCH] Refactor query truncation in result parser errors
---
de.prob.core/src/de/prob/core/internal/AnimatorImpl.java | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/de.prob.core/src/de/prob/core/internal/AnimatorImpl.java b/de.prob.core/src/de/prob/core/internal/AnimatorImpl.java
index d029a97b..78d90351 100644
--- a/de.prob.core/src/de/prob/core/internal/AnimatorImpl.java
+++ b/de.prob.core/src/de/prob/core/internal/AnimatorImpl.java
@@ -162,11 +162,11 @@ public class AnimatorImpl {
assert !(topnode instanceof ACallBackResult);
if (!(topnode instanceof AYesResult)) {
- if (query.length() > 400) {
- throw new ResultParserException("Prolog query failed - received " + topnode.getClass().getSimpleName() + " in response to query: " + query.substring(0, 400), null);
- } else {
- throw new ResultParserException("Prolog query failed - received " + topnode.getClass().getSimpleName() + " in response to query: " + query, null);
+ String queryForMessage = query;
+ if (queryForMessage.length() > 400) {
+ queryForMessage = queryForMessage.substring(0, 400) + "...";
}
+ throw new ResultParserException("Prolog query failed - received " + topnode.getClass().getSimpleName() + " in response to query: " + queryForMessage, null);
}
bindings = BindingGenerator.createBinding(PrologTermGenerator.toPrologTerm(topnode));
} catch (ResultParserException e) {
--
GitLab