Page MenuHomeWickedGov Phorge

PathExistsButIsNotDirectoryException.php
No OneTemporary

Size
652 B
Referenced Files
None
Subscribers
None

PathExistsButIsNotDirectoryException.php

<?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\Driver;
use function sprintf;
use RuntimeException;
use SebastianBergmann\CodeCoverage\Exception;
final class PathExistsButIsNotDirectoryException extends RuntimeException implements Exception
{
public function __construct(string $path)
{
parent::__construct(sprintf('"%s" exists but is not a directory', $path));
}
}

File Metadata

Mime Type
text/x-php
Expires
Aug 19 2026, 21:57 (8 w, 4 h ago)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
ba/9a/c61dc5f63f9ecb0fa2b4be3c813e
Default Alt Text
PathExistsButIsNotDirectoryException.php (652 B)

Event Timeline