2016-01-20 00:27:06 +01:00
|
|
|
<?php
|
2016-08-13 20:20:46 +02:00
|
|
|
namespace Psalm\Checker;
|
|
|
|
|
2016-02-04 15:22:46 +01:00
|
|
|
use PhpParser;
|
2017-05-19 06:48:26 +02:00
|
|
|
use PhpParser\Node\Stmt\Namespace_;
|
2016-11-02 07:29:00 +01:00
|
|
|
use Psalm\Context;
|
|
|
|
use Psalm\StatementsSource;
|
2016-11-21 03:49:06 +01:00
|
|
|
use Psalm\Type;
|
2016-01-20 00:27:06 +01:00
|
|
|
|
2016-11-21 03:49:06 +01:00
|
|
|
class NamespaceChecker extends SourceChecker implements StatementsSource
|
2016-01-20 00:27:06 +01:00
|
|
|
{
|
2017-01-07 20:35:07 +01:00
|
|
|
use CanAlias;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @var FileChecker
|
|
|
|
*/
|
|
|
|
protected $source;
|
|
|
|
|
2016-10-15 06:12:57 +02:00
|
|
|
/**
|
|
|
|
* @var Namespace_
|
|
|
|
*/
|
2017-02-12 00:56:38 +01:00
|
|
|
private $namespace;
|
2016-10-15 06:12:57 +02:00
|
|
|
|
|
|
|
/**
|
|
|
|
* @var string
|
|
|
|
*/
|
2017-02-12 00:56:38 +01:00
|
|
|
private $namespace_name;
|
2016-10-15 06:12:57 +02:00
|
|
|
|
2017-03-19 20:37:07 +01:00
|
|
|
/**
|
|
|
|
* @var array<int, FunctionChecker>
|
|
|
|
*/
|
|
|
|
public $function_checkers = [];
|
|
|
|
|
2017-01-02 21:31:18 +01:00
|
|
|
/**
|
|
|
|
* @var array<int, ClassChecker>
|
|
|
|
*/
|
2017-01-12 06:54:41 +01:00
|
|
|
public $class_checkers = [];
|
2017-01-02 21:31:18 +01:00
|
|
|
|
2017-02-02 00:11:00 +01:00
|
|
|
/**
|
|
|
|
* @var array<int, ClassChecker>
|
|
|
|
*/
|
|
|
|
public $interface_checkers = [];
|
|
|
|
|
2016-10-15 06:12:57 +02:00
|
|
|
/**
|
2016-11-21 03:49:06 +01:00
|
|
|
* A lookup table for public namespace constants
|
|
|
|
*
|
|
|
|
* @var array<string, array<string, Type\Union>>
|
2016-07-22 19:29:46 +02:00
|
|
|
*/
|
2016-11-21 03:49:06 +01:00
|
|
|
protected static $public_namespace_constants = [];
|
2016-07-22 19:29:46 +02:00
|
|
|
|
2016-11-02 07:29:00 +01:00
|
|
|
/**
|
|
|
|
* @param Namespace_ $namespace
|
2017-01-07 20:35:07 +01:00
|
|
|
* @param FileChecker $source
|
2016-11-02 07:29:00 +01:00
|
|
|
*/
|
2017-01-07 20:35:07 +01:00
|
|
|
public function __construct(Namespace_ $namespace, FileChecker $source)
|
2016-01-20 00:27:06 +01:00
|
|
|
{
|
2017-01-02 21:31:18 +01:00
|
|
|
$this->source = $source;
|
2016-08-14 00:54:49 +02:00
|
|
|
$this->namespace = $namespace;
|
2016-10-15 06:12:57 +02:00
|
|
|
$this->namespace_name = $this->namespace->name ? implode('\\', $this->namespace->name->parts) : '';
|
2016-01-20 00:27:06 +01:00
|
|
|
}
|
|
|
|
|
2016-11-02 07:29:00 +01:00
|
|
|
/**
|
2016-11-13 00:51:48 +01:00
|
|
|
* @return void
|
2016-11-02 07:29:00 +01:00
|
|
|
*/
|
2017-07-25 22:11:02 +02:00
|
|
|
public function collectAnalyzableInformation()
|
2016-01-20 00:27:06 +01:00
|
|
|
{
|
|
|
|
$leftover_stmts = [];
|
2017-03-19 20:37:07 +01:00
|
|
|
$function_stmts = [];
|
2016-01-20 00:27:06 +01:00
|
|
|
|
2017-01-18 05:55:08 +01:00
|
|
|
if (!isset(self::$public_namespace_constants[$this->namespace_name])) {
|
|
|
|
self::$public_namespace_constants[$this->namespace_name] = [];
|
|
|
|
}
|
2016-11-21 03:49:06 +01:00
|
|
|
|
2017-01-17 00:33:04 +01:00
|
|
|
$namespace_context = new Context();
|
2017-02-27 05:09:18 +01:00
|
|
|
$namespace_context->collect_references = $this->getFileChecker()->project_checker->collect_references;
|
2017-01-02 21:31:18 +01:00
|
|
|
|
2016-08-14 00:54:49 +02:00
|
|
|
foreach ($this->namespace->stmts as $stmt) {
|
|
|
|
if ($stmt instanceof PhpParser\Node\Stmt\ClassLike) {
|
2017-07-25 22:11:02 +02:00
|
|
|
$this->collectAnalyzableClassLike($stmt);
|
2016-11-02 07:29:00 +01:00
|
|
|
} elseif ($stmt instanceof PhpParser\Node\Stmt\Use_) {
|
2016-11-21 03:49:06 +01:00
|
|
|
$this->visitUse($stmt);
|
2016-11-21 04:40:19 +01:00
|
|
|
} elseif ($stmt instanceof PhpParser\Node\Stmt\GroupUse) {
|
|
|
|
$this->visitGroupUse($stmt);
|
2016-11-21 03:49:06 +01:00
|
|
|
} elseif ($stmt instanceof PhpParser\Node\Stmt\Const_) {
|
|
|
|
foreach ($stmt->consts as $const) {
|
|
|
|
self::$public_namespace_constants[$this->namespace_name][$const->name] = Type::getMixed();
|
2016-01-20 00:27:06 +01:00
|
|
|
}
|
2017-01-02 21:31:18 +01:00
|
|
|
|
2016-11-21 03:49:06 +01:00
|
|
|
$leftover_stmts[] = $stmt;
|
2017-03-19 20:37:07 +01:00
|
|
|
} elseif ($stmt instanceof PhpParser\Node\Stmt\Function_) {
|
|
|
|
$function_stmts[] = $stmt;
|
2016-11-02 07:29:00 +01:00
|
|
|
} else {
|
2016-01-20 00:27:06 +01:00
|
|
|
$leftover_stmts[] = $stmt;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-03-19 20:37:07 +01:00
|
|
|
// hoist functions to the top
|
|
|
|
foreach ($function_stmts as $stmt) {
|
|
|
|
$function_checker = new FunctionChecker($stmt, $this);
|
|
|
|
|
|
|
|
$this->source->addNamespacedFunctionChecker(
|
|
|
|
(string)$function_checker->getMethodId(),
|
|
|
|
$function_checker
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2016-01-20 00:27:06 +01:00
|
|
|
if ($leftover_stmts) {
|
2017-01-02 21:31:18 +01:00
|
|
|
$statements_checker = new StatementsChecker($this);
|
2017-01-17 00:33:04 +01:00
|
|
|
$context = new Context();
|
2017-02-27 05:09:18 +01:00
|
|
|
$context->collect_references = $this->getFileChecker()->project_checker->collect_references;
|
2017-01-07 21:09:47 +01:00
|
|
|
$statements_checker->analyze($leftover_stmts, $context);
|
2016-01-20 00:27:06 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-11-21 04:02:26 +01:00
|
|
|
/**
|
|
|
|
* @param PhpParser\Node\Stmt\ClassLike $stmt
|
2017-05-27 02:16:18 +02:00
|
|
|
*
|
2016-11-21 04:02:26 +01:00
|
|
|
* @return void
|
|
|
|
*/
|
2017-07-25 22:11:02 +02:00
|
|
|
public function collectAnalyzableClassLike(PhpParser\Node\Stmt\ClassLike $stmt)
|
2017-02-02 00:11:00 +01:00
|
|
|
{
|
2016-12-04 04:41:45 +01:00
|
|
|
if (!$stmt->name) {
|
|
|
|
throw new \UnexpectedValueException('Did not expect anonymous class here');
|
|
|
|
}
|
2016-12-14 18:28:38 +01:00
|
|
|
|
2017-07-25 22:11:02 +02:00
|
|
|
$fq_class_name = ClassLikeChecker::getFQCLNFromString($stmt->name, $this->getAliases());
|
2017-02-01 01:21:33 +01:00
|
|
|
|
2016-11-21 03:49:06 +01:00
|
|
|
if ($stmt instanceof PhpParser\Node\Stmt\Class_) {
|
2017-02-02 00:11:00 +01:00
|
|
|
$this->source->addNamespacedClassChecker(
|
|
|
|
$fq_class_name,
|
|
|
|
new ClassChecker($stmt, $this, $fq_class_name)
|
|
|
|
);
|
2016-11-21 03:49:06 +01:00
|
|
|
} elseif ($stmt instanceof PhpParser\Node\Stmt\Interface_) {
|
2017-02-02 00:11:00 +01:00
|
|
|
$this->source->addNamespacedInterfaceChecker(
|
|
|
|
$fq_class_name,
|
|
|
|
new InterfaceChecker($stmt, $this, $fq_class_name)
|
|
|
|
);
|
2016-11-21 03:49:06 +01:00
|
|
|
}
|
2016-01-20 00:27:06 +01:00
|
|
|
}
|
|
|
|
|
2016-11-02 07:29:00 +01:00
|
|
|
/**
|
|
|
|
* @return string
|
|
|
|
*/
|
2016-11-21 03:49:06 +01:00
|
|
|
public function getNamespace()
|
2016-01-20 00:27:06 +01:00
|
|
|
{
|
2016-11-21 03:49:06 +01:00
|
|
|
return $this->namespace_name;
|
2016-01-20 00:27:06 +01:00
|
|
|
}
|
|
|
|
|
2016-10-09 23:54:58 +02:00
|
|
|
/**
|
2016-11-21 03:49:06 +01:00
|
|
|
* @param string $const_name
|
|
|
|
* @param Type\Union $const_type
|
2017-05-27 02:16:18 +02:00
|
|
|
*
|
2016-11-02 07:29:00 +01:00
|
|
|
* @return void
|
2016-10-09 23:54:58 +02:00
|
|
|
*/
|
2016-11-21 03:49:06 +01:00
|
|
|
public function setConstType($const_name, Type\Union $const_type)
|
2016-08-25 01:00:44 +02:00
|
|
|
{
|
2016-11-21 03:49:06 +01:00
|
|
|
self::$public_namespace_constants[$this->namespace_name][$const_name] = $const_type;
|
2016-08-25 01:00:44 +02:00
|
|
|
}
|
|
|
|
|
2016-11-02 07:29:00 +01:00
|
|
|
/**
|
2016-11-21 03:49:06 +01:00
|
|
|
* @param string $namespace_name
|
|
|
|
* @param mixed $visibility
|
2017-05-27 02:16:18 +02:00
|
|
|
*
|
2016-11-21 03:49:06 +01:00
|
|
|
* @return array<string,Type\Union>
|
2016-11-02 07:29:00 +01:00
|
|
|
*/
|
2016-11-21 03:49:06 +01:00
|
|
|
public static function getConstantsForNamespace($namespace_name, $visibility)
|
2016-08-25 01:00:44 +02:00
|
|
|
{
|
2016-11-21 03:49:06 +01:00
|
|
|
// remove for PHP 7.1 support
|
|
|
|
$visibility = \ReflectionProperty::IS_PUBLIC;
|
2016-08-25 01:00:44 +02:00
|
|
|
|
2016-11-21 03:49:06 +01:00
|
|
|
// @todo this does not allow for loading in namespace constants not already defined in the current sweep
|
2016-11-21 04:40:19 +01:00
|
|
|
if (!isset(self::$public_namespace_constants[$namespace_name])) {
|
|
|
|
self::$public_namespace_constants[$namespace_name] = [];
|
|
|
|
}
|
2016-05-16 05:06:03 +02:00
|
|
|
|
2016-11-21 03:49:06 +01:00
|
|
|
if ($visibility === \ReflectionProperty::IS_PUBLIC) {
|
|
|
|
return self::$public_namespace_constants[$namespace_name];
|
|
|
|
}
|
2016-07-22 19:29:46 +02:00
|
|
|
|
2016-11-21 03:49:06 +01:00
|
|
|
throw new \InvalidArgumentException('Given $visibility not supported');
|
2016-07-22 19:29:46 +02:00
|
|
|
}
|
2017-07-29 21:05:06 +02:00
|
|
|
|
|
|
|
public function getFileChecker()
|
|
|
|
{
|
|
|
|
return $this->source;
|
|
|
|
}
|
2016-01-20 00:27:06 +01:00
|
|
|
}
|