-
Notifications
You must be signed in to change notification settings - Fork 426
/
GeneralizePrecision.php
58 lines (45 loc) · 1.05 KB
/
GeneralizePrecision.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
<?php declare(strict_types = 1);
namespace PHPStan\Type;
class GeneralizePrecision
{
private const LESS_SPECIFIC = 1;
private const MORE_SPECIFIC = 2;
private const TEMPLATE_ARGUMENT = 3;
/** @var self[] */
private static array $registry;
private function __construct(private int $value)
{
}
private static function create(int $value): self
{
self::$registry[$value] ??= new self($value);
return self::$registry[$value];
}
/** @api */
public static function lessSpecific(): self
{
return self::create(self::LESS_SPECIFIC);
}
/** @api */
public static function moreSpecific(): self
{
return self::create(self::MORE_SPECIFIC);
}
/** @api */
public static function templateArgument(): self
{
return self::create(self::TEMPLATE_ARGUMENT);
}
public function isLessSpecific(): bool
{
return $this->value === self::LESS_SPECIFIC;
}
public function isMoreSpecific(): bool
{
return $this->value === self::MORE_SPECIFIC;
}
public function isTemplateArgument(): bool
{
return $this->value === self::TEMPLATE_ARGUMENT;
}
}