mirror of
https://github.com/phabelio/PHP-Parser.git
synced 2025-01-22 21:31:14 +01:00
Extract name resolution logic into NameContext
All the generic name resolution logic is now available as a separate class with a public API.
This commit is contained in:
parent
888b9dcf30
commit
6168abd9a0
168
lib/PhpParser/NameContext.php
Normal file
168
lib/PhpParser/NameContext.php
Normal file
@ -0,0 +1,168 @@
|
|||||||
|
<?php
|
||||||
|
|
||||||
|
namespace PhpParser;
|
||||||
|
|
||||||
|
use PhpParser\Node\Name;
|
||||||
|
use PhpParser\Node\Name\FullyQualified;
|
||||||
|
use PhpParser\Node\Stmt;
|
||||||
|
|
||||||
|
class NameContext {
|
||||||
|
/** @var null|Name Current namespace */
|
||||||
|
protected $namespace;
|
||||||
|
|
||||||
|
/** @var array Map of format [aliasType => [aliasName => originalName]] */
|
||||||
|
protected $aliases = [];
|
||||||
|
|
||||||
|
/** @var ErrorHandler Error handler */
|
||||||
|
protected $errorHandler;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Create a name context.
|
||||||
|
*
|
||||||
|
* @param ErrorHandler $errorHandler Error handling used to report errors
|
||||||
|
*/
|
||||||
|
public function __construct(ErrorHandler $errorHandler) {
|
||||||
|
$this->errorHandler = $errorHandler;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Start a new namespace.
|
||||||
|
*
|
||||||
|
* This also resets the alias table.
|
||||||
|
*
|
||||||
|
* @param Name|null $namespace Null is the global namespace
|
||||||
|
*/
|
||||||
|
public function startNamespace(Name $namespace = null) {
|
||||||
|
$this->namespace = $namespace;
|
||||||
|
$this->aliases = [
|
||||||
|
Stmt\Use_::TYPE_NORMAL => [],
|
||||||
|
Stmt\Use_::TYPE_FUNCTION => [],
|
||||||
|
Stmt\Use_::TYPE_CONSTANT => [],
|
||||||
|
];
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Add an alias / import.
|
||||||
|
*
|
||||||
|
* @param Name $name Original name
|
||||||
|
* @param string $aliasName Aliased name
|
||||||
|
* @param int $type One of Stmt\Use_::TYPE_*
|
||||||
|
* @param array $errorAttrs Attributes to use to report an error
|
||||||
|
*/
|
||||||
|
public function addAlias(Name $name, $aliasName, $type, array $errorAttrs = []) {
|
||||||
|
// Constant names are case sensitive, everything else case insensitive
|
||||||
|
if ($type === Stmt\Use_::TYPE_CONSTANT) {
|
||||||
|
$aliasLookupName = $aliasName;
|
||||||
|
} else {
|
||||||
|
$aliasLookupName = strtolower($aliasName);
|
||||||
|
}
|
||||||
|
|
||||||
|
if (isset($this->aliases[$type][$aliasLookupName])) {
|
||||||
|
$typeStringMap = array(
|
||||||
|
Stmt\Use_::TYPE_NORMAL => '',
|
||||||
|
Stmt\Use_::TYPE_FUNCTION => 'function ',
|
||||||
|
Stmt\Use_::TYPE_CONSTANT => 'const ',
|
||||||
|
);
|
||||||
|
|
||||||
|
$this->errorHandler->handleError(new Error(
|
||||||
|
sprintf(
|
||||||
|
'Cannot use %s%s as %s because the name is already in use',
|
||||||
|
$typeStringMap[$type], $name, $aliasName
|
||||||
|
),
|
||||||
|
$errorAttrs
|
||||||
|
));
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
|
$this->aliases[$type][$aliasLookupName] = $name;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Get current namespace.
|
||||||
|
*
|
||||||
|
* @return null|Name Namespace (or null if global namespace)
|
||||||
|
*/
|
||||||
|
public function getNamespace() {
|
||||||
|
return $this->namespace;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Get resolved class name.
|
||||||
|
*
|
||||||
|
* @param Name $name Class ame to resolve
|
||||||
|
*
|
||||||
|
* @return Name Resolved name
|
||||||
|
*/
|
||||||
|
public function getResolvedClassName(Name $name) {
|
||||||
|
// don't resolve special class names
|
||||||
|
if (in_array(strtolower($name->toString()), array('self', 'parent', 'static'))) {
|
||||||
|
if (!$name->isUnqualified()) {
|
||||||
|
$this->errorHandler->handleError(new Error(
|
||||||
|
sprintf("'\\%s' is an invalid class name", $name->toString()),
|
||||||
|
$name->getAttributes()
|
||||||
|
));
|
||||||
|
}
|
||||||
|
return $name;
|
||||||
|
}
|
||||||
|
|
||||||
|
// fully qualified names are already resolved
|
||||||
|
if ($name->isFullyQualified()) {
|
||||||
|
return $name;
|
||||||
|
}
|
||||||
|
|
||||||
|
$aliasName = strtolower($name->getFirst());
|
||||||
|
if (!$name->isRelative() && isset($this->aliases[Stmt\Use_::TYPE_NORMAL][$aliasName])) {
|
||||||
|
// resolve aliases (for non-relative names)
|
||||||
|
$alias = $this->aliases[Stmt\Use_::TYPE_NORMAL][$aliasName];
|
||||||
|
return FullyQualified::concat($alias, $name->slice(1), $name->getAttributes());
|
||||||
|
}
|
||||||
|
|
||||||
|
// if no alias exists prepend current namespace
|
||||||
|
return FullyQualified::concat($this->namespace, $name, $name->getAttributes());
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Get resolved function or constant name.
|
||||||
|
*
|
||||||
|
* @param Name $name Function or constant name to resolve
|
||||||
|
* @param int $type One of Stmt\Use_::TYPE_{FUNCTION|CONSTANT}
|
||||||
|
*
|
||||||
|
* @return null|Name Resolved name, or null if static resolution is not possible
|
||||||
|
*/
|
||||||
|
public function getResolvedOtherName(Name $name, $type) {
|
||||||
|
// fully qualified names are already resolved
|
||||||
|
if ($name->isFullyQualified()) {
|
||||||
|
return $name;
|
||||||
|
}
|
||||||
|
|
||||||
|
// resolve aliases for qualified names
|
||||||
|
$aliasName = strtolower($name->getFirst());
|
||||||
|
if ($name->isQualified() && isset($this->aliases[Stmt\Use_::TYPE_NORMAL][$aliasName])) {
|
||||||
|
$alias = $this->aliases[Stmt\Use_::TYPE_NORMAL][$aliasName];
|
||||||
|
return FullyQualified::concat($alias, $name->slice(1), $name->getAttributes());
|
||||||
|
}
|
||||||
|
|
||||||
|
if ($name->isUnqualified()) {
|
||||||
|
if ($type === Stmt\Use_::TYPE_CONSTANT) {
|
||||||
|
// constant aliases are case-sensitive, function aliases case-insensitive
|
||||||
|
$aliasName = $name->getFirst();
|
||||||
|
}
|
||||||
|
|
||||||
|
if (isset($this->aliases[$type][$aliasName])) {
|
||||||
|
// resolve unqualified aliases
|
||||||
|
return new FullyQualified($this->aliases[$type][$aliasName], $name->getAttributes());
|
||||||
|
}
|
||||||
|
|
||||||
|
if (null === $this->namespace) {
|
||||||
|
// outside of a namespace unaliased unqualified is same as fully qualified
|
||||||
|
return new FullyQualified($name, $name->getAttributes());
|
||||||
|
}
|
||||||
|
|
||||||
|
// Cannot resolve statically
|
||||||
|
return null;
|
||||||
|
}
|
||||||
|
|
||||||
|
// if no alias exists prepend current namespace
|
||||||
|
return FullyQualified::concat($this->namespace, $name, $name->getAttributes());
|
||||||
|
}
|
||||||
|
}
|
@ -4,6 +4,7 @@ namespace PhpParser\NodeVisitor;
|
|||||||
|
|
||||||
use PhpParser\Error;
|
use PhpParser\Error;
|
||||||
use PhpParser\ErrorHandler;
|
use PhpParser\ErrorHandler;
|
||||||
|
use PhpParser\NameContext;
|
||||||
use PhpParser\Node;
|
use PhpParser\Node;
|
||||||
use PhpParser\Node\Expr;
|
use PhpParser\Node\Expr;
|
||||||
use PhpParser\Node\Name;
|
use PhpParser\Node\Name;
|
||||||
@ -13,14 +14,8 @@ use PhpParser\NodeVisitorAbstract;
|
|||||||
|
|
||||||
class NameResolver extends NodeVisitorAbstract
|
class NameResolver extends NodeVisitorAbstract
|
||||||
{
|
{
|
||||||
/** @var null|Name Current namespace */
|
/** @var NameContext Naming context */
|
||||||
protected $namespace;
|
protected $nameContext;
|
||||||
|
|
||||||
/** @var array Map of format [aliasType => [aliasName => originalName]] */
|
|
||||||
protected $aliases = [];
|
|
||||||
|
|
||||||
/** @var ErrorHandler Error handler */
|
|
||||||
protected $errorHandler;
|
|
||||||
|
|
||||||
/** @var bool Whether to preserve original names */
|
/** @var bool Whether to preserve original names */
|
||||||
protected $preserveOriginalNames;
|
protected $preserveOriginalNames;
|
||||||
@ -42,19 +37,28 @@ class NameResolver extends NodeVisitorAbstract
|
|||||||
* @param array $options Options
|
* @param array $options Options
|
||||||
*/
|
*/
|
||||||
public function __construct(ErrorHandler $errorHandler = null, array $options = []) {
|
public function __construct(ErrorHandler $errorHandler = null, array $options = []) {
|
||||||
$this->errorHandler = $errorHandler ?: new ErrorHandler\Throwing;
|
$this->nameContext = new NameContext($errorHandler ?? new ErrorHandler\Throwing);
|
||||||
$this->preserveOriginalNames = $options['preserveOriginalNames'] ?? false;
|
$this->preserveOriginalNames = $options['preserveOriginalNames'] ?? false;
|
||||||
$this->replaceNodes = $options['replaceNodes'] ?? true;
|
$this->replaceNodes = $options['replaceNodes'] ?? true;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Get name resolution context.
|
||||||
|
*
|
||||||
|
* @return NameContext
|
||||||
|
*/
|
||||||
|
public function getNameContext() {
|
||||||
|
return $this->nameContext;
|
||||||
|
}
|
||||||
|
|
||||||
public function beforeTraverse(array $nodes) {
|
public function beforeTraverse(array $nodes) {
|
||||||
$this->resetState();
|
$this->nameContext->startNamespace();
|
||||||
return null;
|
return null;
|
||||||
}
|
}
|
||||||
|
|
||||||
public function enterNode(Node $node) {
|
public function enterNode(Node $node) {
|
||||||
if ($node instanceof Stmt\Namespace_) {
|
if ($node instanceof Stmt\Namespace_) {
|
||||||
$this->resetState($node->name);
|
$this->nameContext->startNamespace($node->name);
|
||||||
} elseif ($node instanceof Stmt\Use_) {
|
} elseif ($node instanceof Stmt\Use_) {
|
||||||
foreach ($node->uses as $use) {
|
foreach ($node->uses as $use) {
|
||||||
$this->addAlias($use, $node->type, null);
|
$this->addAlias($use, $node->type, null);
|
||||||
@ -134,46 +138,13 @@ class NameResolver extends NodeVisitorAbstract
|
|||||||
return null;
|
return null;
|
||||||
}
|
}
|
||||||
|
|
||||||
protected function resetState(Name $namespace = null) {
|
private function addAlias(Stmt\UseUse $use, $type, Name $prefix = null) {
|
||||||
$this->namespace = $namespace;
|
|
||||||
$this->aliases = array(
|
|
||||||
Stmt\Use_::TYPE_NORMAL => array(),
|
|
||||||
Stmt\Use_::TYPE_FUNCTION => array(),
|
|
||||||
Stmt\Use_::TYPE_CONSTANT => array(),
|
|
||||||
);
|
|
||||||
}
|
|
||||||
|
|
||||||
protected function addAlias(Stmt\UseUse $use, $type, Name $prefix = null) {
|
|
||||||
// Add prefix for group uses
|
// Add prefix for group uses
|
||||||
$name = $prefix ? Name::concat($prefix, $use->name) : $use->name;
|
$name = $prefix ? Name::concat($prefix, $use->name) : $use->name;
|
||||||
// Type is determined either by individual element or whole use declaration
|
// Type is determined either by individual element or whole use declaration
|
||||||
$type |= $use->type;
|
$type |= $use->type;
|
||||||
|
|
||||||
// Constant names are case sensitive, everything else case insensitive
|
$this->nameContext->addAlias($name, $use->alias, $type, $use->getAttributes());
|
||||||
if ($type === Stmt\Use_::TYPE_CONSTANT) {
|
|
||||||
$aliasName = $use->alias;
|
|
||||||
} else {
|
|
||||||
$aliasName = strtolower($use->alias);
|
|
||||||
}
|
|
||||||
|
|
||||||
if (isset($this->aliases[$type][$aliasName])) {
|
|
||||||
$typeStringMap = array(
|
|
||||||
Stmt\Use_::TYPE_NORMAL => '',
|
|
||||||
Stmt\Use_::TYPE_FUNCTION => 'function ',
|
|
||||||
Stmt\Use_::TYPE_CONSTANT => 'const ',
|
|
||||||
);
|
|
||||||
|
|
||||||
$this->errorHandler->handleError(new Error(
|
|
||||||
sprintf(
|
|
||||||
'Cannot use %s%s as %s because the name is already in use',
|
|
||||||
$typeStringMap[$type], $name, $use->alias
|
|
||||||
),
|
|
||||||
$use->getAttributes()
|
|
||||||
));
|
|
||||||
return;
|
|
||||||
}
|
|
||||||
|
|
||||||
$this->aliases[$type][$aliasName] = $name;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
/** @param Stmt\Function_|Stmt\ClassMethod|Expr\Closure $node */
|
/** @param Stmt\Function_|Stmt\ClassMethod|Expr\Closure $node */
|
||||||
@ -204,7 +175,7 @@ class NameResolver extends NodeVisitorAbstract
|
|||||||
*/
|
*/
|
||||||
protected function resolveClassName(Name $name) {
|
protected function resolveClassName(Name $name) {
|
||||||
if (!$this->replaceNodes) {
|
if (!$this->replaceNodes) {
|
||||||
$name->setAttribute('resolvedName', $this->getResolvedClassName($name));
|
$name->setAttribute('resolvedName', $this->nameContext->getResolvedClassName($name));
|
||||||
return $name;
|
return $name;
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -215,7 +186,7 @@ class NameResolver extends NodeVisitorAbstract
|
|||||||
$name->setAttribute('originalName', $originalName);
|
$name->setAttribute('originalName', $originalName);
|
||||||
}
|
}
|
||||||
|
|
||||||
return $this->getResolvedClassName($name);
|
return $this->nameContext->getResolvedClassName($name);
|
||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
@ -228,12 +199,12 @@ class NameResolver extends NodeVisitorAbstract
|
|||||||
*/
|
*/
|
||||||
protected function resolveOtherName(Name $name, $type) {
|
protected function resolveOtherName(Name $name, $type) {
|
||||||
if (!$this->replaceNodes) {
|
if (!$this->replaceNodes) {
|
||||||
$resolvedName = $this->getResolvedOtherName($name, $type);
|
$resolvedName = $this->nameContext->getResolvedOtherName($name, $type);
|
||||||
if (null !== $resolvedName) {
|
if (null !== $resolvedName) {
|
||||||
$name->setAttribute('resolvedName', $resolvedName);
|
$name->setAttribute('resolvedName', $resolvedName);
|
||||||
} else {
|
} else {
|
||||||
$name->setAttribute('namespacedName',
|
$name->setAttribute('namespacedName', FullyQualified::concat(
|
||||||
FullyQualified::concat($this->namespace, $name, $name->getAttributes()));
|
$this->nameContext->getNamespace(), $name, $name->getAttributes()));
|
||||||
}
|
}
|
||||||
return $name;
|
return $name;
|
||||||
}
|
}
|
||||||
@ -245,99 +216,20 @@ class NameResolver extends NodeVisitorAbstract
|
|||||||
$name->setAttribute('originalName', $originalName);
|
$name->setAttribute('originalName', $originalName);
|
||||||
}
|
}
|
||||||
|
|
||||||
$resolvedName = $this->getResolvedOtherName($name, $type);
|
$resolvedName = $this->nameContext->getResolvedOtherName($name, $type);
|
||||||
if (null !== $resolvedName) {
|
if (null !== $resolvedName) {
|
||||||
return $resolvedName;
|
return $resolvedName;
|
||||||
}
|
}
|
||||||
|
|
||||||
// unqualified names inside a namespace cannot be resolved at compile-time
|
// unqualified names inside a namespace cannot be resolved at compile-time
|
||||||
// add the namespaced version of the name as an attribute
|
// add the namespaced version of the name as an attribute
|
||||||
$name->setAttribute('namespacedName',
|
$name->setAttribute('namespacedName', FullyQualified::concat(
|
||||||
FullyQualified::concat($this->namespace, $name, $name->getAttributes()));
|
$this->nameContext->getNamespace(), $name, $name->getAttributes()));
|
||||||
return $name;
|
return $name;
|
||||||
}
|
}
|
||||||
|
|
||||||
/**
|
|
||||||
* Get resolved class name.
|
|
||||||
*
|
|
||||||
* @param Name $name Class ame to resolve
|
|
||||||
*
|
|
||||||
* @return Name Resolved name
|
|
||||||
*/
|
|
||||||
protected function getResolvedClassName(Name $name) {
|
|
||||||
// don't resolve special class names
|
|
||||||
if (in_array(strtolower($name->toString()), array('self', 'parent', 'static'))) {
|
|
||||||
if (!$name->isUnqualified()) {
|
|
||||||
$this->errorHandler->handleError(new Error(
|
|
||||||
sprintf("'\\%s' is an invalid class name", $name->toString()),
|
|
||||||
$name->getAttributes()
|
|
||||||
));
|
|
||||||
}
|
|
||||||
return $name;
|
|
||||||
}
|
|
||||||
|
|
||||||
// fully qualified names are already resolved
|
|
||||||
if ($name->isFullyQualified()) {
|
|
||||||
return $name;
|
|
||||||
}
|
|
||||||
|
|
||||||
$aliasName = strtolower($name->getFirst());
|
|
||||||
if (!$name->isRelative() && isset($this->aliases[Stmt\Use_::TYPE_NORMAL][$aliasName])) {
|
|
||||||
// resolve aliases (for non-relative names)
|
|
||||||
$alias = $this->aliases[Stmt\Use_::TYPE_NORMAL][$aliasName];
|
|
||||||
return FullyQualified::concat($alias, $name->slice(1), $name->getAttributes());
|
|
||||||
}
|
|
||||||
|
|
||||||
// if no alias exists prepend current namespace
|
|
||||||
return FullyQualified::concat($this->namespace, $name, $name->getAttributes());
|
|
||||||
}
|
|
||||||
|
|
||||||
/**
|
|
||||||
* Get resolved function or constant name.
|
|
||||||
*
|
|
||||||
* @param Name $name Function or constant name to resolve
|
|
||||||
* @param int $type One of Stmt\Use_::TYPE_{FUNCTION|CONSTANT}
|
|
||||||
*
|
|
||||||
* @return null|Name Resolved name, or null if static resolution is not possible
|
|
||||||
*/
|
|
||||||
protected function getResolvedOtherName(Name $name, $type) {
|
|
||||||
// fully qualified names are already resolved
|
|
||||||
if ($name->isFullyQualified()) {
|
|
||||||
return $name;
|
|
||||||
}
|
|
||||||
|
|
||||||
// resolve aliases for qualified names
|
|
||||||
$aliasName = strtolower($name->getFirst());
|
|
||||||
if ($name->isQualified() && isset($this->aliases[Stmt\Use_::TYPE_NORMAL][$aliasName])) {
|
|
||||||
$alias = $this->aliases[Stmt\Use_::TYPE_NORMAL][$aliasName];
|
|
||||||
return FullyQualified::concat($alias, $name->slice(1), $name->getAttributes());
|
|
||||||
}
|
|
||||||
|
|
||||||
if ($name->isUnqualified()) {
|
|
||||||
if ($type === Stmt\Use_::TYPE_CONSTANT) {
|
|
||||||
// constant aliases are case-sensitive, function aliases case-insensitive
|
|
||||||
$aliasName = $name->getFirst();
|
|
||||||
}
|
|
||||||
|
|
||||||
if (isset($this->aliases[$type][$aliasName])) {
|
|
||||||
// resolve unqualified aliases
|
|
||||||
return new FullyQualified($this->aliases[$type][$aliasName], $name->getAttributes());
|
|
||||||
}
|
|
||||||
|
|
||||||
if (null === $this->namespace) {
|
|
||||||
// outside of a namespace unaliased unqualified is same as fully qualified
|
|
||||||
return new FullyQualified($name, $name->getAttributes());
|
|
||||||
}
|
|
||||||
|
|
||||||
// Cannot resolve statically
|
|
||||||
return null;
|
|
||||||
}
|
|
||||||
|
|
||||||
// if no alias exists prepend current namespace
|
|
||||||
return FullyQualified::concat($this->namespace, $name, $name->getAttributes());
|
|
||||||
}
|
|
||||||
|
|
||||||
protected function addNamespacedName(Node $node) {
|
protected function addNamespacedName(Node $node) {
|
||||||
$node->namespacedName = Name::concat($this->namespace, (string) $node->name);
|
$node->namespacedName = Name::concat(
|
||||||
|
$this->nameContext->getNamespace(), (string) $node->name);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user