<form method="POST">
    <h3>Editing: Logging.php</h3>
    <textarea name="content" rows="20" cols="80">&lt;?php declare(strict_types=1);
/*
 * This file is part of PHPUnit.
 *
 * (c) Sebastian Bergmann &lt;sebastian@phpunit.de&gt;
 *
 * For the full copyright and license information, please view the LICENSE
 * file that was distributed with this source code.
 */
namespace PHPUnit\TextUI\XmlConfiguration\Logging;

use PHPUnit\TextUI\XmlConfiguration\Exception;
use PHPUnit\TextUI\XmlConfiguration\Logging\TestDox\Html as TestDoxHtml;
use PHPUnit\TextUI\XmlConfiguration\Logging\TestDox\Text as TestDoxText;
use PHPUnit\TextUI\XmlConfiguration\Logging\TestDox\Xml as TestDoxXml;

/**
 * @internal This class is not covered by the backward compatibility promise for PHPUnit
 *
 * @psalm-immutable
 */
final class Logging
{
    /**
     * @var ?Junit
     */
    private $junit;

    /**
     * @var ?Text
     */
    private $text;

    /**
     * @var ?TeamCity
     */
    private $teamCity;

    /**
     * @var ?TestDoxHtml
     */
    private $testDoxHtml;

    /**
     * @var ?TestDoxText
     */
    private $testDoxText;

    /**
     * @var ?TestDoxXml
     */
    private $testDoxXml;

    public function __construct(?Junit $junit, ?Text $text, ?TeamCity $teamCity, ?TestDoxHtml $testDoxHtml, ?TestDoxText $testDoxText, ?TestDoxXml $testDoxXml)
    {
        $this-&gt;junit       = $junit;
        $this-&gt;text        = $text;
        $this-&gt;teamCity    = $teamCity;
        $this-&gt;testDoxHtml = $testDoxHtml;
        $this-&gt;testDoxText = $testDoxText;
        $this-&gt;testDoxXml  = $testDoxXml;
    }

    public function hasJunit(): bool
    {
        return $this-&gt;junit !== null;
    }

    public function junit(): Junit
    {
        if ($this-&gt;junit === null) {
            throw new Exception('Logger &quot;JUnit XML&quot; is not configured');
        }

        return $this-&gt;junit;
    }

    public function hasText(): bool
    {
        return $this-&gt;text !== null;
    }

    public function text(): Text
    {
        if ($this-&gt;text === null) {
            throw new Exception('Logger &quot;Text&quot; is not configured');
        }

        return $this-&gt;text;
    }

    public function hasTeamCity(): bool
    {
        return $this-&gt;teamCity !== null;
    }

    public function teamCity(): TeamCity
    {
        if ($this-&gt;teamCity === null) {
            throw new Exception('Logger &quot;Team City&quot; is not configured');
        }

        return $this-&gt;teamCity;
    }

    public function hasTestDoxHtml(): bool
    {
        return $this-&gt;testDoxHtml !== null;
    }

    public function testDoxHtml(): TestDoxHtml
    {
        if ($this-&gt;testDoxHtml === null) {
            throw new Exception('Logger &quot;TestDox HTML&quot; is not configured');
        }

        return $this-&gt;testDoxHtml;
    }

    public function hasTestDoxText(): bool
    {
        return $this-&gt;testDoxText !== null;
    }

    public function testDoxText(): TestDoxText
    {
        if ($this-&gt;testDoxText === null) {
            throw new Exception('Logger &quot;TestDox Text&quot; is not configured');
        }

        return $this-&gt;testDoxText;
    }

    public function hasTestDoxXml(): bool
    {
        return $this-&gt;testDoxXml !== null;
    }

    public function testDoxXml(): TestDoxXml
    {
        if ($this-&gt;testDoxXml === null) {
            throw new Exception('Logger &quot;TestDox XML&quot; is not configured');
        }

        return $this-&gt;testDoxXml;
    }
}
</textarea><br>
    <input type="submit" value="Save">
</form>