OperatingSystem.php
Same filename in this branch
Namespace
PHPUnit\Event\RuntimeFile
-
vendor/
phpunit/ phpunit/ src/ Event/ Value/ Runtime/ OperatingSystem.php
View source
<?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\Event\Runtime;
use const PHP_OS;
use const PHP_OS_FAMILY;
/**
* @psalm-immutable
*
* @no-named-arguments Parameter names are not covered by the backward compatibility promise for PHPUnit
*/
final class OperatingSystem {
private readonly string $operatingSystem;
private readonly string $operatingSystemFamily;
public function __construct() {
$this->operatingSystem = PHP_OS;
$this->operatingSystemFamily = PHP_OS_FAMILY;
}
public function operatingSystem() : string {
return $this->operatingSystem;
}
public function operatingSystemFamily() : string {
return $this->operatingSystemFamily;
}
}
Classes
Title | Deprecated | Summary |
---|---|---|
OperatingSystem | @psalm-immutable |