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\TextUI\Configuration; /** * @no-named-arguments Parameter names are not covered by the backward compatibility promise for PHPUnit * * @internal This class is not covered by the backward compatibility promise for PHPUnit */ final class SourceFilter { private static ?self $instance = null; /** * @var array */ private readonly array $map; public static function instance(): self { if (self::$instance === null) { self::$instance = new self( (new SourceMapper)->map( Registry::get()->source(), ), ); } return self::$instance; } /** * @param array $map */ public function __construct(array $map) { $this->map = $map; } public function includes(string $path): bool { return isset($this->map[$path]); } }