Page Menu
Home
WickedGov Phorge
Search
Configure Global Search
Log In
Files
F6046800
SequenceGeneratorTest.php
No One
Temporary
Actions
Download File
Edit File
Delete File
View Transforms
Subscribe
Flag For Later
Award Token
Size
2 KB
Referenced Files
None
Subscribers
None
SequenceGeneratorTest.php
View Options
<?php
namespace
Eris\Generator
;
use
Eris\Random\RandomRange
;
use
Eris\Random\RandSource
;
class
SequenceGeneratorTest
extends
\PHPUnit\Framework\TestCase
{
/**
* @var int
*/
private
$size
;
/**
* @var ChooseGenerator
*/
private
$singleElementGenerator
;
/**
* @var RandomRange
*/
private
$rand
;
protected
function
setUp
():
void
{
$this
->
size
=
100
;
$this
->
singleElementGenerator
=
new
ChooseGenerator
(
10
,
100
);
$this
->
rand
=
new
RandomRange
(
new
RandSource
());
}
public
function
testRespectsGenerationSize
()
{
$generator
=
new
SequenceGenerator
(
$this
->
singleElementGenerator
);
$countLessThanSize
=
0
;
$countEqualToSize
=
0
;
for
(
$size
=
0
;
$size
<
400
;
$size
++)
{
$sequenceSize
=
count
(
$generator
(
$size
,
$this
->
rand
)->
unbox
());
if
(
$sequenceSize
<
$size
)
{
$countLessThanSize
++;
}
if
(
$sequenceSize
===
$size
)
{
$countEqualToSize
++;
}
}
$this
->
assertTrue
(
$countLessThanSize
>
0
,
"Sequence generator does not generate sequences less than the size."
);
$this
->
assertTrue
(
(
$countLessThanSize
+
$countEqualToSize
)
===
400
,
"Sequence generator has generated sequences greater than the size."
);
}
public
function
testShrink
()
{
$generator
=
new
SequenceGenerator
(
$this
->
singleElementGenerator
);
$elements
=
$generator
(
$this
->
size
,
$this
->
rand
);
$elementsAfterShrink
=
$generator
->
shrink
(
$elements
);
if
(
$elementsAfterShrink
->
count
()
==
0
)
{
// the generated value couldn't be shrunk
return
;
}
$this
->
assertLessThanOrEqual
(
count
(
$elements
->
unbox
()),
count
(
$elementsAfterShrink
->
unbox
()));
$this
->
assertLessThanOrEqual
(
array_sum
(
$elements
->
unbox
()),
array_sum
(
$elementsAfterShrink
->
unbox
()));
}
public
function
testShrinkEmptySequence
()
{
$generator
=
new
SequenceGenerator
(
$this
->
singleElementGenerator
);
$elements
=
$generator
(
$size
=
0
,
$this
->
rand
);
$this
->
assertEquals
(
0
,
count
(
$elements
->
unbox
()));
$this
->
assertEquals
(
0
,
count
(
$generator
->
shrink
(
$elements
)));
}
public
function
testShrinkEventuallyEndsUpWithNoOptions
()
{
$numberOfShrinks
=
0
;
$generator
=
new
SequenceGenerator
(
$this
->
singleElementGenerator
);
$value
=
$generator
(
$this
->
size
,
$this
->
rand
);
$options
=
$generator
->
shrink
(
$value
);
while
(
count
(
$options
)
>
0
)
{
if
(
$numberOfShrinks
++
>
100
)
{
$this
->
fail
(
'Too many shrinks'
);
}
$options
=
$generator
->
shrink
(
$options
->
first
());
}
$this
->
assertEquals
(
0
,
$options
->
count
());
}
}
File Metadata
Details
Attached
Mime Type
text/x-php
Expires
Oct 4 2026, 22:01 (5 w, 6 d ago)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
ac/97/45d2ea251d7f52526fb865c68b0b
Default Alt Text
SequenceGeneratorTest.php (2 KB)
Attached To
Mode
rMWPROD MediaWiki Production
Attached
Detach File
Event Timeline
Log In to Comment