final 1.2.3 - file sh per generare zip

2026-06-07 20:56:38 +02:00
parent f9c1268466
commit cd10d100ec
2442 changed files with 158 additions and 325423 deletions
@@ -1,103 +0,0 @@
-<?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\Data;
-
-use function array_merge;
-use function array_unique;
-use NoDiscard;
-use SebastianBergmann\CodeCoverage\Driver\XdebugDriver;
-
-/**
- * @internal This class is not covered by the backward compatibility promise for phpunit/php-code-coverage
- *
- * @phpstan-import-type TestIdType from ProcessedCodeCoverageData
- * @phpstan-import-type XdebugBranchCoverageType from XdebugDriver
- */
-final class ProcessedBranchCoverageData
-{
-    public readonly int $op_start;
-    public readonly int $op_end;
-    public readonly int $line_start;
-    public readonly int $line_end;
-
-    /** @var list<TestIdType> */
-    public array $hit;
-
-    /** @var array<int, int> */
-    public readonly array $out;
-
-    /** @var array<int, int> */
-    public readonly array $out_hit;
-
-    /**
-     * @param XdebugBranchCoverageType $xdebugCoverageData
-     */
-    public static function fromXdebugCoverage(array $xdebugCoverageData): self
-    {
-        return new self(
-            $xdebugCoverageData['op_start'],
-            $xdebugCoverageData['op_end'],
-            $xdebugCoverageData['line_start'],
-            $xdebugCoverageData['line_end'],
-            [],
-            $xdebugCoverageData['out'],
-            $xdebugCoverageData['out_hit'],
-        );
-    }
-
-    /**
-     * @param list<TestIdType> $hit
-     * @param array<int, int>  $out
-     * @param array<int, int>  $out_hit
-     */
-    public function __construct(
-        int $op_start,
-        int $op_end,
-        int $line_start,
-        int $line_end,
-        array $hit,
-        array $out,
-        array $out_hit,
-    ) {
-        $this->out_hit    = $out_hit;
-        $this->out        = $out;
-        $this->hit        = $hit;
-        $this->line_end   = $line_end;
-        $this->line_start = $line_start;
-        $this->op_end     = $op_end;
-        $this->op_start   = $op_start;
-    }
-
-    #[NoDiscard]
-    public function merge(self $data): self
-    {
-        if ($data->hit === []) {
-            return $this;
-        }
-
-        return new self(
-            $this->op_start,
-            $this->op_end,
-            $this->line_start,
-            $this->line_end,
-            array_unique(array_merge($this->hit, $data->hit)),
-            $this->out,
-            $this->out_hit,
-        );
-    }
-
-    /**
-     * @param TestIdType $testCaseId
-     */
-    public function recordHit(string $testCaseId): void
-    {
-        $this->hit[] = $testCaseId;
-    }
-}