1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
<?php
namespace Prophecy\PhpUnit\Tests\PhpstanFixtures;
use PHPUnit\Framework\TestCase;
use Prophecy\PhpUnit\ProphecyTrait;
use Prophecy\Prophecy\ObjectProphecy;
class ExampleUsage extends TestCase
{
use ProphecyTrait;
public function testExplicitClass(): void
{
$prophecy = $this->prophesize(\DateTimeImmutable::class);
$this->configureDouble($prophecy);
$double = $prophecy->reveal();
$this->checkValue($double->format('Y-m-d'));
}
/**
* @param ObjectProphecy<\DateTimeImmutable> $double
*/
private function configureDouble(ObjectProphecy $double): void
{
}
private function checkValue(string $value): void
{
self::assertNotEmpty($value);
}
}
|
