danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-11-26 20:34:47 +01:00
Code Issues Projects Releases Wiki Activity

Support existing concatenation more better

Browse Source
This commit is contained in:
Matthew Brown 2019-08-20 00:33:59 -04:00
parent 73f245f91d
commit 302ed4b21b
2 changed files with 38 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
src/Psalm/Internal/Type/AssertionReconciler.php
View File

@ -820,12 +820,34 @@ class AssertionReconciler extends \Psalm\Type\Reconciler
$object_types[] = $type;
if (!$codebase->methodExists($type->value . '::' . $method_name)) {
$obj = new Atomic\TObjectWithProperties(
[],
[$method_name => $type->value . '::' . $method_name]
);
$type->extra_types[$obj->getKey()] = $obj;
$did_remove_type = true;
$match_found = false;
if ($type->extra_types) {
foreach ($type->extra_types as $extra_type) {
if ($extra_type instanceof TNamedObject
&& $codebase->classOrInterfaceExists($extra_type->value)
&& $codebase->methodExists($extra_type->value . '::' . $method_name)
) {
$match_found = true;
} elseif ($extra_type instanceof Atomic\TObjectWithProperties) {
$match_found = true;
if (!isset($extra_type->methods[$method_name])) {
$extra_type->methods[$method_name] = 'object::' . $method_name;
$did_remove_type = true;
}
}
}
}
if (!$match_found) {
$obj = new Atomic\TObjectWithProperties(
[],
[$method_name => $type->value . '::' . $method_name]
);
$type->extra_types[$obj->getKey()] = $obj;
$did_remove_type = true;
}
}
} elseif ($type instanceof Atomic\TObjectWithProperties) {
$object_types[] = $type;

10
tests/MethodCallTest.php
View File

@ -388,6 +388,16 @@ class MethodCallTest extends TestCase
}
}'
],
'callManyMethodsOnKnownObjectAfterCheckingExistenceChained' => [
'<?php
class A {}
function foo(A $object) : void {
if (method_exists($object, "foo") && method_exists($object, "bar")) {
$object->foo();
$object->bar();
}
}'
],
];
}