1
0
mirror of https://github.com/danog/psalm.git synced 2025-01-05 20:48:45 +01:00
psalm/src/Psalm/Internal/Analyzer/Statements/Expression/Call/MissingMethodCallHandler.php
2020-03-11 23:04:52 -04:00

213 lines
6.9 KiB
PHP

<?php
namespace Psalm\Internal\Analyzer\Statements\Expression\Call;
use PhpParser;
use Psalm\Internal\Analyzer\Statements\ExpressionAnalyzer;
use Psalm\Internal\Analyzer\Statements\Expression\CallAnalyzer;
use Psalm\Internal\Analyzer\StatementsAnalyzer;
use Psalm\Codebase;
use Psalm\CodeLocation;
use Psalm\Context;
use Psalm\Internal\MethodIdentifier;
use Psalm\Type;
use function array_map;
class MissingMethodCallHandler
{
public static function handleMagicMethod(
StatementsAnalyzer $statements_analyzer,
Codebase $codebase,
PhpParser\Node\Expr\MethodCall $stmt,
MethodIdentifier $method_id,
\Psalm\Storage\ClassLikeStorage $class_storage,
Context $context,
?Type\Union $all_intersection_return_type,
AtomicMethodCallAnalysisResult $result
) : ?AtomicCallContext {
$fq_class_name = $method_id->fq_class_name;
$method_name_lc = $method_id->method_name;
if (isset($class_storage->pseudo_methods[$method_name_lc])) {
$result->has_valid_method_call_type = true;
$result->existent_method_ids[] = $method_id;
$pseudo_method_storage = $class_storage->pseudo_methods[$method_name_lc];
CallAnalyzer::checkFunctionArguments(
$statements_analyzer,
$stmt->args,
$pseudo_method_storage->params,
(string) $method_id,
$context
);
CallAnalyzer::checkFunctionLikeArgumentsMatch(
$statements_analyzer,
$stmt->args,
null,
$pseudo_method_storage->params,
$pseudo_method_storage,
null,
null,
new CodeLocation($statements_analyzer, $stmt),
$context
);
if ($pseudo_method_storage->return_type) {
$return_type_candidate = clone $pseudo_method_storage->return_type;
$return_type_candidate = ExpressionAnalyzer::fleshOutType(
$codebase,
$return_type_candidate,
$fq_class_name,
$fq_class_name,
$class_storage->parent_class
);
if ($all_intersection_return_type) {
$return_type_candidate = Type::intersectUnionTypes(
$all_intersection_return_type,
$return_type_candidate
) ?: Type::getMixed();
}
if (!$result->return_type) {
$result->return_type = $return_type_candidate;
} else {
$result->return_type = Type::combineUnionTypes(
$return_type_candidate,
$result->return_type
);
}
return null;
}
} else {
CallAnalyzer::checkFunctionArguments(
$statements_analyzer,
$stmt->args,
null,
null,
$context
);
if ($class_storage->sealed_methods) {
$result->non_existent_magic_method_ids[] = $method_id;
return null;
}
}
$result->has_valid_method_call_type = true;
$result->existent_method_ids[] = $method_id;
$array_values = array_map(
/**
* @return PhpParser\Node\Expr\ArrayItem
*/
function (PhpParser\Node\Arg $arg) {
return new PhpParser\Node\Expr\ArrayItem($arg->value);
},
$stmt->args
);
$old_node_data = $statements_analyzer->node_data;
$statements_analyzer->node_data = clone $statements_analyzer->node_data;
return new AtomicCallContext(
new MethodIdentifier(
$fq_class_name,
'__call'
),
[
new PhpParser\Node\Arg(new PhpParser\Node\Scalar\String_($method_name_lc)),
new PhpParser\Node\Arg(new PhpParser\Node\Expr\Array_($array_values)),
],
$old_node_data
);
}
public static function handleMissingOrMagicMethod(
StatementsAnalyzer $statements_analyzer,
Codebase $codebase,
PhpParser\Node\Expr\MethodCall $stmt,
MethodIdentifier $method_id,
bool $is_interface,
Context $context,
\Psalm\Config $config,
?Type\Union $all_intersection_return_type,
AtomicMethodCallAnalysisResult $result
) : void {
$fq_class_name = $method_id->fq_class_name;
$method_name_lc = $method_id->method_name;
$class_storage = $codebase->classlike_storage_provider->get($fq_class_name);
if (($is_interface || $config->use_phpdoc_method_without_magic_or_parent)
&& isset($class_storage->pseudo_methods[$method_name_lc])
) {
$result->has_valid_method_call_type = true;
$result->existent_method_ids[] = $method_id;
$pseudo_method_storage = $class_storage->pseudo_methods[$method_name_lc];
if (CallAnalyzer::checkFunctionArguments(
$statements_analyzer,
$stmt->args,
$pseudo_method_storage->params,
(string) $method_id,
$context
) === false) {
return;
}
if (CallAnalyzer::checkFunctionLikeArgumentsMatch(
$statements_analyzer,
$stmt->args,
null,
$pseudo_method_storage->params,
$pseudo_method_storage,
null,
null,
new CodeLocation($statements_analyzer, $stmt->name),
$context
) === false) {
return;
}
if ($pseudo_method_storage->return_type) {
$return_type_candidate = clone $pseudo_method_storage->return_type;
if ($all_intersection_return_type) {
$return_type_candidate = Type::intersectUnionTypes(
$all_intersection_return_type,
$return_type_candidate
) ?: Type::getMixed();
}
if (!$result->return_type) {
$result->return_type = $return_type_candidate;
} else {
$result->return_type = Type::combineUnionTypes($return_type_candidate, $result->return_type);
}
return;
}
$result->return_type = Type::getMixed();
return;
}
if (CallAnalyzer::checkFunctionArguments(
$statements_analyzer,
$stmt->args,
null,
null,
$context
) === false) {
return;
}
}
}