|
@@ 123-127 (lines=5) @@
|
| 120 |
|
|
| 121 |
|
// Read each key-entry, consisting of the offset and length of each key ... |
| 122 |
|
$keyLengths = []; |
| 123 |
|
for ($i = 0; $i !== $elementCount; ++$i) |
| 124 |
|
{ |
| 125 |
|
$this->binaryDataReader->readUInt16(); // $keyOffset unused |
| 126 |
|
$keyLengths[$i] = $this->binaryDataReader->readUInt16(); |
| 127 |
|
} |
| 128 |
|
|
| 129 |
|
$entries = []; |
| 130 |
|
for ($i = 0; $i !== $elementCount; ++$i) |
|
@@ 137-140 (lines=4) @@
|
| 134 |
|
|
| 135 |
|
// Read each key ... |
| 136 |
|
$keys = []; |
| 137 |
|
for ($i = 0; $i !== $elementCount; ++$i) |
| 138 |
|
{ |
| 139 |
|
$keys[$i] = $this->binaryDataReader->read($keyLengths[$i]); |
| 140 |
|
} |
| 141 |
|
|
| 142 |
|
$this->jsonBinaryDecoderFormatter->formatBeginObject(); |
| 143 |
|
|