forked from phpstan/phpstan-src
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathImplicitToStringCallHelper.php
More file actions
73 lines (63 loc) · 1.74 KB
/
ImplicitToStringCallHelper.php
File metadata and controls
73 lines (63 loc) · 1.74 KB
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
<?php declare(strict_types = 1);
namespace PHPStan\Analyser\ExprHandler\Helper;
use PhpParser\Node\Expr;
use PhpParser\Node\Identifier;
use PHPStan\Analyser\ExpressionResult;
use PHPStan\Analyser\ImpurePoint;
use PHPStan\Analyser\MutatingScope;
use PHPStan\DependencyInjection\AutowiredService;
use PHPStan\Php\PhpVersion;
use function sprintf;
#[AutowiredService]
final class ImplicitToStringCallHelper
{
public function __construct(
private PhpVersion $phpVersion,
private MethodThrowPointHelper $methodThrowPointHelper,
)
{
}
public function processImplicitToStringCall(Expr $expr, MutatingScope $scope): ExpressionResult
{
$throwPoints = [];
$impurePoints = [];
$exprType = $scope->getType($expr);
$toStringMethod = $scope->getMethodReflection($exprType, '__toString');
if ($toStringMethod === null) {
return new ExpressionResult(
$scope,
hasYield: false,
isAlwaysTerminating: false,
throwPoints: [],
impurePoints: [],
);
}
if (!$toStringMethod->hasSideEffects()->no()) {
$impurePoints[] = new ImpurePoint(
$scope,
$expr,
'methodCall',
sprintf('call to method %s::%s()', $toStringMethod->getDeclaringClass()->getDisplayName(), $toStringMethod->getName()),
$toStringMethod->isPure()->no(),
);
}
if ($this->phpVersion->throwsOnStringCast()) {
$throwPoint = $this->methodThrowPointHelper->getThrowPoint(
$toStringMethod,
$toStringMethod->getOnlyVariant(),
new Expr\MethodCall($expr, new Identifier('__toString')),
$scope,
);
if ($throwPoint !== null) {
$throwPoints[] = $throwPoint;
}
}
return new ExpressionResult(
$scope,
hasYield: false,
isAlwaysTerminating: false,
throwPoints: $throwPoints,
impurePoints: $impurePoints,
);
}
}