1
0
mirror of https://github.com/danog/psalm.git synced 2024-12-11 16:59:45 +01:00
psalm/tests/ThisOutTest.php

110 lines
3.7 KiB
PHP
Raw Normal View History

<?php
namespace Psalm\Tests;
2021-12-04 21:55:53 +01:00
use Psalm\Tests\Traits\ValidCodeAnalysisTestTrait;
class ThisOutTest extends TestCase
{
2021-12-04 21:55:53 +01:00
use ValidCodeAnalysisTestTrait;
public function providerValidCodeParse(): iterable
{
return [
'changeInterface' => [
'code' => '<?php
interface Foo {
/**
* @return void
*/
public function far() {
}
}
class Bar {
/**
* @psalm-this-out Foo
* @return void
*/
public function baz() {
}
}
$bar = new Bar();
$bar->baz();
$bar->far();
2022-12-18 17:15:15 +01:00
',
],
'changeTemplateArguments' => [
'code' => '<?php
/**
* @template-covariant T as int
*/
class container {
/** @var list<T> */
public array $data;
/**
* @param T $data
*/
public function __construct($data) { $this->data = [$data]; }
/**
* @template NewT as int
* @param NewT $data
*
* @psalm-this-out self<NewT>
*/
public function setData($data): void {
/** @psalm-suppress InvalidPropertyAssignmentValue */
$this->data = [$data];
}
/**
* @template NewT as int
* @param NewT $data
*
* @psalm-this-out self<T|NewT>
*/
public function addData($data): void {
/** @psalm-suppress InvalidPropertyAssignmentValue */
$this->data []= $data;
}
/**
* @return list<T>
*/
public function getData(): array { return $this->data; }
}
2021-12-04 21:55:53 +01:00
$a = new container(1);
$data1 = $a->getData();
$a->setData(2);
$data2 = $a->getData();
$a->addData(3);
$data3 = $a->getData();
',
'assertions' => [
'$data1===' => 'list<1>',
'$data2===' => 'list<2>',
'$data3===' => 'list<2|3>',
2022-12-18 17:15:15 +01:00
],
],
'provideDefaultTypeToTypeArguments' => [
'code' => <<<'PHP'
<?php
/** @template T of 'idle'|'running' */
class App {
/** @psalm-this-out self<'idle'> */
public function __construct() {}
/**
* @psalm-if-this-is self<'idle'>
* @psalm-this-out self<'running'>
*/
public function start(): void {}
}
$app = new App();
PHP,
'assertions' => [
'$app===' => "App<'idle'>",
],
],
];
}
}