1 files changed, 7 insertions, 0 deletions

diff --git a/subprojects/store/src/main/java/tools/refinery/store/representation/cardinality/EmptyCardinalityInterval.java b/subprojects/store/src/main/java/tools/refinery/store/representation/cardinality/EmptyCardinalityInterval.java
index 49911c29..9e371e21 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/representation/cardinality/EmptyCardinalityInterval.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/representation/cardinality/EmptyCardinalityInterval.java
@@ -5,6 +5,8 @@
  */
 package tools.refinery.store.representation.cardinality;
 
+// Singleton implementation, because there is only a single empty interval.
+@SuppressWarnings("squid:S6548")
 public final class EmptyCardinalityInterval implements CardinalityInterval {
         static final EmptyCardinalityInterval INSTANCE = new EmptyCardinalityInterval();
 
@@ -43,6 +45,11 @@ public final class EmptyCardinalityInterval implements CardinalityInterval {
         }
 
         @Override
+        public CardinalityInterval take(int count) {
+                return this;
+        }
+
+        @Override
         public CardinalityInterval multiply(CardinalityInterval other) {
                 return this;
         }