forked from phpstan/phpstan-src
/
ExistingClassInInstanceOfRule.php
94 lines (77 loc) · 2.16 KB
/
ExistingClassInInstanceOfRule.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
<?php declare(strict_types = 1);
namespace PHPStan\Rules\Classes;
use PhpParser\Node;
use PhpParser\Node\Expr\Instanceof_;
use PHPStan\Analyser\Scope;
use PHPStan\Reflection\ReflectionProvider;
use PHPStan\Rules\ClassCaseSensitivityCheck;
use PHPStan\Rules\ClassNameNodePair;
use PHPStan\Rules\Rule;
use PHPStan\Rules\RuleErrorBuilder;
use PHPStan\Type\VerbosityLevel;
use function array_merge;
use function in_array;
use function sprintf;
use function strtolower;
/**
* @implements Rule<Node\Expr\Instanceof_>
*/
class ExistingClassInInstanceOfRule implements Rule
{
public function __construct(
private ReflectionProvider $reflectionProvider,
private ClassCaseSensitivityCheck $classCaseSensitivityCheck,
private bool $checkClassCaseSensitivity,
)
{
}
public function getNodeType(): string
{
return Instanceof_::class;
}
public function processNode(Node $node, Scope $scope): array
{
$class = $node->class;
if (!($class instanceof Node\Name)) {
return [];
}
$name = (string) $class;
$lowercaseName = strtolower($name);
if (in_array($lowercaseName, [
'self',
'static',
'parent',
], true)) {
if (!$scope->isInClass()) {
return [
RuleErrorBuilder::message(sprintf('Using %s outside of class scope.', $lowercaseName))->line($class->getLine())->build(),
];
}
return [];
}
$errors = [];
if (!$this->reflectionProvider->hasClass($name)) {
if ($scope->isInClassExists($name)) {
return [];
}
return [
RuleErrorBuilder::message(sprintf('Class %s not found.', $name))->line($class->getLine())->discoveringSymbolsTip()->build(),
];
} elseif ($this->checkClassCaseSensitivity) {
$errors = array_merge(
$errors,
$this->classCaseSensitivityCheck->checkClassNames([new ClassNameNodePair($name, $class)]),
);
}
$classReflection = $this->reflectionProvider->getClass($name);
if ($classReflection->isTrait()) {
$expressionType = $scope->getType($node->expr);
$errors[] = RuleErrorBuilder::message(sprintf(
'Instanceof between %s and trait %s will always evaluate to false.',
$expressionType->describe(VerbosityLevel::typeOnly()),
$name,
))->build();
}
return $errors;
}
}