new commit

vendor/phpunit/php-code-coverage/src/TestStatus/Failure.php

@@ -0,0 +1,26 @@
+<?php declare(strict_types=1);
+/*
+ * This file is part of phpunit/php-code-coverage.
+ *
+ * (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 SebastianBergmann\CodeCoverage\Test\TestStatus;
+
+/**
+ * @immutable
+ */
+final class Failure extends Known
+{
+    public function isFailure(): true
+    {
+        return true;
+    }
+
+    public function asString(): string
+    {
+        return 'failure';
+    }
+}

vendor/phpunit/php-code-coverage/src/TestStatus/Known.php

@@ -0,0 +1,21 @@
+<?php declare(strict_types=1);
+/*
+ * This file is part of phpunit/php-code-coverage.
+ *
+ * (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 SebastianBergmann\CodeCoverage\Test\TestStatus;
+
+/**
+ * @immutable
+ */
+abstract class Known extends TestStatus
+{
+    public function isKnown(): true
+    {
+        return true;
+    }
+}

vendor/phpunit/php-code-coverage/src/TestStatus/Success.php

@@ -0,0 +1,26 @@
+<?php declare(strict_types=1);
+/*
+ * This file is part of phpunit/php-code-coverage.
+ *
+ * (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 SebastianBergmann\CodeCoverage\Test\TestStatus;
+
+/**
+ * @immutable
+ */
+final class Success extends Known
+{
+    public function isSuccess(): true
+    {
+        return true;
+    }
+
+    public function asString(): string
+    {
+        return 'success';
+    }
+}

vendor/phpunit/php-code-coverage/src/TestStatus/TestStatus.php

@@ -0,0 +1,65 @@
+<?php declare(strict_types=1);
+/*
+ * This file is part of phpunit/php-code-coverage.
+ *
+ * (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 SebastianBergmann\CodeCoverage\Test\TestStatus;
+
+/**
+ * @immutable
+ */
+abstract class TestStatus
+{
+    public static function unknown(): self
+    {
+        return new Unknown;
+    }
+
+    public static function success(): self
+    {
+        return new Success;
+    }
+
+    public static function failure(): self
+    {
+        return new Failure;
+    }
+
+    /**
+     * @phpstan-assert-if-true Known $this
+     */
+    public function isKnown(): bool
+    {
+        return false;
+    }
+
+    /**
+     * @phpstan-assert-if-true Unknown $this
+     */
+    public function isUnknown(): bool
+    {
+        return false;
+    }
+
+    /**
+     * @phpstan-assert-if-true Success $this
+     */
+    public function isSuccess(): bool
+    {
+        return false;
+    }
+
+    /**
+     * @phpstan-assert-if-true Failure $this
+     */
+    public function isFailure(): bool
+    {
+        return false;
+    }
+
+    abstract public function asString(): string;
+}

vendor/phpunit/php-code-coverage/src/TestStatus/Unknown.php

@@ -0,0 +1,26 @@
+<?php declare(strict_types=1);
+/*
+ * This file is part of phpunit/php-code-coverage.
+ *
+ * (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 SebastianBergmann\CodeCoverage\Test\TestStatus;
+
+/**
+ * @immutable
+ */
+final class Unknown extends TestStatus
+{
+    public function isUnknown(): true
+    {
+        return true;
+    }
+
+    public function asString(): string
+    {
+        return 'unknown';
+    }
+}