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