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\Metadata; /** * @immutable * * @no-named-arguments Parameter names are not covered by the backward compatibility promise for PHPUnit */ final readonly class PostCondition extends Metadata { private int $priority; /** * @param 0|1 $level */ protected function __construct(int $level, int $priority) { parent::__construct($level); $this->priority = $priority; } public function isPostCondition(): true { return true; } public function priority(): int { return $this->priority; } }