1
0
mirror of https://github.com/danog/psalm.git synced 2024-12-13 09:47:29 +01:00
psalm/tests/CheckTypeTest.php

109 lines
2.9 KiB
PHP
Raw Normal View History

<?php
2023-10-19 13:12:06 +02:00
declare(strict_types=1);
namespace Psalm\Tests;
use Psalm\Tests\Traits\InvalidCodeAnalysisTestTrait;
use Psalm\Tests\Traits\ValidCodeAnalysisTestTrait;
class CheckTypeTest extends TestCase
{
use InvalidCodeAnalysisTestTrait;
use ValidCodeAnalysisTestTrait;
public function providerValidCodeParse(): iterable
{
yield 'allowSubtype' => [
'code' => '<?php
/** @psalm-check-type $foo = int */
$foo = 1;
',
];
2023-10-08 18:44:32 +02:00
yield 'allowNamespace' => [
'code' => '<?php
namespace X;
final class A {}
$_a = new A();
/** @psalm-check-type-exact $_a = A */',
];
yield 'allowImport' => [
'code' => '<?php
namespace X;
use \stdClass;
$_a = new stdClass();
/** @psalm-check-type-exact $_a = \stdClass */',
];
}
public function providerInvalidCodeParse(): iterable
{
yield 'checkType' => [
'code' => '<?php
$foo = 1;
/** @psalm-check-type $foo = 2 */;
',
'error_message' => 'CheckType',
];
yield 'checkTypeExact' => [
'code' => '<?php
/** @psalm-check-type-exact $foo = int */
$foo = 1;
',
'error_message' => 'CheckType',
];
yield 'checkMultipleTypesFirstCorrect' => [
'code' => '<?php
$foo = 1;
$bar = 2;
/**
* @psalm-check-type $foo = 1
* @psalm-check-type $bar = 3
*/;
',
'error_message' => 'CheckType',
];
yield 'possiblyUnset' => [
'code' => '<?php
try {
$foo = 1;
} catch (Exception $_) {
}
/** @psalm-check-type $foo = 1 */;
',
'error_message' => 'Checked variable $foo = 1 does not match $foo? = 1',
];
yield 'notPossiblyUnset' => [
'code' => '<?php
$foo = 1;
/** @psalm-check-type $foo? = 1 */;
',
'error_message' => 'Checked variable $foo? = 1 does not match $foo = 1',
];
yield 'invalidIncompleteSyntax' => [
'code' => '<?php
/** @psalm-check-type */
',
'error_message' => 'InvalidDocblock',
];
yield 'invalidIncompleteSyntaxNoVar' => [
'code' => '<?php
/** @psalm-check-type = 1 */
',
'error_message' => 'InvalidDocblock',
];
yield 'invalidIncompleteSyntaxNoType' => [
'code' => '<?php
/** @psalm-check-type $var = */
',
'error_message' => 'InvalidDocblock',
];
}
}