-
Notifications
You must be signed in to change notification settings - Fork 447
/
LazyScopeFactory.php
105 lines (96 loc) · 3.57 KB
/
LazyScopeFactory.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
<?php declare(strict_types = 1);
namespace PHPStan\Analyser;
use PhpParser\PrettyPrinter\Standard;
use PHPStan\DependencyInjection\Container;
use PHPStan\DependencyInjection\Type\DynamicReturnTypeExtensionRegistryProvider;
use PHPStan\DependencyInjection\Type\OperatorTypeSpecifyingExtensionRegistryProvider;
use PHPStan\Php\PhpVersion;
use PHPStan\Reflection\FunctionReflection;
use PHPStan\Reflection\MethodReflection;
use PHPStan\Reflection\ParametersAcceptor;
use PHPStan\Reflection\ReflectionProvider;
use PHPStan\Rules\Properties\PropertyReflectionFinder;
use PHPStan\ShouldNotHappenException;
use PHPStan\Type\Type;
use function is_a;
class LazyScopeFactory implements ScopeFactory
{
private bool $treatPhpDocTypesAsCertain;
private bool $explicitMixedInUnknownGenericNew;
public function __construct(
private string $scopeClass,
private Container $container,
)
{
$this->treatPhpDocTypesAsCertain = $container->getParameter('treatPhpDocTypesAsCertain');
$this->explicitMixedInUnknownGenericNew = $this->container->getParameter('featureToggles')['explicitMixedInUnknownGenericNew'];
}
/**
* @param array<string, Type> $constantTypes
* @param VariableTypeHolder[] $variablesTypes
* @param VariableTypeHolder[] $moreSpecificTypes
* @param array<string, ConditionalExpressionHolder[]> $conditionalExpressions
* @param array<string, true> $currentlyAssignedExpressions
* @param array<string, bool> $currentlyAllowedUndefinedExpressions
* @param array<string, Type> $nativeExpressionTypes
* @param array<(FunctionReflection|MethodReflection)> $inFunctionCallsStack
*
*/
public function create(
ScopeContext $context,
bool $declareStrictTypes = false,
array $constantTypes = [],
FunctionReflection|MethodReflection|null $function = null,
?string $namespace = null,
array $variablesTypes = [],
array $moreSpecificTypes = [],
array $conditionalExpressions = [],
?string $inClosureBindScopeClass = null,
?ParametersAcceptor $anonymousFunctionReflection = null,
bool $inFirstLevelStatement = true,
array $currentlyAssignedExpressions = [],
array $currentlyAllowedUndefinedExpressions = [],
array $nativeExpressionTypes = [],
array $inFunctionCallsStack = [],
bool $afterExtractCall = false,
?Scope $parentScope = null,
): MutatingScope
{
$scopeClass = $this->scopeClass;
if (!is_a($scopeClass, MutatingScope::class, true)) {
throw new ShouldNotHappenException();
}
return new $scopeClass(
$this,
$this->container->getByType(ReflectionProvider::class),
$this->container->getByType(DynamicReturnTypeExtensionRegistryProvider::class)->getRegistry(),
$this->container->getByType(OperatorTypeSpecifyingExtensionRegistryProvider::class)->getRegistry(),
$this->container->getByType(Standard::class),
$this->container->getByType(TypeSpecifier::class),
$this->container->getByType(PropertyReflectionFinder::class),
$this->container->getService('currentPhpVersionSimpleParser'),
$this->container->getByType(NodeScopeResolver::class),
$this->container->getByType(ConstantResolver::class),
$context,
$this->container->getByType(PhpVersion::class),
$declareStrictTypes,
$constantTypes,
$function,
$namespace,
$variablesTypes,
$moreSpecificTypes,
$conditionalExpressions,
$inClosureBindScopeClass,
$anonymousFunctionReflection,
$inFirstLevelStatement,
$currentlyAssignedExpressions,
$currentlyAllowedUndefinedExpressions,
$nativeExpressionTypes,
$inFunctionCallsStack,
$this->treatPhpDocTypesAsCertain,
$afterExtractCall,
$parentScope,
$this->explicitMixedInUnknownGenericNew,
);
}
}