From d302bfe9f80935a43e6cdbc1b58bc03b32e514dd Mon Sep 17 00:00:00 2001
From: Jonas Blatt <jonasblatt@uni-koblenz.de>
Date: Tue, 1 Oct 2019 19:58:05 +0200
Subject: [PATCH] New string boundary bicreater: append
---
.../boundary/bicreater/BiCreaterStringAppend.java | 10 +++++++++-
1 file changed, 9 insertions(+), 1 deletion(-)
diff --git a/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/base/utils/boundary/bicreater/BiCreaterStringAppend.java b/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/base/utils/boundary/bicreater/BiCreaterStringAppend.java
index 0b2d6e2a..dc77ebb0 100644
--- a/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/base/utils/boundary/bicreater/BiCreaterStringAppend.java
+++ b/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/base/utils/boundary/bicreater/BiCreaterStringAppend.java
@@ -1,5 +1,9 @@
package de.unikoblenz.fgbks.base.utils.boundary.bicreater;
+import static de.unikoblenz.fgbks.base.utils.boundary.bicreater.BoundaryBiCreaterType.COMBINE;
+import static de.unikoblenz.fgbks.base.utils.boundary.checker.BoundaryCheckType.IS_IN_CONTACT;
+
+import de.unikoblenz.fgbks.base.utils.boundary.Boundary;
import de.unikoblenz.fgbks.base.utils.boundary.impl.StringBoundary;
import java.util.Optional;
@@ -22,6 +26,10 @@ public class BiCreaterStringAppend extends AbstractBoundaryBiCreater<StringBound
@Override
public Optional<StringBoundary> create(StringBoundary b1, StringBoundary b2) {
- return Optional.empty();
+ if (b1.checkWith(IS_IN_CONTACT, b2)) {
+ return Optional.empty();
+ }
+ Optional<Boundary> b = b1.createBi(COMBINE, b2);
+ return b.map(boundary -> (StringBoundary) boundary);
}
}
--
GitLab