blob: d68df3352a9e0a4976d187a13515535d5816abe9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
/*
* SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
*
* SPDX-License-Identifier: EPL-2.0
*/
package tools.refinery.logic.term.cardinalityinterval;
import org.junit.jupiter.api.Test;
import tools.refinery.logic.term.uppercardinality.UpperCardinalities;
import static org.hamcrest.MatcherAssert.assertThat;
import static org.hamcrest.Matchers.equalTo;
class CardinalityIntervalsTest {
@Test
void betweenEmptyTest() {
var interval = CardinalityIntervals.between(2, 1);
assertThat(interval.isError(), equalTo(true));
}
@Test
void betweenNegativeUpperBoundTest() {
var interval = CardinalityIntervals.between(0, -1);
assertThat(interval.upperBound(), equalTo(UpperCardinalities.UNBOUNDED));
assertThat(interval.isError(), equalTo(false));
}
}
|