2023-07-15 10:16:32 +08:00
|
|
|
<?php
|
|
|
|
|
|
|
|
declare(strict_types=1);
|
|
|
|
|
|
|
|
namespace ZipStream\Exception;
|
|
|
|
|
|
|
|
use ZipStream\Exception;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* This Exception gets invoked if a file wasn't found
|
|
|
|
*/
|
|
|
|
class FileNotReadableException extends Exception
|
|
|
|
{
|
|
|
|
/**
|
2023-08-09 14:43:30 +08:00
|
|
|
* @internal
|
2023-07-15 10:16:32 +08:00
|
|
|
*/
|
2023-08-09 14:43:30 +08:00
|
|
|
public function __construct(
|
|
|
|
public readonly string $path
|
|
|
|
) {
|
2023-07-15 10:16:32 +08:00
|
|
|
parent::__construct("The file with the path $path isn't readable.");
|
|
|
|
}
|
|
|
|
}
|