danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2025-01-21 21:31:13 +01:00
Code Issues Projects Releases Wiki Activity

Add more type tests

Browse Source
This commit is contained in:
Matthew Brown 2016-08-23 00:35:22 -04:00
parent 25ed89940d
commit 72e90ddc49
1 changed files with 87 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

96
tests/TypeTest.php
View File

@ -3,6 +3,7 @@
namespace Psalm\Tests;
use Psalm\Type;
use Psalm\Context;
use PhpParser;
use PhpParser\ParserFactory;
@ -1099,6 +1100,53 @@ class TypeTest extends PHPUnit_Framework_TestCase
$file_checker->check();
}
public function testUnionTypeFlowWithThrow()
{
$stmts = self::$_parser->parse('<?php
class One {
public function foo() {}
}
/** @var One|null */
$var = null;
if (!$var) {
throw new \Exception("some exception");
}
else {
$var->foo();
}
');
$file_checker = new \Psalm\Checker\FileChecker('somefile.php', $stmts);
$file_checker->check();
}
public function testUnionTypeFlowWithElseif()
{
$stmts = self::$_parser->parse('<?php
class One {
public function foo() {}
}
/** @var One|null */
$var = null;
if (rand(0,100) === 5) {
}
elseif (!$var) {
}
else {
$var->foo();
}
');
$file_checker = new \Psalm\Checker\FileChecker('somefile.php', $stmts);
$file_checker->check();
}
/**
* @expectedException Psalm\Exception\CodeException
*/
@ -1130,15 +1178,6 @@ class TypeTest extends PHPUnit_Framework_TestCase
public function foo() {}
}
class Two {
public function bar() {}
}
class Three {
public function baz() {}
}
$var = new One();
if ($var instanceof One) {
@ -1403,4 +1442,43 @@ class TypeTest extends PHPUnit_Framework_TestCase
$file_checker = new \Psalm\Checker\FileChecker('somefile.php', $stmts);
$file_checker->check();
}
public function testAssignInsideForeach()
{
$stmts = self::$_parser->parse('<?php
$b = false;
foreach ([1, 2, 3, 4] as $a) {
if ($a === rand(0, 10)) {
$b = true;
}
}
');
$file_checker = new \Psalm\Checker\FileChecker('somefile.php', $stmts);
$context = new Context('somefile.php');
$file_checker->check(true, true, $context);
$this->assertSame('bool', (string) $context->vars_in_scope['b']);
}
public function testAssignInsideForeachWithBreak()
{
$stmts = self::$_parser->parse('<?php
$b = false;
foreach ([1, 2, 3, 4] as $a) {
if ($a === rand(0, 10)) {
$b = true;
break;
}
}
');
$file_checker = new \Psalm\Checker\FileChecker('somefile.php', $stmts);
$context = new Context('somefile.php');
$file_checker->check(true, true, $context);
$this->assertSame('bool', (string) $context->vars_in_scope['b']);
}
}