@DisplayName("(1..10) { x | < x < b}")@TestvoidtestOpen(){
Console.log(Range.open(1,10));assertTrue(Range.open(1,10).contains(9),"不包含!");}
范围闭集, 包含 端点1和端点10
@DisplayName("[1..10] { x | <= x <= b}")@TestvoidtestClosed(){
Console.log(Range.closed(1,10));assertTrue(Range.closed(1,10).contains(10),"不包含!");}
范围闭开集, 包含 端点1 但不包含 端点10
@DisplayName("[1..10) { x | <= x < b}")@TestvoidtestClosedOpen(){
Console.log(Range.closedOpen(1,10));assertTrue(Range.closedOpen(1,10).contains(1),"不包含!");}
范围开闭集, 不包含 端点1 但包含 端点10
@DisplayName("(1..10] { x | < x <= b}")@TestvoidtestOpenClosed(){
Console.log(Range.openClosed(1,10));assertTrue(Range.openClosed(1,10).contains(10),"不包含!");}
范围, 不包含 端点1 但包含 端点至+∞
@DisplayName("(1..+∞) { x | x > a}")@TestvoidtestGreaterThan(){
Console.log(Range.greaterThan(1));assertTrue(Range.greaterThan(1).contains(2),"不包含!");}
范围, 包含 端点-∞ 但不包含 端点至10
@DisplayName("(-∞..10) { x | x < a}")@TestvoidtestLessThan(){
Console.log(Range.lessThan(10));assertTrue(Range.lessThan(10).contains(9),"不包含!");}
范围, 不包含 端点1 但包含 端点至+∞
@DisplayName("[1..+∞) { x | x => a}")@TestvoidtestAtLast(){
Console.log(Range.atLeast(1));assertTrue(Range.atLeast(1).contains(1),"不包含!");}
范围, 包含 端点-∞ 但不包含 端点至10
@DisplayName("(-∞..10] { x | x <= a}")@TestvoidtestAtMost(){
Console.log(Range.atMost(10));assertTrue(Range.atMost(10).contains(10),"不包含!");}
downTo: 不包含1,1往后并不包含+∞
@DisplayName("(1..+∞) { x | x > a}")@TestvoidtestDownTo(){
Console.log(Range.downTo(1, BoundType.OPEN));assertTrue(Range.downTo(1, BoundType.OPEN).contains(1000000000),"不包含!");}
范围, 包含 端点-∞ 但不包含 端点至10
@DisplayName("[-∞..10) { x | x <= a}")@TestvoidtestUpTo(){
Console.log(Range.upTo(10, BoundType.CLOSED));assertTrue(Range.upTo(10, BoundType.CLOSED).contains(10),"不包含!");}
范围, 包含 端点1 包含 端点至10, 开闭关系由 BoundType 枚举而定
@DisplayName("[1..10] { x | a <= x <= b}")@TestvoidtestRange(){
Console.log(Range.range(1, BoundType.CLOSED,10, BoundType.CLOSED));assertTrue(Range.range(10, BoundType.CLOSED,10, BoundType.CLOSED).contains(10),"不包含!");}