1
0
mirror of https://github.com/danog/psalm.git synced 2024-12-14 02:07:37 +01:00
psalm/tests/ConstantTest.php

1519 lines
49 KiB
PHP
Raw Normal View History

<?php
namespace Psalm\Tests;
2021-12-04 21:55:53 +01:00
use Psalm\Tests\Traits\InvalidCodeAnalysisTestTrait;
use Psalm\Tests\Traits\ValidCodeAnalysisTestTrait;
class ConstantTest extends TestCase
{
2021-12-04 21:55:53 +01:00
use InvalidCodeAnalysisTestTrait;
use ValidCodeAnalysisTestTrait;
/**
* @return iterable<string,array{string,assertions?:array<string,string>,error_levels?:string[], php_version?: string}>
*/
public function providerValidCodeParse(): iterable
{
return [
'constantInFunction' => [
'<?php
useTest();
const TEST = 2;
2018-01-11 21:50:45 +01:00
function useTest(): int {
return TEST;
2017-05-27 02:05:57 +02:00
}',
],
'constantInClosure' => [
'<?php
const TEST = 2;
2018-01-11 21:50:45 +01:00
$useTest = function(): int {
return TEST;
};
2017-05-27 02:05:57 +02:00
$useTest();',
],
'constantDefinedInFunction' => [
'<?php
/**
* @return void
*/
function defineConstant() {
define("CONSTANT", 1);
}
defineConstant();
2017-05-27 02:05:57 +02:00
echo CONSTANT;',
],
'magicConstant' => [
'<?php
$a = __LINE__;
$b = __file__;',
'assertions' => [
'$a' => 'int',
'$b' => 'string',
],
],
2017-12-19 15:48:01 +01:00
'getClassConstantValue' => [
'<?php
class A {
const B = [0, 1, 2];
}
$a = A::B[1];',
],
'staticConstEval' => [
'<?php
abstract class Enum {
/**
* @var string[]
*/
protected const VALUES = [];
public static function export(): string
{
assert(!empty(static::VALUES));
$values = array_map(
function(string $val): string {
return "\'" . $val . "\'";
},
static::VALUES
);
return join(",", $values);
}
}',
'assertions' => [],
'error_levels' => ['MixedArgument'],
],
'undefinedConstant' => [
'<?php
switch (rand(0, 50)) {
case FORTY: // Observed a valid UndeclaredConstant warning
$x = "value";
break;
default:
$x = "other";
}
echo $x;',
'assertions' => [],
'error_levels' => ['UndefinedConstant'],
],
'suppressUndefinedClassConstant' => [
'<?php
class C {}
/** @psalm-suppress UndefinedConstant */
$a = POTATO;
/** @psalm-suppress UndefinedConstant */
$a = C::POTATO;',
'assertions' => [],
'error_levels' => ['MixedAssignment'],
],
'hardToDefineClassConstant' => [
'<?php
class A {
const C = [
self::B => 4,
"name" => 3
];
const B = 4;
}
echo A::C[4];',
],
'sameNamedConstInOtherClass' => [
'<?php
class B {
const B = 4;
}
class A {
const B = "four";
const C = [
B::B => "one",
];
}
echo A::C[4];',
],
'onlyMatchingConstantOffset' => [
'<?php
class A {
const KEYS = ["one", "two", "three"];
const ARR = [
"one" => 1,
"two" => 2
];
}
foreach (A::KEYS as $key) {
if (isset(A::ARR[$key])) {
echo A::ARR[$key];
}
}',
],
'stringArrayOffset' => [
'<?php
class A {
const C = [
"a" => 1,
"b" => 2,
];
}
function foo(string $s) : void {
if (!isset(A::C[$s])) {
return;
}
if ($s === "Hello") {}
}',
],
'noExceptionsOnMixedArrayKey' => [
'<?php
function finder(string $id) : ?object {
if (rand(0, 1)) {
return new A();
}
if (rand(0, 1)) {
return new B();
}
return null;
}
class A {}
class B {}
class Foo
{
private const TYPES = [
"type1" => A::class,
"type2" => B::class,
];
public function bar(array $data): void
{
if (!isset(self::TYPES[$data["type"]])) {
throw new \InvalidArgumentException("Unknown type");
}
$class = self::TYPES[$data["type"]];
$ret = finder($data["id"]);
if (!$ret || !$ret instanceof $class) {
throw new \InvalidArgumentException;
}
}
}',
'assertions' => [],
'error_levels' => ['MixedArgument', 'MixedArrayOffset', 'MixedAssignment'],
],
2018-06-28 03:53:25 +02:00
'lateConstantResolution' => [
'<?php
class A {
const FOO = "foo";
}
class B {
const BAR = [
A::FOO
];
const BAR2 = A::FOO;
}
$a = B::BAR[0];
$b = B::BAR2;',
'assertions' => [
'$a' => 'string',
'$b' => 'string',
],
],
'lateConstantResolutionParentArrayPlus' => [
'<?php
class A {
public const ARR = ["a" => true];
}
class B extends A {
public const ARR = parent::ARR + ["b" => true];
}
class C extends B {
public const ARR = parent::ARR + ["c" => true];
}
/** @param array{a: true, b: true, c: true} $arg */
function foo(array $arg): void {}
foo(C::ARR);
',
],
'lateConstantResolutionParentArraySpread' => [
'<?php
class A {
public const ARR = ["a"];
}
class B extends A {
public const ARR = [...parent::ARR, "b"];
}
class C extends B {
public const ARR = [...parent::ARR, "c"];
}
/** @param array{"a", "b", "c"} $arg */
function foo(array $arg): void {}
foo(C::ARR);
',
],
'lateConstantResolutionParentStringConcat' => [
'<?php
class A {
public const STR = "a";
}
class B extends A {
public const STR = parent::STR . "b";
}
class C extends B {
public const STR = parent::STR . "c";
}
/** @param "abc" $foo */
function foo(string $foo): void {}
foo(C::STR);
',
],
'lateConstantResolutionSpreadEmptyArray' => [
'<?php
class A {
public const ARR = [];
}
class B extends A {
public const ARR = [...parent::ARR];
}
class C extends B {
public const ARR = [...parent::ARR];
}
2021-10-13 19:37:47 +02:00
/** @param array<never, never> $arg */
function foo(array $arg): void {}
foo(C::ARR);
',
],
'classConstConcatEol' => [
'<?php
class Foo {
public const BAR = "bar" . PHP_EOL;
}
$foo = Foo::BAR;
',
'assertions' => ['$foo' => 'string'],
],
'dynamicClassConstFetch' => [
'<?php
class Foo
{
public const BAR = "bar";
}
$foo = new Foo();
$_trace = $foo::BAR;',
'assertions' => ['$_trace===' => '"bar"'],
],
'unsafeInferenceClassConstFetch' => [
'<?php
class Foo
{
public const BAR = "bar";
}
/** @var Foo $foo */
$foo = new stdClass();
$_trace = $foo::BAR;',
'assertions' => ['$_trace' => 'mixed'],
],
'FinalInferenceClassConstFetch' => [
'<?php
final class Foo
{
public const BAR = "bar";
}
/** @var Foo $foo */
$foo = new stdClass();
$_trace = $foo::BAR;',
'assertions' => ['$_trace===' => '"bar"'],
],
'dynamicClassConstFetchClassString' => [
'<?php
class C {
public const CC = 1;
}
$c = C::class;
$d = $c::CC;',
'assertions' => ['$d===' => '1'],
],
'allowConstCheckForDifferentPlatforms' => [
'<?php
if ("phpdbg" === \PHP_SAPI) {}',
],
'stdinout' => [
'<?php
echo fread(STDIN, 100);
fwrite(STDOUT, "asd");
2019-03-23 19:27:54 +01:00
fwrite(STDERR, "zcx");',
],
'classStringArrayOffset' => [
'<?php
class A {}
class B {}
const C = [
A::class => 1,
B::class => 2,
];
/**
* @param class-string $s
*/
function foo(string $s) : void {
if (isset(C[$s])) {}
}',
],
'resolveClassConstToCurrentClass' => [
'<?php
interface I {
public const C = "a";
public function getC(): string;
}
class A implements I {
public function getC(): string {
return self::C;
}
}
class B extends A {
public const C = [5];
2018-11-06 03:57:36 +01:00
public function getA(): array {
return self::C;
}
}',
],
'resolveCalculatedConstant' => [
'<?php
interface Types {
public const TWO = "two";
}
interface A {
public const TYPE_ONE = "one";
public const TYPE_TWO = Types::TWO;
}
class B implements A {
public function __construct()
{
echo self::TYPE_ONE;
echo self::TYPE_TWO;
}
}',
'assertions' => [],
'error_levels' => ['MixedArgument'],
],
'arrayAccessAfterIsset' => [
'<?php
class C {
const A = [
"b" => ["c" => false],
"c" => ["c" => true],
"d" => ["c" => true]
];
}
/** @var string */
$s = "b";
if (isset(C::A[$s]["c"]) && C::A[$s]["c"] === false) {}',
],
'namespacedConstantInsideClosure' => [
'<?php
namespace Foo;
const FOO_BAR = 1;
function foo(): \Closure {
return function (): int {
return FOO_BAR;
};
}
function foo2(): int {
return FOO_BAR;
}
$a = function (): \Closure {
return function (): int {
return FOO_BAR;
};
};
$b = function (): int {
return FOO_BAR;
};',
],
'rootConstantReferencedInNamespace' => [
'<?php
namespace Foo;
echo DIRECTORY_SEPARATOR;',
],
'constantDefinedInRootNamespace' => [
2019-02-18 19:17:08 +01:00
'<?php
namespace {
define("ns1\\cons1", 0);
2019-02-18 19:17:08 +01:00
echo \ns1\cons1;
echo ns1\cons1;
}',
],
'constantDynamicallyDefinedInNamespaceReferencedInSame' => [
'<?php
2019-02-18 19:17:08 +01:00
namespace ns2 {
define(__NAMESPACE__."\\cons2", 0);
2019-02-18 19:17:08 +01:00
echo \ns2\cons2;
echo cons2;
}',
],
'constantDynamicallyDefinedInNamespaceReferencedInRoot' => [
'<?php
namespace ns2 {
define(__NAMESPACE__."\\cons2", 0);
2019-02-18 19:17:08 +01:00
}
namespace {
echo \ns2\cons2;
echo ns2\cons2;
}',
],
'constantExplicitlyDefinedInNamespaceReferencedInSame' => [
'<?php
namespace ns2 {
define("ns2\\cons2", 0);
echo \ns2\cons2;
echo cons2;
}',
],
'constantExplicitlyDefinedInNamespaceReferencedInRoot' => [
'<?php
2019-02-18 19:17:08 +01:00
namespace ns2 {
define("ns2\\cons2", 0);
2019-02-18 19:17:08 +01:00
}
namespace {
echo \ns2\cons2;
echo ns2\cons2;
2019-02-18 19:17:08 +01:00
}',
],
2019-03-03 22:43:24 +01:00
'allowConstantToBeDefinedInNamespaceNadReferenced' => [
'<?php
namespace ns;
function func(): void {}
define(__NAMESPACE__."\\cons", 0);
2019-03-23 19:27:54 +01:00
cons;',
2019-03-03 22:43:24 +01:00
],
'staticConstantInsideFinalClass' => [
'<?php
final class A {
public const STRING = "1,2,3";
public static function foo(): void {
print_r(explode(",", static::STRING));
}
}'
],
'allowChecksAfterDefined' => [
'<?php
class A {
private const STRING = "x";
public static function bar(string $s) : bool {
return !defined("FOO") && strpos($s, self::STRING) === 0;
}
}'
],
'resolveOutOfOrderClassConstants' => [
'<?php
const cons1 = 0;
class Clazz {
const cons2 = cons1;
const cons3 = 0;
}
echo cons1;
echo Clazz::cons2;
echo Clazz::cons3;'
],
'evenMoreOutOfOrderConstants' => [
'<?php
class A {
const X = self::Y;
const Y = 3;
}
class C extends B {
}
const Z = C::X;
class B extends A {
const Z = self::X;
}'
],
'supportTernaries' => [
'<?php
const cons1 = true;
class Clazz {
/**
* @psalm-suppress RedundantCondition
*/
const cons2 = (cons1) ? 1 : 0;
}
echo Clazz::cons2;',
],
'classConstantClassReferencedLazily' => [
'<?php
/** @return array<string, int> */
function getMap(): array {
return Mapper::MAP;
}
class Mapper {
public const MAP = [
Foo::class => self::A,
Foo::BAR => self::A,
];
private const A = 5;
}
class Foo {
public const BAR = "bar";
}'
],
'resolveConstArrayAsList' => [
'<?php
class Test1 {
const VALUES = [
"all",
"own"
];
}
class Credentials {
const ALL = "all";
const OWN = "own";
const NONE = "none";
}
class Test2 {
const VALUES = [
Credentials::ALL,
Credentials::OWN
];
}
/**
* @psalm-param list<"all"|"own"|"mine"> $value
*/
function test($value): void {
print_r($value);
}
test(Test1::VALUES);
test(Test2::VALUES);'
],
2020-01-14 22:56:09 +01:00
'resolveConstantFetchViaFunction' => [
'<?php
const FOO = 1;
echo \constant("FOO");'
],
'tooLongClassConstArray' => [
'<?php
class MyTest {
const LOOKUP = [
"A00" => null,
"A01" => null,
"A02" => null,
"A03" => null,
"A04" => null,
"A05" => null,
"A06" => null,
"A07" => null,
"A010" => null,
"A011" => null,
"A012" => null,
"A013" => null,
"A014" => null,
"A015" => null,
"A016" => null,
"A017" => null,
"A020" => null,
"A021" => null,
"A022" => null,
"A023" => null,
"A024" => null,
"A025" => null,
"A026" => null,
"A027" => null,
"A030" => null,
"A031" => null,
"A032" => null,
"A033" => null,
"A034" => null,
"A035" => null,
"A036" => null,
"A037" => null,
"A040" => null,
"A041" => null,
"A042" => null,
"A043" => null,
"A044" => null,
"A045" => null,
"A046" => null,
"A047" => null,
"A050" => null,
"A051" => null,
"A052" => null,
"A053" => null,
"A054" => null,
"A055" => null,
"A056" => null,
"A057" => null,
"A060" => null,
"A061" => null,
"A062" => null,
"A063" => null,
"A064" => self::SUCCEED,
"A065" => self::FAIL,
];
const SUCCEED = "SUCCEED";
const FAIL = "FAIL";
/**
* @param string $code
*/
public static function will_succeed($code) : bool {
// False positive TypeDoesNotContainType - string(SUCCEED) cannot be identical to null
// This seems to happen because the array has a lot of entries.
return (self::LOOKUP[strtoupper($code)] ?? null) === self::SUCCEED;
}
}'
2020-02-07 16:47:42 +01:00
],
'keyOf' => [
2020-02-07 16:47:42 +01:00
'<?php
class A {
const C = [
1 => "a",
2 => "b",
3 => "c"
];
/**
* @param key-of<A::C> $i
*/
public static function foo(int $i) : void {}
}
A::foo(1);
A::foo(2);
A::foo(3);',
],
'valueOf' => [
'<?php
class A {
const C = [
1 => "a",
2 => "b",
3 => "c"
];
/**
* @param value-of<A::C> $j
*/
public static function bar(string $j) : void {}
}
A::bar("a");
A::bar("b");
A::bar("c");',
],
'valueOfDefault' => [
'<?php
class A {
const C = [
1 => "a",
2 => "b",
3 => "c"
];
/**
* @var value-of<self::C>
*/
public $foo = "a";
}',
],
'wildcardEnum' => [
'<?php
class A {
const C_1 = 1;
const C_2 = 2;
const C_3 = 3;
/**
* @param self::C_* $i
*/
public static function foo(int $i) : void {}
}
A::foo(1);
A::foo(2);
A::foo(3);',
],
'wildcardEnumAnyConstant' => [
'<?php
class A {
const C_1 = 1;
const C_2 = 2;
const C_3 = 3;
const D_4 = 4;
/**
* @param self::* $i
*/
public static function foo(int $i) : void {}
}
A::foo(1);
A::foo(2);
A::foo(3);
A::foo(A::D_4);',
],
'wildcardEnumAnyTemplateExtendConstant' => [
'<?php
/**
* @template T
*/
interface AInterface
{
/**
* @param T $i
* @return T
*/
public function foo($i);
}
/**
* @implements AInterface<A::*>
*/
class A implements AInterface {
const C_1 = 1;
const C_2 = 2;
const C_3 = 3;
const D_4 = 4;
public function foo($i)
{
return $i;
}
}
$a = new A();
$a->foo(1);
$a->foo(2);
$a->foo(3);
$a->foo(A::D_4);',
],
'wildcardVarAndReturn' => [
'<?php
class Numbers {
public const ONE = 1;
public const TWO = 2;
}
class Number {
/**
* @var Numbers::*
*/
private $number;
/**
* @param Numbers::* $number
*/
public function __construct($number) {
$this->number = $number;
}
/**
* @return Numbers::*
*/
public function get(): int {
return $this->number;
}
}'
],
'lowercaseStringAccessClassConstant' => [
'<?php
class A {
const C = [
"a" => 1,
"b" => 2,
"c" => 3
];
}
/**
* @param lowercase-string $s
*/
function foo(string $s, string $t) : void {
echo A::C[$t];
echo A::C[$s];
}'
],
'getClassConstantOffset' => [
'<?php
class C {
private const A = [ 0 => "string" ];
private const B = self::A[0];
public function foo(): string {
return self::B;
}
}'
],
'bitwiseOrClassConstant' => [
'<?php
class X {
public const A = 1;
public const B = 2;
public const C = self::A | self::B;
}
$c = X::C;',
[
'$c' => 'int',
]
],
'protectedClassConstantAccessibilitySameNameInChild' => [
'<?php
class A {
protected const A = 1;
public static function test(): void {
echo B::A;
}
}
class B extends A {
protected const A = 2;
}
A::test();'
],
'referenceClassConstantWithSelf' => [
'<?php
abstract class A {
public const KEYS = [];
public const VALUES = [];
}
class B extends A {
public const VALUES = [\'there\' => self::KEYS[\'hi\']];
public const KEYS = [\'hi\' => CONSTANTS::THERE];
}
class CONSTANTS {
public const THERE = \'there\';
}
echo B::VALUES["there"];'
],
'internalConstWildcard' => [
'<?php
/**
* @psalm-param \PDO::PARAM_* $type
*/
function param(int $type): void {}'
],
'templatedConstantInType' => [
'<?php
/**
* @template T of (self::READ_UNCOMMITTED|self::READ_COMMITTED|self::REPEATABLE_READ|self::SERIALIZABLE)
*/
final class TransactionIsolationLevel {
private const READ_UNCOMMITTED = \'read uncommitted\';
private const READ_COMMITTED = \'read committed\';
private const REPEATABLE_READ = \'repeatable read\';
private const SERIALIZABLE = \'serializable\';
/**
* @psalm-var T
*/
private string $level;
/**
* @psalm-param T $level
*/
private function __construct(string $level)
{
$this->level = $level;
}
/**
* @psalm-return self<self::READ_UNCOMMITTED>
*/
public static function readUncommitted(): self
{
return new self(self::READ_UNCOMMITTED);
}
/**
* @psalm-return self<self::READ_COMMITTED>
*/
public static function readCommitted(): self
{
return new self(self::READ_COMMITTED);
}
/**
* @psalm-return self<self::REPEATABLE_READ>
*/
public static function repeatableRead(): self
{
return new self(self::REPEATABLE_READ);
}
/**
* @psalm-return self<self::SERIALIZABLE>
*/
public static function serializable(): self
{
return new self(self::SERIALIZABLE);
}
/**
* @psalm-return T
*/
public function toString(): string
{
return $this->level;
}
}'
],
'dirAndFileInConstInitializersAreNonEmptyString' => [
'<?php
class C {
const DIR = __DIR__;
const FILE = __FILE__;
}
$dir = C::DIR;
$file = C::FILE;
',
[
'$dir===' => 'non-empty-string',
'$file===' => 'non-empty-string',
]
],
'lineInConstInitializersIsInt' => [
'<?php
class C {
const LINE = __LINE__;
}
$line = C::LINE;
',
[
'$line' => 'int',
]
],
'classMethodTraitAndFunctionInConstInitializersAreStrings' => [
'<?php
class C {
const CLS = __CLASS__;
const MTD = __METHOD__;
const TRT = __TRAIT__;
const FCN = __FUNCTION__;
}
$cls = C::CLS;
$mtd = C::MTD;
$trt = C::TRT;
$fcn = C::FCN;
',
[
'$cls' => 'string',
'$mtd' => 'string',
'$trt' => 'string',
'$fcn' => 'string',
]
],
'concatWithMagicInConstInitializersIsNoEmptyString' => [
'<?php
class C {
const DIR = __DIR__ . " - dir";
const FILE = "file:" . __FILE__;
}
$dir = C::DIR;
$file = C::FILE;
',
[
'$dir===' => 'non-empty-string',
'$file===' => 'non-empty-string',
]
],
'noCrashWithStaticInDocblock' => [
'<?php
class Test {
const CONST1 = 1;
public function test(): void
{
/** @var static::CONST1 */
$a = static::CONST1;
}
}'
],
'FuncAndMethInAllContexts' => [
'<?php
/** @return \'getMethInFunc\' */
function getMethInFunc(): string{
return __METHOD__;
}
/** @return \'getFuncInFunc\' */
function getFuncInFunc(): string{
return __FUNCTION__;
}
class A{
/** @return \'A::getMethInMeth\' */
function getMethInMeth(): string{
return __METHOD__;
}
/** @return \'getFuncInMeth\' */
function getFuncInMeth(): string{
return __FUNCTION__;
}
}'
],
'arrayUnpack' => [
'<?php
class C {
const A = [...[...[1]], ...[2]];
}
$arr = C::A;
',
'assertions' => [
'$arr===' => 'array{1, 2}',
],
],
'keysInUnpackedArrayAreReset' => [
'<?php
class C {
const A = [...[11 => 2]];
}
$arr = C::A;
',
'assertions' => [
'$arr===' => 'array{2}',
],
],
'arrayKeysSequenceContinuesAfterExplicitIntKey' => [
'<?php
class C {
const A = [5 => "a", "z", 10 => "aa", "zz"];
}
$arr = C::A;
',
'assertions' => [
'$arr===' => 'array{10: "aa", 11: "zz", 5: "a", 6: "z"}',
],
],
'arrayKeysSequenceContinuesAfterNonIntKey' => [
'<?php
class C {
const A = [5 => "a", "zz" => "z", "aa"];
}
$arr = C::A;
',
'assertions' => [
'$arr===' => 'array{5: "a", 6: "aa", zz: "z"}',
],
],
'unresolvedConstWithUnaryMinus' => [
'<?php
const K = 5;
abstract class C6 {
public const M = [
1 => -1,
K => 6,
];
/**
* @param int $k
*/
public static function f(int $k): void {
$a = self::M;
print_r($a);
}
}',
],
'classConstantReferencingEnumCase' => [
'<?php
enum E {
case Z;
}
class C {
public const CC = E::Z;
}
$c = C::CC;
',
'assertions' => [
'$c===' => 'enum(E::Z)'
],
[],
'8.1'
],
'classConstWithParamOut' => [
'<?php
class Reconciler
{
public const RECONCILIATION_OK = 0;
public const RECONCILIATION_EMPTY = 1;
public static function reconcileKeyedTypes(): void
{
$failed_reconciliation = 0;
self::boo($failed_reconciliation);
if ($failed_reconciliation === self::RECONCILIATION_EMPTY) {
echo "ici";
}
}
/** @param-out Reconciler::RECONCILIATION_* $f */
public static function boo(
?int &$f = self::RECONCILIATION_OK
): void {
$f = self::RECONCILIATION_EMPTY;
}
}
Reconciler::reconcileKeyedTypes();
',
],
];
}
/**
* @return iterable<string,array{string,error_message:string,1?:string[],2?:bool,3?:string}>
*/
public function providerInvalidCodeParse(): iterable
{
return [
'constantDefinedInFunctionButNotCalled' => [
'<?php
/**
* @return void
*/
function defineConstant() {
define("CONSTANT", 1);
}
echo CONSTANT;',
2017-05-27 02:05:57 +02:00
'error_message' => 'UndefinedConstant',
],
'undefinedClassConstantInParamDefault' => [
'<?php
class A {
public function doSomething(int $howManyTimes = self::DEFAULT_TIMES): void {}
}',
'error_message' => 'UndefinedConstant',
],
'nonMatchingConstantOffset' => [
'<?php
class A {
const KEYS = ["one", "two", "three", "four"];
const ARR = [
"one" => 1,
"two" => 2
];
const ARR2 = [
"three" => 3,
"four" => 4
];
}
foreach (A::KEYS as $key) {
if (isset(A::ARR[$key])) {
echo A::ARR2[$key];
}
}',
'error_message' => 'InvalidArrayOffset',
],
'objectLikeConstArrays' => [
'<?php
class C {
const A = 0;
const B = 1;
const ARR = [
self::A => "zero",
self::B => "two",
];
}
if (C::ARR[C::A] === "two") {}',
'error_message' => 'TypeDoesNotContainType',
],
'missingClassConstInArray' => [
'<?php
class A {
const B = 1;
const C = [B];
}',
'error_message' => 'UndefinedConstant',
],
'resolveConstToCurrentClassWithBadReturn' => [
'<?php
interface I {
public const C = "a";
public function getC(): string;
}
class A implements I {
public function getC(): string {
return self::C;
}
}
class B extends A {
public const C = [5];
2018-11-06 03:57:36 +01:00
public function getC(): string {
return self::C;
}
}',
'error_message' => 'InvalidReturnStatement',
],
'outOfScopeDefinedConstant' => [
'<?php
namespace {
define("A\\B", 0);
}
namespace C {
echo A\B;
}',
2019-03-01 21:55:20 +01:00
'error_message' => 'UndefinedConstant',
],
'preventStaticClassConstWithoutRef' => [
'<?php
class Foo {
public const CONST = 1;
public function x() : void {
echo static::CON;
}
}',
'error_message' => 'UndefinedConstant',
],
'noCyclicConstReferences' => [
'<?php
class A {
const FOO = B::FOO;
}
class B {
const FOO = C::FOO;
}
class C {
const FOO = A::FOO;
}',
'error_message' => 'CircularReference'
],
2020-02-07 16:47:42 +01:00
'keyOfBadValue' => [
'<?php
class A {
const C = [
1 => "a",
2 => "b",
3 => "c"
];
/**
* @param key-of<A::C> $i
*/
public static function foo(int $i) : void {}
}
A::foo(4);',
'error_message' => 'InvalidArgument',
],
'valueOfBadValue' => [
'<?php
class A {
const C = [
1 => "a",
2 => "b",
3 => "c"
];
/**
* @param value-of<A::C> $j
*/
public static function bar(string $j) : void {}
}
A::bar("d");',
'error_message' => 'InvalidArgument',
],
'wildcardEnumBadValue' => [
'<?php
class A {
const C_1 = 1;
const C_2 = 2;
const C_3 = 3;
const D_4 = 4;
/**
* @param self::C_* $i
*/
public static function foo(int $i) : void {}
}
A::foo(A::D_4);',
'error_message' => 'InvalidArgument'
],
'wildcardEnumAnyTemplateExtendConstantBadValue' => [
'<?php
/**
* @template T
*/
interface AInterface
{
/**
* @param T $i
* @return T
*/
public function foo($i);
}
/**
* @implements AInterface<A::*>
*/
class A implements AInterface {
const C_1 = 1;
const C_2 = 2;
const C_3 = 3;
const D_4 = 4;
public function foo($i)
{
return $i;
}
}
$a = new A();
$a->foo(5);
',
'error_message' => 'InvalidArgument'
],
'correctMessage' => [
'<?php
class S {
public const ZERO = 0;
public const ONE = 1;
}
/**
* @param S::* $s
*/
function foo(int $s): string {
return [1 => "a", 2 => "b"][$s];
}',
2021-05-14 23:19:23 +02:00
'error_message' => "offset value of '1|0"
],
'constantWithMissingClass' => [
'<?php
class Subject
{
public const DATA = [
MissingClass::TAG_DATA,
];
public function execute(): void
{
/** @psalm-suppress InvalidArrayOffset */
if (self::DATA["a"]);
}
}',
'error_message' => 'UndefinedClass',
],
'duplicateConstants' => [
'<?php
class A {
public const B = 1;
public const B = 2;
}
',
'error_message' => 'DuplicateConstant',
],
'constantDuplicatesEnumCase' => [
'<?php
enum State {
case Open;
public const Open = 1;
}
',
'error_message' => 'DuplicateConstant',
[],
false,
'8.1',
],
'enumCaseDuplicatesConstant' => [
'<?php
enum State {
public const Open = 1;
case Open;
}
',
'error_message' => 'DuplicateConstant',
[],
false,
'8.1',
],
];
}
}