-
-
Notifications
You must be signed in to change notification settings - Fork 394
/
GenericModelPropertyType.php
118 lines (93 loc) · 3.23 KB
/
GenericModelPropertyType.php
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
110
111
112
113
114
115
116
117
118
<?php
declare(strict_types=1);
namespace NunoMaduro\Larastan\Types\ModelProperty;
use PHPStan\TrinaryLogic;
use PHPStan\Type\CompoundType;
use PHPStan\Type\Constant\ConstantStringType;
use PHPStan\Type\Generic\TemplateType;
use PHPStan\Type\Generic\TemplateTypeMap;
use PHPStan\Type\Generic\TemplateTypeVariance;
use PHPStan\Type\IntersectionType;
use PHPStan\Type\ObjectType;
use PHPStan\Type\ObjectWithoutClassType;
use PHPStan\Type\Type;
use PHPStan\Type\TypeCombinator;
use PHPStan\Type\UnionType;
class GenericModelPropertyType extends ModelPropertyType
{
/** @var Type */
private $type;
public function __construct(Type $type)
{
parent::__construct();
$this->type = $type;
}
public function getReferencedClasses(): array
{
return $this->getGenericType()->getReferencedClasses();
}
public function getGenericType(): Type
{
return $this->type;
}
public function isSuperTypeOf(Type $type): TrinaryLogic
{
if ($type instanceof ConstantStringType) {
return $this->getGenericType()->hasProperty($type->getValue());
}
if ($type instanceof self) {
return TrinaryLogic::createYes();
}
if ($type instanceof parent) {
return TrinaryLogic::createMaybe();
}
if ($type instanceof CompoundType) {
return $type->isSubTypeOf($this);
}
return TrinaryLogic::createNo();
}
public function traverse(callable $cb): Type
{
$newType = $cb($this->getGenericType());
if ($newType === $this->getGenericType()) {
return $this;
}
return new self($newType);
}
public function inferTemplateTypes(Type $receivedType): TemplateTypeMap
{
if ($receivedType instanceof UnionType || $receivedType instanceof IntersectionType) {
return $receivedType->inferTemplateTypesOn($this);
}
if ($receivedType instanceof ConstantStringType) {
$typeToInfer = new ObjectType($receivedType->getValue());
} elseif ($receivedType instanceof self) {
$typeToInfer = $receivedType->type;
} elseif ($receivedType->isClassStringType()->yes()) {
$typeToInfer = $this->getGenericType();
if ($typeToInfer instanceof TemplateType) {
$typeToInfer = $typeToInfer->getBound();
}
$typeToInfer = TypeCombinator::intersect($typeToInfer, new ObjectWithoutClassType());
} else {
return TemplateTypeMap::createEmpty();
}
if (! $this->getGenericType()->isSuperTypeOf($typeToInfer)->no()) {
return $this->getGenericType()->inferTemplateTypes($typeToInfer);
}
return TemplateTypeMap::createEmpty();
}
public function getReferencedTemplateTypes(TemplateTypeVariance $positionVariance): array
{
$variance = $positionVariance->compose(TemplateTypeVariance::createCovariant());
return $this->getGenericType()->getReferencedTemplateTypes($variance);
}
/**
* @param mixed[] $properties
* @return Type
*/
public static function __set_state(array $properties): Type
{
return new self($properties['type']);
}
}