Page MenuHomeWickedGov Phorge
Files F4112531

BindGeneratorTest.php
No OneTemporary
Actions

Size
3 KB
Referenced Files
None
Subscribers
None

BindGeneratorTest.php
View Options

<?php
namespace Eris\Generator;
use Eris\PHPUnitDeprecationHelper;
use Eris\Random\RandomRange;
use Eris\Random\RandSource;
class BindGeneratorTest extends \PHPUnit\Framework\TestCase
{
/**
* @var int
*/
private $size;
/**
* @var RandomRange
*/
private $rand;
protected function setUp(): void
{
$this->size = 10;
$this->rand = new RandomRange(new RandSource());
}
public function testGeneratesAGeneratedValueObject(): void
{
$generator = new BindGenerator(
// TODO: order of parameters should be consistent with map, or not?
ConstantGenerator::box(4),
function ($n) {
return new ChooseGenerator($n, $n + 10);
}
);
PHPUnitDeprecationHelper::assertIsInt(
$generator->__invoke($this->size, $this->rand)->unbox()
);
}
public function testShrinksTheOuterGenerator(): void
{
$generator = new BindGenerator(
new ChooseGenerator(0, 5),
function ($n) {
return new ChooseGenerator($n, $n + 10);
}
);
$value = $generator->__invoke($this->size, $this->rand);
for ($i = 0; $i < 20; $i++) {
PHPUnitDeprecationHelper::assertIsInt(
$value->unbox()
);
$value = $generator->shrink($value);
}
$this->assertLessThanOrEqual(5, $value->unbox());
}
public function testAssociativeProperty(): void
{
$firstGenerator = new BindGenerator(
new BindGenerator(
new ChooseGenerator(0, 5),
function ($n) {
return new ChooseGenerator($n * 10, $n * 10 + 1);
}
),
function ($m) {
return new VectorGenerator($m, new IntegerGenerator());
}
);
$secondGenerator = new BindGenerator(
new ChooseGenerator(0, 5),
function ($n) {
return new BindGenerator(
new ChooseGenerator($n * 10, $n * 10 + 1),
function ($m) {
return new VectorGenerator($m, new IntegerGenerator());
}
);
}
);
for ($i = 0; $i < 100; $i++) {
$this->assertIsAnArrayOfX0OrX1Elements($firstGenerator->__invoke($this->size, $this->rand)->unbox());
$this->assertIsAnArrayOfX0OrX1Elements($secondGenerator->__invoke($this->size, $this->rand)->unbox());
}
}
public function testShrinkBindGeneratorWithCompositeValue(): void
{
$bindGenerator = new BindGenerator(
new ChooseGenerator(0, 5),
function ($n) {
return new TupleGenerator([$n]);
}
);
$generatedValue = $bindGenerator->__invoke($this->size, $this->rand);
$firstShrunkValue = $bindGenerator->shrink($generatedValue);
$secondShrunkValue = $bindGenerator->shrink($firstShrunkValue);
$this->assertInstanceOf(GeneratedValue::class, $secondShrunkValue);
}
private function assertIsAnArrayOfX0OrX1Elements(array $value): void
{
$this->assertContains(
count($value) % 10,
[0, 1],
"The array has " . count($value) . " elements"
);
}
}

File Metadata

Mime Type
text/x-php
Expires
Tue, Aug 18, 22:54 (12 h, 56 m ago)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
44/a3/8519f90c583ee3423485c8da5e06
Default Alt Text
BindGeneratorTest.php (3 KB)

Event Timeline