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 5c4498cd3ff32ffc387fb055dd0771e015921696..c83a69d9769e4d95f9a293cc5089a0bf95d0020a 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(); } }