/home/smartonegroup/www/veroserv/vendor/rector/rector/src/NodeAnalyzer/ScopeAnalyzer.php
<?php
declare (strict_types=1);
namespace Rector\Core\NodeAnalyzer;
use PhpParser\Node;
use PhpParser\Node\Arg;
use PhpParser\Node\Identifier;
use PhpParser\Node\Name;
use PhpParser\Node\Param;
use PhpParser\Node\Stmt\Namespace_;
use PHPStan\Analyser\MutatingScope;
use Rector\Core\PhpParser\Node\CustomNode\FileWithoutNamespace;
use Rector\NodeTypeResolver\Node\AttributeKey;
use Rector\NodeTypeResolver\PHPStan\Scope\ScopeFactory;
final class ScopeAnalyzer
{
/**
* @var array<class-string<Node>>
*/
private const NO_SCOPE_NODES = [Name::class, Identifier::class, Param::class, Arg::class];
/**
* @readonly
* @var \Rector\NodeTypeResolver\PHPStan\Scope\ScopeFactory
*/
private $scopeFactory;
public function __construct(ScopeFactory $scopeFactory)
{
$this->scopeFactory = $scopeFactory;
}
public function hasScope(Node $node) : bool
{
foreach (self::NO_SCOPE_NODES as $noScopeNode) {
if ($node instanceof $noScopeNode) {
return \false;
}
}
return \true;
}
public function resolveScope(Node $node, string $filePath, ?MutatingScope $mutatingScope = null) : ?MutatingScope
{
if ($mutatingScope instanceof MutatingScope) {
return $mutatingScope;
}
$parentNode = $node->getAttribute(AttributeKey::PARENT_NODE);
if (!$parentNode instanceof Node) {
return $this->scopeFactory->createFromFile($filePath);
}
if (!$this->hasScope($parentNode)) {
return $this->scopeFactory->createFromFile($filePath);
}
/** @var MutatingScope|null $parentScope */
$parentScope = $parentNode->getAttribute(AttributeKey::SCOPE);
if ($parentScope instanceof MutatingScope) {
return $parentScope;
}
/**
* There is no higher Node than FileWithoutNamespace
* There is no code that can live outside Namespace_, @see https://3v4l.org/har0k
*/
if ($parentNode instanceof FileWithoutNamespace || $parentNode instanceof Namespace_) {
return $this->scopeFactory->createFromFile($filePath);
}
/**
* Fallback when current Node is FileWithoutNamespace or Namespace_ already
*/
if ($node instanceof FileWithoutNamespace || $node instanceof Namespace_) {
return $this->scopeFactory->createFromFile($filePath);
}
/**
* Node and parent Node doesn't has Scope, and parent Node Start token pos is < 0,
* it means the node and parent node just re-printed, the Scope need to be resolved from file
*/
if ($parentNode->getStartTokenPos() < 0) {
return $this->scopeFactory->createFromFile($filePath);
}
return null;
}
}