2016-10-20 00:13:35 -04:00
|
|
|
<?php
|
2021-12-15 04:58:32 +01:00
|
|
|
|
2016-10-20 00:13:35 -04:00
|
|
|
namespace Psalm\Tests;
|
|
|
|
|
2021-12-04 21:55:53 +01:00
|
|
|
use Psalm\Tests\Traits\ValidCodeAnalysisTestTrait;
|
|
|
|
|
2017-04-24 23:45:02 -04:00
|
|
|
class Php55Test extends TestCase
|
2016-10-20 00:13:35 -04:00
|
|
|
{
|
2021-12-04 21:55:53 +01:00
|
|
|
use ValidCodeAnalysisTestTrait;
|
2016-10-20 00:13:35 -04:00
|
|
|
|
2017-01-13 14:07:23 -05:00
|
|
|
/**
|
2019-03-01 22:55:20 +02:00
|
|
|
* @return iterable<string,array{string,assertions?:array<string,string>,error_levels?:string[]}>
|
2017-01-13 14:07:23 -05:00
|
|
|
*/
|
2020-09-12 17:24:05 +02:00
|
|
|
public function providerValidCodeParse(): iterable
|
2016-10-20 00:13:35 -04:00
|
|
|
{
|
2017-04-24 23:45:02 -04:00
|
|
|
return [
|
|
|
|
'finally' => [
|
|
|
|
'<?php
|
|
|
|
try {
|
|
|
|
}
|
|
|
|
catch (\Exception $e) {
|
|
|
|
}
|
|
|
|
finally {
|
2017-05-26 20:05:57 -04:00
|
|
|
}',
|
2017-04-24 23:45:02 -04:00
|
|
|
],
|
|
|
|
'foreachList' => [
|
|
|
|
'<?php
|
|
|
|
$array = [
|
|
|
|
[1, 2],
|
|
|
|
[3, 4],
|
|
|
|
];
|
2017-06-29 10:22:49 -04:00
|
|
|
|
2017-04-24 23:45:02 -04:00
|
|
|
foreach ($array as list($a, $b)) {
|
|
|
|
echo "A: $a; B: $b\n";
|
2017-05-26 20:05:57 -04:00
|
|
|
}',
|
2017-04-24 23:45:02 -04:00
|
|
|
],
|
|
|
|
'arrayStringDereferencing' => [
|
|
|
|
'<?php
|
|
|
|
$a = [1, 2, 3][0];
|
|
|
|
$b = "PHP"[0];',
|
|
|
|
'assertions' => [
|
2017-06-29 10:22:49 -04:00
|
|
|
'$a' => 'int',
|
|
|
|
'$b' => 'string',
|
2017-05-26 20:05:57 -04:00
|
|
|
],
|
2017-04-24 23:45:02 -04:00
|
|
|
],
|
|
|
|
'classString' => [
|
|
|
|
'<?php
|
|
|
|
class ClassName {}
|
2017-06-29 10:22:49 -04:00
|
|
|
|
2017-04-24 23:45:02 -04:00
|
|
|
$a = ClassName::class;',
|
|
|
|
'assertions' => [
|
2018-03-05 16:06:06 -05:00
|
|
|
'$a' => 'class-string',
|
2017-05-26 20:05:57 -04:00
|
|
|
],
|
|
|
|
],
|
2016-10-20 00:13:35 -04:00
|
|
|
];
|
|
|
|
}
|
|
|
|
}
|