1 | <?php |
||
15 | class ExtractedDumpReader implements SeekableDumpReader { |
||
16 | |||
17 | /** |
||
18 | * @var string |
||
19 | */ |
||
20 | private $dumpFile; |
||
21 | |||
22 | /** |
||
23 | * @var int |
||
24 | */ |
||
25 | private $initialPosition; |
||
26 | |||
27 | /** |
||
28 | * @var resource |
||
29 | */ |
||
30 | private $handle; |
||
31 | |||
32 | /** |
||
33 | * @param string $dumpFilePath |
||
34 | * @param int $initialPosition |
||
35 | */ |
||
36 | 6 | public function __construct( $dumpFilePath, $initialPosition = 0 ) { |
|
40 | |||
41 | 6 | private function initReader() { |
|
52 | |||
53 | 6 | public function __destruct() { |
|
56 | |||
57 | 6 | private function closeReader() { |
|
62 | |||
63 | 1 | public function rewind() { |
|
68 | |||
69 | /** |
||
70 | * @return string|null |
||
71 | * @throws DumpReadingException |
||
72 | */ |
||
73 | 6 | public function nextJsonLine() { |
|
90 | |||
91 | /** |
||
92 | * @return int |
||
93 | * @throws DumpReadingException |
||
94 | */ |
||
95 | 1 | public function getPosition() { |
|
109 | |||
110 | /** |
||
111 | * @param int $position |
||
112 | * @throws DumpReadingException |
||
113 | */ |
||
114 | 1 | public function seekToPosition( $position ) { |
|
122 | |||
123 | } |
||
124 |