/**
  * * @covers ::argIsAPositiveOrZeroInt
  * @dataProvider argIsAPositiveOrZeroIntViolatedProvider
  */
 public function test_argIsAPositiveOrZeroInt_exception($extraDomain)
 {
     $this->expectException(invalidArgument::class);
     contract::argIsAPositiveOrZeroInt($extraDomain);
 }