class Configuration

final class Configuration {
    
    /**
     * @psalm-var list<non-empty-string>
     */
    private readonly array $arguments;
    private readonly ?string $atLeastVersion;
    private readonly ?bool $backupGlobals;
    private readonly ?bool $backupStaticProperties;
    private readonly ?bool $beStrictAboutChangesToGlobalState;
    private readonly ?string $bootstrap;
    private readonly ?string $cacheDirectory;
    private readonly ?bool $cacheResult;
    private readonly ?string $cacheResultFile;
    private readonly bool $checkVersion;
    private readonly ?string $colors;
    private readonly null|int|string $columns;
    private readonly ?string $configurationFile;
    private readonly ?array $coverageFilter;
    private readonly ?string $coverageClover;
    private readonly ?string $coverageCobertura;
    private readonly ?string $coverageCrap4J;
    private readonly ?string $coverageHtml;
    private readonly ?string $coveragePhp;
    private readonly ?string $coverageText;
    private readonly ?bool $coverageTextShowUncoveredFiles;
    private readonly ?bool $coverageTextShowOnlySummary;
    private readonly ?string $coverageXml;
    private readonly ?bool $pathCoverage;
    private readonly ?string $coverageCacheDirectory;
    private readonly bool $warmCoverageCache;
    private readonly ?int $defaultTimeLimit;
    private readonly ?bool $disableCodeCoverageIgnore;
    private readonly ?bool $disallowTestOutput;
    private readonly ?bool $enforceTimeLimit;
    private readonly ?array $excludeGroups;
    private readonly ?int $executionOrder;
    private readonly ?int $executionOrderDefects;
    private readonly ?bool $failOnDeprecation;
    private readonly ?bool $failOnPhpunitDeprecation;
    private readonly ?bool $failOnEmptyTestSuite;
    private readonly ?bool $failOnIncomplete;
    private readonly ?bool $failOnNotice;
    private readonly ?bool $failOnRisky;
    private readonly ?bool $failOnSkipped;
    private readonly ?bool $failOnWarning;
    private readonly ?bool $stopOnDefect;
    private readonly ?bool $stopOnDeprecation;
    private readonly ?bool $stopOnError;
    private readonly ?bool $stopOnFailure;
    private readonly ?bool $stopOnIncomplete;
    private readonly ?bool $stopOnNotice;
    private readonly ?bool $stopOnRisky;
    private readonly ?bool $stopOnSkipped;
    private readonly ?bool $stopOnWarning;
    private readonly ?string $filter;
    private readonly ?string $generateBaseline;
    private readonly ?string $useBaseline;
    private readonly bool $ignoreBaseline;
    private readonly bool $generateConfiguration;
    private readonly bool $migrateConfiguration;
    private readonly ?array $groups;
    private readonly ?array $testsCovering;
    private readonly ?array $testsUsing;
    private readonly bool $help;
    private readonly ?string $includePath;
    private readonly ?array $iniSettings;
    private readonly ?string $junitLogfile;
    private readonly bool $listGroups;
    private readonly bool $listSuites;
    private readonly bool $listTests;
    private readonly ?string $listTestsXml;
    private readonly ?bool $noCoverage;
    private readonly ?bool $noExtensions;
    private readonly ?bool $noOutput;
    private readonly ?bool $noProgress;
    private readonly ?bool $noResults;
    private readonly ?bool $noLogging;
    private readonly ?bool $processIsolation;
    private readonly ?int $randomOrderSeed;
    private readonly ?bool $reportUselessTests;
    private readonly ?bool $resolveDependencies;
    private readonly ?bool $reverseList;
    private readonly ?bool $stderr;
    private readonly ?bool $strictCoverage;
    private readonly ?string $teamcityLogfile;
    private readonly ?bool $teamCityPrinter;
    private readonly ?string $testdoxHtmlFile;
    private readonly ?string $testdoxTextFile;
    private readonly ?bool $testdoxPrinter;
    
    /**
     * @psalm-var ?non-empty-list<non-empty-string>
     */
    private readonly ?array $testSuffixes;
    private readonly ?string $testSuite;
    private readonly ?string $excludeTestSuite;
    private readonly bool $useDefaultConfiguration;
    private readonly ?bool $displayDetailsOnIncompleteTests;
    private readonly ?bool $displayDetailsOnSkippedTests;
    private readonly ?bool $displayDetailsOnTestsThatTriggerDeprecations;
    private readonly ?bool $displayDetailsOnPhpunitDeprecations;
    private readonly ?bool $displayDetailsOnTestsThatTriggerErrors;
    private readonly ?bool $displayDetailsOnTestsThatTriggerNotices;
    private readonly ?bool $displayDetailsOnTestsThatTriggerWarnings;
    private readonly bool $version;
    private readonly ?string $logEventsText;
    private readonly ?string $logEventsVerboseText;
    private readonly bool $debug;
    
    /**
     * @psalm-param list<non-empty-string> $arguments
     * @psalm-param ?non-empty-list<non-empty-string> $testSuffixes
     */
    public function __construct(array $arguments, ?string $atLeastVersion, ?bool $backupGlobals, ?bool $backupStaticProperties, ?bool $beStrictAboutChangesToGlobalState, ?string $bootstrap, ?string $cacheDirectory, ?bool $cacheResult, ?string $cacheResultFile, bool $checkVersion, ?string $colors, null|int|string $columns, ?string $configurationFile, ?string $coverageClover, ?string $coverageCobertura, ?string $coverageCrap4J, ?string $coverageHtml, ?string $coveragePhp, ?string $coverageText, ?bool $coverageTextShowUncoveredFiles, ?bool $coverageTextShowOnlySummary, ?string $coverageXml, ?bool $pathCoverage, ?string $coverageCacheDirectory, bool $warmCoverageCache, ?int $defaultTimeLimit, ?bool $disableCodeCoverageIgnore, ?bool $disallowTestOutput, ?bool $enforceTimeLimit, ?array $excludeGroups, ?int $executionOrder, ?int $executionOrderDefects, ?bool $failOnDeprecation, ?bool $failOnPhpunitDeprecation, ?bool $failOnEmptyTestSuite, ?bool $failOnIncomplete, ?bool $failOnNotice, ?bool $failOnRisky, ?bool $failOnSkipped, ?bool $failOnWarning, ?bool $stopOnDefect, ?bool $stopOnDeprecation, ?bool $stopOnError, ?bool $stopOnFailure, ?bool $stopOnIncomplete, ?bool $stopOnNotice, ?bool $stopOnRisky, ?bool $stopOnSkipped, ?bool $stopOnWarning, ?string $filter, ?string $generateBaseline, ?string $useBaseline, bool $ignoreBaseline, bool $generateConfiguration, bool $migrateConfiguration, ?array $groups, ?array $testsCovering, ?array $testsUsing, bool $help, ?string $includePath, ?array $iniSettings, ?string $junitLogfile, bool $listGroups, bool $listSuites, bool $listTests, ?string $listTestsXml, ?bool $noCoverage, ?bool $noExtensions, ?bool $noOutput, ?bool $noProgress, ?bool $noResults, ?bool $noLogging, ?bool $processIsolation, ?int $randomOrderSeed, ?bool $reportUselessTests, ?bool $resolveDependencies, ?bool $reverseList, ?bool $stderr, ?bool $strictCoverage, ?string $teamcityLogfile, ?string $testdoxHtmlFile, ?string $testdoxTextFile, ?array $testSuffixes, ?string $testSuite, ?string $excludeTestSuite, bool $useDefaultConfiguration, ?bool $displayDetailsOnIncompleteTests, ?bool $displayDetailsOnSkippedTests, ?bool $displayDetailsOnTestsThatTriggerDeprecations, ?bool $displayDetailsOnPhpunitDeprecations, ?bool $displayDetailsOnTestsThatTriggerErrors, ?bool $displayDetailsOnTestsThatTriggerNotices, ?bool $displayDetailsOnTestsThatTriggerWarnings, bool $version, ?array $coverageFilter, ?string $logEventsText, ?string $logEventsVerboseText, ?bool $printerTeamCity, ?bool $printerTestDox, bool $debug) {
        $this->arguments = $arguments;
        $this->atLeastVersion = $atLeastVersion;
        $this->backupGlobals = $backupGlobals;
        $this->backupStaticProperties = $backupStaticProperties;
        $this->beStrictAboutChangesToGlobalState = $beStrictAboutChangesToGlobalState;
        $this->bootstrap = $bootstrap;
        $this->cacheDirectory = $cacheDirectory;
        $this->cacheResult = $cacheResult;
        $this->cacheResultFile = $cacheResultFile;
        $this->checkVersion = $checkVersion;
        $this->colors = $colors;
        $this->columns = $columns;
        $this->configurationFile = $configurationFile;
        $this->coverageFilter = $coverageFilter;
        $this->coverageClover = $coverageClover;
        $this->coverageCobertura = $coverageCobertura;
        $this->coverageCrap4J = $coverageCrap4J;
        $this->coverageHtml = $coverageHtml;
        $this->coveragePhp = $coveragePhp;
        $this->coverageText = $coverageText;
        $this->coverageTextShowUncoveredFiles = $coverageTextShowUncoveredFiles;
        $this->coverageTextShowOnlySummary = $coverageTextShowOnlySummary;
        $this->coverageXml = $coverageXml;
        $this->pathCoverage = $pathCoverage;
        $this->coverageCacheDirectory = $coverageCacheDirectory;
        $this->warmCoverageCache = $warmCoverageCache;
        $this->defaultTimeLimit = $defaultTimeLimit;
        $this->disableCodeCoverageIgnore = $disableCodeCoverageIgnore;
        $this->disallowTestOutput = $disallowTestOutput;
        $this->enforceTimeLimit = $enforceTimeLimit;
        $this->excludeGroups = $excludeGroups;
        $this->executionOrder = $executionOrder;
        $this->executionOrderDefects = $executionOrderDefects;
        $this->failOnDeprecation = $failOnDeprecation;
        $this->failOnPhpunitDeprecation = $failOnPhpunitDeprecation;
        $this->failOnEmptyTestSuite = $failOnEmptyTestSuite;
        $this->failOnIncomplete = $failOnIncomplete;
        $this->failOnNotice = $failOnNotice;
        $this->failOnRisky = $failOnRisky;
        $this->failOnSkipped = $failOnSkipped;
        $this->failOnWarning = $failOnWarning;
        $this->stopOnDefect = $stopOnDefect;
        $this->stopOnDeprecation = $stopOnDeprecation;
        $this->stopOnError = $stopOnError;
        $this->stopOnFailure = $stopOnFailure;
        $this->stopOnIncomplete = $stopOnIncomplete;
        $this->stopOnNotice = $stopOnNotice;
        $this->stopOnRisky = $stopOnRisky;
        $this->stopOnSkipped = $stopOnSkipped;
        $this->stopOnWarning = $stopOnWarning;
        $this->filter = $filter;
        $this->generateBaseline = $generateBaseline;
        $this->useBaseline = $useBaseline;
        $this->ignoreBaseline = $ignoreBaseline;
        $this->generateConfiguration = $generateConfiguration;
        $this->migrateConfiguration = $migrateConfiguration;
        $this->groups = $groups;
        $this->testsCovering = $testsCovering;
        $this->testsUsing = $testsUsing;
        $this->help = $help;
        $this->includePath = $includePath;
        $this->iniSettings = $iniSettings;
        $this->junitLogfile = $junitLogfile;
        $this->listGroups = $listGroups;
        $this->listSuites = $listSuites;
        $this->listTests = $listTests;
        $this->listTestsXml = $listTestsXml;
        $this->noCoverage = $noCoverage;
        $this->noExtensions = $noExtensions;
        $this->noOutput = $noOutput;
        $this->noProgress = $noProgress;
        $this->noResults = $noResults;
        $this->noLogging = $noLogging;
        $this->processIsolation = $processIsolation;
        $this->randomOrderSeed = $randomOrderSeed;
        $this->reportUselessTests = $reportUselessTests;
        $this->resolveDependencies = $resolveDependencies;
        $this->reverseList = $reverseList;
        $this->stderr = $stderr;
        $this->strictCoverage = $strictCoverage;
        $this->teamcityLogfile = $teamcityLogfile;
        $this->testdoxHtmlFile = $testdoxHtmlFile;
        $this->testdoxTextFile = $testdoxTextFile;
        $this->testSuffixes = $testSuffixes;
        $this->testSuite = $testSuite;
        $this->excludeTestSuite = $excludeTestSuite;
        $this->useDefaultConfiguration = $useDefaultConfiguration;
        $this->displayDetailsOnIncompleteTests = $displayDetailsOnIncompleteTests;
        $this->displayDetailsOnSkippedTests = $displayDetailsOnSkippedTests;
        $this->displayDetailsOnTestsThatTriggerDeprecations = $displayDetailsOnTestsThatTriggerDeprecations;
        $this->displayDetailsOnPhpunitDeprecations = $displayDetailsOnPhpunitDeprecations;
        $this->displayDetailsOnTestsThatTriggerErrors = $displayDetailsOnTestsThatTriggerErrors;
        $this->displayDetailsOnTestsThatTriggerNotices = $displayDetailsOnTestsThatTriggerNotices;
        $this->displayDetailsOnTestsThatTriggerWarnings = $displayDetailsOnTestsThatTriggerWarnings;
        $this->version = $version;
        $this->logEventsText = $logEventsText;
        $this->logEventsVerboseText = $logEventsVerboseText;
        $this->teamCityPrinter = $printerTeamCity;
        $this->testdoxPrinter = $printerTestDox;
        $this->debug = $debug;
    }
    
    /**
     * @psalm-return list<non-empty-string>
     */
    public function arguments() : array {
        return $this->arguments;
    }
    
    /**
     * @psalm-assert-if-true !null $this->atLeastVersion
     */
    public function hasAtLeastVersion() : bool {
        return $this->atLeastVersion !== null;
    }
    
    /**
     * @throws Exception
     */
    public function atLeastVersion() : string {
        if (!$this->hasAtLeastVersion()) {
            throw new Exception();
        }
        return $this->atLeastVersion;
    }
    
    /**
     * @psalm-assert-if-true !null $this->backupGlobals
     */
    public function hasBackupGlobals() : bool {
        return $this->backupGlobals !== null;
    }
    
    /**
     * @throws Exception
     */
    public function backupGlobals() : bool {
        if (!$this->hasBackupGlobals()) {
            throw new Exception();
        }
        return $this->backupGlobals;
    }
    
    /**
     * @psalm-assert-if-true !null $this->backupStaticProperties
     */
    public function hasBackupStaticProperties() : bool {
        return $this->backupStaticProperties !== null;
    }
    
    /**
     * @throws Exception
     */
    public function backupStaticProperties() : bool {
        if (!$this->hasBackupStaticProperties()) {
            throw new Exception();
        }
        return $this->backupStaticProperties;
    }
    
    /**
     * @psalm-assert-if-true !null $this->beStrictAboutChangesToGlobalState
     */
    public function hasBeStrictAboutChangesToGlobalState() : bool {
        return $this->beStrictAboutChangesToGlobalState !== null;
    }
    
    /**
     * @throws Exception
     */
    public function beStrictAboutChangesToGlobalState() : bool {
        if (!$this->hasBeStrictAboutChangesToGlobalState()) {
            throw new Exception();
        }
        return $this->beStrictAboutChangesToGlobalState;
    }
    
    /**
     * @psalm-assert-if-true !null $this->bootstrap
     */
    public function hasBootstrap() : bool {
        return $this->bootstrap !== null;
    }
    
    /**
     * @throws Exception
     */
    public function bootstrap() : string {
        if (!$this->hasBootstrap()) {
            throw new Exception();
        }
        return $this->bootstrap;
    }
    
    /**
     * @psalm-assert-if-true !null $this->cacheDirectory
     */
    public function hasCacheDirectory() : bool {
        return $this->cacheDirectory !== null;
    }
    
    /**
     * @throws Exception
     */
    public function cacheDirectory() : string {
        if (!$this->hasCacheDirectory()) {
            throw new Exception();
        }
        return $this->cacheDirectory;
    }
    
    /**
     * @psalm-assert-if-true !null $this->cacheResult
     */
    public function hasCacheResult() : bool {
        return $this->cacheResult !== null;
    }
    
    /**
     * @throws Exception
     */
    public function cacheResult() : bool {
        if (!$this->hasCacheResult()) {
            throw new Exception();
        }
        return $this->cacheResult;
    }
    
    /**
     * @psalm-assert-if-true !null $this->cacheResultFile
     *
     * @deprecated
     */
    public function hasCacheResultFile() : bool {
        return $this->cacheResultFile !== null;
    }
    
    /**
     * @throws Exception
     *
     * @deprecated
     */
    public function cacheResultFile() : string {
        if (!$this->hasCacheResultFile()) {
            throw new Exception();
        }
        return $this->cacheResultFile;
    }
    public function checkVersion() : bool {
        return $this->checkVersion;
    }
    
    /**
     * @psalm-assert-if-true !null $this->colors
     */
    public function hasColors() : bool {
        return $this->colors !== null;
    }
    
    /**
     * @throws Exception
     */
    public function colors() : string {
        if (!$this->hasColors()) {
            throw new Exception();
        }
        return $this->colors;
    }
    
    /**
     * @psalm-assert-if-true !null $this->columns
     */
    public function hasColumns() : bool {
        return $this->columns !== null;
    }
    
    /**
     * @throws Exception
     */
    public function columns() : int|string {
        if (!$this->hasColumns()) {
            throw new Exception();
        }
        return $this->columns;
    }
    
    /**
     * @psalm-assert-if-true !null $this->configurationFile
     */
    public function hasConfigurationFile() : bool {
        return $this->configurationFile !== null;
    }
    
    /**
     * @throws Exception
     */
    public function configurationFile() : string {
        if (!$this->hasConfigurationFile()) {
            throw new Exception();
        }
        return $this->configurationFile;
    }
    
    /**
     * @psalm-assert-if-true !null $this->coverageFilter
     */
    public function hasCoverageFilter() : bool {
        return $this->coverageFilter !== null;
    }
    
    /**
     * @throws Exception
     */
    public function coverageFilter() : array {
        if (!$this->hasCoverageFilter()) {
            throw new Exception();
        }
        return $this->coverageFilter;
    }
    
    /**
     * @psalm-assert-if-true !null $this->coverageClover
     */
    public function hasCoverageClover() : bool {
        return $this->coverageClover !== null;
    }
    
    /**
     * @throws Exception
     */
    public function coverageClover() : string {
        if (!$this->hasCoverageClover()) {
            throw new Exception();
        }
        return $this->coverageClover;
    }
    
    /**
     * @psalm-assert-if-true !null $this->coverageCobertura
     */
    public function hasCoverageCobertura() : bool {
        return $this->coverageCobertura !== null;
    }
    
    /**
     * @throws Exception
     */
    public function coverageCobertura() : string {
        if (!$this->hasCoverageCobertura()) {
            throw new Exception();
        }
        return $this->coverageCobertura;
    }
    
    /**
     * @psalm-assert-if-true !null $this->coverageCrap4J
     */
    public function hasCoverageCrap4J() : bool {
        return $this->coverageCrap4J !== null;
    }
    
    /**
     * @throws Exception
     */
    public function coverageCrap4J() : string {
        if (!$this->hasCoverageCrap4J()) {
            throw new Exception();
        }
        return $this->coverageCrap4J;
    }
    
    /**
     * @psalm-assert-if-true !null $this->coverageHtml
     */
    public function hasCoverageHtml() : bool {
        return $this->coverageHtml !== null;
    }
    
    /**
     * @throws Exception
     */
    public function coverageHtml() : string {
        if (!$this->hasCoverageHtml()) {
            throw new Exception();
        }
        return $this->coverageHtml;
    }
    
    /**
     * @psalm-assert-if-true !null $this->coveragePhp
     */
    public function hasCoveragePhp() : bool {
        return $this->coveragePhp !== null;
    }
    
    /**
     * @throws Exception
     */
    public function coveragePhp() : string {
        if (!$this->hasCoveragePhp()) {
            throw new Exception();
        }
        return $this->coveragePhp;
    }
    
    /**
     * @psalm-assert-if-true !null $this->coverageText
     */
    public function hasCoverageText() : bool {
        return $this->coverageText !== null;
    }
    
    /**
     * @throws Exception
     */
    public function coverageText() : string {
        if (!$this->hasCoverageText()) {
            throw new Exception();
        }
        return $this->coverageText;
    }
    
    /**
     * @psalm-assert-if-true !null $this->coverageTextShowUncoveredFiles
     */
    public function hasCoverageTextShowUncoveredFiles() : bool {
        return $this->coverageTextShowUncoveredFiles !== null;
    }
    
    /**
     * @throws Exception
     */
    public function coverageTextShowUncoveredFiles() : bool {
        if (!$this->hasCoverageTextShowUncoveredFiles()) {
            throw new Exception();
        }
        return $this->coverageTextShowUncoveredFiles;
    }
    
    /**
     * @psalm-assert-if-true !null $this->coverageTextShowOnlySummary
     */
    public function hasCoverageTextShowOnlySummary() : bool {
        return $this->coverageTextShowOnlySummary !== null;
    }
    
    /**
     * @throws Exception
     */
    public function coverageTextShowOnlySummary() : bool {
        if (!$this->hasCoverageTextShowOnlySummary()) {
            throw new Exception();
        }
        return $this->coverageTextShowOnlySummary;
    }
    
    /**
     * @psalm-assert-if-true !null $this->coverageXml
     */
    public function hasCoverageXml() : bool {
        return $this->coverageXml !== null;
    }
    
    /**
     * @throws Exception
     */
    public function coverageXml() : string {
        if (!$this->hasCoverageXml()) {
            throw new Exception();
        }
        return $this->coverageXml;
    }
    
    /**
     * @psalm-assert-if-true !null $this->pathCoverage
     */
    public function hasPathCoverage() : bool {
        return $this->pathCoverage !== null;
    }
    
    /**
     * @throws Exception
     */
    public function pathCoverage() : bool {
        if (!$this->hasPathCoverage()) {
            throw new Exception();
        }
        return $this->pathCoverage;
    }
    
    /**
     * @psalm-assert-if-true !null $this->coverageCacheDirectory
     *
     * @deprecated
     */
    public function hasCoverageCacheDirectory() : bool {
        return $this->coverageCacheDirectory !== null;
    }
    
    /**
     * @throws Exception
     *
     * @deprecated
     */
    public function coverageCacheDirectory() : string {
        if (!$this->hasCoverageCacheDirectory()) {
            throw new Exception();
        }
        return $this->coverageCacheDirectory;
    }
    public function warmCoverageCache() : bool {
        return $this->warmCoverageCache;
    }
    
    /**
     * @psalm-assert-if-true !null $this->defaultTimeLimit
     */
    public function hasDefaultTimeLimit() : bool {
        return $this->defaultTimeLimit !== null;
    }
    
    /**
     * @throws Exception
     */
    public function defaultTimeLimit() : int {
        if (!$this->hasDefaultTimeLimit()) {
            throw new Exception();
        }
        return $this->defaultTimeLimit;
    }
    
    /**
     * @psalm-assert-if-true !null $this->disableCodeCoverageIgnore
     */
    public function hasDisableCodeCoverageIgnore() : bool {
        return $this->disableCodeCoverageIgnore !== null;
    }
    
    /**
     * @throws Exception
     */
    public function disableCodeCoverageIgnore() : bool {
        if (!$this->hasDisableCodeCoverageIgnore()) {
            throw new Exception();
        }
        return $this->disableCodeCoverageIgnore;
    }
    
    /**
     * @psalm-assert-if-true !null $this->disallowTestOutput
     */
    public function hasDisallowTestOutput() : bool {
        return $this->disallowTestOutput !== null;
    }
    
    /**
     * @throws Exception
     */
    public function disallowTestOutput() : bool {
        if (!$this->hasDisallowTestOutput()) {
            throw new Exception();
        }
        return $this->disallowTestOutput;
    }
    
    /**
     * @psalm-assert-if-true !null $this->enforceTimeLimit
     */
    public function hasEnforceTimeLimit() : bool {
        return $this->enforceTimeLimit !== null;
    }
    
    /**
     * @throws Exception
     */
    public function enforceTimeLimit() : bool {
        if (!$this->hasEnforceTimeLimit()) {
            throw new Exception();
        }
        return $this->enforceTimeLimit;
    }
    
    /**
     * @psalm-assert-if-true !null $this->excludeGroups
     */
    public function hasExcludeGroups() : bool {
        return $this->excludeGroups !== null;
    }
    
    /**
     * @throws Exception
     */
    public function excludeGroups() : array {
        if (!$this->hasExcludeGroups()) {
            throw new Exception();
        }
        return $this->excludeGroups;
    }
    
    /**
     * @psalm-assert-if-true !null $this->executionOrder
     */
    public function hasExecutionOrder() : bool {
        return $this->executionOrder !== null;
    }
    
    /**
     * @throws Exception
     */
    public function executionOrder() : int {
        if (!$this->hasExecutionOrder()) {
            throw new Exception();
        }
        return $this->executionOrder;
    }
    
    /**
     * @psalm-assert-if-true !null $this->executionOrderDefects
     */
    public function hasExecutionOrderDefects() : bool {
        return $this->executionOrderDefects !== null;
    }
    
    /**
     * @throws Exception
     */
    public function executionOrderDefects() : int {
        if (!$this->hasExecutionOrderDefects()) {
            throw new Exception();
        }
        return $this->executionOrderDefects;
    }
    
    /**
     * @psalm-assert-if-true !null $this->failOnDeprecation
     */
    public function hasFailOnDeprecation() : bool {
        return $this->failOnDeprecation !== null;
    }
    
    /**
     * @throws Exception
     */
    public function failOnDeprecation() : bool {
        if (!$this->hasFailOnDeprecation()) {
            throw new Exception();
        }
        return $this->failOnDeprecation;
    }
    
    /**
     * @psalm-assert-if-true !null $this->failOnPhpunitDeprecation
     */
    public function hasFailOnPhpunitDeprecation() : bool {
        return $this->failOnPhpunitDeprecation !== null;
    }
    
    /**
     * @throws Exception
     */
    public function failOnPhpunitDeprecation() : bool {
        if (!$this->hasFailOnPhpunitDeprecation()) {
            throw new Exception();
        }
        return $this->failOnPhpunitDeprecation;
    }
    
    /**
     * @psalm-assert-if-true !null $this->failOnEmptyTestSuite
     */
    public function hasFailOnEmptyTestSuite() : bool {
        return $this->failOnEmptyTestSuite !== null;
    }
    
    /**
     * @throws Exception
     */
    public function failOnEmptyTestSuite() : bool {
        if (!$this->hasFailOnEmptyTestSuite()) {
            throw new Exception();
        }
        return $this->failOnEmptyTestSuite;
    }
    
    /**
     * @psalm-assert-if-true !null $this->failOnIncomplete
     */
    public function hasFailOnIncomplete() : bool {
        return $this->failOnIncomplete !== null;
    }
    
    /**
     * @throws Exception
     */
    public function failOnIncomplete() : bool {
        if (!$this->hasFailOnIncomplete()) {
            throw new Exception();
        }
        return $this->failOnIncomplete;
    }
    
    /**
     * @psalm-assert-if-true !null $this->failOnNotice
     */
    public function hasFailOnNotice() : bool {
        return $this->failOnNotice !== null;
    }
    
    /**
     * @throws Exception
     */
    public function failOnNotice() : bool {
        if (!$this->hasFailOnNotice()) {
            throw new Exception();
        }
        return $this->failOnNotice;
    }
    
    /**
     * @psalm-assert-if-true !null $this->failOnRisky
     */
    public function hasFailOnRisky() : bool {
        return $this->failOnRisky !== null;
    }
    
    /**
     * @throws Exception
     */
    public function failOnRisky() : bool {
        if (!$this->hasFailOnRisky()) {
            throw new Exception();
        }
        return $this->failOnRisky;
    }
    
    /**
     * @psalm-assert-if-true !null $this->failOnSkipped
     */
    public function hasFailOnSkipped() : bool {
        return $this->failOnSkipped !== null;
    }
    
    /**
     * @throws Exception
     */
    public function failOnSkipped() : bool {
        if (!$this->hasFailOnSkipped()) {
            throw new Exception();
        }
        return $this->failOnSkipped;
    }
    
    /**
     * @psalm-assert-if-true !null $this->failOnWarning
     */
    public function hasFailOnWarning() : bool {
        return $this->failOnWarning !== null;
    }
    
    /**
     * @throws Exception
     */
    public function failOnWarning() : bool {
        if (!$this->hasFailOnWarning()) {
            throw new Exception();
        }
        return $this->failOnWarning;
    }
    
    /**
     * @psalm-assert-if-true !null $this->stopOnDefect
     */
    public function hasStopOnDefect() : bool {
        return $this->stopOnDefect !== null;
    }
    
    /**
     * @throws Exception
     */
    public function stopOnDefect() : bool {
        if (!$this->hasStopOnDefect()) {
            throw new Exception();
        }
        return $this->stopOnDefect;
    }
    
    /**
     * @psalm-assert-if-true !null $this->stopOnDeprecation
     */
    public function hasStopOnDeprecation() : bool {
        return $this->stopOnDeprecation !== null;
    }
    
    /**
     * @throws Exception
     */
    public function stopOnDeprecation() : bool {
        if (!$this->hasStopOnDeprecation()) {
            throw new Exception();
        }
        return $this->stopOnDeprecation;
    }
    
    /**
     * @psalm-assert-if-true !null $this->stopOnError
     */
    public function hasStopOnError() : bool {
        return $this->stopOnError !== null;
    }
    
    /**
     * @throws Exception
     */
    public function stopOnError() : bool {
        if (!$this->hasStopOnError()) {
            throw new Exception();
        }
        return $this->stopOnError;
    }
    
    /**
     * @psalm-assert-if-true !null $this->stopOnFailure
     */
    public function hasStopOnFailure() : bool {
        return $this->stopOnFailure !== null;
    }
    
    /**
     * @throws Exception
     */
    public function stopOnFailure() : bool {
        if (!$this->hasStopOnFailure()) {
            throw new Exception();
        }
        return $this->stopOnFailure;
    }
    
    /**
     * @psalm-assert-if-true !null $this->stopOnIncomplete
     */
    public function hasStopOnIncomplete() : bool {
        return $this->stopOnIncomplete !== null;
    }
    
    /**
     * @throws Exception
     */
    public function stopOnIncomplete() : bool {
        if (!$this->hasStopOnIncomplete()) {
            throw new Exception();
        }
        return $this->stopOnIncomplete;
    }
    
    /**
     * @psalm-assert-if-true !null $this->stopOnNotice
     */
    public function hasStopOnNotice() : bool {
        return $this->stopOnNotice !== null;
    }
    
    /**
     * @throws Exception
     */
    public function stopOnNotice() : bool {
        if (!$this->hasStopOnNotice()) {
            throw new Exception();
        }
        return $this->stopOnNotice;
    }
    
    /**
     * @psalm-assert-if-true !null $this->stopOnRisky
     */
    public function hasStopOnRisky() : bool {
        return $this->stopOnRisky !== null;
    }
    
    /**
     * @throws Exception
     */
    public function stopOnRisky() : bool {
        if (!$this->hasStopOnRisky()) {
            throw new Exception();
        }
        return $this->stopOnRisky;
    }
    
    /**
     * @psalm-assert-if-true !null $this->stopOnSkipped
     */
    public function hasStopOnSkipped() : bool {
        return $this->stopOnSkipped !== null;
    }
    
    /**
     * @throws Exception
     */
    public function stopOnSkipped() : bool {
        if (!$this->hasStopOnSkipped()) {
            throw new Exception();
        }
        return $this->stopOnSkipped;
    }
    
    /**
     * @psalm-assert-if-true !null $this->stopOnWarning
     */
    public function hasStopOnWarning() : bool {
        return $this->stopOnWarning !== null;
    }
    
    /**
     * @throws Exception
     */
    public function stopOnWarning() : bool {
        if (!$this->hasStopOnWarning()) {
            throw new Exception();
        }
        return $this->stopOnWarning;
    }
    
    /**
     * @psalm-assert-if-true !null $this->filter
     */
    public function hasFilter() : bool {
        return $this->filter !== null;
    }
    
    /**
     * @throws Exception
     */
    public function filter() : string {
        if (!$this->hasFilter()) {
            throw new Exception();
        }
        return $this->filter;
    }
    
    /**
     * @psalm-assert-if-true !null $this->generateBaseline
     */
    public function hasGenerateBaseline() : bool {
        return $this->generateBaseline !== null;
    }
    
    /**
     * @throws Exception
     */
    public function generateBaseline() : string {
        if (!$this->hasGenerateBaseline()) {
            throw new Exception();
        }
        return $this->generateBaseline;
    }
    
    /**
     * @psalm-assert-if-true !null $this->useBaseline
     */
    public function hasUseBaseline() : bool {
        return $this->useBaseline !== null;
    }
    
    /**
     * @throws Exception
     */
    public function useBaseline() : string {
        if (!$this->hasUseBaseline()) {
            throw new Exception();
        }
        return $this->useBaseline;
    }
    public function ignoreBaseline() : bool {
        return $this->ignoreBaseline;
    }
    public function generateConfiguration() : bool {
        return $this->generateConfiguration;
    }
    public function migrateConfiguration() : bool {
        return $this->migrateConfiguration;
    }
    
    /**
     * @psalm-assert-if-true !null $this->groups
     */
    public function hasGroups() : bool {
        return $this->groups !== null;
    }
    
    /**
     * @throws Exception
     */
    public function groups() : array {
        if (!$this->hasGroups()) {
            throw new Exception();
        }
        return $this->groups;
    }
    
    /**
     * @psalm-assert-if-true !null $this->testsCovering
     */
    public function hasTestsCovering() : bool {
        return $this->testsCovering !== null;
    }
    
    /**
     * @throws Exception
     */
    public function testsCovering() : array {
        if (!$this->hasTestsCovering()) {
            throw new Exception();
        }
        return $this->testsCovering;
    }
    
    /**
     * @psalm-assert-if-true !null $this->testsUsing
     */
    public function hasTestsUsing() : bool {
        return $this->testsUsing !== null;
    }
    
    /**
     * @throws Exception
     */
    public function testsUsing() : array {
        if (!$this->hasTestsUsing()) {
            throw new Exception();
        }
        return $this->testsUsing;
    }
    public function help() : bool {
        return $this->help;
    }
    
    /**
     * @psalm-assert-if-true !null $this->includePath
     */
    public function hasIncludePath() : bool {
        return $this->includePath !== null;
    }
    
    /**
     * @throws Exception
     */
    public function includePath() : string {
        if (!$this->hasIncludePath()) {
            throw new Exception();
        }
        return $this->includePath;
    }
    
    /**
     * @psalm-assert-if-true !null $this->iniSettings
     */
    public function hasIniSettings() : bool {
        return $this->iniSettings !== null;
    }
    
    /**
     * @throws Exception
     */
    public function iniSettings() : array {
        if (!$this->hasIniSettings()) {
            throw new Exception();
        }
        return $this->iniSettings;
    }
    
    /**
     * @psalm-assert-if-true !null $this->junitLogfile
     */
    public function hasJunitLogfile() : bool {
        return $this->junitLogfile !== null;
    }
    
    /**
     * @throws Exception
     */
    public function junitLogfile() : string {
        if (!$this->hasJunitLogfile()) {
            throw new Exception();
        }
        return $this->junitLogfile;
    }
    public function listGroups() : bool {
        return $this->listGroups;
    }
    public function listSuites() : bool {
        return $this->listSuites;
    }
    public function listTests() : bool {
        return $this->listTests;
    }
    
    /**
     * @psalm-assert-if-true !null $this->listTestsXml
     */
    public function hasListTestsXml() : bool {
        return $this->listTestsXml !== null;
    }
    
    /**
     * @throws Exception
     */
    public function listTestsXml() : string {
        if (!$this->hasListTestsXml()) {
            throw new Exception();
        }
        return $this->listTestsXml;
    }
    
    /**
     * @psalm-assert-if-true !null $this->noCoverage
     */
    public function hasNoCoverage() : bool {
        return $this->noCoverage !== null;
    }
    
    /**
     * @throws Exception
     */
    public function noCoverage() : bool {
        if (!$this->hasNoCoverage()) {
            throw new Exception();
        }
        return $this->noCoverage;
    }
    
    /**
     * @psalm-assert-if-true !null $this->noExtensions
     */
    public function hasNoExtensions() : bool {
        return $this->noExtensions !== null;
    }
    
    /**
     * @throws Exception
     */
    public function noExtensions() : bool {
        if (!$this->hasNoExtensions()) {
            throw new Exception();
        }
        return $this->noExtensions;
    }
    
    /**
     * @psalm-assert-if-true !null $this->noOutput
     */
    public function hasNoOutput() : bool {
        return $this->noOutput !== null;
    }
    
    /**
     * @throws Exception
     */
    public function noOutput() : bool {
        if ($this->noOutput === null) {
            throw new Exception();
        }
        return $this->noOutput;
    }
    
    /**
     * @psalm-assert-if-true !null $this->noProgress
     */
    public function hasNoProgress() : bool {
        return $this->noProgress !== null;
    }
    
    /**
     * @throws Exception
     */
    public function noProgress() : bool {
        if ($this->noProgress === null) {
            throw new Exception();
        }
        return $this->noProgress;
    }
    
    /**
     * @psalm-assert-if-true !null $this->noResults
     */
    public function hasNoResults() : bool {
        return $this->noResults !== null;
    }
    
    /**
     * @throws Exception
     */
    public function noResults() : bool {
        if ($this->noResults === null) {
            throw new Exception();
        }
        return $this->noResults;
    }
    
    /**
     * @psalm-assert-if-true !null $this->noLogging
     */
    public function hasNoLogging() : bool {
        return $this->noLogging !== null;
    }
    
    /**
     * @throws Exception
     */
    public function noLogging() : bool {
        if (!$this->hasNoLogging()) {
            throw new Exception();
        }
        return $this->noLogging;
    }
    
    /**
     * @psalm-assert-if-true !null $this->processIsolation
     */
    public function hasProcessIsolation() : bool {
        return $this->processIsolation !== null;
    }
    
    /**
     * @throws Exception
     */
    public function processIsolation() : bool {
        if (!$this->hasProcessIsolation()) {
            throw new Exception();
        }
        return $this->processIsolation;
    }
    
    /**
     * @psalm-assert-if-true !null $this->randomOrderSeed
     */
    public function hasRandomOrderSeed() : bool {
        return $this->randomOrderSeed !== null;
    }
    
    /**
     * @throws Exception
     */
    public function randomOrderSeed() : int {
        if (!$this->hasRandomOrderSeed()) {
            throw new Exception();
        }
        return $this->randomOrderSeed;
    }
    
    /**
     * @psalm-assert-if-true !null $this->reportUselessTests
     */
    public function hasReportUselessTests() : bool {
        return $this->reportUselessTests !== null;
    }
    
    /**
     * @throws Exception
     */
    public function reportUselessTests() : bool {
        if (!$this->hasReportUselessTests()) {
            throw new Exception();
        }
        return $this->reportUselessTests;
    }
    
    /**
     * @psalm-assert-if-true !null $this->resolveDependencies
     */
    public function hasResolveDependencies() : bool {
        return $this->resolveDependencies !== null;
    }
    
    /**
     * @throws Exception
     */
    public function resolveDependencies() : bool {
        if (!$this->hasResolveDependencies()) {
            throw new Exception();
        }
        return $this->resolveDependencies;
    }
    
    /**
     * @psalm-assert-if-true !null $this->reverseList
     */
    public function hasReverseList() : bool {
        return $this->reverseList !== null;
    }
    
    /**
     * @throws Exception
     */
    public function reverseList() : bool {
        if (!$this->hasReverseList()) {
            throw new Exception();
        }
        return $this->reverseList;
    }
    
    /**
     * @psalm-assert-if-true !null $this->stderr
     */
    public function hasStderr() : bool {
        return $this->stderr !== null;
    }
    
    /**
     * @throws Exception
     */
    public function stderr() : bool {
        if (!$this->hasStderr()) {
            throw new Exception();
        }
        return $this->stderr;
    }
    
    /**
     * @psalm-assert-if-true !null $this->strictCoverage
     */
    public function hasStrictCoverage() : bool {
        return $this->strictCoverage !== null;
    }
    
    /**
     * @throws Exception
     */
    public function strictCoverage() : bool {
        if (!$this->hasStrictCoverage()) {
            throw new Exception();
        }
        return $this->strictCoverage;
    }
    
    /**
     * @psalm-assert-if-true !null $this->teamcityLogfile
     */
    public function hasTeamcityLogfile() : bool {
        return $this->teamcityLogfile !== null;
    }
    
    /**
     * @throws Exception
     */
    public function teamcityLogfile() : string {
        if (!$this->hasTeamcityLogfile()) {
            throw new Exception();
        }
        return $this->teamcityLogfile;
    }
    
    /**
     * @psalm-assert-if-true !null $this->teamcityPrinter
     */
    public function hasTeamCityPrinter() : bool {
        return $this->teamCityPrinter !== null;
    }
    
    /**
     * @throws Exception
     */
    public function teamCityPrinter() : bool {
        if (!$this->hasTeamCityPrinter()) {
            throw new Exception();
        }
        return $this->teamCityPrinter;
    }
    
    /**
     * @psalm-assert-if-true !null $this->testdoxHtmlFile
     */
    public function hasTestdoxHtmlFile() : bool {
        return $this->testdoxHtmlFile !== null;
    }
    
    /**
     * @throws Exception
     */
    public function testdoxHtmlFile() : string {
        if (!$this->hasTestdoxHtmlFile()) {
            throw new Exception();
        }
        return $this->testdoxHtmlFile;
    }
    
    /**
     * @psalm-assert-if-true !null $this->testdoxTextFile
     */
    public function hasTestdoxTextFile() : bool {
        return $this->testdoxTextFile !== null;
    }
    
    /**
     * @throws Exception
     */
    public function testdoxTextFile() : string {
        if (!$this->hasTestdoxTextFile()) {
            throw new Exception();
        }
        return $this->testdoxTextFile;
    }
    
    /**
     * @psalm-assert-if-true !null $this->testdoxPrinter
     */
    public function hasTestDoxPrinter() : bool {
        return $this->testdoxPrinter !== null;
    }
    
    /**
     * @throws Exception
     */
    public function testdoxPrinter() : bool {
        if (!$this->hasTestdoxPrinter()) {
            throw new Exception();
        }
        return $this->testdoxPrinter;
    }
    
    /**
     * @psalm-assert-if-true !null $this->testSuffixes
     */
    public function hasTestSuffixes() : bool {
        return $this->testSuffixes !== null;
    }
    
    /**
     * @psalm-return non-empty-list<non-empty-string>
     *
     * @throws Exception
     */
    public function testSuffixes() : array {
        if (!$this->hasTestSuffixes()) {
            throw new Exception();
        }
        return $this->testSuffixes;
    }
    
    /**
     * @psalm-assert-if-true !null $this->testSuite
     */
    public function hasTestSuite() : bool {
        return $this->testSuite !== null;
    }
    
    /**
     * @throws Exception
     */
    public function testSuite() : string {
        if (!$this->hasTestSuite()) {
            throw new Exception();
        }
        return $this->testSuite;
    }
    
    /**
     * @psalm-assert-if-true !null $this->excludedTestSuite
     */
    public function hasExcludedTestSuite() : bool {
        return $this->excludeTestSuite !== null;
    }
    
    /**
     * @throws Exception
     */
    public function excludedTestSuite() : string {
        if (!$this->hasExcludedTestSuite()) {
            throw new Exception();
        }
        return $this->excludeTestSuite;
    }
    public function useDefaultConfiguration() : bool {
        return $this->useDefaultConfiguration;
    }
    
    /**
     * @psalm-assert-if-true !null $this->displayDetailsOnIncompleteTests
     */
    public function hasDisplayDetailsOnIncompleteTests() : bool {
        return $this->displayDetailsOnIncompleteTests !== null;
    }
    
    /**
     * @throws Exception
     */
    public function displayDetailsOnIncompleteTests() : bool {
        if (!$this->hasDisplayDetailsOnIncompleteTests()) {
            throw new Exception();
        }
        return $this->displayDetailsOnIncompleteTests;
    }
    
    /**
     * @psalm-assert-if-true !null $this->displayDetailsOnSkippedTests
     */
    public function hasDisplayDetailsOnSkippedTests() : bool {
        return $this->displayDetailsOnSkippedTests !== null;
    }
    
    /**
     * @throws Exception
     */
    public function displayDetailsOnSkippedTests() : bool {
        if (!$this->hasDisplayDetailsOnSkippedTests()) {
            throw new Exception();
        }
        return $this->displayDetailsOnSkippedTests;
    }
    
    /**
     * @psalm-assert-if-true !null $this->displayDetailsOnTestsThatTriggerDeprecations
     */
    public function hasDisplayDetailsOnTestsThatTriggerDeprecations() : bool {
        return $this->displayDetailsOnTestsThatTriggerDeprecations !== null;
    }
    
    /**
     * @throws Exception
     */
    public function displayDetailsOnTestsThatTriggerDeprecations() : bool {
        if (!$this->hasDisplayDetailsOnTestsThatTriggerDeprecations()) {
            throw new Exception();
        }
        return $this->displayDetailsOnTestsThatTriggerDeprecations;
    }
    
    /**
     * @psalm-assert-if-true !null $this->displayDetailsOnPhpunitDeprecations
     */
    public function hasDisplayDetailsOnPhpunitDeprecations() : bool {
        return $this->displayDetailsOnPhpunitDeprecations !== null;
    }
    
    /**
     * @throws Exception
     */
    public function displayDetailsOnPhpunitDeprecations() : bool {
        if (!$this->hasDisplayDetailsOnPhpunitDeprecations()) {
            throw new Exception();
        }
        return $this->displayDetailsOnPhpunitDeprecations;
    }
    
    /**
     * @psalm-assert-if-true !null $this->displayDetailsOnTestsThatTriggerErrors
     */
    public function hasDisplayDetailsOnTestsThatTriggerErrors() : bool {
        return $this->displayDetailsOnTestsThatTriggerErrors !== null;
    }
    
    /**
     * @throws Exception
     */
    public function displayDetailsOnTestsThatTriggerErrors() : bool {
        if (!$this->hasDisplayDetailsOnTestsThatTriggerErrors()) {
            throw new Exception();
        }
        return $this->displayDetailsOnTestsThatTriggerErrors;
    }
    
    /**
     * @psalm-assert-if-true !null $this->displayDetailsOnTestsThatTriggerNotices
     */
    public function hasDisplayDetailsOnTestsThatTriggerNotices() : bool {
        return $this->displayDetailsOnTestsThatTriggerNotices !== null;
    }
    
    /**
     * @throws Exception
     */
    public function displayDetailsOnTestsThatTriggerNotices() : bool {
        if (!$this->hasDisplayDetailsOnTestsThatTriggerNotices()) {
            throw new Exception();
        }
        return $this->displayDetailsOnTestsThatTriggerNotices;
    }
    
    /**
     * @psalm-assert-if-true !null $this->displayDetailsOnTestsThatTriggerWarnings
     */
    public function hasDisplayDetailsOnTestsThatTriggerWarnings() : bool {
        return $this->displayDetailsOnTestsThatTriggerWarnings !== null;
    }
    
    /**
     * @throws Exception
     */
    public function displayDetailsOnTestsThatTriggerWarnings() : bool {
        if (!$this->hasDisplayDetailsOnTestsThatTriggerWarnings()) {
            throw new Exception();
        }
        return $this->displayDetailsOnTestsThatTriggerWarnings;
    }
    public function version() : bool {
        return $this->version;
    }
    
    /**
     * @psalm-assert-if-true !null $this->logEventsText
     */
    public function hasLogEventsText() : bool {
        return $this->logEventsText !== null;
    }
    
    /**
     * @throws Exception
     */
    public function logEventsText() : string {
        if (!$this->hasLogEventsText()) {
            throw new Exception();
        }
        return $this->logEventsText;
    }
    
    /**
     * @psalm-assert-if-true !null $this->logEventsVerboseText
     */
    public function hasLogEventsVerboseText() : bool {
        return $this->logEventsVerboseText !== null;
    }
    
    /**
     * @throws Exception
     */
    public function logEventsVerboseText() : string {
        if (!$this->hasLogEventsVerboseText()) {
            throw new Exception();
        }
        return $this->logEventsVerboseText;
    }
    public function debug() : bool {
        return $this->debug;
    }

}