aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store/src/test/java/tools/refinery/store/representation/cardinality/UpperCardinalitiesTest.java
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/store/src/test/java/tools/refinery/store/representation/cardinality/UpperCardinalitiesTest.java')
-rw-r--r--subprojects/store/src/test/java/tools/refinery/store/representation/cardinality/UpperCardinalitiesTest.java7
1 files changed, 2 insertions, 5 deletions
diff --git a/subprojects/store/src/test/java/tools/refinery/store/representation/cardinality/UpperCardinalitiesTest.java b/subprojects/store/src/test/java/tools/refinery/store/representation/cardinality/UpperCardinalitiesTest.java
index e61f7b36..e403eec2 100644
--- a/subprojects/store/src/test/java/tools/refinery/store/representation/cardinality/UpperCardinalitiesTest.java
+++ b/subprojects/store/src/test/java/tools/refinery/store/representation/cardinality/UpperCardinalitiesTest.java
@@ -8,9 +8,6 @@ package tools.refinery.store.representation.cardinality;
8import org.junit.jupiter.api.Test; 8import org.junit.jupiter.api.Test;
9import org.junit.jupiter.params.ParameterizedTest; 9import org.junit.jupiter.params.ParameterizedTest;
10import org.junit.jupiter.params.provider.ValueSource; 10import org.junit.jupiter.params.provider.ValueSource;
11import tools.refinery.store.representation.cardinality.FiniteUpperCardinality;
12import tools.refinery.store.representation.cardinality.UnboundedUpperCardinality;
13import tools.refinery.store.representation.cardinality.UpperCardinalities;
14 11
15import static org.hamcrest.MatcherAssert.assertThat; 12import static org.hamcrest.MatcherAssert.assertThat;
16import static org.hamcrest.Matchers.equalTo; 13import static org.hamcrest.Matchers.equalTo;
@@ -20,14 +17,14 @@ class UpperCardinalitiesTest {
20 @ParameterizedTest 17 @ParameterizedTest
21 @ValueSource(ints = {0, 1, 255, 256, 1000, Integer.MAX_VALUE}) 18 @ValueSource(ints = {0, 1, 255, 256, 1000, Integer.MAX_VALUE})
22 void valueOfBoundedTest(int value) { 19 void valueOfBoundedTest(int value) {
23 var upperCardinality = UpperCardinalities.valueOf(value); 20 var upperCardinality = UpperCardinalities.atMost(value);
24 assertThat(upperCardinality, instanceOf(FiniteUpperCardinality.class)); 21 assertThat(upperCardinality, instanceOf(FiniteUpperCardinality.class));
25 assertThat(((FiniteUpperCardinality) upperCardinality).finiteUpperBound(), equalTo(value)); 22 assertThat(((FiniteUpperCardinality) upperCardinality).finiteUpperBound(), equalTo(value));
26 } 23 }
27 24
28 @Test 25 @Test
29 void valueOfUnboundedTest() { 26 void valueOfUnboundedTest() {
30 var upperCardinality = UpperCardinalities.valueOf(-1); 27 var upperCardinality = UpperCardinalities.atMost(-1);
31 assertThat(upperCardinality, instanceOf(UnboundedUpperCardinality.class)); 28 assertThat(upperCardinality, instanceOf(UnboundedUpperCardinality.class));
32 } 29 }
33} 30}