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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
|
<?php declare(strict_types=1);
/*
* This file is part of sebastian/type.
*
* (c) Sebastian Bergmann <sebastian@phpunit.de>
*
* For the full copyright and license information, please view the LICENSE
* file that was distributed with this source code.
*/
namespace SebastianBergmann\Type;
use PHPUnit\Framework\Attributes\CoversClass;
use PHPUnit\Framework\Attributes\Small;
use PHPUnit\Framework\Attributes\UsesClass;
use PHPUnit\Framework\TestCase;
use SebastianBergmann\Type\TestFixture\Iterator;
#[CoversClass(IterableType::class)]
#[CoversClass(Type::class)]
#[UsesClass(ObjectType::class)]
#[UsesClass(SimpleType::class)]
#[UsesClass(TypeName::class)]
#[Small]
final class IterableTypeTest extends TestCase
{
private IterableType $type;
protected function setUp(): void
{
$this->type = new IterableType(false);
}
public function testHasName(): void
{
$this->assertSame('iterable', $this->type->name());
}
public function testMayDisallowNull(): void
{
$this->assertFalse($this->type->allowsNull());
}
public function testMayAllowNull(): void
{
$type = new IterableType(true);
$this->assertTrue($type->allowsNull());
}
public function testNullCanBeAssignedToNullableIterable(): void
{
$type = new IterableType(true);
$this->assertTrue($type->isAssignable(new NullType));
}
public function testIterableCanBeAssignedToIterable(): void
{
$this->assertTrue($this->type->isAssignable(new IterableType(false)));
}
public function testArrayCanBeAssignedToIterable(): void
{
$this->assertTrue(
$this->type->isAssignable(
Type::fromValue([], false),
),
);
}
public function testIteratorCanBeAssignedToIterable(): void
{
$this->assertTrue(
$this->type->isAssignable(
Type::fromValue(new Iterator, false),
),
);
}
public function testSomethingThatIsNotIterableCannotBeAssignedToIterable(): void
{
$this->assertFalse(
$this->type->isAssignable(
Type::fromValue(null, false),
),
);
}
public function testCanBeQueriedForType(): void
{
/** @phpstan-ignore method.alreadyNarrowedType */
$this->assertTrue($this->type->isIterable());
$this->assertFalse($this->type->isCallable());
$this->assertFalse($this->type->isFalse());
$this->assertFalse($this->type->isGenericObject());
$this->assertFalse($this->type->isIntersection());
$this->assertFalse($this->type->isMixed());
$this->assertFalse($this->type->isNever());
$this->assertFalse($this->type->isNull());
$this->assertFalse($this->type->isObject());
$this->assertFalse($this->type->isSimple());
$this->assertFalse($this->type->isStatic());
$this->assertFalse($this->type->isTrue());
$this->assertFalse($this->type->isUnion());
$this->assertFalse($this->type->isUnknown());
$this->assertFalse($this->type->isVoid());
}
}
|
