mirror of
https://github.com/danog/psalm.git
synced 2024-11-27 04:45:20 +01:00
d09e420939
I initially added these as part of my TryAnalyzer rewrite to allow testing complicated `finally` types like this:
```
$foo = 1;
try {
$foo = 2;
} catch (Exception $_) {
$foo = 3;
} finally {
$bar = $foo;
/** @psalm-check-type-exact $bar = 1|2|3 */;
}
/** @psalm-check-type-exact $bar = 2|3 */;
```
Using the `'assertions'` in tests doesn't work since the type is different inside the `finally`.
I decided to extract the new annotation from the rest of my changes and do a separate pull request since I think others may find it useful, and it should be much easier to review than the entire TryAnalyzer rewrite.
75 lines
2.1 KiB
PHP
75 lines
2.1 KiB
PHP
<?php
|
|
|
|
namespace Psalm\Tests;
|
|
|
|
use Psalm\Tests\Traits\InvalidCodeAnalysisTestTrait;
|
|
use Psalm\Tests\Traits\ValidCodeAnalysisTestTrait;
|
|
|
|
class CheckTypeTest extends TestCase
|
|
{
|
|
use InvalidCodeAnalysisTestTrait;
|
|
use ValidCodeAnalysisTestTrait;
|
|
|
|
/**
|
|
* @return iterable<string,array{code:string,assertions?:array<string,string>,ignored_issues?:list<string>,php_version?:string}>
|
|
*/
|
|
public function providerValidCodeParse(): iterable
|
|
{
|
|
yield 'allowSubtype' => [
|
|
'code' => '<?php
|
|
/** @psalm-check-type $foo = int */
|
|
$foo = 1;
|
|
',
|
|
];
|
|
}
|
|
|
|
/**
|
|
* @return iterable<string,array{code:string,error_message:string,ignored_issues?:list<string>,php_version?:string}>
|
|
*/
|
|
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',
|
|
];
|
|
}
|
|
}
|