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

368 lines
12 KiB
PHP
Raw Normal View History

2016-12-04 05:03:51 +01:00
<?php
2023-10-19 13:12:06 +02:00
declare(strict_types=1);
2016-12-04 05:03:51 +01:00
namespace Psalm\Tests;
2021-12-04 21:55:53 +01:00
use Psalm\Tests\Traits\InvalidCodeAnalysisTestTrait;
use Psalm\Tests\Traits\ValidCodeAnalysisTestTrait;
class Php71Test extends TestCase
2016-12-04 05:03:51 +01:00
{
2021-12-04 21:55:53 +01:00
use InvalidCodeAnalysisTestTrait;
use ValidCodeAnalysisTestTrait;
2016-12-04 19:35:38 +01:00
public function providerValidCodeParse(): iterable
2016-12-04 19:35:38 +01:00
{
return [
'nullableReturnType' => [
'code' => '<?php
function a(): ?string
{
return rand(0, 10) ? "elePHPant" : null;
}
2017-06-29 16:22:49 +02:00
$a = a();',
'assertions' => [
'$a' => 'null|string',
2017-05-27 02:05:57 +02:00
],
],
'nullableReturnTypeInDocblock' => [
'code' => '<?php
/** @return ?string */
function a() {
return rand(0, 10) ? "elePHPant" : null;
}
2017-06-29 16:22:49 +02:00
$a = a();',
'assertions' => [
2017-06-29 16:22:49 +02:00
'$a' => 'null|string',
2017-05-27 02:05:57 +02:00
],
],
'nullableArgument' => [
'code' => '<?php
2018-01-11 21:50:45 +01:00
function test(?string $name): ?string
{
return $name;
}
2017-06-29 16:22:49 +02:00
test("elePHPant");
2017-05-27 02:05:57 +02:00
test(null);',
],
'protectedClassConst' => [
'code' => '<?php
class A
{
protected const IS_PROTECTED = 1;
}
2017-06-29 16:22:49 +02:00
class B extends A
{
2018-01-11 21:50:45 +01:00
function fooFoo(): int {
return A::IS_PROTECTED;
}
}',
],
'privateClassConst' => [
'code' => '<?php
class A
{
private const IS_PRIVATE = 1;
2017-06-29 16:22:49 +02:00
2018-01-11 21:50:45 +01:00
function fooFoo(): int {
return A::IS_PRIVATE;
}
2017-05-27 02:05:57 +02:00
}',
],
'publicClassConstFetch' => [
'code' => '<?php
class A
{
public const IS_PUBLIC = 1;
const IS_ALSO_PUBLIC = 2;
}
2017-06-29 16:22:49 +02:00
class B extends A
{
2018-01-11 21:50:45 +01:00
function fooFoo(): int {
echo A::IS_PUBLIC;
return A::IS_ALSO_PUBLIC;
}
}
2017-06-29 16:22:49 +02:00
echo A::IS_PUBLIC;
2017-05-27 02:05:57 +02:00
echo A::IS_ALSO_PUBLIC;',
],
'arrayDestructuringList' => [
'code' => '<?php
$data = [
[1, "Tom"],
[2, "Fred"],
];
2017-06-29 16:22:49 +02:00
// list() style
list($id1, $name1) = $data[0];
2017-06-29 16:22:49 +02:00
// [] style
[$id2, $name2] = $data[1];',
'assertions' => [
'$id1' => 'int',
'$name1' => 'string',
'$id2' => 'int',
'$name2' => 'string',
2017-05-27 02:05:57 +02:00
],
],
'arrayDestructuringInForeach' => [
'code' => '<?php
$data = [
[1, "Tom"],
[2, "Fred"],
];
2017-06-29 16:22:49 +02:00
// [] style
foreach ($data as [$id, $name]) {
echo $id;
echo $name;
2017-05-27 02:05:57 +02:00
}',
],
'arrayDestructuringWithKeys' => [
'code' => '<?php
$data = [
["id" => 1, "name" => "Tom"],
["id" => 2, "name" => "Fred"],
];
2017-06-29 16:22:49 +02:00
// list() style
list("id" => $id1, "name" => $name1) = $data[0];
2017-06-29 16:22:49 +02:00
// [] style
["id" => $id2, "name" => $name2] = $data[1];',
'assertions' => [
2017-06-29 16:22:49 +02:00
'$id1' => 'int',
'$name1' => 'string',
'$id2' => 'int',
'$name2' => 'string',
2017-05-27 02:05:57 +02:00
],
],
'arrayListDestructuringInForeachWithKeys' => [
'code' => '<?php
$data = [
["id" => 1, "name" => "Tom"],
["id" => 2, "name" => "Fred"],
];
2017-06-29 16:22:49 +02:00
// list() style
foreach ($data as list("id" => $id, "name" => $name)) {
$last_id = $id;
$last_name = $name;
}',
'assertions' => [
'$last_id' => 'int',
'$last_name' => 'string',
2017-05-27 02:05:57 +02:00
],
],
'arrayDestructuringInForeachWithKeys' => [
'code' => '<?php
$data = [
["id" => 1, "name" => "Tom"],
["id" => 2, "name" => "Fred"],
];
2017-06-29 16:22:49 +02:00
// [] style
foreach ($data as ["id" => $id, "name" => $name]) {
$last_id = $id;
$last_name = $name;
}',
'assertions' => [
'$last_id' => 'int',
'$last_name' => 'string',
2017-05-27 02:05:57 +02:00
],
],
'iterableArg' => [
'code' => '<?php
/**
* @param iterable<int, int> $iter
*/
2018-01-11 21:50:45 +01:00
function iterator(iterable $iter): void
{
foreach ($iter as $val) {
//
}
}
2017-06-29 16:22:49 +02:00
iterator([1, 2, 3, 4]);
2020-04-19 15:28:53 +02:00
/** @psalm-suppress MixedArgumentTypeCoercion */
2017-05-27 02:05:57 +02:00
iterator(new SplFixedArray(5));',
],
'traversableObject' => [
'code' => '<?php
/**
* @implements Iterator<0, mixed>
*/
class IteratorObj implements Iterator {
2018-01-11 21:50:45 +01:00
function rewind(): void {}
/** @return mixed */
function current() { return null; }
2018-01-11 21:50:45 +01:00
function key(): int { return 0; }
function next(): void {}
function valid(): bool { return false; }
}
2017-06-29 16:22:49 +02:00
2018-01-11 21:50:45 +01:00
function foo(\Traversable $t): void {
}
2017-06-29 16:22:49 +02:00
2017-05-27 02:05:57 +02:00
foo(new IteratorObj);',
],
'iterableIsArrayOrTraversable' => [
'code' => '<?php
function castToArray(iterable $arr): array {
if ($arr instanceof \Traversable) {
return iterator_to_array($arr, false);
}
return $arr;
}
function castToArray2(iterable $arr): array {
if (is_array($arr)) {
return $arr;
}
return iterator_to_array($arr, false);
}',
],
'substituteIterable' => [
'code' => '<?php
function foo(iterable $i): array {
if (!is_array($i)) {
$i = iterator_to_array($i, false);
}
return $i;
}',
],
'iterator_to_arrayMixedKey' => [
'code' => '<?php
/**
* @template TKey
* @template TValue
* @param Traversable<TKey, TValue> $traversable
* @return array<TValue>
*/
function toArray(Traversable $traversable): array
{
return iterator_to_array($traversable);
}',
],
'noReservedWordInDocblock' => [
'code' => '<?php
/**
* @param Closure():(resource|false) $op
* @return resource|false
*/
function create_resource($op) {
return $op();
2019-03-23 19:27:54 +01:00
}',
],
'arrayDestructuringOnArrayObject' => [
'code' => '<?php
$var = new ArrayObject([0 => "first", "dos" => "second"]);
[0 => $first, "dos" => $second] = $var;
echo $first;
echo $second;',
],
];
}
public function providerInvalidCodeParse(): iterable
{
return [
'invalidPrivateClassConstFetch' => [
'code' => '<?php
class A
{
private const IS_PRIVATE = 1;
}
2017-06-29 16:22:49 +02:00
echo A::IS_PRIVATE;',
2017-05-27 02:05:57 +02:00
'error_message' => 'InaccessibleClassConstant',
],
'invalidPrivateClassConstFetchFromSubclass' => [
'code' => '<?php
class A
{
private const IS_PRIVATE = 1;
}
2017-06-29 16:22:49 +02:00
class B extends A
{
2018-01-11 21:50:45 +01:00
function fooFoo(): int {
return A::IS_PRIVATE;
}
}',
2017-05-27 02:05:57 +02:00
'error_message' => 'InaccessibleClassConstant',
],
'invalidProtectedClassConstFetch' => [
'code' => '<?php
class A
{
protected const IS_PROTECTED = 1;
}
2017-06-29 16:22:49 +02:00
echo A::IS_PROTECTED;',
2017-05-27 02:05:57 +02:00
'error_message' => 'InaccessibleClassConstant',
],
'invalidIterableArg' => [
'code' => '<?php
/**
* @param iterable<string> $iter
*/
2018-01-11 21:50:45 +01:00
function iterator(iterable $iter): void
{
foreach ($iter as $val) {
//
}
}
2017-06-29 16:22:49 +02:00
class A {
}
2017-06-29 16:22:49 +02:00
iterator(new A());',
2017-05-27 02:05:57 +02:00
'error_message' => 'InvalidArgument',
],
'voidDoesntWorkIn70' => [
'code' => '<?php
function foo(): void {
}',
'error_message' => 'ReservedWord',
'ignored_issues' => [],
'php_version' => '7.0',
],
'objectDoesntWorkIn71' => [
'code' => '<?php
function foo(): object {
return new stdClass();
}',
'error_message' => 'ReservedWord',
'ignored_issues' => [],
'php_version' => '7.0',
],
'arrayDestructuringInvalidList' => [
'code' => '<?php
$a = 42;
list($id1, $name1) = $a;',
'error_message' => 'InvalidArrayOffset',
],
'arrayDestructuringInvalidArray' => [
'code' => '<?php
$a = 42;
[$id2, $name2] = $a;',
'error_message' => 'InvalidArrayOffset',
],
2016-12-04 19:35:38 +01:00
];
}
2016-12-04 05:03:51 +01:00
}