From 5bd32aa7e8d9559b2b89526f09f7fb2cf0824610 Mon Sep 17 00:00:00 2001
From: Jonas Blatt <jonasblatt@uni-koblenz.de>
Date: Wed, 25 Sep 2019 15:07:35 +0200
Subject: [PATCH] get parsed text for string boundary

---
 .../fgbks/base/utils/boundary/impl/StringBoundary.java     | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/base/utils/boundary/impl/StringBoundary.java b/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/base/utils/boundary/impl/StringBoundary.java
index c0484570..5b5f3119 100644
--- a/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/base/utils/boundary/impl/StringBoundary.java
+++ b/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/base/utils/boundary/impl/StringBoundary.java
@@ -36,6 +36,7 @@ import de.unikoblenz.fgbks.base.utils.boundary.creater.CreaterUpper;
 import java.util.Arrays;
 import java.util.HashMap;
 import java.util.Objects;
+import java.util.stream.Collectors;
 import org.apache.commons.lang3.Validate;
 
 public class StringBoundary extends AbstractBoundary<String> {
@@ -147,6 +148,10 @@ public class StringBoundary extends AbstractBoundary<String> {
 
   @Override
   public String getParsedText() {
-    return (matchNoneOfValues ? "not" : "") + Arrays.toString(values);
+    return (matchNoneOfValues ? "not(" : "")
+        + Arrays.stream(values)
+        .map(v -> '"' + v + '"')
+        .collect(Collectors.joining(","))
+        + (matchNoneOfValues ? ")" : "");
   }
 }
-- 
GitLab