<?php
-if (count(get_included_files()) <= 1 && !defined('__main__'))
+if (!defined('__main__') && count(get_included_files()) <= 1 && count(debug_backtrace()) < 1)
define('__main__', __FILE__);
/**
* Minimal complete JSON generator and parser for FusionForge/Evolvis
* and SimKolab, including for debugging output serialisation
*
+ * Copyright © 2020
+ * mirabilos <m@mirbsd.org>
* Copyright © 2010, 2011, 2012, 2014, 2016, 2017
* mirabilos <t.glaser@tarent.de>
*
*
* Call as CLI script to filter input as JSON pretty-printer. Options
* are -c (compact output, no indentation or spaces), -d depth (parse
- * depth defaulting to 32), -r (pretty-print resources as string) and
+ * depth defaulting to 32), -r (pretty-print resources as object) and
* -t truncsz (truncation size).
*/
/**
* Encodes an array (indexed or associative) or any value as JSON.
* See minijson_encode_ob_string() for limitations on strings;
- * strings not encoded in UTF-8 and resources may not round-trip.
+ * strings not encoded in UTF-8 and resources do not round-trip.
+ *
+ * Optional arguments use the default value if NULL is passed for each.
*
* in: array x (Value to be encoded)
* in: string (optional) or bool false to skip beautification (default: '')
*/
function minijson_encode($x, $ri='', $depth=32, $truncsz=0, $dumprsrc=false) {
ob_start();
- minijson_encode_ob($x, $ri, $depth, $truncsz, $dumprsrc);
+ minijson_encode_ob($x, !is_null($ri) ? $ri : '', $depth ? $depth : 32,
+ $truncsz ? $truncsz : 0, $dumprsrc ? $dumprsrc : false);
return ob_get_clean();
}
* in: string x (Value to be encoded)
* in: integer (optional) truncation size (default 0 to not truncate),
* makes output invalid JSON
+ * in: string (optional) always '"'
* out: stdout encoded
*/
-function minijson_encode_ob_string($x, $truncsz=0) {
+function minijson_encode_ob_string($x, $truncsz=0, $leader='"') {
if (!is_string($x))
$x = strval($x);
echo 'TOO_LONG_STRING_TRUNCATED:';
$Sx = $truncsz;
}
- echo '"';
+ echo $leader;
/* assume UTF-8 first, for sanity */
ob_start(); /* in case a restart is needed */
$Sp = 0;
- minijson_encode_string_utf8:
- if ($Sp >= $Sx) {
- ob_end_flush();
- echo '"';
- return;
- }
+ while (true) {
+ if ($Sp >= $Sx) {
+ echo '"';
+ ob_end_flush();
+ return;
+ }
- /* read next octet */
- $c = ord(($ch = $x[$Sp++]));
+ /* read next octet */
+ $c = ord(($ch = $x[$Sp++]));
- if ($c === 0x5C) {
- /* just backslash */
- echo "\\\\";
- goto minijson_encode_string_utf8;
- }
+ if ($c > 0x22 && $c < 0x7F) {
+ /* printable ASCII except space, !, " */
+ if ($c === 0x5C)
+ echo $ch;
+ echo $ch;
+ continue;
+ }
- if ($c > 0x22 && $c < 0x7F) {
- /* printable ASCII except space, !, " and backslash */
- echo $ch;
- goto minijson_encode_string_utf8;
- }
+ if ($c < 0x80) {
+ /* C0 control character, space, !, " or DEL */
+ if (($c & 0x7E) === 0x20)
+ echo $ch;
+ elseif ($c === 0x22)
+ echo '\"';
+ elseif ($c === 0x08)
+ echo '\b';
+ elseif ($c === 0x09)
+ echo '\t';
+ elseif ($c === 0x0A)
+ echo '\n';
+ elseif ($c === 0x0C)
+ echo '\f';
+ elseif ($c === 0x0D)
+ echo '\r';
+ elseif (!$c)
+ $Sp = $Sx;
+ else
+ printf('\u%04X', $c);
+ continue;
+ }
- if ($c < 0x80) {
- /* C0 control character, space, !, " or DEL */
- if (($c & 0x7E) === 0x20)
- echo $ch;
- elseif ($c === 0x22)
- echo '\"';
- elseif ($c === 0x08)
- echo '\b';
- elseif ($c === 0x09)
- echo '\t';
- elseif ($c === 0x0A)
- echo '\n';
- elseif ($c === 0x0C)
- echo '\f';
- elseif ($c === 0x0D)
- echo '\r';
- elseif (!$c)
- $Sp = $Sx;
- else
- printf('\u%04X', $c);
- goto minijson_encode_string_utf8;
- }
+ /* UTF-8 lead byte */
+ if ($c < 0xE0) {
+ if ($c < 0xC2)
+ break;
+ $wc = ($c & 0x1F) << 6;
+ $wmin = 0x80;
+ $Ss = 1;
+ } elseif ($c < 0xF0) {
+ $wc = ($c & 0x0F) << 12;
+ $wmin = 0x800;
+ $Ss = 2;
+ } elseif ($c < 0xF8) {
+ $wc = ($c & 0x07) << 18;
+ $wmin = 0x10000;
+ $Ss = 3;
+ } else {
+ break;
+ }
+ $u = $ch;
+ /* UTF-8 trail bytes */
+ if ($Sp + $Ss > $Sx)
+ break;
+ while ($Ss--)
+ if (($c = ord(($ch = $x[$Sp++])) ^ 0x80) <= 0x3F) {
+ $wc |= $c << (6 * $Ss);
+ $u .= $ch;
+ } else
+ break 2;
+ /* complete wide character */
+ if ($wc < $wmin)
+ break;
- /* UTF-8 lead byte */
- if ($c < 0xC2 || $c >= 0xF8) {
- goto minijson_encode_string_latin1;
- } elseif ($c < 0xE0) {
- $wc = ($c & 0x1F) << 6;
- $wmin = 0x80;
- $Ss = 1;
- } elseif ($c < 0xF0) {
- $wc = ($c & 0x0F) << 12;
- $wmin = 0x800;
- $Ss = 2;
- } else {
- $wc = ($c & 0x07) << 18;
- $wmin = 0x10000;
- $Ss = 3;
- }
- /* UTF-8 trail bytes */
- if ($Sp + $Ss > $Sx)
- goto minijson_encode_string_latin1;
- while ($Ss--)
- if (($c = ord($x[$Sp++]) ^ 0x80) <= 0x3F)
- $wc |= $c << (6 * $Ss);
- else
- goto minijson_encode_string_latin1;
- /* complete wide character */
- if ($wc < $wmin)
- goto minijson_encode_string_latin1;
-
- if ($wc < 0x00A0)
- printf('\u%04X', $wc);
- elseif ($wc < 0x0800)
- echo chr(0xC0 | ($wc >> 6)) .
- chr(0x80 | ($wc & 0x3F));
- elseif ($wc > 0xFFFD || ($wc >= 0xD800 && $wc <= 0xDFFF) ||
- ($wc >= 0x2028 && $wc <= 0x2029)) {
- if ($wc > 0xFFFF) {
+ if (($wc >= 0x00A0 && $wc < 0x2028) ||
+ ($wc > 0x2029 && $wc < 0xD800) ||
+ ($wc > 0xDFFF && $wc <= 0xFFFD))
+ echo $u;
+ elseif ($wc > 0xFFFF) {
if ($wc > 0x10FFFF)
- goto minijson_encode_string_latin1;
+ break;
/* UTF-16 */
$wc -= 0x10000;
printf('\u%04X\u%04X',
0xDC00 | ($wc & 0x03FF));
} else
printf('\u%04X', $wc);
- } else
- echo chr(0xE0 | ($wc >> 12)) .
- chr(0x80 | (($wc >> 6) & 0x3F)) .
- chr(0x80 | ($wc & 0x3F));
- /* process next char */
- goto minijson_encode_string_utf8;
+ /* process next char */
+ }
- minijson_encode_string_latin1:
/* failed, interpret as sorta latin1 but display only ASCII */
ob_end_clean();
/* similar logic as above, just not as golfed for speed */
if ($c >= 0x20 && $c < 0x7F) {
if ($c === 0x22 || $c === 0x5C)
- echo "\\" . $ch;
- else
- echo $ch;
+ echo "\\";
+ echo $ch;
} else switch ($c) {
case 0x08:
echo '\b';
* out: stdout encoded
*/
function minijson_encode_ob($x, $ri, $depth, $truncsz, $dumprsrc) {
- if (!$depth-- || !isset($x) || is_null($x) || (is_float($x) &&
- (is_nan($x) || is_infinite($x)))) {
+ if (!$depth-- || !isset($x) || is_null($x)) {
echo 'null';
return;
}
return;
}
- if (is_int($x)) {
- $y = (int)$x;
- $z = strval($y);
- if (strval($x) === $z) {
- echo $z;
+ if (is_int($x) || is_float($x)) {
+ if (is_int($x)) {
+ $y = (int)$x;
+ $z = strval($y);
+ if (strval($x) === $z) {
+ echo $z;
+ return;
+ }
+ } else if (is_nan($x) || is_infinite($x)) {
+ echo 'null';
return;
}
- goto minijson_encode_number;
- }
-
- if (is_float($x)) {
- minijson_encode_number:
$rs = sprintf('%.14e', $x);
$v = explode('e', $rs);
$rs = rtrim($v[0], '0');
- if (substr($rs, -1) === '.')
- $rs .= '0';
- if ($v[1] !== '-0' && $v[1] !== '+0')
- $rs .= 'E' . $v[1];
echo $rs;
+ if ($rs[strlen($rs) - 1] === '.')
+ echo '0';
+ if ($v[1] !== '-0' && $v[1] !== '+0')
+ echo 'E' . $v[1];
return;
}
- /* strings or unknown scalars */
- if (is_string($x) ||
- (!is_array($x) && !is_object($x) && is_scalar($x))) {
+ /* strings */
+ if (is_string($x)) {
minijson_encode_ob_string($x, $truncsz);
return;
}
- /* arrays, objects, resources, unknown non-scalars */
+ /* arrays, objects, resources, unknown scalars and nōn-scalars */
if ($ri === false) {
$si = false;
return;
}
ob_start();
- echo '[';
+ echo '['/*]*/;
+ $isarr = true;
for ($v = 0; $v < $n; ++$v) {
if (!array_key_exists($v, $x)) {
/* failed — sparse or associative */
- ob_end_clean();
- goto minijson_encode_object;
+ $isarr = false;
+ break;
}
echo $xi;
minijson_encode_ob($x[$v],
$si, $depth, $truncsz, $dumprsrc);
$xi = $Si;
}
- ob_end_flush();
- echo $xr . ']';
- return;
- }
-
- /* http://de2.php.net/manual/en/function.is-resource.php#103942 */
- if (!is_object($x) && !is_null($rsrctype = @get_resource_type($x))) {
+ if ($isarr) {
+ ob_end_flush();
+ echo $xr . /*[*/']';
+ return;
+ }
+ ob_end_clean();
+ /* sparse or associative array */
+ } elseif (is_object($x)) {
+ /* PHP objects are mostly like associative arrays */
+ if (!($x = (array)$x)) {
+ echo '{}';
+ return;
+ }
+ /* converted into nōn-empty associative array */
+ /* https://www.php.net/manual/en/function.is-resource.php#103942 */
+ } elseif (!is_null($rsrctype = @get_resource_type($x))) {
if (!$dumprsrc) {
- minijson_encode_ob_string($x, $truncsz);
+ $rs = (int)$x;
+ $x = strval($x);
+ $rsrctype = 'resource('/*)*/ . $rs . ($rsrctype ?
+ (/*(*/')<' . $rsrctype . '>') : /*(*/'?)');
+ if ($x === ('Resource id #' . $rs))
+ $x = $rsrctype . ';';
+ elseif (strncmp($x, 'Resource ', 9) === 0)
+ $x = $rsrctype . substr($x, 8);
+ else
+ $x = $rsrctype . '{' . $x . '}';
+ minijson_encode_ob_string($x, $truncsz, '"\u0000');
return;
}
$rs = array(
$rs['status'] = pg_result_status($x, PGSQL_STATUS_STRING);
break;
}
- echo '{' . $xi . '"\u0000resource"' . $Sd;
+ echo '{'/*}*/ . $xi . '"\u0000resource:"' . $Sd;
minijson_encode_ob($rs, $si, $depth + 1, $truncsz, $dumprsrc);
- echo $xr . '}';
+ echo $xr . /*{*/'}';
+ return;
+ } elseif (is_scalar($x)) {
+ /* unknown scalar (treat as String) */
+ minijson_encode_ob_string($x, $truncsz);
return;
+ } else {
+ /* unknown nōn-scalar (treat as Object and cast, see above) */
+ if (!($x = (array)$x)) {
+ echo '{}';
+ return;
+ }
}
- /* treat everything else as Object */
+ /* array, object or unknown nōn-scalar, cast as associative array */
- /* PHP objects are mostly like associative arrays */
- if (!($x = (array)$x)) {
- echo '{}';
- return;
- }
- minijson_encode_object:
$s = array();
foreach (array_keys($x) as $k) {
$v = $k;
$s[$k] = $v;
}
asort($s, SORT_STRING);
- echo '{';
+ echo '{'/*}*/;
foreach ($s as $k => $v) {
echo $xi;
minijson_encode_ob_string($v, $truncsz);
minijson_encode_ob($x[$k], $si, $depth, $truncsz, $dumprsrc);
$xi = $Si;
}
- echo $xr . '}';
+ echo $xr . /*{*/'}';
}
/**
$rv = false;
/* skip Byte Order Mark if present */
- if (substr($s, 0, 3) === "\xEF\xBB\xBF")
+ if (strncmp($s, "\xEF\xBB\xBF", 3) === 0)
$Sp = 3;
/* skip leading whitespace */
minijson_skip_wsp($s, $Sp, $Sx);
/* end of string? */
if ($Sp < $Sx) {
- $ov = 'expected EOS';
+ $ov = 'unexpected trailing garbage';
$rv = false;
}
}
/* skip all characters that are JSON whitespace */
function minijson_skip_wsp($s, &$Sp, $Sx) {
while ($Sp < $Sx)
- switch (ord($s[$Sp])) {
- default:
- return;
- case 0x09:
- case 0x0A:
- case 0x0D:
- case 0x20:
+ if (($c = ord($s[$Sp])) === 0x20 ||
+ $c === 0x0A || $c === 0x09 || $c === 0x0D)
++$Sp;
- }
+ else
+ return $c;
+ return -1;
}
function minijson_decode_array($s, &$Sp, $Sx, &$ov, $depth) {
$ov = array();
/* skip optional whitespace between tokens */
- minijson_skip_wsp($s, $Sp, $Sx);
+ $c = minijson_skip_wsp($s, $Sp, $Sx);
/* check for end of array or first member */
- if ($Sp >= $Sx) {
- minijson_decode_array_eos:
- $ov = 'unexpected EOS in Array';
- return false;
- }
- switch ($s[$Sp]) {
- case ',':
- $ov = 'unexpected leading comma in Array';
- return false;
- case ']':
+ if ($c === 0x5D) {
++$Sp;
return true;
+ } elseif ($c === -1) {
+ $ov = 'unexpected EOS after ['/*]*/;
+ return false;
}
- goto minijson_decode_array_member;
-
- minijson_decode_array_loop:
- /* skip optional whitespace between tokens */
- minijson_skip_wsp($s, $Sp, $Sx);
+ while (true) {
+ /* parse the member value */
+ $v = NULL;
+ if (!minijson_decode_value($s, $Sp, $Sx, $v, $depth)) {
+ /* pass through error code */
+ $ov = $v;
+ return false;
+ }
+ /* consume, rinse, repeat */
+ $ov[] = $v;
- /* check for end of array or next member */
- if ($Sp >= $Sx)
- goto minijson_decode_array_eos;
- switch ($s[$Sp++]) {
- case ']':
- return true;
- case ',':
- break;
- default:
- --$Sp;
- $ov = 'missing comma in Array';
- return false;
- }
+ /* skip optional whitespace between tokens */
+ $c = minijson_skip_wsp($s, $Sp, $Sx);
- minijson_decode_array_member:
- /* parse the member value */
- $v = NULL;
- if (!minijson_decode_value($s, $Sp, $Sx, $v, $depth)) {
- /* pass through error code */
- $ov = $v;
- return false;
+ /* check for end of array or next member */
+ if ($c === 0x2C) {
+ ++$Sp;
+ } elseif ($c === 0x5D) {
+ ++$Sp;
+ return true;
+ } else {
+ $ov = /*[*/'comma (,) or ] expected';
+ return false;
+ }
}
- /* consume, rinse, repeat */
- $ov[] = $v;
- goto minijson_decode_array_loop;
}
function minijson_decode_object($s, &$Sp, $Sx, &$ov, $depth) {
$ov = array();
/* skip optional whitespace between tokens */
- minijson_skip_wsp($s, $Sp, $Sx);
+ $c = minijson_skip_wsp($s, $Sp, $Sx);
/* check for end of object or first member */
- if ($Sp >= $Sx) {
- minijson_decode_object_eos:
- $ov = 'unexpected EOS in Object';
- return false;
- }
- switch ($s[$Sp]) {
- case ',':
- $ov = 'unexpected leading comma in Object';
- return false;
- case '}':
+ if ($c === 0x7D) {
++$Sp;
return true;
+ } elseif ($c === -1) {
+ $ov = 'unexpected EOS after {'/*}*/;
+ return false;
}
- goto minijson_decode_object_member;
+ while (true) {
+ /* skip optional whitespace between tokens */
+ $c = minijson_skip_wsp($s, $Sp, $Sx);
- minijson_decode_object_loop:
- /* skip optional whitespace between tokens */
- minijson_skip_wsp($s, $Sp, $Sx);
-
- /* check for end of object or next member */
- if ($Sp >= $Sx)
- goto minijson_decode_object_eos;
- switch ($s[$Sp++]) {
- case '}':
- return true;
- case ',':
- break;
- default:
- --$Sp;
- $ov = 'missing comma in Object';
- return false;
- }
+ /* look for the member key */
+ if ($c !== 0x22) {
+ $ov = 'key string for Object member expected';
+ return false;
+ }
+ ++$Sp;
+ if (($k = minijson_decode_string($s, $Sp, $Sx)) !== true) {
+ ob_end_clean();
+ /* pass through error code */
+ $ov = $k;
+ return false;
+ }
+ $k = ob_get_clean();
- minijson_decode_object_member:
- /* skip optional whitespace between tokens */
- minijson_skip_wsp($s, $Sp, $Sx);
+ /* skip optional whitespace between tokens */
+ $c = minijson_skip_wsp($s, $Sp, $Sx);
- /* look for the member key */
- if ($Sp >= $Sx)
- goto minijson_decode_object_eos;
- if ($s[$Sp++] !== '"') {
- --$Sp;
- $ov = 'expected key string for Object member';
- return false;
- }
- if (($k = minijson_decode_string($s, $Sp, $Sx)) !== true) {
- ob_end_clean();
- /* pass through error code */
- $ov = $k;
- return false;
- }
- $k = ob_get_clean();
+ /* check for separator between key and value */
+ if ($c !== 0x3A) {
+ $ov = 'colon (:) expected';
+ return false;
+ }
+ ++$Sp;
- /* skip optional whitespace between tokens */
- minijson_skip_wsp($s, $Sp, $Sx);
+ /* parse the member value */
+ $v = NULL;
+ if (!minijson_decode_value($s, $Sp, $Sx, $v, $depth)) {
+ /* pass through error code */
+ $ov = $v;
+ return false;
+ }
+ /* consume, rinse, repeat */
+ $ov[$k] = $v;
- /* check for separator between key and value */
- if ($Sp >= $Sx)
- goto minijson_decode_object_eos;
- if ($s[$Sp++] !== ':') {
- --$Sp;
- $ov = 'expected colon in Object member';
- return false;
- }
+ /* skip optional whitespace between tokens */
+ $c = minijson_skip_wsp($s, $Sp, $Sx);
- /* parse the member value */
- $v = NULL;
- if (!minijson_decode_value($s, $Sp, $Sx, $v, $depth)) {
- /* pass through error code */
- $ov = $v;
- return false;
+ /* check for end of object or next member */
+ if ($c === 0x2C) {
+ ++$Sp;
+ } elseif ($c === 0x7D) {
+ ++$Sp;
+ return true;
+ } else {
+ $ov = /*{*/'comma (,) or } expected';
+ return false;
+ }
}
- /* consume, rinse, repeat */
- $ov[$k] = $v;
- goto minijson_decode_object_loop;
}
function minijson_decode_value($s, &$Sp, $Sx, &$ov, $depth) {
/* skip optional whitespace between tokens */
- minijson_skip_wsp($s, $Sp, $Sx);
-
- /* parse begin of Value token */
- if ($Sp >= $Sx) {
- $ov = 'unexpected EOS, Value expected';
- return false;
- }
- $c = $s[$Sp++];
+ $c = minijson_skip_wsp($s, $Sp, $Sx);
- /* style: falling through exits with false */
- if ($c === 'n') {
+ /* parse start of Value token; falling through exits with false */
+ if ($c === 0x22) {
+ ++$Sp;
+ if (($ov = minijson_decode_string($s, $Sp, $Sx)) !== true) {
+ ob_end_clean();
+ return false;
+ }
+ $ov = ob_get_clean();
+ return true;
+ } elseif ($c === 0x7B) {
+ if (--$depth > 0) {
+ ++$Sp;
+ return minijson_decode_object($s, $Sp, $Sx, $ov, $depth);
+ }
+ $ov = 'recursion limit exceeded by Object';
+ } elseif ($c === 0x5B) {
+ if (--$depth > 0) {
+ ++$Sp;
+ return minijson_decode_array($s, $Sp, $Sx, $ov, $depth);
+ }
+ $ov = 'recursion limit exceeded by Array';
+ } elseif ($c <= 0x39 && ($c >= 0x30 || $c === 0x2D)) {
+ return minijson_decode_number($s, $Sp, $Sx, $ov);
+ } elseif ($c === 0x6E) {
/* literal null? */
- if (substr($s, $Sp, 3) === 'ull') {
- $Sp += 3;
+ if (substr_compare($s, 'null', $Sp, 4) === 0) {
+ $Sp += 4;
$ov = NULL;
return true;
}
- --$Sp;
- $ov = 'expected “ull” after “n”';
- } elseif ($c === 't') {
+ $ov = 'after “n”, “ull” expected';
+ } elseif ($c === 0x74) {
/* literal true? */
- if (substr($s, $Sp, 3) === 'rue') {
- $Sp += 3;
+ if (substr_compare($s, 'true', $Sp, 4) === 0) {
+ $Sp += 4;
$ov = true;
return true;
}
- --$Sp;
- $ov = 'expected “rue” after “t”';
- } elseif ($c === 'f') {
+ $ov = 'after “t”, “rue” expected';
+ } elseif ($c === 0x66) {
/* literal false? */
- if (substr($s, $Sp, 4) === 'alse') {
- $Sp += 4;
+ if (substr_compare($s, 'false', $Sp, 5) === 0) {
+ $Sp += 5;
$ov = false;
return true;
}
- --$Sp;
- $ov = 'expected “alse” after “f”';
- } elseif ($c === '[') {
- if (--$depth > 0)
- return minijson_decode_array($s, $Sp, $Sx, $ov, $depth);
- --$Sp;
- $ov = 'recursion limit exceeded by Array';
- } elseif ($c === '{') {
- if (--$depth > 0)
- return minijson_decode_object($s, $Sp, $Sx, $ov, $depth);
- --$Sp;
- $ov = 'recursion limit exceeded by Object';
- } elseif ($c === '"') {
- if (($ov = minijson_decode_string($s, $Sp, $Sx)) !== true) {
- ob_end_clean();
- return false;
- }
- $ov = ob_get_clean();
- return true;
- } elseif ($c === '-' || (ord($c) >= 0x30 && ord($c) <= 0x39)) {
- --$Sp;
- return minijson_decode_number($s, $Sp, $Sx, $ov);
- } elseif (ord($c) >= 0x20 && ord($c) <= 0x7E) {
- --$Sp;
- $ov = "unexpected “{$c}”, Value expected";
+ $ov = 'after “f”, “alse” expected';
+ } elseif ($c <= 0x7E && $c >= 0x20) {
+ $ov = 'unexpected “' . chr($c) . '”, Value expected';
+ } elseif ($c !== -1) {
+ $ov = sprintf('unexpected 0x%02X, Value expected', $c);
} else {
- --$Sp;
- $ov = sprintf('unexpected 0x%02X, Value expected', ord($c));
+ $ov = 'unexpected EOS, Value expected';
}
return false;
}
function minijson_decode_string($s, &$Sp, $Sx) {
ob_start();
- minijson_decode_string_loop:
- if ($Sp >= $Sx)
- return 'unexpected EOS in String';
- /* get next octet; switch on what to do with it */
- if (($ch = $s[$Sp++]) === '"') {
- /* regular exit point for the loop */
- return true;
- }
- /* backslash escape? */
- if ($ch === "\\") {
- if ($Sp >= $Sx)
- return 'unexpected EOS after backslash in String';
- $ch = $s[$Sp++];
- if ($ch === '"' || $ch === '/' || $ch === "\\")
- echo $ch;
- elseif ($ch === 't')
- echo "\x09";
- elseif ($ch === 'n')
- echo "\x0A";
- elseif ($ch === 'r')
- echo "\x0D";
- elseif ($ch === 'b')
- echo "\x08";
- elseif ($ch === 'f')
- echo "\x0C";
- elseif ($ch !== 'u') {
- $Sp -= 2;
- return "invalid escape '\\$ch' in String";
- } else {
- $surrogate = 0;
- minijson_decode_string_unicode_escape:
- $wc = 0;
- if ($Sp + 4 > $Sx) {
+ while ($Sp < $Sx) {
+ /* get next octet; switch on what to do with it */
+ if (($c = ord(($ch = $s[$Sp++]))) === 0x22) {
+ /* regular exit point for the loop */
+ return true;
+ }
+ /* backslash escape? */
+ if ($c === 0x5C) {
+ if ($Sp >= $Sx)
+ return 'incomplete escape sequence';
+ $c = ord(($ch = $s[$Sp++]));
+ if ($c === 0x22 || $c === 0x5C || $c === 0x2F)
+ echo $ch;
+ elseif ($c === 0x74)
+ echo "\x09";
+ elseif ($c === 0x6E)
+ echo "\x0A";
+ elseif ($c === 0x75) {
+ $c = minijson_decode_uescape($s, $Sp, $Sx, $ch);
+ if ($c >= 0xD800 && $c <= 0xDFFF)
+ $c = minijson_decode_surrogate($s, $Sp,
+ $Sx, $c, $ch);
+ if ($c === 0)
+ return $ch;
+ if ($c < 0x80)
+ echo chr($c);
+ elseif ($c < 0x0800)
+ echo chr(0xC0 | ($c >> 6)) .
+ chr(0x80 | ($c & 0x3F));
+ elseif ($c <= 0xFFFF)
+ echo chr(0xE0 | ($c >> 12)) .
+ chr(0x80 | (($c >> 6) & 0x3F)) .
+ chr(0x80 | ($c & 0x3F));
+ else
+ echo chr(0xF0 | ($c >> 18)) .
+ chr(0x80 | (($c >> 12) & 0x3F)) .
+ chr(0x80 | (($c >> 6) & 0x3F)) .
+ chr(0x80 | ($c & 0x3F));
+ } elseif ($c === 0x72)
+ echo "\x0D";
+ elseif ($c === 0x62)
+ echo "\x08";
+ elseif ($c === 0x66)
+ echo "\x0C";
+ else {
$Sp -= 2;
- return 'unexpected EOS in Unicode escape sequence';
+ return "invalid escape sequence “\\{$ch}”";
}
- for ($tmp = 1; $tmp <= 4; $tmp++) {
- $wc <<= 4;
- switch (ord($s[$Sp++])) {
- case 0x30: break;
- case 0x31: $wc += 1; break;
- case 0x32: $wc += 2; break;
- case 0x33: $wc += 3; break;
- case 0x34: $wc += 4; break;
- case 0x35: $wc += 5; break;
- case 0x36: $wc += 6; break;
- case 0x37: $wc += 7; break;
- case 0x38: $wc += 8; break;
- case 0x39: $wc += 9; break;
- case 0x41: case 0x61: $wc += 10; break;
- case 0x42: case 0x62: $wc += 11; break;
- case 0x43: case 0x63: $wc += 12; break;
- case 0x44: case 0x64: $wc += 13; break;
- case 0x45: case 0x65: $wc += 14; break;
- case 0x46: case 0x66: $wc += 15; break;
- default:
- --$Sp;
- return "invalid hex digit #$tmp/4 in Unicode escape sequence";
- }
+ continue;
+ }
+ echo $ch;
+ if ($c < 0x80) {
+ if ($c >= 0x20)
+ continue;
+ --$Sp;
+ return sprintf('unexpected C0 control 0x%02X', $c);
+ }
+ /* UTF-8 BMP sequence (unrolled) */
+ if ($c < 0xE0) {
+ if ($c < 0xC2) {
+ --$Sp;
+ return sprintf('invalid UTF-8 lead octet 0x%02X',
+ $c);
}
- if ($surrogate) {
- if ($wc < 0xDC00 || $wc > 0xDFFF) {
- $Sp -= 6;
- return sprintf('expected low surrogate, not %04X, after high surrogate %04X', $wc, $surrogate);
- }
- $wc = 0x10000 + (($surrogate & 0x03FF) << 10) + ($wc & 0x03FF);
- } elseif ($wc >= 0xD800 && $wc <= 0xDBFF) {
- $surrogate = $wc;
- /* UTF-16 expects the low surrogate */
- if (substr($s, $Sp, 2) !== '\u')
- return 'expected Unicode escape after high surrogate';
- $Sp += 2;
- goto minijson_decode_string_unicode_escape;
- } elseif ($wc >= 0xDC00 && $wc <= 0xDFFF) {
- $Sp -= 6;
- return sprintf('loose low surrogate %04X', $wc);
- } elseif ($wc < 1 || $wc > 0xFFFD) {
- $Sp -= 6;
- return sprintf('non-Unicode escape %04X', $wc);
+ if ($Sp + 1 > $Sx) {
+ --$Sp;
+ return 'incomplete UTF-8 sequence';
}
- if ($wc < 0x80) {
- echo chr($wc);
- goto minijson_decode_string_loop;
+ if (($c = ord(($ch = $s[$Sp++])) ^ 0x80) > 0x3F) {
+ --$Sp;
+ return sprintf('invalid UTF-8 trail octet 0x%02X',
+ $c ^ 0x80);
}
- minijson_decode_string_unicode_char:
- if ($wc < 0x0800)
- echo chr(0xC0 | ($wc >> 6)) .
- chr(0x80 | ($wc & 0x3F));
- elseif ($wc <= 0xFFFF)
- echo chr(0xE0 | ($wc >> 12)) .
- chr(0x80 | (($wc >> 6) & 0x3F)) .
- chr(0x80 | ($wc & 0x3F));
- else
- echo chr(0xF0 | ($wc >> 18)) .
- chr(0x80 | (($wc >> 12) & 0x3F)) .
- chr(0x80 | (($wc >> 6) & 0x3F)) .
- chr(0x80 | ($wc & 0x3F));
+ echo $ch;
+ continue;
+ } elseif ($c >= 0xF0) {
+ --$Sp;
+ return sprintf('invalid UTF-8 lead octet 0x%02X', $c);
+ }
+ if ($Sp + 2 > $Sx) {
+ --$Sp;
+ return 'incomplete UTF-8 sequence';
}
- goto minijson_decode_string_loop;
- }
- if (($c = ord($ch)) < 0x20) {
- --$Sp;
- return sprintf('unescaped control character 0x%02X in String', $c);
- }
- if ($c < 0x80) {
- echo $ch;
- goto minijson_decode_string_loop;
- }
- /* decode UTF-8 */
- if ($c < 0xC2 || $c >= 0xF0) {
- --$Sp;
- return sprintf('invalid UTF-8 lead octet 0x%02X in String', $c);
- }
- if ($c < 0xE0) {
- $wc = ($c & 0x1F) << 6;
- $wmin = 0x80; /* redundant */
- $Ss = 1;
- } else {
$wc = ($c & 0x0F) << 12;
- $wmin = 0x800;
- $Ss = 2;
- }
- if ($Sp + $Ss > $Sx) {
- --$Sp;
- return 'unexpected EOS after UTF-8 lead byte in String';
- }
- while ($Ss--)
- if (($c = ord($s[$Sp++]) ^ 0x80) <= 0x3F)
- $wc |= $c << (6 * $Ss);
- else {
+ if (($c = ord(($ch = $s[$Sp++])) ^ 0x80) <= 0x3F) {
+ $wc |= $c << 6;
+ echo $ch;
+ } else {
+ --$Sp;
+ return sprintf('invalid UTF-8 trail octet 0x%02X',
+ $c ^ 0x80);
+ }
+ if (($c = ord(($ch = $s[$Sp++])) ^ 0x80) <= 0x3F) {
+ $wc |= $c;
+ echo $ch;
+ } else {
--$Sp;
- return sprintf('invalid UTF-8 trail octet 0x%02X in String', $c ^ 0x80);
+ return sprintf('invalid UTF-8 trail octet 0x%02X',
+ $c ^ 0x80);
+ }
+ if ($wc < 0x0800) {
+ $Sp -= 3;
+ return sprintf('non-minimal encoding for %04X', $wc);
+ }
+ if ($wc >= 0xD800 && $wc <= 0xDFFF) {
+ $Sp -= 3;
+ return sprintf('unescaped surrogate %04X', $wc);
+ }
+ if ($wc > 0xFFFD) {
+ $Sp -= 3;
+ return sprintf('unescaped non-character %04X', $wc);
}
- if ($wc < $wmin) {
- $Sp -= 3; /* only for E0‥EF-led sequence */
- return sprintf('non-minimalistic encoding for Unicode char %04X in String', $wc);
}
+ return 'unexpected EOS in String';
+}
- if ($wc >= 0xD800 && $wc <= 0xDFFF) {
- $Sp -= 3;
- return sprintf('unescaped surrogate %04X in String', $wc);
+/* decodes the four nybbles after “\u” */
+function minijson_decode_uescape($s, &$Sp, $Sx, &$e) {
+ if ($Sp + 4 > $Sx) {
+ $Sp -= 2;
+ $e = 'incomplete escape sequence';
+ return 0;
+ }
+ $wc = 0;
+ for ($tmp = 1; $tmp <= 4; $tmp++) {
+ $wc <<= 4;
+ switch (ord($s[$Sp++])) {
+ case 0x30: break;
+ case 0x31: $wc += 1; break;
+ case 0x32: $wc += 2; break;
+ case 0x33: $wc += 3; break;
+ case 0x34: $wc += 4; break;
+ case 0x35: $wc += 5; break;
+ case 0x36: $wc += 6; break;
+ case 0x37: $wc += 7; break;
+ case 0x38: $wc += 8; break;
+ case 0x39: $wc += 9; break;
+ case 0x41: case 0x61: $wc += 10; break;
+ case 0x42: case 0x62: $wc += 11; break;
+ case 0x43: case 0x63: $wc += 12; break;
+ case 0x44: case 0x64: $wc += 13; break;
+ case 0x45: case 0x65: $wc += 14; break;
+ case 0x46: case 0x66: $wc += 15; break;
+ default:
+ --$Sp;
+ $e = 'hexadecimal digit expected';
+ return 0;
+ }
}
- if ($wc <= 0xFFFD)
- goto minijson_decode_string_unicode_char;
- $Sp -= 3;
- return sprintf('non-Unicode char %04X in String', $wc);
+ if ($wc < 1 || $wc > 0xFFFD) {
+ $Sp -= 6;
+ $e = sprintf('invalid escape \\u%04X', $wc);
+ return 0;
+ }
+ return $wc;
+}
+
+/* called if decoding the above resulted in a surrogate */
+function minijson_decode_surrogate($s, &$Sp, $Sx, $wc, &$e) {
+ /* loose low surrogate? */
+ if ($wc >= 0xDC00) {
+ $Sp -= 6;
+ $e = sprintf('unexpected low surrogate \\u%04X', $wc);
+ return 0;
+ }
+ /* wc is a high surrogate */
+ if ($Sp + 6 > $Sx || $s[$Sp] !== '\\' || $s[$Sp + 1] !== 'u') {
+ $e = 'escaped low surrogate expected';
+ return 0;
+ }
+ $Sp += 2;
+ if (($lc = minijson_decode_uescape($s, $Sp, $Sx, $e)) === 0)
+ return 0;
+ if ($lc < 0xDC00 || $lc > 0xDFFF) {
+ $Sp -= 6;
+ $e = sprintf('unexpected \\u%04X, low surrogate expected', $lc);
+ return 0;
+ }
+ return 0x10000 + (($wc & 0x03FF) << 10) + ($lc & 0x03FF);
}
function minijson_decode_number($s, &$Sp, $Sx, &$ov) {
$matches = array('');
if (!preg_match('/-?(?:0|[1-9][0-9]*)(?:\.[0-9]+)?(?:[Ee][+-]?[0-9]+)?/A',
- $s, $matches, 0, $Sp) || strlen($matches[0]) < 1) {
- $ov = 'expected Number';
+ $s, $matches, 0, $Sp) || ($Ss = strlen($matches[0])) < 1) {
+ $ov = 'Number expected';
+ return false;
+ }
+ if ($Sp + $Ss > $Sx) {
+ $ov = 'unexpected EOS in Number';
return false;
}
- $Sp += strlen($matches[0]);
+ $Sp += $Ss;
if (strpos($matches[0], '.') === false) {
/* possible integer */
$ov = (int)$matches[0];
*/
require_once('PHPUnit/Framework/TestCase.php');
-require_once(dirname(__FILE__) . '/../../../src/common/include/minijson.php');
class Minijson_Tests extends PHPUnit\Framework\TestCase {
+ public function testMiniJson() {
+ $s = error_reporting(-1);
+ require_once(dirname(__FILE__) . '/../../../src/common/include/minijson.php');
+
/****************************************************************/
/* $s_orig [parse] print_r->$s_printr [encode] $s_ecompact or $s_epadded */
/* $s_e* [decode] print_r ->$s_printrs (due to Object key sorting) */
- var $s_orig = '[
+ $s_orig = '[
"JSON Test Pattern pass1",
{"object with 1 member":["array with 1 element"]},
{},
1e00,2e+00,2e-00
,"rosebud"]';
- var $s_printr = 'Array
+ $s_printr = 'Array
(
[0] => JSON Test Pattern pass1
[1] => Array
[space] => ' . '
[quote] => "
[backslash] => \\
- [controls] => \b\f' . '
-\r ' . '
+ [controls] => ' . "\x08\x0C\x0A\x0D\x09" . '
[slash] => / & /
[alpha] => abcdefghijklmnopqrstuvwyz
[ALPHA] => ABCDEFGHIJKLMNOPQRSTUVWYZ
[jsontext] => {"object with 1 member":["array with 1 element"]}
[quotes] => " " %22 0x22 034 "
- [/\\"쫾몾ꮘﳞ볚\b\f' . '
-\r `1~!@#$%^&*()_+-=[]{}|;:\',./<>?] => A key can be any string
+ [/\\"쫾몾ꮘﳞ볚\b\f' . "\x0A\x0D\x09" . '`1~!@#$%^&*()_+-=[]{}|;:\',./<>?] => A key can be any string
)
[9] => 0.5
)
';
- var $s_printrs = 'Array
+ $s_printrs = 'Array
(
[0] => JSON Test Pattern pass1
[1] => Array
)
[# -- --> */] => ' . '
- [/\\"쫾몾ꮘﳞ볚\b\f' . '
-\r `1~!@#$%^&*()_+-=[]{}|;:\',./<>?] => A key can be any string
+ [/\\"쫾몾ꮘﳞ볚' . "\x08\x0C\x0A\x0D\x09" . '`1~!@#$%^&*()_+-=[]{}|;:\',./<>?] => A key can be any string
[0123456789] => digit
[ALPHA] => ABCDEFGHIJKLMNOPQRSTUVWYZ
[E] => 1.23456789E+34
[6] => 7
)
- [controls] => \b\f' . '
-\r ' . '
+ [controls] => ' . "\x08\x0C\x0A\x0D\x09" . '
[digit] => 0123456789
[e] => 1.23456789E-13
[false] => ' . '
)
';
- var $s_ecompact = '["JSON Test Pattern pass1",{"object with 1 member":["array with 1 element"]},[],[],-42,true,false,null,{"":2.3456789012E+76," s p a c e d ":[1,2,3,4,5,6,7],"# -- --> */":" ","/\\\\\\"쫾몾ꮘﳞ볚\\b\\f\\n\\r\\t`1~!@#$%^&*()_+-=[]{}|;:\',./<>?":"A key can be any string","0123456789":"digit","ALPHA":"ABCDEFGHIJKLMNOPQRSTUVWYZ","E":1.23456789E+34,"address":"50 St. James Street","alpha":"abcdefghijklmnopqrstuvwyz","array":[],"backslash":"\\\\","comment":"// /* <!-- --","compact":[1,2,3,4,5,6,7],"controls":"\\b\\f\\n\\r\\t","digit":"0123456789","e":1.23456789E-13,"false":false,"hex":"ģ䕧覫췯ꯍ","integer":1234567890,"jsontext":"{\\"object with 1 member\\":[\\"array with 1 element\\"]}","null":null,"object":[],"one":1,"quote":"\\"","quotes":"" \\" %22 0x22 034 "","real":-9.87654321E+3,"slash":"/ & /","space":" ","special":"`1~!@#$%^&*()_+-={\':[,]}|;.</>?","true":true,"url":"http://www.JSON.org/","zero":0},5.0E-1,9.86E+1,9.944E+1,1066,1.0E+1,1.0,1.0E-1,1.0,2.0,2.0,"rosebud"]';
- var $s_epadded = '[
+ $s_ecompact = '["JSON Test Pattern pass1",{"object with 1 member":["array with 1 element"]},[],[],-42,true,false,null,{"":2.3456789012E+76," s p a c e d ":[1,2,3,4,5,6,7],"# -- --> */":" ","/\\\\\\"쫾몾ꮘﳞ볚\\b\\f\\n\\r\\t`1~!@#$%^&*()_+-=[]{}|;:\',./<>?":"A key can be any string","0123456789":"digit","ALPHA":"ABCDEFGHIJKLMNOPQRSTUVWYZ","E":1.23456789E+34,"address":"50 St. James Street","alpha":"abcdefghijklmnopqrstuvwyz","array":[],"backslash":"\\\\","comment":"// /* <!-- --","compact":[1,2,3,4,5,6,7],"controls":"\\b\\f\\n\\r\\t","digit":"0123456789","e":1.23456789E-13,"false":false,"hex":"ģ䕧覫췯ꯍ","integer":1234567890,"jsontext":"{\\"object with 1 member\\":[\\"array with 1 element\\"]}","null":null,"object":[],"one":1,"quote":"\\"","quotes":"" \\" %22 0x22 034 "","real":-9.87654321E+3,"slash":"/ & /","space":" ","special":"`1~!@#$%^&*()_+-={\':[,]}|;.</>?","true":true,"url":"http://www.JSON.org/","zero":0},5.0E-1,9.86E+1,9.944E+1,1066,1.0E+1,1.0,1.0E-1,1.0,2.0,2.0,"rosebud"]';
+ $s_epadded = '[
"JSON Test Pattern pass1",
{
"object with 1 member": [
/****************************************************************/
- public function testMiniJson() {
$parsed = 'bla';
- $presult = minijson_decode($this->s_orig, $parsed);
+ $presult = minijson_decode($s_orig, $parsed);
$this->assertTrue($presult);
$this->assertEquals('array', gettype($parsed), 'FAIL parse-basic');
$printrd = print_r($parsed, true);
- $this->assertEquals($this->s_printr, $printrd, 'parsed');
+ $this->assertEquals($s_printr, $printrd, 'parsed');
$encoded = minijson_encode($parsed, false);
- $this->assertEquals($this->s_ecompact, $encoded, 'encode-compact');
+ $this->assertEquals($s_ecompact, $encoded, 'encode-compact');
$reparsed = 'bla';
$presult = minijson_decode($encoded, $reparsed);
$this->assertTrue($presult, 'can-reparse-compact');
$this->assertEquals('array', gettype($reparsed), 'FAIL reparse-compact-basic');
$printrd = print_r($reparsed, true);
- $this->assertEquals($this->s_printrs, $printrd, 'reparsed-compact');
+ $this->assertEquals($s_printrs, $printrd, 'reparsed-compact');
$encoded = minijson_encode($parsed);
- $this->assertEquals($this->s_epadded, $encoded, 'encode-padded');
+ $this->assertEquals($s_epadded, $encoded, 'encode-padded');
$reparsed = 'bla';
$presult = minijson_decode($encoded, $reparsed);
$this->assertTrue($presult, 'can-reparse-padded');
$this->assertEquals('array', gettype($reparsed), 'FAIL reparse-padded-basic');
$printrd = print_r($reparsed, true);
- $this->assertEquals($this->s_printrs, $printrd, 'reparsed-padded');
+ $this->assertEquals($s_printrs, $printrd, 'reparsed-padded');
+
+ $encoded = '0';
+ $reparsed = 'bla';
+ $presult = minijson_decode($encoded, $reparsed);
+ $this->assertTrue($presult, 'can-parse-0');
+ $this->assertEquals(0, $reparsed);
+
+ error_reporting($s);
}
}
projects / fusionforge / fusionforge.git / commitdiff