PHP Eris\Generator setの例

コード例 #1

ファイル: SetTest.php プロジェクト: giorgiosironi/eris

 public function testSetsOfAnotherGeneratorsDomain()
 {
     $this->forAll(Generator\set(Generator\nat()))->then(function ($set) {
         $this->assertInternalType('array', $set);
         foreach ($set as $element) {
             $this->assertGreaterThanOrEqual(0, $element);
         }
     });
 }

コード例 #2

ファイル: SetTest.php プロジェクト: nicoder/eris

 public function testSubsetsOfASet()
 {
     $this->forAll(Generator\set([2, 4, 6, 8, 10]))->withMaxSize(6)->then(function ($set) {
         $this->assertInternalType('array', $set);
         foreach ($set as $element) {
             $this->assertTrue($this->isEven($element), "Element {$element} is not even, where did it come from?");
         }
     });
 }