<?php

/**
 * @template-covariant T as object
 *
 * @property-read class-string<T> $name
 */
class ReflectionClass implements Reflector {

    /**
     * @var class-string<T>
     */
    public $name;

    /**
     * @param T|class-string<T>|interface-string<T>|trait-string|enum-string<T> $argument
     * @psalm-pure
     */
    public function __construct($argument) {}

    /**
     * @return class-string<T>
     * @psalm-pure
     */
    public function getName(): string {}
    
    /** @psalm-pure */
    public function isInternal(): bool {}

    /** @psalm-pure */
    public function isUserDefined(): bool {}

    /** @psalm-pure */
    public function isInstantiable(): bool {}

    /** @psalm-pure */
    public function isCloneable(): bool {}

    /**
     * @return non-empty-string|false
     * @psalm-pure
     */
    public function getFileName() {}

    /**
     * @return positive-int|false
     * @psalm-pure
     */
    public function getStartLine() {}

    /**
     * @return positive-int|false
     * @psalm-pure
     */
    public function getEndLine() {}

    /**
     * @return non-empty-string|false
     * @psalm-pure
     */
    public function getDocComment() {}

    /** @psalm-pure */
    public function getConstructor(): ?ReflectionMethod {}

    /** @psalm-pure */
    public function hasMethod(string $name): bool {}

    /**
     * @param non-empty-string $name
     *
     * @psalm-pure
     * @throws ReflectionException
     */
    public function getMethod(string $name): ReflectionMethod {}

    /**
     * @param int-mask-of<ReflectionMethod::IS_*>|null $filter
     * @return list<ReflectionMethod>
     * @psalm-pure
     */
    public function getMethods(?int $filter = null): array {}

    /**
     * @param non-empty-string $name
     *
     * @psalm-pure
     * @throws ReflectionException
     */
    public function hasProperty(string $name): bool {}

    /**
     * @param non-empty-string $name
     *
     * @psalm-pure
     * @throws ReflectionException
     */
    public function getProperty(): ReflectionProperty {}

    /**
     * @param int-mask-of<ReflectionProperty::IS_*>|null $filter
     * @return list<ReflectionProperty>
     *
     * @psalm-pure
     */
    public function getProperties(?int $filter = null): array {}

    /**
     * @param non-empty-string $name
     *
     * @psalm-pure
     */
    public function hasConstant(string $name): bool {}

    /**
     * @param non-empty-string $name
     * @return mixed
     *
     * @psalm-pure
     * @throws ReflectionException
     */
    public function getConstant(string $name) {}

    /**
     * @param non-empty-string $name
     * @return ReflectionClassConstant|false
     *
     * @psalm-pure
     * @throws ReflectionException
     */
    public function getReflectionConstant(string $name) {}

    /**
     * @param int-mask-of<ReflectionClassConstant::IS_*>|null $filter
     * @return array<non-empty-string, mixed>
     *
     * @psalm-pure
     */
    public function getConstants(?int $filter = null): array {}

    /**
     * @param int-mask-of<ReflectionClassConstant::IS_*>|null $filter
     * @return array<non-empty-string, mixed>
     *
     * @psalm-pure
     */
    public function getReflectionConstants(?int $filter = null): array {}

    /**
     * @return array<class-string, self>
     *
     * @psalm-pure
     */
    public function getInterfaces(): array {}

    /**
     * @return list<class-string>
     *
     * @psalm-pure
     */
    public function getInterfaceNames(): array {}

    /** @psalm-pure */
    public function isInterface(): bool {}

    /**
     * @return array<trait-string, self>
     *
     * @psalm-pure
     */
    public function getTraits(): array {}

    /**
     * @return list<non-empty-string, non-empty-string>
     *
     * @psalm-pure
     */
    public function getTraitAliases(): array {}

    /** @psalm-pure */
    public function isTrait(): bool {}

    /** @psalm-pure */
    public function isAbstract(): bool {}

    /** @psalm-pure */
    public function isFinal(): bool {}

    /**
     * @return int-mask-of<ReflectionClass::IS_*>
     * @psalm-pure
     */
    public function getModifiers(): bool {}

    /**
     * @template TCheckedObject of object
     *
     * @param TCheckedObject $object
     *
     * @return (TCheckedObject is T ? true : bool)
     *
     * @psalm-pure
     */
    public function isInstance(object $object): bool {}

    /**
     * @param mixed ...$args
     *
     * @return T
     */
    public function newInstance(...$args): object {}

    /**
     * @param array<int, mixed> $args
     *
     * @return T
     */
    public function newInstanceArgs(array $args): object {}

    /**
     * @return T
     */
    public function newInstanceWithoutConstructor(): object {}

    /** @psalm-pure */
    public function getParentClass(): ?ReflectionClass {}

    /**
     * @param ReflectionClass|class-string $class
     *
     * @psalm-pure
     */
    public function isSubclassOf($class): bool {}

    /** @return array<non-empty-string, mixed> */
    public function getStaticProperties(): array {}

    /**
     * @return array<non-empty-string, mixed>
     *
     * @psalm-pure
     */
    public function getDefaultProperties(): array {}

    /** @psalm-pure */
    public function isIterateable(): bool {}

    /** @psalm-pure */
    public function isIterable(): bool {}

    /**
     * @param self|class-string $interface
     *
     * @psalm-pure
     */
    public function implementsInterface($interface): bool {}

    /** @psalm-pure */
    public function getExtension(): ?ReflectionExtension {}

    /**
     * @return non-empty-string|false
     *
     * @psalm-pure
     */
    public function getExtensionName() {}

    /** @psalm-pure */
    public function inNamespace(): bool {}

    /** @psalm-pure */
    public function getNamespaceName(): string {}

    /**
     * @return non-empty-string
     *
     * @psalm-pure
     */
    public function getShortName(): string {}

    /**
     * @return ?array<string>
     * @psalm-ignore-nullable-return
     * @psalm-pure
     */
    public function getTraitNames(): array {}

    /**
     * @since 8.0
     * @template TClass as object
     * @param class-string<TClass>|null $name
     * @return ($name is null ? list<ReflectionAttribute<object>> : list<ReflectionAttribute<TClass>>)
     * @psalm-pure
     */
    public function getAttributes(?string $name = null, int $flags = 0): array {}
}

abstract class ReflectionFunctionAbstract implements Reflector
{
    /** @psalm-pure */
    public function inNamespace(): bool {}

    /** @psalm-pure */
    public function isClosure(): bool {}

    /** @psalm-pure */
    public function isDeprecated(): bool {}

    /** @psalm-pure */
    public function isInternal(): bool {}

    /** @psalm-pure */
    public function isUserDefined(): bool {}

    public function getClosureThis(): ?object {}

    /** @psalm-pure */
    public function getClosureScopeClass(): ?ReflectionClass {}

    /** @psalm-pure */
    public function getClosureCalledClass(): ?ReflectionClass {}

    /**
     * @return non-empty-string|false
     *
     * @psalm-pure
     */
    public function getDocComment() {}

    /**
     * @return positive-int|false
     *
     * @psalm-pure
     */
    public function getStartLine() {}

    /**
     * @return positive-int|false
     *
     * @psalm-pure
     */
    public function getEndLine() {}

    /** @psalm-pure */
    public function getExtension(): ?ReflectionExtension {}

    /**
     * @return non-empty-string
     *
     * @psalm-pure
     */
    public function getExtensionName(): string {}

    /**
     * @return non-empty-string|false
     *
     * @psalm-pure
     */
    public function getFileName() {}

    /**
     * @return non-empty-string
     *
     * @psalm-pure
     */
    public function getName(): string {}

    /** @psalm-pure */
    public function getNamespaceName(): string {}

    /**
     * @return positive-int|0
     *
     * @psalm-pure
     */
    public function getNumberOfParameters(): int {}

    /**
     * @return positive-int|0
     *
     * @psalm-pure
     */
    public function getNumberOfRequiredParameters(): int {}

    /**
     * @return list<ReflectionParameter>
     *
     * @psalm-pure
     */
    public function getParameters(): array {}

    /**
     * @psalm-assert-if-true ReflectionType $this->getReturnType()
     *
     * @psalm-pure
     */
    public function hasReturnType(): bool {}

    /** @psalm-pure */
    public function getReturnType(): ?ReflectionType {}

    /**
     * @return non-empty-string
     *
     * @psalm-pure
     */
    public function getShortName(): string {}

    /** @psalm-pure */
    public function returnsReference(): bool {}

    /** @psalm-pure */
    public function isGenerator(): bool {}

    /** @psalm-pure */
    public function isVariadic(): bool {}

    /** @psalm-pure */
    public function isDisabled(): bool {}

    /** @psalm-pure */
    public function getClosure(): Closure {}

    /**
     * @since 8.0
     * @template TClass as object
     * @param class-string<TClass>|null $name
     * @return ($name is null ? array<ReflectionAttribute<object>> : array<ReflectionAttribute<TClass>>)
     */
    public function getAttributes(?string $name = null, int $flags = 0): array {}
}

class ReflectionFunction extends ReflectionFunctionAbstract
{
    /** @psalm-pure */
    public function __construct(callable $function) {}

    /**
     * @return non-empty-string
     *
     * @psalm-pure
     */
    public function __toString(): string {}
}

class ReflectionProperty implements Reflector
{
    /**
     * @var string
     * @readonly
     */
    public $name;

    /**
     * @var class-string
     * @readonly
     */
    public $class;

    /**
     * @return non-empty-string
     *
     * @psalm-pure
     */
    public function getName(): string {}

    /**
     * @since 8.0
     * @template TClass as object
     * @param class-string<TClass>|null $name
     * @return ($name is null ? array<ReflectionAttribute<object>> : array<ReflectionAttribute<TClass>>)
     */
    public function getAttributes(?string $name = null, int $flags = 0): array {}

    /**
     * @since 7.4
     * @psalm-assert-if-true ReflectionType $this->getType()
     * @psalm-pure
     */
    public function hasType() : bool {}

    /**
     * @since 7.4
     * @psalm-pure
     */
    public function getType() : ?ReflectionType {}

    /** @psalm-pure */
    public function isPublic(): bool {}

    /** @psalm-pure */
    public function isPrivate(): bool {}

    /** @psalm-pure */
    public function isProtected(): bool {}

    /** @psalm-pure */
    public function isStatic(): bool {}

    /** @psalm-pure */
    public function isDefault(): bool {}

    /**
     * @return int-mask-of<self::IS_>
     * @psalm-pure
     */
    public function getModifiers(): int {}

    /** @psalm-pure */
    public function getDeclaringClass(): ReflectionClass {}

    /**
     * @return non-empty-string|false
     *
     * @psalm-pure
     */
    public function getDocComment() {}

    /**
     * @since 8.0
     * @psalm-pure
     */
    public function hasDefaultValue(): bool {}

    /**
     * @return mixed
     *
     * @psalm-pure
     */
    public function getDefaultValue() {}

    /**
     * @since 8.0
     * @psalm-pure
     */
    public function isPromoted(): bool {}

    /**
     * @since 8.1
     * @psalm-pure
     */
    public function isReadOnly(): bool {}
}

class ReflectionMethod extends ReflectionFunctionAbstract
{
    /**
     * @var string
     * @readonly
     */
    public $name;

    /**
     * @var class-string
     * @readonly
     */
    public $class;

    /** @psalm-pure */
    public function isStatic(): bool {}

    /** @psalm-pure */
    public function isConstructor(): bool {}

    /** @psalm-pure */
    public function isDestructor(): bool {}

    /**
     * @return int-mask-of<ReflectionMethod::IS_*>
     * @psalm-pure
     */
    public function getModifiers(): bool {}

    /** @psalm-pure */
    public function getDeclaringClass(): ReflectionClass {}

    /** @psalm-pure */
    public function getPrototype(): ReflectionMethod {}
}

/** @psalm-immutable */
class ReflectionClassConstant implements Reflector
{
    /**
     * @var non-empty-string
     * @readonly
     */
    public $name;

    /**
     * @var class-string
     * @readonly
     */
    public $class;

    /**
     * @var bool
     * @since 8.1
     * @readonly
     */
    public $isFinal;

    /**
     * @since 8.0
     * @template TClass as object
     * @param class-string<TClass>|null $name
     * @return ($name is null ? array<ReflectionAttribute<object>> : array<ReflectionAttribute<TClass>>)
     */
    public function getAttributes(?string $name = null, int $flags = 0): array {}

    /** @return non-empty-string */
    public function getName(): string {}

    /** @return int-mask-of<self::IS_*> */
    public function getModifiers(): int {}

    /** @return non-empty-string|false */
    public function getDocComment() {}
}

/** @psalm-immutable */
class ReflectionParameter implements Reflector {
    /**
     * @var non-empty-string
     * @readonly
     */
    public $name;
    
    /** @return non-empty-string */
    public function getName(): string {}

    /**
     * @psalm-assert-if-true ReflectionType $this->getType()
     */
    public function hasType() : bool {}

    public function getType() : ?ReflectionType {}

    /**
     * @since 8.0
     * @template TClass as object
     * @param class-string<TClass>|null $name
     * @return ($name is null ? array<ReflectionAttribute<object>> : array<ReflectionAttribute<TClass>>)
     */
    public function getAttributes(?string $name = null, int $flags = 0): array {}

    /**
    * @since 8.0
    */
    public function isPromoted(): bool {}
}

/** @psalm-immutable */
abstract class ReflectionType
{
}

/** @psalm-immutable */
class ReflectionNamedType extends ReflectionType
{
    /** @return non-empty-string */
    public function getName(): string {}

    /**
     * @psalm-assert-if-false class-string|'self'|'static' $this->getName()
     */
    public function isBuiltin(): bool {}

    /** @return non-empty-string */
    public function __toString(): string {}
}