1 | <?php |
||
10 | class PHPRangeFile extends RangeFile |
||
11 | { |
||
12 | const FILE_NAME_REGEX = '/^(?P<start>\d+)-(?P<end>\d+)!(?P<total>\d+)\.php\.gz$/'; |
||
13 | const FILE_PATH_FORMAT = '%s/%08d-%08d!%04d.php.gz'; |
||
14 | |||
15 | /** |
||
16 | * @param \SplFileInfo $fileInfo |
||
17 | * @return PHPRangeFile |
||
18 | * @throws InvalidArgumentException |
||
19 | */ |
||
20 | public static function fromFileInfo(\SplFileInfo $fileInfo) |
||
36 | |||
37 | /** |
||
38 | * @param \SplFileInfo $basePath |
||
39 | * @param Range $range |
||
40 | * @param int $total |
||
41 | * @return PHPRangeFile |
||
42 | */ |
||
43 | public static function fromRangeAndTotal(\SplFileInfo $basePath, Range $range, $total) |
||
51 | |||
52 | /** |
||
53 | * @param \SplFileInfo $basePath |
||
54 | * @param Range $range |
||
55 | * @param int $total |
||
56 | * @return string |
||
57 | */ |
||
58 | private static function generateFilePath(\SplFileInfo $basePath, Range $range, $total) |
||
68 | } |