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

Add sanity check tests

Browse Source
This commit is contained in:
Matthew Brown 2016-04-12 16:12:38 -04:00
parent 2bfe45ce24
commit d2243c3317
1 changed files with 113 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

113
tests/TypeTest.php
View File

@ -761,4 +761,117 @@ class TypeTest extends PHPUnit_Framework_TestCase
$file_checker = new \CodeInspector\FileChecker('somefile.php', $stmts); $file_checker = new \CodeInspector\FileChecker('somefile.php', $stmts);
$file_checker->check(); $file_checker->check();
} }
public function testVariableReassignment()
{
$stmts = self::$_parser->parse('<?php
class One {
public function foo() {}
}
class Two {
public function bar() {}
}
$one = new One();
$one = new Two();
$one->bar();
');
$file_checker = new \CodeInspector\FileChecker('somefile.php', $stmts);
$file_checker->check();
}
public function testVariableReassignmentInIf()
{
$stmts = self::$_parser->parse('<?php
class One {
public function foo() {}
}
class Two {
public function bar() {}
}
$one = new One();
if (1 + 1 === 2) {
$one = new Two();
$one->bar();
}
');
$file_checker = new \CodeInspector\FileChecker('somefile.php', $stmts);
$file_checker->check();
}
/**
* @expectedException CodeInspector\CodeException
*/
public function testVariableReassignmentInIfWithOutsideCall()
{
$stmts = self::$_parser->parse('<?php
class One {
public function foo() {}
}
class Two {
public function bar() {}
}
$one = new One();
if (1 + 1 === 2) {
$one = new Two();
$one->bar();
}
$one->bar();
');
$file_checker = new \CodeInspector\FileChecker('somefile.php', $stmts);
$file_checker->check();
}
public function testUnionTypeFlow()
{
$stmts = self::$_parser->parse('<?php
class One {
public function foo() {}
}
class Two {
public function bar() {}
}
class Three {
public function baz() {}
}
/** @var One|Two|Three|null */
$var = null;
if ($var instanceof One) {
$var->foo();
}
else {
if ($var instanceof Two) {
$var->bar();
}
else if ($var) {
$var->baz();
}
}
');
$file_checker = new \CodeInspector\FileChecker('somefile.php', $stmts);
$file_checker->check();
}
} }