<?php declare(strict_types=1);
/*
* This file is part of PHPUnit.
*
* (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 PHPUnit\Metadata;
/**
* @psalm-immutable
*
* @no-named-arguments Parameter names are not covered by the backward compatibility promise for PHPUnit
*/
final class Covers extends Metadata
{
/**
* @psalm-var non-empty-string
*/
private readonly string $target;
/**
* @psalm-param 0|1 $level
* @psalm-param non-empty-string $target
*/
protected function __construct(int $level, string $target)
{
parent::__construct($level);
$this->target = $target;
}
/**
* @psalm-assert-if-true Covers $this
*/
public function isCovers(): bool
{
return true;
}
/**
* @psalm-return non-empty-string
*/
public function target(): string
{
return $this->target;
}
}
Copyright © 2026 PT. Howden Insurance Brokers Indonesia. All rights reserved.
Authorised and regulated by Otoritas Jasa Keuangan (OJK).
Member of The Association of Indonesian Insurance & Reinsurance Brokers (APPARINDO).