danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-11-26 20:34:47 +01:00
Code Issues Projects Releases Wiki Activity

Added pure annotations to enum functions

Browse Source
This commit is contained in:
Ricardo Boss 2021-12-20 23:20:50 +01:00
parent 8182684941
commit f0d7556200
1 changed files with 22 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
stubs/Php81.phpstub
View File

@ -4,14 +4,25 @@ namespace {
/** @var non-empty-string $name */
public readonly string $name;
/** @return non-empty-list<static> */
/**
* @psalm-pure
* @return non-empty-list<static>
*/
public static function cases(): array;
}
interface BackedEnum
{
public readonly int|string $value;
/**
* @psalm-pure
*/
public static function from(string|int $value): static;
/**
* @psalm-pure
*/
public static function tryFrom(string|int $value): ?static;
}
@ -27,12 +38,22 @@ namespace {
class ReflectionEnumUnitCase extends ReflectionClassConstant implements Reflector
{
/**
* @psalm-pure
*/
public function getEnum(): ReflectionEnum;
/**
* @psalm-pure
*/
public function getValue(): UnitEnum;
}
class ReflectionEnumBackedCase extends ReflectionEnumUnitCase implements Reflector
{
/**
* @psalm-pure
*/
public function getBackingValue(): int|string;
}
}