src/Json5Decoder.php 2 locations
|
@@ 273-275 (lines=3) @@
|
| 270 |
|
|
| 271 |
|
switch ($base) { |
| 272 |
|
case 10: |
| 273 |
|
if ((is_numeric($this->currentByte) || $this->currentByte === '.') && ($match = $this->match('/^\d*\.?\d*/')) !== null) { |
| 274 |
|
$string .= $match; |
| 275 |
|
} |
| 276 |
|
if (($this->currentByte === 'E' || $this->currentByte === 'e') && ($match = $this->match('/^[Ee][-+]?\d*/')) !== null) { |
| 277 |
|
$string .= $match; |
| 278 |
|
} |
|
@@ 276-278 (lines=3) @@
|
| 273 |
|
if ((is_numeric($this->currentByte) || $this->currentByte === '.') && ($match = $this->match('/^\d*\.?\d*/')) !== null) { |
| 274 |
|
$string .= $match; |
| 275 |
|
} |
| 276 |
|
if (($this->currentByte === 'E' || $this->currentByte === 'e') && ($match = $this->match('/^[Ee][-+]?\d*/')) !== null) { |
| 277 |
|
$string .= $match; |
| 278 |
|
} |
| 279 |
|
$number = $string; |
| 280 |
|
break; |
| 281 |
|
case 16: |