From cd96a9a4f54d45cda3ddf5df474946445d557090 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Sun, 3 Sep 2023 17:57:38 +0200
Subject: feat: scope propagator in language

---
 .../representation/cardinality/NonEmptyCardinalityInterval.java    | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'subprojects/store')

diff --git a/subprojects/store/src/main/java/tools/refinery/store/representation/cardinality/NonEmptyCardinalityInterval.java b/subprojects/store/src/main/java/tools/refinery/store/representation/cardinality/NonEmptyCardinalityInterval.java
index 2e7780da..bfaeea25 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/representation/cardinality/NonEmptyCardinalityInterval.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/representation/cardinality/NonEmptyCardinalityInterval.java
@@ -83,7 +83,10 @@ public record NonEmptyCardinalityInterval(int lowerBound, UpperCardinality upper
 
 	@Override
 	public String toString() {
-		var closeBracket = upperBound instanceof UnboundedUpperCardinality ? ")" : "]";
-		return "[%d..%s%s".formatted(lowerBound, upperBound, closeBracket);
+		if (upperBound instanceof FiniteUpperCardinality finiteUpperCardinality &&
+				finiteUpperCardinality.finiteUpperBound() == lowerBound) {
+			return "[%d]".formatted(lowerBound);
+		}
+		return "[%d..%s]".formatted(lowerBound, upperBound);
 	}
 }
-- 
cgit v1.2.3-70-g09d2