| 1 | <?php |
||
| 8 | class RangeFile |
||
| 9 | { |
||
| 10 | /** |
||
| 11 | * @var File |
||
| 12 | */ |
||
| 13 | private $file; |
||
| 14 | |||
| 15 | /** |
||
| 16 | * @var Range |
||
| 17 | */ |
||
| 18 | private $range; |
||
| 19 | |||
| 20 | /** |
||
| 21 | * @var int |
||
| 22 | */ |
||
| 23 | private $total; |
||
| 24 | |||
| 25 | /** |
||
| 26 | * @param File $file |
||
| 27 | * @param Range $range |
||
| 28 | * @param int $total |
||
| 29 | */ |
||
| 30 | public function __construct(File $file, Range $range, $total) |
||
| 36 | |||
| 37 | /** |
||
| 38 | * @return string[] |
||
| 39 | */ |
||
| 40 | public function read() |
||
| 44 | |||
| 45 | /** |
||
| 46 | * @param string[] $map |
||
| 47 | * @return bool |
||
| 48 | * @throws RangeException |
||
| 49 | */ |
||
| 50 | public function write(array $map) |
||
| 58 | |||
| 59 | /** |
||
| 60 | * @return Range |
||
| 61 | */ |
||
| 62 | public function getRange() |
||
| 66 | |||
| 67 | /** |
||
| 68 | * @return int |
||
| 69 | */ |
||
| 70 | public function getTotal() |
||
| 74 | } |