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 | } |