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

Fix Object test

Browse Source
This commit is contained in:
Matthew Brown 2016-07-12 00:53:36 -04:00
parent 8e32c2eed6
commit ddd8f991a9
2 changed files with 86 additions and 30 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

56
tests/PropertyTypeTest.php Normal file
View File

@ -0,0 +1,56 @@
<?php
namespace CodeInspector\Tests;
use CodeInspector\Type;
use PhpParser;
use PhpParser\ParserFactory;
use PHPUnit_Framework_TestCase;
class PropertyTypeTest extends PHPUnit_Framework_TestCase
{
protected static $_parser;
protected static $_file_filter;
public static function setUpBeforeClass()
{
self::$_parser = (new ParserFactory)->create(ParserFactory::PREFER_PHP7);
$config = \CodeInspector\Config::getInstance();
$config->throw_exception = true;
self::$_file_filter = $filter;
}
public function setUp()
{
\CodeInspector\ClassMethodChecker::clearCache();
}
public function testNewVarInIf()
{
$stmts = self::$_parser->parse('<?php
class A {
/**
* @var mixed
*/
public $foo;
public function bar()
{
if (rand(0,10) === 5) {
$this->foo = [];
}
if (!is_array($this->foo)) {
// do something
}
}
}
');
$file_checker = new \CodeInspector\FileChecker('somefile.php', $stmts);
$file_checker->check();
}
}

60
tests/TypeReconciliationTest.php
View File

@ -11,18 +11,18 @@ class TypeReconciliationTest extends PHPUnit_Framework_TestCase
public function testNotNull()
{
$this->assertEquals(
'Object',
(string) TypeChecker::reconcileTypes('!null', Type::parseString('Object'))
'MyObject',
(string) TypeChecker::reconcileTypes('!null', Type::parseString('MyObject'))
);
$this->assertEquals(
'Object',
(string) TypeChecker::reconcileTypes('!null', Type::parseString('Object|null'))
'MyObject',
(string) TypeChecker::reconcileTypes('!null', Type::parseString('MyObject|null'))
);
$this->assertEquals(
'Object|false',
(string) TypeChecker::reconcileTypes('!null', Type::parseString('Object|false'))
'MyObject|false',
(string) TypeChecker::reconcileTypes('!null', Type::parseString('MyObject|false'))
);
$this->assertEquals(
@ -34,18 +34,18 @@ class TypeReconciliationTest extends PHPUnit_Framework_TestCase
public function testNotEmpty()
{
$this->assertEquals(
'Object',
(string) TypeChecker::reconcileTypes('!empty', Type::parseString('Object'))
'MyObject',
(string) TypeChecker::reconcileTypes('!empty', Type::parseString('MyObject'))
);
$this->assertEquals(
'Object',
(string) TypeChecker::reconcileTypes('!empty', Type::parseString('Object|null'))
'MyObject',
(string) TypeChecker::reconcileTypes('!empty', Type::parseString('MyObject|null'))
);
$this->assertEquals(
'Object',
(string) TypeChecker::reconcileTypes('!empty', Type::parseString('Object|false'))
'MyObject',
(string) TypeChecker::reconcileTypes('!empty', Type::parseString('MyObject|false'))
);
$this->assertEquals(
@ -56,8 +56,8 @@ class TypeReconciliationTest extends PHPUnit_Framework_TestCase
$this->markTestIncomplete('This should work in the future');
$this->assertEquals(
'Object|true',
(string) TypeChecker::reconcileTypes('!empty', Type::parseString('Object|bool'))
'MyObject|true',
(string) TypeChecker::reconcileTypes('!empty', Type::parseString('MyObject|bool'))
);
}
@ -65,17 +65,17 @@ class TypeReconciliationTest extends PHPUnit_Framework_TestCase
{
$this->assertEquals(
'null',
(string) TypeChecker::reconcileTypes('null', Type::parseString('Object|null'))
(string) TypeChecker::reconcileTypes('null', Type::parseString('MyObject|null'))
);
$this->assertEquals(
'null',
(string) TypeChecker::reconcileTypes('null', Type::parseString('Object'))
(string) TypeChecker::reconcileTypes('null', Type::parseString('MyObject'))
);
$this->assertEquals(
'null',
(string) TypeChecker::reconcileTypes('null', Type::parseString('Object|false'))
(string) TypeChecker::reconcileTypes('null', Type::parseString('MyObject|false'))
);
$this->assertEquals(
@ -88,16 +88,16 @@ class TypeReconciliationTest extends PHPUnit_Framework_TestCase
{
$this->assertEquals(
'null',
(string) TypeChecker::reconcileTypes('empty', Type::parseString('Object'))
(string) TypeChecker::reconcileTypes('empty', Type::parseString('MyObject'))
);
$this->assertEquals(
'false',
(string) TypeChecker::reconcileTypes('empty', Type::parseString('Object|false'))
(string) TypeChecker::reconcileTypes('empty', Type::parseString('MyObject|false'))
);
$this->assertEquals(
'false',
(string) TypeChecker::reconcileTypes('empty', Type::parseString('Object|bool'))
(string) TypeChecker::reconcileTypes('empty', Type::parseString('MyObject|bool'))
);
$this->assertEquals(
@ -110,34 +110,34 @@ class TypeReconciliationTest extends PHPUnit_Framework_TestCase
$this->assertInstanceOf('CodeInspector\Type\Atomic', $reconciled->types['false']);
}
public function testNotObject()
public function testNotMyObject()
{
$this->assertEquals(
'bool',
(string) TypeChecker::reconcileTypes('!Object', Type::parseString('Object|bool'))
(string) TypeChecker::reconcileTypes('!MyObject', Type::parseString('MyObject|bool'))
);
$this->assertEquals(
'null',
(string) TypeChecker::reconcileTypes('!Object', Type::parseString('Object|null'))
(string) TypeChecker::reconcileTypes('!MyObject', Type::parseString('MyObject|null'))
);
$this->assertEquals(
'ObjectB',
(string) TypeChecker::reconcileTypes('!ObjectA', Type::parseString('ObjectA|ObjectB'))
'MyObjectB',
(string) TypeChecker::reconcileTypes('!MyObjectA', Type::parseString('MyObjectA|MyObjectB'))
);
}
public function testObject()
public function testMyObject()
{
$this->assertEquals(
'Object',
(string) TypeChecker::reconcileTypes('Object', Type::parseString('Object|bool'))
'MyObject',
(string) TypeChecker::reconcileTypes('MyObject', Type::parseString('MyObject|bool'))
);
$this->assertEquals(
'ObjectA',
(string) TypeChecker::reconcileTypes('ObjectA', Type::parseString('ObjectA|ObjectB'))
'MyObjectA',
(string) TypeChecker::reconcileTypes('MyObjectA', Type::parseString('MyObjectA|MyObjectB'))
);
}