Warning: session_start(): Session cannot be started after headers have already been sent in /home/tvrreohg/public_html/manga.php on line 13
*
* For the full copyright and license information, please view the LICENSE
* file that was distributed with this source code.
*/
namespace PHPUnit\Metadata;
/**
* @immutable
*
* @no-named-arguments Parameter names are not covered by the backward compatibility promise for PHPUnit
*/
final readonly class RequiresOperatingSystem extends Metadata
{
/**
* @var non-empty-string
*/
private string $operatingSystem;
/**
* @param 0|1 $level
* @param non-empty-string $operatingSystem
*/
protected function __construct(int $level, string $operatingSystem)
{
parent::__construct($level);
$this->operatingSystem = $operatingSystem;
}
public function isRequiresOperatingSystem(): true
{
return true;
}
/**
* @return non-empty-string
*/
public function operatingSystem(): string
{
return $this->operatingSystem;
}
}