1
0
mirror of https://github.com/danog/psalm.git synced 2024-11-27 04:45:20 +01:00
psalm/tests/ScopeTest.php

995 lines
24 KiB
PHP
Raw Normal View History

2016-06-20 22:18:47 +02:00
<?php
2016-07-26 00:37:44 +02:00
namespace Psalm\Tests;
2016-06-20 22:18:47 +02:00
use PhpParser\ParserFactory;
use PHPUnit_Framework_TestCase;
2016-11-02 07:29:00 +01:00
use Psalm\Checker\FileChecker;
use Psalm\Config;
2016-12-17 06:48:31 +01:00
use Psalm\Context;
2016-06-20 22:18:47 +02:00
class ScopeTest extends PHPUnit_Framework_TestCase
{
/** @var \PhpParser\Parser */
2016-11-02 07:29:00 +01:00
protected static $parser;
protected static $file_filter;
2016-06-20 22:18:47 +02:00
public static function setUpBeforeClass()
{
2016-11-02 07:29:00 +01:00
self::$parser = (new ParserFactory)->create(ParserFactory::PREFER_PHP7);
2016-06-20 22:55:12 +02:00
2016-12-14 18:28:38 +01:00
$config = new TestConfig();
2016-06-20 22:18:47 +02:00
}
public function setUp()
{
2016-11-02 07:29:00 +01:00
FileChecker::clearCache();
2016-06-20 22:18:47 +02:00
}
2016-09-22 18:26:24 +02:00
/**
2016-11-02 07:29:00 +01:00
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage PossiblyUndefinedVariable - somefile.php:6 - Possibly undefined variable $b, first seen
* on line 3
2016-09-22 18:26:24 +02:00
*/
public function testPossiblyUndefinedVarInIf()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-09-22 18:26:24 +02:00
if (rand(0,100) === 10) {
$b = "s";
}
echo $b;
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-09-22 18:26:24 +02:00
$file_checker->check();
}
2016-06-20 22:18:47 +02:00
public function testNewVarInIf()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-06-20 22:18:47 +02:00
if (rand(0,100) === 10) {
$badge = "hello";
}
else {
$badge = "goodbye";
}
echo $badge;
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-06-20 22:18:47 +02:00
$file_checker->check();
}
public function testNewVarInIfWithElseReturn()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-06-20 22:18:47 +02:00
if (rand(0,100) === 10) {
$badge = "hello";
}
else {
throw new \Exception();
}
echo $badge;
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-06-20 22:18:47 +02:00
$file_checker->check();
}
/**
2016-11-02 07:29:00 +01:00
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage PossiblyUndefinedVariable - somefile.php:3 - Possibly undefined variable $array, first
* seen on line 3
2016-06-20 22:18:47 +02:00
*/
public function testPossiblyUndefinedArrayInIf()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-06-20 22:18:47 +02:00
if (rand(0,100) === 10) {
$array[] = "hello";
}
echo $array;
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-06-20 22:18:47 +02:00
$file_checker->check();
}
/**
2016-11-02 07:29:00 +01:00
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage PossiblyUndefinedVariable - somefile.php:3 - Possibly undefined variable $array, first
* seen on line 3
2016-06-20 22:18:47 +02:00
*/
public function testPossiblyUndefinedArrayInForeach()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-06-20 22:18:47 +02:00
foreach ([1, 2, 3, 4] as $b) {
$array[] = "hello";
}
echo $array;
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-06-20 22:18:47 +02:00
$file_checker->check();
}
/**
2016-11-02 07:29:00 +01:00
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage PossiblyUndefinedVariable - somefile.php:4 - Possibly undefined variable $array, first
* seen on line 4
*/
2016-06-20 22:18:47 +02:00
public function testPossiblyUndefinedArrayInWhileAndForeach()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-06-20 22:18:47 +02:00
for ($i = 0; $i < 4; $i++) {
while (rand(0,10) === 5) {
$array[] = "hello";
}
}
echo $array;
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-06-20 22:18:47 +02:00
$file_checker->check();
}
/**
2016-11-02 07:29:00 +01:00
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage PossiblyUndefinedVariable - somefile.php:6 - Possibly undefined variable $car, first
* seen on line 3
2016-06-20 22:18:47 +02:00
*/
public function testPossiblyUndefinedVariableInForeach()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-06-20 22:18:47 +02:00
foreach ([1, 2, 3, 4] as $b) {
$car = "Volvo";
}
echo $car;
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-06-20 22:18:47 +02:00
$file_checker->check();
}
public function testSwitchVariableWithContinue()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-08-24 06:30:55 +02:00
foreach ([\'a\', \'b\', \'c\'] as $letter) {
switch ($letter) {
case \'a\':
$foo = 1;
break;
case \'b\':
$foo = 2;
break;
default:
continue;
}
$moo = $foo;
}
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-08-24 06:30:55 +02:00
$file_checker->check();
}
2016-06-20 22:18:47 +02:00
2016-08-24 06:30:55 +02:00
public function testSwitchVariableWithContinueAndIfs()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-08-24 06:30:55 +02:00
foreach ([\'a\', \'b\', \'c\'] as $letter) {
switch ($letter) {
case \'a\':
if (rand(0, 10) === 1) {
continue;
}
$foo = 1;
break;
case \'b\':
if (rand(0, 10) === 1) {
continue;
}
$foo = 2;
break;
default:
continue;
2016-06-20 22:18:47 +02:00
}
2016-08-24 06:30:55 +02:00
$moo = $foo;
}
');
2016-06-20 22:18:47 +02:00
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-06-20 22:18:47 +02:00
$file_checker->check();
}
2016-08-30 06:04:54 +02:00
public function testSwitchVariableWithFallthrough()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-08-30 06:04:54 +02:00
foreach ([\'a\', \'b\', \'c\'] as $letter) {
switch ($letter) {
case \'a\':
case \'b\':
$foo = 2;
break;
default:
$foo = 3;
break;
}
$moo = $foo;
}
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-08-30 06:04:54 +02:00
$file_checker->check();
}
public function testSwitchVariableWithFallthroughStatement()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-08-30 06:04:54 +02:00
foreach ([\'a\', \'b\', \'c\'] as $letter) {
switch ($letter) {
case \'a\':
$bar = 1;
case \'b\':
$foo = 2;
break;
default:
$foo = 3;
break;
}
$moo = $foo;
}
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-08-30 06:04:54 +02:00
$file_checker->check();
}
2016-06-20 22:18:47 +02:00
public function testTryCatchVar()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-06-20 22:18:47 +02:00
try {
$worked = true;
}
catch (\Exception $e) {
$worked = false;
}
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-12-17 06:48:31 +01:00
$context = new Context('somefile.php');
$file_checker->check(true, true, $context);
$this->assertEquals('bool', (string) $context->vars_in_scope['$worked']);
2016-06-20 22:18:47 +02:00
}
public function testWhileVar()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-06-20 22:18:47 +02:00
$worked = false;
while (rand(0,100) === 10) {
$worked = true;
}
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-12-17 06:48:31 +01:00
$context = new Context('somefile.php');
$file_checker->check(true, true, $context);
$this->assertEquals('bool', (string) $context->vars_in_scope['$worked']);
2016-06-20 22:18:47 +02:00
}
public function testDoWhileVar()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-06-20 22:18:47 +02:00
$worked = false;
do {
$worked = true;
}
while (rand(0,100) === 10);
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-12-17 06:48:31 +01:00
$context = new Context('somefile.php');
$file_checker->check(true, true, $context);
$this->assertEquals('bool', (string) $context->vars_in_scope['$worked']);
2016-06-20 22:18:47 +02:00
}
public function testAssignmentInIf()
{
2016-12-09 19:26:40 +01:00
$stmts = self::$parser->parse('<?php
if ($row = (rand(0, 10) ? [5] : null)) {
echo $row[0];
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
public function testNegatedAssignmentInIf()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
if (!($row = (rand(0, 10) ? [5] : null))) {
// do nothing
}
else {
echo $row[0];
}
');
2016-06-20 22:18:47 +02:00
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
2016-06-20 22:18:47 +02:00
public function testAssignInElseIf()
{
$stmts = self::$parser->parse('<?php
if (rand(0, 10) > 5) {
echo "hello";
} elseif ($row = (rand(0, 10) ? [5] : null)) {
echo $row[0];
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
2016-12-28 22:29:50 +01:00
public function testIfNotEqualsFalse()
{
$stmts = self::$parser->parse('<?php
2016-12-28 23:04:03 +01:00
if (($row = rand(0,10) ? [1] : false) !== false) {
echo $row[0];
2016-06-20 22:18:47 +02:00
}
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-06-20 22:18:47 +02:00
$file_checker->check();
}
2016-12-28 23:04:03 +01:00
public function testIfNotEqualsNull()
{
$stmts = self::$parser->parse('<?php
if (($row = rand(0,10) ? [1] : null) !== null) {
echo $row[0];
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
public function testIfNullNotEquals()
{
$stmts = self::$parser->parse('<?php
if (null !== ($row = rand(0,10) ? [1] : null)) {
echo $row[0];
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
public function testIfNullEquals()
{
$stmts = self::$parser->parse('<?php
if (null === ($row = rand(0,10) ? [1] : null)) {
} else {
echo $row[0];
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
2016-06-20 22:18:47 +02:00
public function testPassByRefInIf()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-06-20 22:18:47 +02:00
if (preg_match("/bad/", "badger", $matches)) {
echo (string)$matches[0];
2016-06-20 22:18:47 +02:00
}
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-06-20 22:18:47 +02:00
$file_checker->check();
}
2016-10-02 04:47:50 +02:00
public function testPassByRefInIfCheckAfter()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-10-02 04:47:50 +02:00
if (!preg_match("/bad/", "badger", $matches)) {
exit();
}
echo (string)$matches[0];
2016-10-02 04:47:50 +02:00
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-10-02 04:47:50 +02:00
$file_checker->check();
}
2016-06-20 22:18:47 +02:00
public function testPassByRefInIfWithBoolean()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-06-20 22:18:47 +02:00
$a = true;
if ($a && preg_match("/bad/", "badger", $matches)) {
echo (string)$matches[0];
2016-06-20 22:18:47 +02:00
}
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-06-20 22:18:47 +02:00
$file_checker->check();
}
2016-06-20 22:55:12 +02:00
/**
2016-11-02 07:29:00 +01:00
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage PossiblyUndefinedVariable - somefile.php:9 - Possibly undefined variable $a, first
* seen on line 4
*/
2016-06-20 22:55:12 +02:00
public function testPossiblyUndefinedVariableInForeachAndIf()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-06-20 22:55:12 +02:00
foreach ([1,2,3,4] as $i) {
if ($i === 1) {
$a = true;
break;
}
}
echo $a;
');
2016-11-02 07:29:00 +01:00
Config::getInstance()->setIssueHandler('PossiblyUndefinedVariable', self::$file_filter);
2016-06-20 22:55:12 +02:00
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-06-20 22:55:12 +02:00
$file_checker->check();
}
public function testFunctionExists()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
if (true && function_exists("flabble")) {
flabble();
}
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
2016-10-23 18:24:53 +02:00
public function testNestedPropertyFetchInElseif()
{
2016-11-02 07:29:00 +01:00
$stmts = self::$parser->parse('<?php
2016-10-23 18:24:53 +02:00
class A {
/** @var A|null */
public $foo;
public function __toString() : string {
return "boop";
}
2016-10-23 18:24:53 +02:00
}
$a = rand(0, 10) === 5 ? new A() : null;
if (false) {
}
elseif ($a && $a->foo) {
echo $a;
}
');
2016-11-02 07:29:00 +01:00
$file_checker = new FileChecker('somefile.php', $stmts);
2016-10-23 18:24:53 +02:00
$file_checker->check();
}
public function testGlobalReturn()
{
$stmts = self::$parser->parse('<?php
$foo = "foo";
function a() : string {
global $foo;
return $foo;
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
public function testStatic()
{
$stmts = self::$parser->parse('<?php
function a() : string {
static $foo = "foo";
return $foo;
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
2016-12-12 05:41:11 +01:00
/**
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage InaccessibleMethod
*/
public function testInaccessiblePrivateMethod()
{
$stmts = self::$parser->parse('<?php
class A {
private function foo() : void {
}
}
(new A())->foo();
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
/**
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage InaccessibleMethod
*/
public function testInaccessibleProtectedMethod()
{
$stmts = self::$parser->parse('<?php
class A {
protected function foo() : void {
}
}
(new A())->foo();
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
2016-12-15 01:24:33 +01:00
public function testAccessiblePrivateMethodFromSubclass()
{
$stmts = self::$parser->parse('<?php
class A {
private function foo() : void {
}
private function bar() : void {
$this->foo();
}
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
2016-12-12 05:41:11 +01:00
/**
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage UndefinedMethod
2016-12-12 05:41:11 +01:00
*/
public function testInaccessiblePrivateMethodFromSubclass()
{
$stmts = self::$parser->parse('<?php
class A {
private function foo() : void {
}
}
class B extends A {
public function doFoo() : void {
$this->foo();
}
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
public function testAccessibleProtectedMethodFromSubclass()
{
$stmts = self::$parser->parse('<?php
class A {
protected function foo() : void {
}
}
class B extends A {
public function doFoo() : void {
$this->foo();
}
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
/**
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage InaccessibleProperty
*/
public function testInaccessiblePrivateProperty()
{
$stmts = self::$parser->parse('<?php
class A {
/** @var string */
private $foo;
}
echo (new A())->foo;
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
/**
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage InaccessibleProperty
*/
public function testInaccessibleProtectedProperty()
{
$stmts = self::$parser->parse('<?php
class A {
/** @var string */
protected $foo;
}
echo (new A())->foo;
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
/**
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage UndefinedThisPropertyFetch
*/
public function testInaccessiblePrivatePropertyFromSubclass()
{
$stmts = self::$parser->parse('<?php
class A {
/** @var string */
private $foo;
}
class B extends A {
public function doFoo() : void {
echo $this->foo;
}
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
2016-12-15 01:24:16 +01:00
/**
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage InaccessibleProperty
*/
public function testInaccessibleStaticPrivateProperty()
{
$stmts = self::$parser->parse('<?php
class A {
/** @var string */
private static $foo;
}
echo A::$foo;
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
/**
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage InaccessibleProperty
*/
public function testInaccessibleStaticProtectedProperty()
{
$stmts = self::$parser->parse('<?php
class A {
/** @var string */
protected static $foo;
}
echo A::$foo;
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
/**
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage InaccessibleProperty
*/
public function testInaccessibleStaticPrivatePropertyFromSubclass()
{
$stmts = self::$parser->parse('<?php
class A {
/** @var string */
private static $foo;
}
class B extends A {
public function doFoo() : void {
echo A::$foo;
}
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
2016-12-12 05:41:11 +01:00
public function testAccessibleProtectedPropertyFromSubclass()
{
$stmts = self::$parser->parse('<?php
class A {
/** @var string */
protected $foo;
}
class B extends A {
public function doFoo() : void {
echo $this->foo;
}
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
2016-12-15 01:24:16 +01:00
public function testAccessibleStaticPropertyFromSubclass()
{
$stmts = self::$parser->parse('<?php
class A {
/** @var string */
protected static $foo;
public function bar() : void {
echo self::$foo;
}
}
class B extends A {
public function doFoo() : void {
echo A::$foo;
}
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
2016-12-12 05:41:11 +01:00
/**
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage InvalidGlobal
*/
public function testInvalidGlobal()
{
$stmts = self::$parser->parse('<?php
$a = "heli";
global $a;
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
/**
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage InvalidStaticVariable
*/
public function testThisInStatic()
{
$stmts = self::$parser->parse('<?php
class A {
public static function foo() {
echo $this;
}
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
public function testTwoVarLogic()
{
$stmts = self::$parser->parse('<?php
$a = rand(0, 10) ? "hello" : null;
$b = rand(0, 10) ? "goodbye" : null;
2016-12-29 00:55:16 +01:00
if ($a !== null || $b !== null) {
if ($a !== null) {
$c = $a;
} else {
$c = $b;
}
echo strpos($c, "e");
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
public function testThreeVarLogic()
{
$stmts = self::$parser->parse('<?php
$a = rand(0, 10) ? "hello" : null;
$b = rand(0, 10) ? "goodbye" : null;
$c = rand(0, 10) ? "hello" : null;
2016-12-29 00:55:16 +01:00
if ($a !== null || $b !== null || $c !== null) {
if ($a !== null) {
$d = $a;
2016-12-29 00:55:16 +01:00
} elseif ($b !== null) {
$d = $b;
} else {
$d = $c;
}
echo strpos($d, "e");
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
/**
* @expectedException \Psalm\Exception\CodeException
2016-12-29 00:55:16 +01:00
* @expectedExceptionMessage NullArgument
*/
public function testThreeVarLogicWithChange()
{
$stmts = self::$parser->parse('<?php
$a = rand(0, 10) ? "hello" : null;
$b = rand(0, 10) ? "goodbye" : null;
$c = rand(0, 10) ? "hello" : null;
2016-12-29 00:55:16 +01:00
if ($a !== null || $b !== null || $c !== null) {
$c = null;
2016-12-29 00:55:16 +01:00
if ($a !== null) {
$d = $a;
2016-12-29 00:55:16 +01:00
} elseif ($b !== null) {
$d = $b;
} else {
$d = $c;
}
echo strpos($d, "e");
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
/**
* @expectedException \Psalm\Exception\CodeException
* @expectedExceptionMessage NullArgument
*/
public function testThreeVarLogicWithException()
{
$stmts = self::$parser->parse('<?php
$a = rand(0, 10) ? "hello" : null;
$b = rand(0, 10) ? "goodbye" : null;
$c = rand(0, 10) ? "hello" : null;
if ($a !== null || $b !== null || $c !== null) {
if ($c !== null) {
throw new \Exception("bad");
}
if ($a !== null) {
$d = $a;
} elseif ($b !== null) {
$d = $b;
} else {
$d = $c;
}
echo strpos($d, "e");
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$file_checker->check();
}
public function testNegateAssertionAndOther()
{
$stmts = self::$parser->parse('<?php
$a = rand(0, 10) ? "hello" : null;
if (rand(0, 10) > 1 && is_string($a)) {
throw new \Exception("bad");
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$context = new Context('somefile.php');
$file_checker->check(true, true, $context);
$this->assertEquals('string|null', (string) $context->vars_in_scope['$a']);
}
public function testRepeatAssertionWithOther()
{
$stmts = self::$parser->parse('<?php
$a = rand(0, 10) ? "hello" : null;
if (rand(0, 10) > 1 || is_string($a)) {
if (is_string($a)) {
echo strpos("e", $a);
}
}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$context = new Context('somefile.php');
$file_checker->check(true, true, $context);
$this->assertEquals('string|null', (string) $context->vars_in_scope['$a']);
}
public function testRefineORedType()
{
$stmts = self::$parser->parse('<?php
class A {
public function doThing() : void
{
if ($this instanceof B || $this instanceof C) {
if ($this instanceof B) {
}
}
}
}
class B extends A {}
class C extends A {}
');
$file_checker = new FileChecker('somefile.php', $stmts);
$context = new Context('somefile.php');
$file_checker->check(true, true, $context);
}
2016-06-20 22:18:47 +02:00
}