forked from vimeo/psalm
/
ArrayType.php
72 lines (61 loc) · 1.42 KB
/
ArrayType.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
<?php
declare(strict_types=1);
namespace Psalm\Internal\Type;
use Psalm\Type;
use Psalm\Type\Atomic;
use Psalm\Type\Atomic\TArray;
use Psalm\Type\Atomic\TKeyedArray;
use Psalm\Type\Atomic\TList;
use Psalm\Type\Union;
/**
* @internal
*/
class ArrayType
{
/** @var Union */
public $key;
/** @var Union */
public $value;
/** @var bool */
public $is_list;
public function __construct(Union $key, Union $value, bool $is_list)
{
$this->key = $key;
$this->value = $value;
$this->is_list = $is_list;
}
/**
* @return (
* $type is TArrayKey ? self : (
* $type is TArray ? self : (
* $type is TList ? self : null
* )
* )
* )
*/
public static function infer(Atomic $type): ?self
{
if ($type instanceof TKeyedArray) {
return new self(
$type->getGenericKeyType(),
$type->getGenericValueType(),
$type->is_list
);
}
if ($type instanceof TList) {
return new self(
Type::getInt(),
$type->type_param,
true
);
}
if ($type instanceof TArray) {
return new self(
$type->type_params[0],
$type->type_params[1],
false
);
}
return null;
}
}