function __endString(&$encode, $position, &$pos)
{
do {
$position = strpos($encode, '"', $position + 1);
} while ($position !== false && FastJSON::__slashedChar($encode, $position - 1));
if ($position === false) {
trigger_error('', E_USER_WARNING);
}
return $position - $pos;
}
function __decodeString(&$encode, &$pos) { $replacement = FastJSON::__getStaticReplacement(); $endString = FastJSON::__endString($encode, $pos, $pos); $result = str_replace($replacement['replace'], $replacement['find'], substr($encode, $pos, $endString)); $pos += $endString; return $result; }