1
0
mirror of https://github.com/danog/psalm.git synced 2024-12-14 02:07:37 +01:00
psalm/src/CodeInspector/ClassMethodChecker.php

609 lines
22 KiB
PHP
Raw Normal View History

2016-01-08 00:28:27 +01:00
<?php
2016-01-08 00:36:55 +01:00
namespace CodeInspector;
2016-01-08 00:28:27 +01:00
use CodeInspector\Issue\UndefinedMethod;
use CodeInspector\Issue\InaccessibleMethod;
use CodeInspector\Issue\InvalidReturnType;
2016-02-04 15:22:46 +01:00
use PhpParser;
2016-01-08 00:28:27 +01:00
class ClassMethodChecker extends FunctionChecker
{
protected static $_method_comments = [];
protected static $_method_files = [];
protected static $_method_params = [];
protected static $_method_namespaces = [];
protected static $_method_return_types = [];
protected static $_static_methods = [];
protected static $_declaring_classes = [];
protected static $_existing_methods = [];
protected static $_have_reflected = [];
protected static $_have_registered = [];
2016-04-17 17:26:29 +02:00
protected static $_method_custom_calls = [];
protected static $_inherited_methods = [];
protected static $_declaring_class = [];
2016-04-18 19:31:59 +02:00
protected static $_method_visibility = [];
protected static $_new_docblocks = [];
2016-04-18 19:31:59 +02:00
const VISIBILITY_PUBLIC = 1;
const VISIBILITY_PROTECTED = 2;
const VISIBILITY_PRIVATE = 3;
const TYPE_REGEX = '(\\\?[A-Za-z0-9\<\>\[\]|\\\]+[A-Za-z0-9\<\>\[\]]|\$[a-zA-Z_0-9\<\>\|\[\]]+)';
public function __construct(PhpParser\Node\FunctionLike $function, StatementsSource $source, array $this_vars = [])
{
parent::__construct($function, $source);
2016-04-20 19:35:22 +02:00
if ($function instanceof PhpParser\Node\Stmt\ClassMethod) {
$this->_registerMethod($function);
$this->_is_static = $function->isStatic();
}
}
2016-04-27 00:42:48 +02:00
/**
* @return false|null
2016-04-27 00:42:48 +02:00
*/
public function checkReturnTypes($update_doc_comment = false)
{
if (!$this->_function->stmts) {
return;
}
if ($this->_function->name === '__construct') {
// we know that constructors always return this
return;
}
if (!isset(self::$_new_docblocks[$this->_file_name])) {
self::$_new_docblocks[$this->_file_name] = [];
}
$method_id = $this->_absolute_class . '::' . $this->_function->name;
2016-06-16 02:16:40 +02:00
$declared_return_type = self::getMethodReturnTypes($method_id);
2016-06-16 02:16:40 +02:00
if ($declared_return_type) {
$inferred_return_types = EffectsAnalyser::getReturnTypes($this->_function->stmts, true);
2016-06-15 01:22:29 +02:00
2016-06-16 02:16:40 +02:00
if (!$inferred_return_types) {
2016-06-17 22:05:28 +02:00
if ($declared_return_type->isVoid()) {
return;
}
if (ScopeChecker::onlyThrows($this->_function->stmts)) {
// if there's a single throw statement, it's presumably an exception saying this method is not to be used
return;
}
if (ExceptionHandler::accepts(
new InvalidReturnType(
2016-06-17 23:34:52 +02:00
'No return type was found for method ' . $method_id . ' but return type \'' . $declared_return_type . '\' was expected',
$this->_file_name,
$this->_function->getLine()
)
)) {
return false;
2016-06-16 02:16:40 +02:00
}
return;
}
$inferred_return_type = Type::combineTypes($inferred_return_types);
2016-04-30 20:14:22 +02:00
2016-06-16 02:16:40 +02:00
if ($inferred_return_type && !$inferred_return_type->isMixed() && !$declared_return_type->isMixed()) {
2016-06-16 07:19:52 +02:00
if ($inferred_return_type->isNull() && $declared_return_type->isVoid()) {
return;
}
2016-06-16 02:16:40 +02:00
$simple_declared_return_types = array_map(
function ($return_type) {
return $return_type->value;
},
2016-06-16 02:16:40 +02:00
$declared_return_type->types
);
2016-04-30 20:14:22 +02:00
2016-06-16 02:16:40 +02:00
$simple_inferred_return_types = array_map(
function ($return_type) {
return $return_type->value;
},
$inferred_return_type->types
);
2016-06-16 07:19:52 +02:00
// gets elements A△B
$differing_types = array_diff($simple_inferred_return_types, $simple_declared_return_types);
if (count($differing_types) && (string) $inferred_return_type !== (string) $declared_return_type) {
// check whether the differing types are subclasses of declared return types
$truly_different = false;
foreach ($differing_types as $differing_type) {
$is_match = false;
2016-06-16 02:16:40 +02:00
foreach ($simple_declared_return_types as $simple_declared_return_type) {
if (is_subclass_of($differing_type, $simple_declared_return_type) ||
(in_array($differing_type, ['float', 'double', 'int']) && in_array($simple_declared_return_type, ['float', 'double', 'int'])) ||
2016-06-16 07:19:52 +02:00
(in_array($differing_type, ['boolean', 'bool']) && in_array($simple_declared_return_type, ['boolean', 'bool']))
) {
$is_match = true;
break;
}
}
if (!$is_match) {
$truly_different = true;
}
}
if ($truly_different) {
if (ExceptionHandler::accepts(
new InvalidReturnType(
2016-06-17 23:34:52 +02:00
'The given return type \'' . $declared_return_type . '\' for ' . $method_id . ' is incorrect, got \'' . $inferred_return_type . '\'',
$this->_file_name,
$this->_function->getLine()
)
)) {
return false;
}
}
}
}
return;
}
}
public static function getMethodParams($method_id)
{
2016-04-18 19:31:59 +02:00
self::_populateData($method_id);
return self::$_method_params[$method_id];
}
public static function getMethodReturnTypes($method_id)
{
2016-04-18 19:31:59 +02:00
self::_populateData($method_id);
2016-06-16 07:19:52 +02:00
return self::$_method_return_types[$method_id] ? clone self::$_method_return_types[$method_id] : null;
}
2016-04-27 00:42:48 +02:00
/**
* @return void
*/
public static function extractReflectionMethodInfo($method_id)
{
if (isset(self::$_have_reflected[$method_id]) || isset(self::$_have_registered[$method_id])) {
return;
}
try {
$method = new \ReflectionMethod($method_id);
}
catch (\ReflectionException $e) {
// maybe it's an old-timey constructor
$absolute_class = explode('::', $method_id)[0];
2016-06-17 23:34:52 +02:00
$class_name = array_pop(explode('\\', $absolute_class));
$alt_method_id = $absolute_class . '::' . $class_name;
$method = new \ReflectionMethod($alt_method_id);
}
self::$_have_reflected[$method_id] = true;
self::$_static_methods[$method_id] = $method->isStatic();
self::$_method_files[$method_id] = $method->getFileName();
self::$_method_namespaces[$method_id] = $method->getDeclaringClass()->getNamespaceName();
self::$_declaring_classes[$method_id] = $method->getDeclaringClass()->name . '::' . $method->getName();
2016-04-18 19:31:59 +02:00
self::$_method_visibility[$method_id] = $method->isPrivate() ?
self::VISIBILITY_PRIVATE :
($method->isProtected() ? self::VISIBILITY_PROTECTED : self::VISIBILITY_PUBLIC);
$params = $method->getParameters();
self::$_method_params[$method_id] = [];
foreach ($params as $param) {
$param_type = null;
if ($param->isArray()) {
$param_type = 'array';
} elseif ($param->getClass() && self::$_method_files[$method_id]) {
$param_type = $param->getClass()->getName();
}
$is_nullable = false;
try {
$is_nullable = $param->getDefaultValue() === null;
2016-06-16 02:16:40 +02:00
if ($param_type) {
$param_type = '|null';
}
}
catch (\ReflectionException $e) {
// do nothing
}
self::$_method_params[$method_id][] = [
'name' => $param->getName(),
'by_ref' => $param->isPassedByReference(),
2016-06-16 02:16:40 +02:00
'type' => $param_type ? Type::parseString($param_type) : Type::getMixed(),
];
}
2016-06-15 01:22:29 +02:00
$return_types = null;
$comments = StatementsChecker::parseDocComment($method->getDocComment() ?: '');
if ($comments) {
if (isset($comments['specials']['return'])) {
$return_blocks = explode(' ', $comments['specials']['return'][0]);
foreach ($return_blocks as $block) {
2016-06-16 02:16:40 +02:00
if ($block && preg_match('/^' . self::TYPE_REGEX . '$/', $block) && !preg_match('/\[[^\]]+\]/', $block)) {
2016-06-15 01:22:29 +02:00
$return_types = $block;
break;
}
}
}
if (isset($comments['specials']['call'])) {
self::$_method_custom_calls[$method_id] = [];
$call_blocks = $comments['specials']['call'];
foreach ($comments['specials']['call'] as $block) {
if ($block) {
self::$_method_custom_calls[$method_id][] = trim($block);
}
}
}
if ($return_types) {
2016-06-15 01:22:29 +02:00
$return_types = self::_fixUpReturnType($return_types, $method_id);
}
}
2016-06-15 01:22:29 +02:00
self::$_method_return_types[$method_id] = $return_types ? Type::parseString($return_types) : null;
}
protected static function _copyToChildMethod($method_id, $child_method_id)
{
if (!isset(self::$_have_registered[$method_id]) && !isset(self::$_have_reflected[$method_id])) {
self::extractReflectionMethodInfo($method_id);
}
2016-04-18 19:31:59 +02:00
if (self::$_method_visibility[$method_id] !== self::VISIBILITY_PRIVATE) {
self::$_method_files[$child_method_id] = self::$_method_files[$method_id];
self::$_method_params[$child_method_id] = self::$_method_params[$method_id];
self::$_method_namespaces[$child_method_id] = self::$_method_namespaces[$method_id];
self::$_method_return_types[$child_method_id] = self::$_method_return_types[$method_id];
self::$_static_methods[$child_method_id] = self::$_static_methods[$method_id];
self::$_method_visibility[$child_method_id] = self::$_method_visibility[$method_id];
2016-04-18 19:31:59 +02:00
self::$_declaring_classes[$child_method_id] = self::$_declaring_classes[$method_id];
self::$_existing_methods[$child_method_id] = 1;
}
}
/**
* Determines whether a given method is static or not
* @param string $method_id
* @return bool
*/
public static function isGivenMethodStatic($method_id)
{
2016-04-18 19:31:59 +02:00
self::_populateData($method_id);
return self::$_static_methods[$method_id];
}
protected function _registerMethod(PhpParser\Node\Stmt\ClassMethod $method)
{
$method_id = $this->_absolute_class . '::' . $method->name;
if (isset(self::$_have_reflected[$method_id]) || isset(self::$_have_registered[$method_id])) {
return;
}
self::$_have_registered[$method_id] = true;
self::$_declaring_classes[$method_id] = $method_id;
self::$_static_methods[$method_id] = $method->isStatic();
self::$_method_comments[$method_id] = $method->getDocComment() ?: '';
self::$_method_namespaces[$method_id] = $this->_namespace;
self::$_method_files[$method_id] = $this->_file_name;
self::$_existing_methods[$method_id] = 1;
2016-04-18 19:31:59 +02:00
self::$_method_visibility[$method_id] = $method->isPrivate() ?
self::VISIBILITY_PRIVATE :
($method->isProtected() ? self::VISIBILITY_PROTECTED : self::VISIBILITY_PUBLIC);
$comments = StatementsChecker::parseDocComment($method->getDocComment());
2016-06-15 01:22:29 +02:00
$return_types = null;
if (isset($comments['specials']['return'])) {
$return_blocks = explode(' ', $comments['specials']['return'][0]);
foreach ($return_blocks as $block) {
if ($block) {
2016-06-16 02:16:40 +02:00
if ($block && preg_match('/^' . self::TYPE_REGEX . '$/', $block) && !preg_match('/\[[^\]]+\]/', $block)) {
2016-06-15 01:22:29 +02:00
$return_types = $block;
break;
}
}
}
}
if (isset($comments['specials']['call'])) {
self::$_method_custom_calls[$method_id] = [];
$call_blocks = $comments['specials']['call'];
foreach ($comments['specials']['call'] as $block) {
if ($block) {
self::$_method_custom_calls[$method_id][] = trim($block);
}
}
}
2016-06-15 01:22:29 +02:00
if ($return_types) {
$return_types = $this->_fixUpLocalReturnType($return_types, $method_id, $this->_namespace, $this->_aliased_classes);
}
2016-06-15 01:22:29 +02:00
self::$_method_return_types[$method_id] = $return_types ? Type::parseString($return_types) : null;
self::$_method_params[$method_id] = [];
foreach ($method->getParams() as $param) {
$param_type = null;
if ($param->type) {
if ($param->type instanceof Type) {
$param_type = $param_type;
}
else {
if (is_string($param->type)) {
$param_type_string = $param->type;
}
elseif ($param->type instanceof PhpParser\Node\Name\FullyQualified) {
$param_type_string = implode('\\', $param->type->parts);
}
elseif ($param->type->parts === ['self']) {
$param_type_string = $this->_absolute_class;
}
else {
$param_type_string = ClassChecker::getAbsoluteClassFromString(implode('\\', $param->type->parts), $this->_namespace, $this->_aliased_classes);
}
$is_nullable = $param->default !== null &&
$param->default instanceof \PhpParser\Node\Expr\ConstFetch &&
$param->default->name instanceof PhpParser\Node\Name &&
$param->default->name->parts = ['null'];
if ($param_type_string) {
if ($is_nullable) {
$param_type_string .= '|null';
}
$param_type = Type::parseString($param_type_string);
}
}
2016-06-16 02:16:40 +02:00
}
self::$_method_params[$method_id][] = [
'name' => $param->name,
'by_ref' => $param->byRef,
'type' => $param_type ?: Type::getMixed(),
];
}
}
protected static function _fixUpLocalReturnType($return_type, $method_id, $namespace, $aliased_classes)
{
if (strpos($return_type, '[') !== false) {
$return_type = TypeChecker::convertSquareBrackets($return_type);
}
$return_type_tokens = TypeChecker::tokenize($return_type);
foreach ($return_type_tokens as &$return_type_token) {
if ($return_type_token[0] === '\\') {
$return_type_token = substr($return_type_token, 1);
continue;
}
2016-06-14 07:23:57 +02:00
if (in_array($return_type_token, ['<', '>', '|'])) {
continue;
}
if ($return_type_token[0] === strtoupper($return_type_token[0])) {
$absolute_class = explode('::', $method_id)[0];
if ($return_type === '$this') {
$return_type_token = $absolute_class;
continue;
}
$return_type_token = ClassChecker::getAbsoluteClassFromString($return_type_token, $namespace, $aliased_classes);
}
}
return implode('', $return_type_tokens);
}
protected static function _fixUpReturnType($return_type, $method_id)
{
if (strpos($return_type, '[') !== false) {
$return_type = TypeChecker::convertSquareBrackets($return_type);
}
$return_type_tokens = TypeChecker::tokenize($return_type);
foreach ($return_type_tokens as &$return_type_token) {
if ($return_type_token[0] === '\\') {
$return_type_token = substr($return_type_token, 1);
continue;
}
2016-06-14 07:23:57 +02:00
if (in_array($return_type_token, ['<', '>', '|'])) {
continue;
}
if ($return_type_token[0] === strtoupper($return_type_token[0])) {
$absolute_class = explode('::', $method_id)[0];
if ($return_type_token === '$this') {
$return_type_token = $absolute_class;
continue;
}
$return_type_token = FileChecker::getAbsoluteClassFromNameInFile($return_type_token, self::$_method_namespaces[$method_id], self::$_method_files[$method_id]);
}
}
return implode('', $return_type_tokens);
}
2016-04-27 00:42:48 +02:00
/**
* @return false|null
2016-04-27 00:42:48 +02:00
*/
public static function checkMethodExists($method_id, $file_name, $stmt)
{
if (isset(self::$_existing_methods[$method_id])) {
return;
}
2016-04-18 19:31:59 +02:00
$method_parts = explode('::', $method_id);
if (method_exists($method_parts[0], $method_parts[1])) {
self::$_existing_methods[$method_id] = 1;
return;
2016-04-18 19:31:59 +02:00
}
if (ExceptionHandler::accepts(
new UndefinedMethod('Method ' . $method_id . ' does not exist', $file_name, $stmt->getLine())
)) {
return false;
}
2016-04-18 19:31:59 +02:00
}
protected static function _populateData($method_id)
{
if (!isset(self::$_have_reflected[$method_id]) && !isset(self::$_have_registered[$method_id])) {
2016-04-18 19:31:59 +02:00
if (isset(self::$_inherited_methods[$method_id])) {
self::_copyToChildMethod(self::$_inherited_methods[$method_id], $method_id);
}
else {
self::extractReflectionMethodInfo($method_id);
}
}
}
2016-04-27 00:42:48 +02:00
/**
* @return false|null
2016-04-27 00:42:48 +02:00
*/
2016-04-18 19:31:59 +02:00
public static function checkMethodVisibility($method_id, $calling_context, $file_name, $line_number)
{
self::_populateData($method_id);
$method_class = explode('::', $method_id)[0];
2016-04-30 20:14:22 +02:00
$method_name = explode('::', $method_id)[1];
2016-04-18 19:31:59 +02:00
if (!isset(self::$_method_visibility[$method_id])) {
if (ExceptionHandler::accepts(
new InaccessibleMethod('Cannot access method ' . $method_id, $file_name, $line_number)
)) {
return false;
}
2016-04-18 19:31:59 +02:00
}
switch (self::$_method_visibility[$method_id]) {
case self::VISIBILITY_PUBLIC:
return;
case self::VISIBILITY_PRIVATE:
if (!$calling_context || $method_class !== $calling_context) {
if (ExceptionHandler::accepts(
new InaccessibleMethod('Cannot access private method ' . $method_id . ' from context ' . $calling_context, $file_name, $line_number)
)) {
return false;
}
2016-04-18 19:31:59 +02:00
}
return;
case self::VISIBILITY_PROTECTED:
if ($method_class === $calling_context) {
return;
}
if (!$calling_context) {
if (ExceptionHandler::accepts(
new InaccessibleMethod('Cannot access protected method ' . $method_id, $file_name, $line_number)
)) {
return false;
}
2016-04-18 19:31:59 +02:00
}
2016-04-30 20:14:22 +02:00
if (is_subclass_of($method_class, $calling_context) && method_exists($calling_context, $method_name)) {
return;
}
2016-04-18 19:31:59 +02:00
if (!is_subclass_of($calling_context, $method_class)) {
if (ExceptionHandler::accepts(
new InaccessibleMethod('Cannot access protected method ' . $method_id . ' from context ' . $calling_context, $file_name, $line_number)
)) {
return false;
}
2016-04-18 19:31:59 +02:00
}
}
}
public static function registerInheritedMethod($parent_method_id, $method_id)
{
// only register the method if it's not already there
if (!isset(self::$_declaring_classes[$method_id])) {
self::$_declaring_classes[$method_id] = $parent_method_id;
}
self::$_inherited_methods[$method_id] = $parent_method_id;
}
public static function getDeclaringMethod($method_id)
{
if (isset(self::$_declaring_classes[$method_id])) {
return self::$_declaring_classes[$method_id];
}
$method_name = explode('::', $method_id)[1];
$parent_method_id = (new \ReflectionMethod($method_id))->getDeclaringClass()->getName() . '::' . $method_name;
self::$_declaring_classes[$method_id] = $parent_method_id;
return $parent_method_id;
}
public static function getNewDocblocksForFile($file_name)
{
return isset(self::$_new_docblocks[$file_name]) ? self::$_new_docblocks[$file_name] : [];
}
2016-06-16 02:16:40 +02:00
public static function clearCache()
{
self::$_method_comments = [];
self::$_method_files = [];
self::$_method_params = [];
self::$_method_namespaces = [];
self::$_method_return_types = [];
self::$_static_methods = [];
self::$_declaring_classes = [];
self::$_existing_methods = [];
self::$_have_reflected = [];
self::$_have_registered = [];
self::$_method_custom_calls = [];
self::$_inherited_methods = [];
self::$_declaring_class = [];
self::$_method_visibility = [];
self::$_new_docblocks = [];
}
2016-02-04 15:22:46 +01:00
}