From ecfb531aa9a9f4b6b10ffba9176b61251e86ce84 Mon Sep 17 00:00:00 2001
From: Jonas Blatt <jonasblatt@uni-koblenz.de>
Date: Wed, 25 Sep 2019 15:28:52 +0200
Subject: [PATCH] Add numerical parsed Text
---
.../boundary/AbstractGrowingBoundary.java | 30 ++++++++++++++++++-
1 file changed, 29 insertions(+), 1 deletion(-)
diff --git a/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/base/utils/boundary/AbstractGrowingBoundary.java b/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/base/utils/boundary/AbstractGrowingBoundary.java
index 5c4498cd..c83a69d9 100644
--- a/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/base/utils/boundary/AbstractGrowingBoundary.java
+++ b/dmnverifierapi/src/main/java/de/unikoblenz/fgbks/base/utils/boundary/AbstractGrowingBoundary.java
@@ -194,6 +194,34 @@ public abstract class AbstractGrowingBoundary<T extends Comparable<? super T>>
@Override
public String getParsedText() {
- return lowerBoundType + " " + lowerBound + " " + upperBound + " " + upperBoundType;
+ if (lowerBound.equals(getMinValue()) && upperBound.equals(getMaxValue())) {
+ return "";
+ }
+ if (lowerBound.equals(upperBound)) {
+ return "=" + lowerBound;
+ }
+ StringBuilder sb = new StringBuilder();
+ if (lowerBound.equals(getMinValue())) {
+ sb.append("<");
+ if (getUpperBoundType() == INCLUSIVE) {
+ sb.append("=");
+ }
+ sb.append(" ");
+ sb.append(getUpperBound());
+ } else if (lowerBound.equals(getMaxValue())) {
+ sb.append(">");
+ if (getLowerBoundType() == INCLUSIVE) {
+ sb.append("=");
+ }
+ sb.append(" ");
+ sb.append(getLowerBound());
+ } else {
+ sb.append(getLowerBoundType() == INCLUSIVE ? "[" : "]");
+ sb.append(getLowerBound());
+ sb.append("..");
+ sb.append(getUpperBound());
+ sb.append(getUpperBoundType() == INCLUSIVE ? "]" : "[");
+ }
+ return sb.toString();
}
}
--
GitLab