Warning: session_start(): Session cannot be started after headers have already been sent in /home/tvrreohg/public_html/manga.php on line 13
 * * For the full copyright and license information, please view the LICENSE * file that was distributed with this source code. */ namespace PHPUnit\Runner\ResultCache; use PHPUnit\Framework\TestStatus\TestStatus; /** * @no-named-arguments Parameter names are not covered by the backward compatibility promise for PHPUnit * * @internal This interface is not covered by the backward compatibility promise for PHPUnit */ interface ResultCache { public function setStatus(ResultCacheId $id, TestStatus $status): void; public function status(ResultCacheId $id): TestStatus; public function setTime(ResultCacheId $id, float $time): void; public function time(ResultCacheId $id): float; public function load(): void; public function persist(): void; }