danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-11-30 04:39:00 +01:00
Code Issues Projects Releases Wiki Activity

Add tests for elseif reconciliation

Browse Source
This commit is contained in:
Matthew Brown 2016-10-03 11:40:42 -04:00
parent 936630892e
commit e14cadd32e
1 changed files with 56 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

56
tests/PropertyTypeTest.php
View File

@ -2,6 +2,7 @@
namespace Psalm\Tests;
use Psalm\Context;
use Psalm\Type;
use PhpParser;
@ -51,4 +52,59 @@ class PropertyTypeTest extends PHPUnit_Framework_TestCase
$file_checker = new \Psalm\Checker\FileChecker('somefile.php', $stmts);
$file_checker->check();
}
public function testSharedPropertyInIf()
{
$stmts = self::$_parser->parse('<?php
class A {
/** @var int */
public $foo;
}
class B {
/** @var string */
public $foo;
}
$a = null;
$b = null;
if ($a instanceof A || $a instanceof B) {
$b = $a->foo;
}
');
$file_checker = new \Psalm\Checker\FileChecker('somefile.php', $stmts);
$context = new Context('somefile.php');
$file_checker->check(true, true, $context);
$this->assertEquals('null|string|int', (string) $context->vars_in_scope['b']);
}
public function testSharedPropertyInElseIf()
{
$stmts = self::$_parser->parse('<?php
class A {
/** @var int */
public $foo;
}
class B {
/** @var string */
public $foo;
}
$a = null;
$b = null;
if (rand(0, 10) === 4) {
// do nothing
}
elseif ($a instanceof A || $a instanceof B) {
$b = $a->foo;
}
');
$file_checker = new \Psalm\Checker\FileChecker('somefile.php', $stmts);
$context = new Context('somefile.php');
$file_checker->check(true, true, $context);
$this->assertEquals('null|string|int', (string) $context->vars_in_scope['b']);
}
}