package Ġcom . github . mp e 8 5 . gr amp a . util Ċ Ċ import Ġio . kot est . core . spec . style . String Spec Ċ import Ġio . kot est . matchers . shouldBe Ċ import Ġio . kot est . property . Ar b Ċ import Ġio . kot est . property . ar bitrary . positive Ints Ċ import Ġio . kot est . property . check All Ċ Ċ class ĠUn bounded Range Tests Ġ: ĠString Spec ({ ĊĠĠĠ Ġ" Un bounded Ġrange Ġwith Ġlower Ġlimit " Ġ{ ĊĠĠĠĠĠĠĠ Ġcheck All ( Ar b . positive Ints ()) Ġ{ Ġint Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrange ( int ). apply Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġmin ĠshouldBe Ġint ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġmax ĠshouldBe Ġnull ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġmin ( int ). apply Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġmin ĠshouldBe Ġint ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġmax ĠshouldBe Ġnull ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrange ( int ) ĠshouldBe Ġmin ( int ) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĠĠĠ Ġ" Un bounded Ġrange Ġwith Ġupper Ġlimit " Ġ{ ĊĠĠĠĠĠĠĠ Ġcheck All ( Ar b . positive Ints ()) Ġ{ Ġint Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrange ( max Ġ= Ġint ). apply Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġmin ĠshouldBe Ġ 0 ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġmax ĠshouldBe Ġint ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġmax ( int ). apply Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġmin ĠshouldBe Ġ 0 ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġmax ĠshouldBe Ġint ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrange ( max Ġ= Ġint ) ĠshouldBe Ġmax ( int ) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĠĠĠ Ġ" Un bounded Ġrange Ġwith Ġlower Ġand Ġupper Ġlimit " Ġ{ ĊĠĠĠĠĠĠĠ Ġcheck All ( Ar b . positive Ints (), ĠA rb . positive Ints ()) Ġ{ Ġint 1 , Ġint 2 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrange ( int 1 , Ġint 2 ). apply Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġmin ĠshouldBe Ġint 1 ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġmax ĠshouldBe Ġint 2 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ }) Ċ