Current File : /home2/selectio/www/fms-worksuite/vendor/phpunit/phpunit/src/Metadata/RequiresPhpExtension.php
<?php declare(strict_types=1);
/*
* This file is part of PHPUnit.
*
* (c) Sebastian Bergmann <sebastian@phpunit.de>
*
* For the full copyright and license information, please view the LICENSE
* file that was distributed with this source code.
*/
namespace PHPUnit\Metadata;
use PHPUnit\Metadata\Version\Requirement;
/**
* @psalm-immutable
*
* @no-named-arguments Parameter names are not covered by the backward compatibility promise for PHPUnit
*/
final class RequiresPhpExtension extends Metadata
{
private readonly string $extension;
private readonly ?Requirement $versionRequirement;
protected function __construct(int $level, string $extension, ?Requirement $versionRequirement)
{
parent::__construct($level);
$this->extension = $extension;
$this->versionRequirement = $versionRequirement;
}
public function isRequiresPhpExtension(): bool
{
return true;
}
public function extension(): string
{
return $this->extension;
}
/**
* @psalm-assert-if-true !null $this->versionRequirement
*/
public function hasVersionRequirement(): bool
{
return $this->versionRequirement !== null;
}
/**
* @throws NoVersionRequirementException
*/
public function versionRequirement(): Requirement
{
if ($this->versionRequirement === null) {
throw new NoVersionRequirementException;
}
return $this->versionRequirement;
}
}
Mini Shell