1
0
mirror of https://github.com/danog/psalm.git synced 2024-11-27 12:55:26 +01:00
psalm/tests/CodebaseTest.php

212 lines
7.6 KiB
PHP
Raw Normal View History

2019-02-20 17:55:56 +01:00
<?php
namespace Psalm\Tests;
use PhpParser\Node\Name;
use PhpParser\Node\Stmt\Class_;
2019-02-20 17:55:56 +01:00
use Psalm\Codebase;
use Psalm\Context;
2021-12-03 20:29:06 +01:00
use Psalm\Exception\UnpopulatedClasslikeException;
use Psalm\Plugin\EventHandler\AfterClassLikeVisitInterface;
2021-06-08 04:55:21 +02:00
use Psalm\Plugin\EventHandler\Event\AfterClassLikeVisitEvent;
2019-03-23 19:27:54 +01:00
use Psalm\PluginRegistrationSocket;
2019-02-24 14:12:00 +01:00
use Psalm\Tests\Internal\Provider\ClassLikeStorageInstanceCacheProvider;
2019-02-20 17:55:56 +01:00
use Psalm\Type;
use function array_map;
2021-06-08 04:55:21 +02:00
use function array_values;
use function get_class;
2019-02-20 17:55:56 +01:00
class CodebaseTest extends TestCase
{
/** @var Codebase */
private $codebase;
public function setUp(): void
2019-02-20 17:55:56 +01:00
{
parent::setUp();
$this->codebase = $this->project_analyzer->getCodebase();
}
/**
* @test
* @dataProvider typeContainments
2019-03-23 19:27:54 +01:00
*
2019-02-20 17:55:56 +01:00
*/
public function isTypeContainedByType(string $input, string $container, bool $expected): void
2019-02-20 17:55:56 +01:00
{
$input = Type::parseString($input);
$container = Type::parseString($container);
2019-03-23 19:27:54 +01:00
$this->assertSame(
2019-02-20 17:55:56 +01:00
$expected,
$this->codebase->isTypeContainedByType($input, $container),
'Expected ' . $input->getId() . ($expected ? ' ' : ' not ')
. 'to be contained in ' . $container->getId()
);
}
/** @return iterable<int,array{string,string,bool}> */
public function typeContainments(): iterable
2019-02-20 17:55:56 +01:00
{
yield ['int', 'int|string', true];
yield ['int|string', 'int', false];
// This fails with 'could not get class storage' :(
// yield ['RuntimeException', 'Exception', true];
// yield ['Exception', 'RuntimeException', false];
}
/**
* @test
* @dataProvider typeIntersections
2019-03-23 19:27:54 +01:00
*
2019-02-20 17:55:56 +01:00
*/
public function canTypeBeContainedByType(string $input, string $container, bool $expected): void
2019-02-20 17:55:56 +01:00
{
$input = Type::parseString($input);
$container = Type::parseString($container);
2019-03-23 19:27:54 +01:00
$this->assertSame(
2019-02-20 17:55:56 +01:00
$expected,
$this->codebase->canTypeBeContainedByType($input, $container),
'Expected ' . $input->getId() . ($expected ? ' ' : ' not ')
. 'to be contained in ' . $container->getId()
);
}
/** @return iterable<int,array{string,string,bool}> */
public function typeIntersections(): iterable
2019-02-20 17:55:56 +01:00
{
yield ['int', 'int|string', true];
yield ['int|string', 'int', true];
yield ['int|string', 'string|float', true];
yield ['int', 'string', false];
yield ['int|string', 'array|float', false];
}
/**
* @test
* @dataProvider iterableParams
2019-03-23 19:27:54 +01:00
*
2019-02-20 17:55:56 +01:00
* @param array{string,string} $expected
2019-03-23 19:27:54 +01:00
*
2019-02-20 17:55:56 +01:00
*/
public function getKeyValueParamsForTraversableObject(string $input, array $expected): void
2019-02-20 17:55:56 +01:00
{
[$input] = array_values(Type::parseString($input)->getAtomicTypes());
2019-02-20 17:55:56 +01:00
$expected_key_type = Type::parseString($expected[0]);
$expected_value_type = Type::parseString($expected[1]);
$actual = $this->codebase->getKeyValueParamsForTraversableObject($input);
$this->assertTrue(
$expected_key_type->equals($actual[0]),
'Expected ' . $input->getId() . ' to have ' . $expected_key_type
. ' but got ' . $actual[0]->getId()
);
$this->assertTrue(
$expected_value_type->equals($actual[1]),
'Expected ' . $input->getId() . ' to have ' . $expected_value_type
. ' but got ' . $actual[1]->getId()
);
}
/** @return iterable<int,array{string,array{string,string}}> */
public function iterableParams(): iterable
2019-02-20 17:55:56 +01:00
{
yield ['iterable<int,string>', ['int', 'string']];
yield ['iterable<int|string,bool|float>', ['int|string', 'bool|float']];
2019-02-20 17:55:56 +01:00
}
2019-02-24 14:12:00 +01:00
/**
* @test
2019-03-23 19:27:54 +01:00
*
2019-02-24 14:12:00 +01:00
*/
public function customMetadataIsPersisted(): void
2019-02-24 14:12:00 +01:00
{
$this->addFile(
'somefile.php',
'<?php
namespace Psalm\CurrentTest;
abstract class A {}
interface I {}
class C extends A implements I
{
2019-02-24 14:12:00 +01:00
/** @var string */
private $prop = "";
/** @return void */
public function m(int $_i = 1) {}
}
'
);
2019-03-23 19:27:54 +01:00
$hook = new class implements AfterClassLikeVisitInterface {
2019-02-24 14:12:00 +01:00
/**
* @return void
* @phpcsSuppress SlevomatCodingStandard.TypeHints.ReturnTypeHint
2019-02-24 14:12:00 +01:00
*/
public static function afterClassLikeVisit(AfterClassLikeVisitEvent $event)
{
$stmt = $event->getStmt();
$storage = $event->getStorage();
$codebase = $event->getCodebase();
if ($storage->name === 'Psalm\\CurrentTest\\C' && $stmt instanceof Class_) {
$storage->custom_metadata['fqcn'] = (string)($stmt->getAttribute('namespacedName') ?? $stmt->name);
$storage->custom_metadata['extends'] = $stmt->extends instanceof Name
? (string)$stmt->extends->getAttribute('resolvedName')
: '';
$storage->custom_metadata['implements'] = array_map(
function (Name $aspect): string {
return (string)$aspect->getAttribute('resolvedName');
},
$stmt->implements
);
2019-02-24 14:12:00 +01:00
$storage->custom_metadata['a'] = 'b';
$storage->methods['m']->custom_metadata['c'] = 'd';
$storage->properties['prop']->custom_metadata['e'] = 'f';
$storage->methods['m']->params[0]->custom_metadata['g'] = 'h';
$codebase->file_storage_provider->get('somefile.php')->custom_metadata['i'] = 'j';
}
}
};
(new PluginRegistrationSocket($this->codebase->config, $this->codebase))
2019-02-24 14:12:00 +01:00
->registerHooksFromClass(get_class($hook));
$this->codebase->classlike_storage_provider->cache = new ClassLikeStorageInstanceCacheProvider;
$this->analyzeFile('somefile.php', new Context);
$fixtureNamespace = 'Psalm\\CurrentTest\\';
$this->codebase->classlike_storage_provider->remove($fixtureNamespace . 'C');
$this->codebase->exhumeClassLikeStorage($fixtureNamespace . 'C', 'somefile.php');
2019-02-24 14:12:00 +01:00
$class_storage = $this->codebase->classlike_storage_provider->get($fixtureNamespace . 'C');
2019-02-24 14:12:00 +01:00
$file_storage = $this->codebase->file_storage_provider->get('somefile.php');
self::assertSame($fixtureNamespace . 'C', $class_storage->custom_metadata['fqcn']);
self::assertSame($fixtureNamespace . 'A', $class_storage->custom_metadata['extends']);
self::assertSame([$fixtureNamespace . 'I'], $class_storage->custom_metadata['implements']);
self::assertSame('b', $class_storage->custom_metadata['a']);
self::assertSame('d', $class_storage->methods['m']->custom_metadata['c']);
self::assertSame('f', $class_storage->properties['prop']->custom_metadata['e']);
self::assertSame('h', $class_storage->methods['m']->params[0]->custom_metadata['g']);
self::assertSame('j', $file_storage->custom_metadata['i']);
2019-02-24 14:12:00 +01:00
}
/**
* @test
2019-03-23 19:27:54 +01:00
*
*/
public function classExtendsRejectsUnpopulatedClasslikes(): void
{
$this->codebase->classlike_storage_provider->create('A');
$this->codebase->classlike_storage_provider->create('B');
2021-12-03 20:29:06 +01:00
$this->expectException(UnpopulatedClasslikeException::class);
$this->codebase->classExtends('A', 'B');
}
2019-02-20 17:55:56 +01:00
}