2018-01-29 00:29:38 +01:00
|
|
|
<?php
|
2018-11-06 03:57:36 +01:00
|
|
|
namespace Psalm\Internal\Analyzer\Statements\Expression\Call;
|
2018-01-29 00:29:38 +01:00
|
|
|
|
|
|
|
use PhpParser;
|
2018-11-06 03:57:36 +01:00
|
|
|
use Psalm\Internal\Analyzer\ClassAnalyzer;
|
|
|
|
use Psalm\Internal\Analyzer\ClassLikeAnalyzer;
|
|
|
|
use Psalm\Internal\Analyzer\MethodAnalyzer;
|
2019-05-14 23:30:16 +02:00
|
|
|
use Psalm\Internal\Analyzer\NamespaceAnalyzer;
|
2018-11-06 03:57:36 +01:00
|
|
|
use Psalm\Internal\Analyzer\Statements\ExpressionAnalyzer;
|
|
|
|
use Psalm\Internal\Analyzer\StatementsAnalyzer;
|
2018-01-29 00:29:38 +01:00
|
|
|
use Psalm\CodeLocation;
|
|
|
|
use Psalm\Context;
|
|
|
|
use Psalm\Issue\AbstractInstantiation;
|
|
|
|
use Psalm\Issue\DeprecatedClass;
|
2018-02-18 00:53:02 +01:00
|
|
|
use Psalm\Issue\InterfaceInstantiation;
|
2018-12-02 00:37:49 +01:00
|
|
|
use Psalm\Issue\InternalClass;
|
2018-03-06 18:19:50 +01:00
|
|
|
use Psalm\Issue\InvalidStringClass;
|
2019-01-02 12:58:49 +01:00
|
|
|
use Psalm\Issue\MixedMethodCall;
|
2018-01-29 00:29:38 +01:00
|
|
|
use Psalm\Issue\TooManyArguments;
|
2018-03-06 18:19:50 +01:00
|
|
|
use Psalm\Issue\UndefinedClass;
|
2018-01-29 00:29:38 +01:00
|
|
|
use Psalm\IssueBuffer;
|
|
|
|
use Psalm\Type;
|
|
|
|
use Psalm\Type\Atomic\TNamedObject;
|
2019-06-26 22:52:29 +02:00
|
|
|
use function in_array;
|
|
|
|
use function strtolower;
|
|
|
|
use function implode;
|
|
|
|
use function explode;
|
|
|
|
use function array_values;
|
|
|
|
use function is_string;
|
2018-01-29 00:29:38 +01:00
|
|
|
|
2018-12-02 00:37:49 +01:00
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
2018-11-06 03:57:36 +01:00
|
|
|
class NewAnalyzer extends \Psalm\Internal\Analyzer\Statements\Expression\CallAnalyzer
|
2018-01-29 00:29:38 +01:00
|
|
|
{
|
|
|
|
/**
|
2018-11-11 18:01:14 +01:00
|
|
|
* @param StatementsAnalyzer $statements_analyzer
|
2018-01-29 00:29:38 +01:00
|
|
|
* @param PhpParser\Node\Expr\New_ $stmt
|
|
|
|
* @param Context $context
|
|
|
|
*
|
|
|
|
* @return false|null
|
|
|
|
*/
|
|
|
|
public static function analyze(
|
2018-11-11 18:01:14 +01:00
|
|
|
StatementsAnalyzer $statements_analyzer,
|
2018-01-29 00:29:38 +01:00
|
|
|
PhpParser\Node\Expr\New_ $stmt,
|
|
|
|
Context $context
|
|
|
|
) {
|
|
|
|
$fq_class_name = null;
|
|
|
|
|
2018-11-11 18:01:14 +01:00
|
|
|
$codebase = $statements_analyzer->getCodebase();
|
2018-11-06 03:57:36 +01:00
|
|
|
$config = $codebase->config;
|
2018-01-29 00:29:38 +01:00
|
|
|
|
2019-01-04 18:28:00 +01:00
|
|
|
$can_extend = false;
|
2018-01-29 00:29:38 +01:00
|
|
|
|
|
|
|
if ($stmt->class instanceof PhpParser\Node\Name) {
|
|
|
|
if (!in_array(strtolower($stmt->class->parts[0]), ['self', 'static', 'parent'], true)) {
|
2018-11-11 18:01:14 +01:00
|
|
|
$aliases = $statements_analyzer->getAliases();
|
2018-10-27 05:04:38 +02:00
|
|
|
|
|
|
|
if ($context->calling_method_id
|
|
|
|
&& !$stmt->class instanceof PhpParser\Node\Name\FullyQualified
|
|
|
|
) {
|
2019-04-16 22:07:48 +02:00
|
|
|
$codebase->file_reference_provider->addMethodReferenceToClassMember(
|
2018-10-27 05:04:38 +02:00
|
|
|
$context->calling_method_id,
|
2018-11-11 18:01:14 +01:00
|
|
|
'use:' . $stmt->class->parts[0] . ':' . \md5($statements_analyzer->getFilePath())
|
2018-10-27 05:04:38 +02:00
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2018-11-06 03:57:36 +01:00
|
|
|
$fq_class_name = ClassLikeAnalyzer::getFQCLNFromNameObject(
|
2018-01-29 00:29:38 +01:00
|
|
|
$stmt->class,
|
2018-10-27 05:04:38 +02:00
|
|
|
$aliases
|
2018-01-29 00:29:38 +01:00
|
|
|
);
|
|
|
|
|
2018-11-29 06:05:56 +01:00
|
|
|
$fq_class_name = $codebase->classlikes->getUnAliasedName($fq_class_name);
|
2018-01-29 00:29:38 +01:00
|
|
|
} else {
|
|
|
|
switch ($stmt->class->parts[0]) {
|
|
|
|
case 'self':
|
|
|
|
$fq_class_name = $context->self;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case 'parent':
|
|
|
|
$fq_class_name = $context->parent;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case 'static':
|
|
|
|
// @todo maybe we can do better here
|
|
|
|
$fq_class_name = $context->self;
|
2019-01-04 18:28:00 +01:00
|
|
|
$can_extend = true;
|
2018-01-29 00:29:38 +01:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
2018-10-26 22:17:15 +02:00
|
|
|
|
2019-02-24 07:33:25 +01:00
|
|
|
if ($codebase->store_node_types && $fq_class_name) {
|
2018-10-26 22:17:15 +02:00
|
|
|
$codebase->analyzer->addNodeReference(
|
2018-11-11 18:01:14 +01:00
|
|
|
$statements_analyzer->getFilePath(),
|
2018-10-26 22:17:15 +02:00
|
|
|
$stmt->class,
|
2019-06-21 23:10:35 +02:00
|
|
|
$codebase->classlikes->classExists($fq_class_name)
|
|
|
|
? $fq_class_name
|
|
|
|
: '*' . implode('\\', $stmt->class->parts)
|
2018-10-26 22:17:15 +02:00
|
|
|
);
|
|
|
|
}
|
2018-01-29 00:29:38 +01:00
|
|
|
} elseif ($stmt->class instanceof PhpParser\Node\Stmt\Class_) {
|
2018-11-11 18:01:14 +01:00
|
|
|
$statements_analyzer->analyze([$stmt->class], $context);
|
|
|
|
$fq_class_name = ClassAnalyzer::getAnonymousClassName($stmt->class, $statements_analyzer->getFilePath());
|
2018-01-29 00:29:38 +01:00
|
|
|
} else {
|
2018-11-11 18:01:14 +01:00
|
|
|
ExpressionAnalyzer::analyze($statements_analyzer, $stmt->class, $context);
|
2018-01-29 18:22:50 +01:00
|
|
|
|
2018-03-06 17:20:54 +01:00
|
|
|
if (isset($stmt->class->inferredType)) {
|
2019-01-02 12:58:49 +01:00
|
|
|
$has_single_class = $stmt->class->inferredType->isSingleStringLiteral();
|
|
|
|
|
|
|
|
if ($has_single_class) {
|
|
|
|
$fq_class_name = $stmt->class->inferredType->getSingleStringLiteral()->value;
|
|
|
|
} else {
|
|
|
|
$generic_params = null;
|
|
|
|
|
|
|
|
if (self::checkMethodArgs(
|
|
|
|
null,
|
|
|
|
$stmt->args,
|
|
|
|
$generic_params,
|
|
|
|
$context,
|
|
|
|
new CodeLocation($statements_analyzer->getSource(), $stmt),
|
|
|
|
$statements_analyzer
|
|
|
|
) === false) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-05-20 06:27:53 +02:00
|
|
|
$new_type = null;
|
|
|
|
|
2018-03-06 17:20:54 +01:00
|
|
|
foreach ($stmt->class->inferredType->getTypes() as $lhs_type_part) {
|
2019-02-22 03:40:06 +01:00
|
|
|
if ($lhs_type_part instanceof Type\Atomic\TTemplateParamClass) {
|
2018-12-18 05:29:27 +01:00
|
|
|
if (!isset($stmt->inferredType)) {
|
2019-02-22 03:40:06 +01:00
|
|
|
$new_type_part = new Type\Atomic\TTemplateParam(
|
2018-12-18 05:29:27 +01:00
|
|
|
$lhs_type_part->param_name,
|
2019-01-20 04:45:58 +01:00
|
|
|
$lhs_type_part->as_type
|
|
|
|
? new Type\Union([$lhs_type_part->as_type])
|
2019-06-25 15:06:23 +02:00
|
|
|
: Type::parseString($lhs_type_part->as),
|
|
|
|
$lhs_type_part->defining_class
|
2018-12-18 05:29:27 +01:00
|
|
|
);
|
|
|
|
|
|
|
|
if ($new_type) {
|
|
|
|
$new_type = Type::combineUnionTypes(
|
|
|
|
$new_type,
|
|
|
|
new Type\Union([$new_type_part])
|
|
|
|
);
|
|
|
|
} else {
|
|
|
|
$new_type = new Type\Union([$new_type_part]);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
continue;
|
|
|
|
}
|
2019-01-02 15:00:45 +01:00
|
|
|
|
2018-05-21 18:40:39 +02:00
|
|
|
if ($lhs_type_part instanceof Type\Atomic\TLiteralClassString
|
|
|
|
|| $lhs_type_part instanceof Type\Atomic\TClassString
|
|
|
|
) {
|
2018-04-04 04:20:00 +02:00
|
|
|
if (!isset($stmt->inferredType)) {
|
2018-05-21 18:40:39 +02:00
|
|
|
$class_name = $lhs_type_part instanceof Type\Atomic\TClassString
|
2019-01-05 06:15:53 +01:00
|
|
|
? $lhs_type_part->as
|
2018-05-21 18:40:39 +02:00
|
|
|
: $lhs_type_part->value;
|
|
|
|
|
2019-01-04 18:28:00 +01:00
|
|
|
if ($lhs_type_part instanceof Type\Atomic\TClassString) {
|
|
|
|
$can_extend = true;
|
|
|
|
}
|
|
|
|
|
2019-01-02 15:00:45 +01:00
|
|
|
if ($class_name === 'object') {
|
2019-01-02 12:58:49 +01:00
|
|
|
if (IssueBuffer::accepts(
|
|
|
|
new MixedMethodCall(
|
|
|
|
'Cannot call constructor on an unknown class',
|
|
|
|
new CodeLocation($statements_analyzer->getSource(), $stmt)
|
|
|
|
),
|
|
|
|
$statements_analyzer->getSuppressedIssues()
|
|
|
|
)) {
|
|
|
|
// fall through
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-05-20 06:27:53 +02:00
|
|
|
if ($new_type) {
|
|
|
|
$new_type = Type::combineUnionTypes(
|
|
|
|
$new_type,
|
2018-05-21 18:40:39 +02:00
|
|
|
Type::parseString($class_name)
|
2018-05-20 06:27:53 +02:00
|
|
|
);
|
|
|
|
} else {
|
2018-05-21 18:40:39 +02:00
|
|
|
$new_type = Type::parseString($class_name);
|
2018-05-20 06:27:53 +02:00
|
|
|
}
|
2018-04-04 04:20:00 +02:00
|
|
|
}
|
|
|
|
|
2018-03-06 17:20:54 +01:00
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
if ($lhs_type_part instanceof Type\Atomic\TString) {
|
|
|
|
if ($config->allow_string_standin_for_class
|
|
|
|
&& !$lhs_type_part instanceof Type\Atomic\TNumericString
|
|
|
|
) {
|
2018-05-20 06:27:53 +02:00
|
|
|
// do nothing
|
|
|
|
} elseif (IssueBuffer::accepts(
|
2018-03-06 18:19:50 +01:00
|
|
|
new InvalidStringClass(
|
|
|
|
'String cannot be used as a class',
|
2018-11-11 18:01:14 +01:00
|
|
|
new CodeLocation($statements_analyzer->getSource(), $stmt)
|
2018-03-06 18:19:50 +01:00
|
|
|
),
|
2018-11-11 18:01:14 +01:00
|
|
|
$statements_analyzer->getSuppressedIssues()
|
2018-03-06 18:19:50 +01:00
|
|
|
)) {
|
|
|
|
// fall through
|
|
|
|
}
|
2018-05-20 06:27:53 +02:00
|
|
|
} elseif ($lhs_type_part instanceof Type\Atomic\TMixed
|
2019-02-22 03:40:06 +01:00
|
|
|
|| $lhs_type_part instanceof Type\Atomic\TTemplateParam
|
2018-04-20 16:52:23 +02:00
|
|
|
) {
|
2019-01-02 15:00:45 +01:00
|
|
|
if (IssueBuffer::accepts(
|
|
|
|
new MixedMethodCall(
|
|
|
|
'Cannot call constructor on an unknown class',
|
|
|
|
new CodeLocation($statements_analyzer->getSource(), $stmt)
|
|
|
|
),
|
|
|
|
$statements_analyzer->getSuppressedIssues()
|
|
|
|
)) {
|
|
|
|
// fall through
|
|
|
|
}
|
2018-08-02 20:43:13 +02:00
|
|
|
} elseif ($lhs_type_part instanceof Type\Atomic\TFalse
|
|
|
|
&& $stmt->class->inferredType->ignore_falsable_issues
|
|
|
|
) {
|
|
|
|
// do nothing
|
2018-05-20 06:27:53 +02:00
|
|
|
} elseif ($lhs_type_part instanceof Type\Atomic\TNull
|
2018-03-06 20:11:32 +01:00
|
|
|
&& $stmt->class->inferredType->ignore_nullable_issues
|
|
|
|
) {
|
2018-05-20 06:27:53 +02:00
|
|
|
// do nothing
|
|
|
|
} elseif (IssueBuffer::accepts(
|
2018-03-06 18:19:50 +01:00
|
|
|
new UndefinedClass(
|
2018-03-06 17:20:54 +01:00
|
|
|
'Type ' . $lhs_type_part . ' cannot be called as a class',
|
2018-11-11 18:01:14 +01:00
|
|
|
new CodeLocation($statements_analyzer->getSource(), $stmt),
|
2018-03-21 15:17:57 +01:00
|
|
|
(string)$lhs_type_part
|
2018-03-06 17:20:54 +01:00
|
|
|
),
|
2018-11-11 18:01:14 +01:00
|
|
|
$statements_analyzer->getSuppressedIssues()
|
2018-03-06 17:20:54 +01:00
|
|
|
)) {
|
|
|
|
// fall through
|
|
|
|
}
|
2018-04-04 04:20:00 +02:00
|
|
|
|
2018-05-20 06:27:53 +02:00
|
|
|
if ($new_type) {
|
|
|
|
$new_type = Type::combineUnionTypes(
|
|
|
|
$new_type,
|
|
|
|
Type::getObject()
|
|
|
|
);
|
|
|
|
} else {
|
|
|
|
$new_type = Type::getObject();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-02 12:58:49 +01:00
|
|
|
if (!$has_single_class) {
|
|
|
|
if ($new_type) {
|
|
|
|
$stmt->inferredType = $new_type;
|
|
|
|
}
|
|
|
|
|
|
|
|
return null;
|
2018-03-06 17:20:54 +01:00
|
|
|
}
|
2019-01-02 12:58:49 +01:00
|
|
|
} else {
|
|
|
|
return null;
|
2018-03-06 17:20:54 +01:00
|
|
|
}
|
2018-01-29 00:29:38 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
if ($fq_class_name) {
|
2019-06-04 22:36:32 +02:00
|
|
|
if ($codebase->alter_code) {
|
|
|
|
$codebase->classlikes->handleClassLikeReferenceInMigration(
|
|
|
|
$codebase,
|
|
|
|
$statements_analyzer,
|
|
|
|
$stmt->class,
|
2019-06-01 16:32:49 +02:00
|
|
|
$fq_class_name,
|
2019-06-04 22:36:32 +02:00
|
|
|
$context->calling_method_id
|
2019-06-01 16:32:49 +02:00
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2019-01-02 12:58:49 +01:00
|
|
|
if ($context->check_classes) {
|
|
|
|
if ($context->isPhantomClass($fq_class_name)) {
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (ClassLikeAnalyzer::checkFullyQualifiedClassLikeName(
|
|
|
|
$statements_analyzer,
|
|
|
|
$fq_class_name,
|
|
|
|
new CodeLocation($statements_analyzer->getSource(), $stmt->class),
|
|
|
|
$statements_analyzer->getSuppressedIssues(),
|
|
|
|
false
|
|
|
|
) === false) {
|
2019-06-16 00:34:18 +02:00
|
|
|
return;
|
2019-01-02 12:58:49 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
if ($codebase->interfaceExists($fq_class_name)) {
|
|
|
|
if (IssueBuffer::accepts(
|
|
|
|
new InterfaceInstantiation(
|
|
|
|
'Interface ' . $fq_class_name . ' cannot be instantiated',
|
|
|
|
new CodeLocation($statements_analyzer->getSource(), $stmt->class)
|
|
|
|
),
|
|
|
|
$statements_analyzer->getSuppressedIssues()
|
|
|
|
)) {
|
|
|
|
}
|
|
|
|
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-01-29 00:29:38 +01:00
|
|
|
$stmt->inferredType = new Type\Union([new TNamedObject($fq_class_name)]);
|
|
|
|
|
|
|
|
if (strtolower($fq_class_name) !== 'stdclass' &&
|
2018-02-18 00:53:02 +01:00
|
|
|
$codebase->classlikes->classExists($fq_class_name)
|
2018-01-29 00:29:38 +01:00
|
|
|
) {
|
2018-11-11 18:19:53 +01:00
|
|
|
$storage = $codebase->classlike_storage_provider->get($fq_class_name);
|
2018-01-29 00:29:38 +01:00
|
|
|
|
|
|
|
// if we're not calling this constructor via new static()
|
2019-01-04 18:28:00 +01:00
|
|
|
if ($storage->abstract && !$can_extend) {
|
2018-01-29 00:29:38 +01:00
|
|
|
if (IssueBuffer::accepts(
|
|
|
|
new AbstractInstantiation(
|
|
|
|
'Unable to instantiate a abstract class ' . $fq_class_name,
|
2018-11-11 18:01:14 +01:00
|
|
|
new CodeLocation($statements_analyzer->getSource(), $stmt)
|
2018-01-29 00:29:38 +01:00
|
|
|
),
|
2018-11-11 18:01:14 +01:00
|
|
|
$statements_analyzer->getSuppressedIssues()
|
2018-01-29 00:29:38 +01:00
|
|
|
)) {
|
2019-06-16 00:34:18 +02:00
|
|
|
return;
|
2018-01-29 00:29:38 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-06-27 19:36:39 +02:00
|
|
|
if ($storage->deprecated && $fq_class_name !== $context->self) {
|
2018-01-29 00:29:38 +01:00
|
|
|
if (IssueBuffer::accepts(
|
|
|
|
new DeprecatedClass(
|
|
|
|
$fq_class_name . ' is marked deprecated',
|
2019-06-06 20:48:33 +02:00
|
|
|
new CodeLocation($statements_analyzer->getSource(), $stmt),
|
|
|
|
$fq_class_name
|
2018-01-29 00:29:38 +01:00
|
|
|
),
|
2018-11-11 18:01:14 +01:00
|
|
|
$statements_analyzer->getSuppressedIssues()
|
2018-01-29 00:29:38 +01:00
|
|
|
)) {
|
|
|
|
// fall through
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-05-11 16:23:49 +02:00
|
|
|
|
2019-05-11 21:39:53 +02:00
|
|
|
if ($storage->psalm_internal && $context->self) {
|
2019-05-14 23:30:16 +02:00
|
|
|
if (! NamespaceAnalyzer::isWithin($context->self, $storage->psalm_internal)) {
|
2019-05-11 16:23:49 +02:00
|
|
|
if (IssueBuffer::accepts(
|
|
|
|
new InternalClass(
|
2019-05-11 21:39:53 +02:00
|
|
|
$fq_class_name . ' is marked internal to ' . $storage->psalm_internal,
|
2019-06-06 20:48:33 +02:00
|
|
|
new CodeLocation($statements_analyzer->getSource(), $stmt),
|
|
|
|
$fq_class_name
|
2019-05-11 16:23:49 +02:00
|
|
|
),
|
|
|
|
$statements_analyzer->getSuppressedIssues()
|
|
|
|
)) {
|
|
|
|
// fall through
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-12-02 00:37:49 +01:00
|
|
|
if ($storage->internal && $context->self) {
|
2019-05-14 23:50:21 +02:00
|
|
|
if (! NamespaceAnalyzer::nameSpaceRootsMatch($context->self, $fq_class_name)) {
|
2018-12-02 00:37:49 +01:00
|
|
|
if (IssueBuffer::accepts(
|
|
|
|
new InternalClass(
|
|
|
|
$fq_class_name . ' is marked internal',
|
2019-06-06 20:48:33 +02:00
|
|
|
new CodeLocation($statements_analyzer->getSource(), $stmt),
|
|
|
|
$fq_class_name
|
2018-12-02 00:37:49 +01:00
|
|
|
),
|
|
|
|
$statements_analyzer->getSuppressedIssues()
|
|
|
|
)) {
|
|
|
|
// fall through
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-09-26 00:37:24 +02:00
|
|
|
if ($codebase->methods->methodExists(
|
2018-01-29 00:29:38 +01:00
|
|
|
$fq_class_name . '::__construct',
|
2018-09-26 00:37:24 +02:00
|
|
|
$context->calling_method_id,
|
2019-04-16 22:07:48 +02:00
|
|
|
$context->collect_references ? new CodeLocation($statements_analyzer->getSource(), $stmt) : null,
|
|
|
|
null,
|
|
|
|
$statements_analyzer->getFilePath()
|
2018-01-29 00:29:38 +01:00
|
|
|
)) {
|
|
|
|
$method_id = $fq_class_name . '::__construct';
|
|
|
|
|
|
|
|
if (self::checkMethodArgs(
|
|
|
|
$method_id,
|
|
|
|
$stmt->args,
|
|
|
|
$found_generic_params,
|
|
|
|
$context,
|
2018-11-11 18:01:14 +01:00
|
|
|
new CodeLocation($statements_analyzer->getSource(), $stmt),
|
|
|
|
$statements_analyzer
|
2018-01-29 00:29:38 +01:00
|
|
|
) === false) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2018-11-06 03:57:36 +01:00
|
|
|
if (MethodAnalyzer::checkMethodVisibility(
|
2018-01-29 00:29:38 +01:00
|
|
|
$method_id,
|
2019-03-01 14:57:10 +01:00
|
|
|
$context,
|
2018-11-11 18:01:14 +01:00
|
|
|
$statements_analyzer->getSource(),
|
|
|
|
new CodeLocation($statements_analyzer->getSource(), $stmt),
|
|
|
|
$statements_analyzer->getSuppressedIssues()
|
2018-01-29 00:29:38 +01:00
|
|
|
) === false) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2019-03-22 20:59:10 +01:00
|
|
|
$generic_param_types = null;
|
2018-01-29 00:29:38 +01:00
|
|
|
|
|
|
|
if ($storage->template_types) {
|
2019-03-22 20:59:10 +01:00
|
|
|
$declaring_method_id = $codebase->methods->getDeclaringMethodId($method_id);
|
|
|
|
|
|
|
|
$declaring_fq_class_name = $declaring_method_id
|
|
|
|
? explode('::', $declaring_method_id)[0]
|
|
|
|
: $fq_class_name;
|
|
|
|
|
2019-04-26 13:54:12 +02:00
|
|
|
foreach ($storage->template_types as $template_name => $base_type) {
|
2019-03-22 20:59:10 +01:00
|
|
|
if (isset($found_generic_params[$template_name][$fq_class_name])) {
|
|
|
|
$generic_param_types[] = $found_generic_params[$template_name][$fq_class_name][0];
|
2019-01-13 00:18:23 +01:00
|
|
|
} elseif ($storage->template_type_extends && $found_generic_params) {
|
2019-03-22 20:59:10 +01:00
|
|
|
$generic_param_types[] = self::getGenericParamForOffset(
|
|
|
|
$declaring_fq_class_name,
|
2019-01-13 00:18:23 +01:00
|
|
|
$template_name,
|
|
|
|
$storage->template_type_extends,
|
|
|
|
$found_generic_params
|
|
|
|
);
|
2018-01-29 00:29:38 +01:00
|
|
|
} else {
|
2019-04-26 13:54:12 +02:00
|
|
|
$generic_param_types[] = array_values($base_type)[0][0];
|
2018-01-29 00:29:38 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-03-22 20:59:10 +01:00
|
|
|
if ($generic_param_types) {
|
2018-01-29 00:29:38 +01:00
|
|
|
$stmt->inferredType = new Type\Union([
|
|
|
|
new Type\Atomic\TGenericObject(
|
|
|
|
$fq_class_name,
|
2019-03-22 20:59:10 +01:00
|
|
|
$generic_param_types
|
2018-01-29 00:29:38 +01:00
|
|
|
),
|
|
|
|
]);
|
|
|
|
}
|
|
|
|
} elseif ($stmt->args) {
|
|
|
|
if (IssueBuffer::accepts(
|
|
|
|
new TooManyArguments(
|
|
|
|
'Class ' . $fq_class_name . ' has no __construct, but arguments were passed',
|
2018-11-11 18:01:14 +01:00
|
|
|
new CodeLocation($statements_analyzer->getSource(), $stmt),
|
2018-08-16 22:49:33 +02:00
|
|
|
$fq_class_name . '::__construct'
|
2018-01-29 00:29:38 +01:00
|
|
|
),
|
2018-11-11 18:01:14 +01:00
|
|
|
$statements_analyzer->getSuppressedIssues()
|
2018-01-29 00:29:38 +01:00
|
|
|
)) {
|
|
|
|
// fall through
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!$config->remember_property_assignments_after_call && !$context->collect_initializations) {
|
|
|
|
$context->removeAllObjectVars();
|
|
|
|
}
|
|
|
|
|
|
|
|
return null;
|
|
|
|
}
|
2019-01-13 00:18:23 +01:00
|
|
|
|
|
|
|
/**
|
|
|
|
* @param string $template_name
|
2019-03-16 16:15:25 +01:00
|
|
|
* @param array<string, array<int|string, Type\Union>> $template_type_extends
|
2019-03-22 20:59:10 +01:00
|
|
|
* @param array<string, array<string, array{Type\Union}>> $found_generic_params
|
|
|
|
* @return Type\Union
|
2019-01-13 00:18:23 +01:00
|
|
|
*/
|
|
|
|
private static function getGenericParamForOffset(
|
2019-03-22 20:59:10 +01:00
|
|
|
string $fq_class_name,
|
2019-01-13 00:18:23 +01:00
|
|
|
string $template_name,
|
|
|
|
array $template_type_extends,
|
|
|
|
array $found_generic_params
|
|
|
|
) {
|
2019-03-22 20:59:10 +01:00
|
|
|
if (isset($found_generic_params[$template_name][$fq_class_name])) {
|
|
|
|
return $found_generic_params[$template_name][$fq_class_name][0];
|
2019-01-13 00:18:23 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
foreach ($template_type_extends as $type_map) {
|
|
|
|
foreach ($type_map as $extended_template_name => $extended_type) {
|
2019-03-16 16:15:25 +01:00
|
|
|
foreach ($extended_type->getTypes() as $extended_atomic_type) {
|
|
|
|
if (is_string($extended_template_name)
|
|
|
|
&& $extended_atomic_type instanceof Type\Atomic\TTemplateParam
|
|
|
|
&& $extended_atomic_type->param_name === $template_name
|
2019-03-17 17:20:57 +01:00
|
|
|
&& $extended_template_name !== $template_name
|
2019-03-16 16:15:25 +01:00
|
|
|
) {
|
|
|
|
return self::getGenericParamForOffset(
|
2019-03-22 20:59:10 +01:00
|
|
|
$fq_class_name,
|
2019-03-16 16:15:25 +01:00
|
|
|
$extended_template_name,
|
|
|
|
$template_type_extends,
|
|
|
|
$found_generic_params
|
|
|
|
);
|
|
|
|
}
|
2019-01-13 00:18:23 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-03-22 20:59:10 +01:00
|
|
|
return Type::getMixed();
|
2019-01-13 00:18:23 +01:00
|
|
|
}
|
2018-01-29 00:29:38 +01:00
|
|
|
}
|