1 | <?php |
||
16 | class GzDumpReader implements SeekableDumpReader { |
||
17 | |||
18 | /** |
||
19 | * @var string |
||
20 | */ |
||
21 | private $dumpFile; |
||
22 | |||
23 | /** |
||
24 | * @var int |
||
25 | */ |
||
26 | private $initialPosition; |
||
27 | |||
28 | /** |
||
29 | * @var resource|null |
||
30 | */ |
||
31 | private $handle = null; |
||
32 | |||
33 | /** |
||
34 | * @param string $dumpFilePath |
||
35 | * @param int $initialPosition |
||
36 | */ |
||
37 | 5 | public function __construct( $dumpFilePath, $initialPosition = 0 ) { |
|
41 | |||
42 | 5 | public function __destruct() { |
|
45 | |||
46 | 5 | private function closeReader() { |
|
52 | |||
53 | 1 | public function rewind(): void { |
|
57 | |||
58 | 5 | private function initReader() { |
|
69 | |||
70 | /** |
||
71 | * @return string|null |
||
72 | * @throws DumpReadingException |
||
73 | */ |
||
74 | 5 | public function nextJsonLine(): ?string { |
|
92 | |||
93 | /** |
||
94 | * @return int |
||
95 | * @throws DumpReadingException |
||
96 | */ |
||
97 | 1 | public function getPosition(): int { |
|
111 | |||
112 | /** |
||
113 | * @param int $position |
||
114 | * @throws DumpReadingException |
||
115 | */ |
||
116 | 4 | public function seekToPosition( int $position ): void { |
|
124 | |||
125 | } |
||
126 |