@agoric/xsnap 0.14.3-dev-b047af2.0 → 0.14.3-dev-3eb4230.0

package/moddable/xs/sources/xsJSON.c

@@ -1,1091 +0,0 @@
-/*
- * Copyright (c) 2016-2017  Moddable Tech, Inc.
- *
- *   This file is part of the Moddable SDK Runtime.
- * 
- *   The Moddable SDK Runtime is free software: you can redistribute it and/or modify
- *   it under the terms of the GNU Lesser General Public License as published by
- *   the Free Software Foundation, either version 3 of the License, or
- *   (at your option) any later version.
- * 
- *   The Moddable SDK Runtime is distributed in the hope that it will be useful,
- *   but WITHOUT ANY WARRANTY; without even the implied warranty of
- *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- *   GNU Lesser General Public License for more details.
- * 
- *   You should have received a copy of the GNU Lesser General Public License
- *   along with the Moddable SDK Runtime.  If not, see <http://www.gnu.org/licenses/>.
- *
- * This file incorporates work covered by the following copyright and  
- * permission notice:  
- *
- *       Copyright (C) 2010-2016 Marvell International Ltd.
- *       Copyright (C) 2002-2010 Kinoma, Inc.
- *
- *       Licensed under the Apache License, Version 2.0 (the "License");
- *       you may not use this file except in compliance with the License.
- *       You may obtain a copy of the License at
- *
- *        http://www.apache.org/licenses/LICENSE-2.0
- *
- *       Unless required by applicable law or agreed to in writing, software
- *       distributed under the License is distributed on an "AS IS" BASIS,
- *       WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- *       See the License for the specific language governing permissions and
- *       limitations under the License.
- */
-
-#include "xsAll.h"
-
-enum {
-	XS_NO_JSON_TOKEN,
-	XS_JSON_TOKEN_COLON,
-	XS_JSON_TOKEN_COMMA,
-	XS_JSON_TOKEN_EOF,
-	XS_JSON_TOKEN_FALSE,
-	XS_JSON_TOKEN_INTEGER,
-	XS_JSON_TOKEN_LEFT_BRACE,
-	XS_JSON_TOKEN_LEFT_BRACKET,
-	XS_JSON_TOKEN_NULL,
-	XS_JSON_TOKEN_NUMBER,
-	XS_JSON_TOKEN_RIGHT_BRACE,
-	XS_JSON_TOKEN_RIGHT_BRACKET,
-	XS_JSON_TOKEN_STRING,
-	XS_JSON_TOKEN_TRUE,
-};
-
-typedef struct {
-	txSlot* slot;
-	txSize offset;
-	txInteger integer;
-	txNumber number;
-	txSlot* string;
-	txInteger token;
-	txSlot* keys;
-	txInteger line;
-} txJSONParser;
-
-typedef struct {
-	txString buffer;
-	char indent[64];
-	txInteger indentLength;
-	txInteger level;
-	txSize offset;
-	txSize size;
-	txSlot* replacer;
-	txSlot* keys;
-	txSlot* stack;
-} txJSONStringifier;
-
-static void fxParseJSON(txMachine* the, txJSONParser* theParser);
-static void fxParseJSONArray(txMachine* the, txJSONParser* theParser);
-static void fxParseJSONObject(txMachine* the, txJSONParser* theParser);
-static void fxParseJSONToken(txMachine* the, txJSONParser* theParser);
-static void fxParseJSONValue(txMachine* the, txJSONParser* theParser);
-static void fxReviveJSON(txMachine* the, txSlot* reviver);
-
-static void fxStringifyJSON(txMachine* the, txJSONStringifier* theStringifier);
-static void fxStringifyJSONCharacter(txMachine* the, txJSONStringifier* theStringifier, txInteger character);
-static void fxStringifyJSONChars(txMachine* the, txJSONStringifier* theStringifier, char* s, txSize theSize);
-static void fxStringifyJSONIndent(txMachine* the, txJSONStringifier* theStringifier);
-static void fxStringifyJSONInteger(txMachine* the, txJSONStringifier* theStringifier, txInteger theInteger);
-static void fxStringifyJSONName(txMachine* the, txJSONStringifier* theStringifier, txInteger* theFlag);
-static void fxStringifyJSONNumber(txMachine* the, txJSONStringifier* theStringifier, txNumber theNumber);
-static void fxStringifyJSONProperty(txMachine* the, txJSONStringifier* theStringifier, txInteger* theFlag);
-static void fxStringifyJSONString(txMachine* the, txJSONStringifier* theStringifier, txString theString);
-static void fxStringifyJSONUnicodeEscape(txMachine* the, txJSONStringifier* theStringifier, txInteger character);
-
-static txSlot* fxToJSONKeys(txMachine* the, txSlot* reference);
-
-void fxBuildJSON(txMachine* the)
-{
-	txSlot* slot;
-	mxPush(mxObjectPrototype);
-	slot = fxLastProperty(the, fxNewObjectInstance(the));
-	slot = fxNextHostFunctionProperty(the, slot, mxCallback(fx_JSON_parse), 2, mxID(_parse), XS_DONT_ENUM_FLAG);
-	slot = fxNextHostFunctionProperty(the, slot, mxCallback(fx_JSON_stringify), 3, mxID(_stringify), XS_DONT_ENUM_FLAG);
-	slot = fxNextStringXProperty(the, slot, "JSON", mxID(_Symbol_toStringTag), XS_DONT_ENUM_FLAG | XS_DONT_SET_FLAG);
-	mxPull(mxJSONObject);
-}
-
-void fx_JSON_parse(txMachine* the)
-{
-	volatile txJSONParser aParser = {0};
-
-	if (mxArgc < 1)
-		mxSyntaxError("no buffer");
-	if ((mxArgc > 1) && mxIsReference(mxArgv(1)) && fxIsArray(the, mxArgv(1)->value.reference))
-		aParser.keys = fxToJSONKeys(the, mxArgv(1));
-	fxToString(the, mxArgv(0));
-	aParser.slot = mxArgv(0);
-	aParser.offset = 0;
-	fxParseJSON(the, (txJSONParser*)&aParser);
-	mxPullSlot(mxResult);
-	if (aParser.keys)
-		mxPop();
-	if ((mxArgc > 1) && mxIsReference(mxArgv(1)) && mxIsCallable(mxArgv(1)->value.reference)) {
-		txSlot* instance;
-		txID id;
-		mxPush(mxObjectPrototype);
-		instance = fxNewObjectInstance(the);
-		id = fxID(the, "");
-		mxBehaviorDefineOwnProperty(the, instance, id, 0, mxResult, XS_GET_ONLY);
-		mxPushSlot(mxArgv(1));
-		mxCall();
-		mxPushUndefined();
-		fxKeyAt(the, id, 0, the->stack);
-		mxPushSlot(mxResult);
-		fxReviveJSON(the, mxArgv(1));
-		mxPullSlot(mxResult);
-	}
-}
-
-void fxParseJSON(txMachine* the, txJSONParser* theParser)
-{
-	mxPush(mxEmptyString);
-	theParser->string = the->stack;
-	theParser->line = 1;
-	fxParseJSONToken(the, theParser);
-	fxParseJSONValue(the, theParser);
-	if (theParser->token != XS_JSON_TOKEN_EOF)
-		mxSyntaxError("%ld: missing EOF", theParser->line);
-}
-
-void fxParseJSONArray(txMachine* the, txJSONParser* theParser)
-{
-	txSlot* anArray;
-	txIndex aLength;
-	txSlot* anItem;
-
-	mxCheckCStack();
-	fxParseJSONToken(the, theParser);
-	mxPush(mxArrayPrototype);
-	anArray = fxNewArrayInstance(the);
-	aLength = 0;
-	anItem = fxLastProperty(the, anArray);
-	for (;;) {
-		if (theParser->token == XS_JSON_TOKEN_RIGHT_BRACKET)
-			break;
-		if (aLength) {
-			if (theParser->token == XS_JSON_TOKEN_COMMA)
-				fxParseJSONToken(the, theParser);
-			else
-				mxSyntaxError("%ld: missing ,", theParser->line);	
-		}	
-		fxParseJSONValue(the, theParser);
-		aLength++;
-		anItem->next = fxNewSlot(the);
-		anItem = anItem->next;
-		anItem->kind = the->stack->kind;
-		anItem->value = the->stack->value;
-		mxPop();
-	}
-	anArray->next->value.array.length = aLength;
-	fxCacheArray(the, anArray);
-	fxParseJSONToken(the, theParser);
-}
-
-void fxParseJSONToken(txMachine* the, txJSONParser* theParser)
-{
-	txInteger character;
-	txBoolean escaped;
-	txNumber number;
-	txSize offset;
-	txSize size;
-	txString p, s;
-
-	theParser->integer = 0;
-	theParser->number = 0;
-	theParser->string->value.string = mxEmptyString.value.string;
-	theParser->string->kind = mxEmptyString.kind;
-	theParser->token = XS_NO_JSON_TOKEN;
-	p = theParser->slot->value.string + theParser->offset;
-	while (theParser->token == XS_NO_JSON_TOKEN) {
-		switch (*p) {
-		case 0:
-			theParser->token = XS_JSON_TOKEN_EOF;
-			break;
-		case 10:
-			p++;
-			theParser->line++;
-			break;
-		case 13:
-			p++;
-			theParser->line++;
-			if (*p == 10)
-				p++;
-			break;
-		case '\t':
-		case ' ':
-			p++;
-			break;
-		case '-':
-		case '0':
-		case '1':
-		case '2':
-		case '3':
-		case '4':
-		case '5':
-		case '6':
-		case '7':
-		case '8':
-		case '9':
-			s = p;
-			if (*p == '-')
-				p++;
-			if (('0' <= *p) && (*p <= '9')) {
-				if (*p == '0') {
-					p++;
-				}
-				else {
-					p++;
-					while (('0' <= *p) && (*p <= '9'))
-						p++;
-				}
-				if (*p == '.') {
-					p++;
-					if (('0' <= *p) && (*p <= '9')) {
-						p++;
-						while (('0' <= *p) && (*p <= '9'))
-							p++;
-					}
-					else
-						goto error;
-				}
-				if ((*p == 'e') || (*p == 'E')) {
-					p++;
-					if ((*p == '+') || (*p == '-'))
-						p++;
-					if (('0' <= *p) && (*p <= '9')) {
-						p++;
-						while (('0' <= *p) && (*p <= '9'))
-							p++;
-					}
-					else
-						goto error;
-				}
-			}
-			else
-				goto error;
-			size = mxPtrDiff(p - s);
-			if ((size_t)(size + 1) > sizeof(the->nameBuffer))
-				mxSyntaxError("%ld: number overflow", theParser->line);
-			c_memcpy(the->nameBuffer, s, size);
-			the->nameBuffer[size] = 0;
-			theParser->number = fxStringToNumber(the->dtoa, the->nameBuffer, 0);
-			theParser->integer = (txInteger)theParser->number;
-			number = theParser->integer;
-			if ((theParser->number == number) && (theParser->number != -0))
-				theParser->token = XS_JSON_TOKEN_INTEGER;
-			else
-				theParser->token = XS_JSON_TOKEN_NUMBER;
-			break;
-		case ',':
-			p++;
-			theParser->token = XS_JSON_TOKEN_COMMA;
-			break;	
-		case ':':
-			p++;
-			theParser->token = XS_JSON_TOKEN_COLON;
-			break;	
-		case '[':
-			p++;
-			theParser->token = XS_JSON_TOKEN_LEFT_BRACKET;
-			break;	
-		case ']':
-			p++;
-			theParser->token = XS_JSON_TOKEN_RIGHT_BRACKET;
-			break;	
-		case '{':
-			p++;
-			theParser->token = XS_JSON_TOKEN_LEFT_BRACE;
-			break;	
-		case '}':
-			p++;
-			theParser->token = XS_JSON_TOKEN_RIGHT_BRACE;
-			break;	
-		case '"':
-			p++;
-			escaped = 0;
-			offset = mxPtrDiff(p - theParser->slot->value.string);
-			size = 0;
-			for (;;) {
-				p = mxStringByteDecode(p, &character);
-				if (character < 32) {
-					goto error;
-				}
-				else if (character == '"') {
-					break;
-				}
-				else if (character == '\\') {
-					escaped = 1;
-					switch (*p) {
-					case '"':
-					case '/':
-					case '\\':
-					case 'b':
-					case 'f':
-					case 'n':
-					case 'r':
-					case 't':
-						p++;
-						size++;
-						break;
-					case 'u':
-						p++;
-						if (fxParseUnicodeEscape(&p, &character, 0, '\\'))
-							size += mxStringByteLength(character);
-						else
-							goto error;
-						break;
-					default:
-						goto error;
-					}
-				}
-				else {
-					size += mxStringByteLength(character);
-				}
-			}
-			s = theParser->string->value.string = fxNewChunk(the, size + 1);
-			theParser->string->kind = XS_STRING_KIND;
-			p = theParser->slot->value.string + offset;
-			if (escaped) {
-				for (;;) {
-					if (*p == '"') {
-						p++;
-						*s = 0;
-						break;
-					}
-					else if (*p == '\\') {
-						p++;
-						switch (*p) {
-						case '"':
-						case '/':
-						case '\\':
-							*s++ = *p++;
-							break;
-						case 'b':
-							p++;
-							*s++ = '\b';
-							break;
-						case 'f':
-							p++;
-							*s++ = '\f';
-							break;
-						case 'n':
-							p++;
-							*s++ = '\n';
-							break;
-						case 'r':
-							p++;
-							*s++ = '\r';
-							break;
-						case 't':
-							p++;
-							*s++ = '\t';
-							break;
-						case 'u':
-							p++;
-							fxParseUnicodeEscape(&p, &character, 0, '\\');
-							s = mxStringByteEncode(s, character);
-							break;
-						}
-					}
-					else {
-						*s++ = *p++;
-					}
-				}
-			}
-			else {
-				c_memcpy(s, p, size);
-				p += size + 1;
-				s[size] = 0;
-			}
-			theParser->token = XS_JSON_TOKEN_STRING;
-			break;
-		case 'f':
-			p++;
-			if (*p != 'a') goto error;	
-			p++;
-			if (*p != 'l') goto error;	
-			p++;
-			if (*p != 's') goto error;	
-			p++;
-			if (*p != 'e') goto error;	
-			p++;
-			theParser->token = XS_JSON_TOKEN_FALSE;
-			break;
-		case 'n':
-			p++;
-			if (*p != 'u') goto error;
-			p++;
-			if (*p != 'l') goto error;
-			p++;
-			if (*p != 'l') goto error;
-			p++;
-			theParser->token = XS_JSON_TOKEN_NULL;
-			break;
-		case 't':
-			p++;
-			if (*p != 'r') goto error;
-			p++;
-			if (*p != 'u') goto error;
-			p++;
-			if (*p != 'e') goto error;
-			p++;
-			theParser->token = XS_JSON_TOKEN_TRUE;
-			break;
-		default:
-		error:
-			mxSyntaxError("%ld: invalid character", theParser->line);	
-			break;
-		}
-	}
-	theParser->offset = mxPtrDiff(p - theParser->slot->value.string);
-}
-
-void fxParseJSONObject(txMachine* the, txJSONParser* theParser)
-{
-	txSlot* anObject;
-	txBoolean comma = 0;
-	txSlot* at;
-	txIndex index;
-	txID id;
-	txSlot* aProperty;
-
-	mxCheckCStack();
-	fxParseJSONToken(the, theParser);
-	mxPush(mxObjectPrototype);
-	anObject = fxNewObjectInstance(the);
-	for (;;) {
-		if (theParser->token == XS_JSON_TOKEN_RIGHT_BRACE)
-			break;
-		if (comma) {
-			if (theParser->token == XS_JSON_TOKEN_COMMA)
-				fxParseJSONToken(the, theParser);
-			else
-				mxSyntaxError("%ld: missing ,", theParser->line);	
-		}	
-		if (theParser->token != XS_JSON_TOKEN_STRING)
-			mxSyntaxError("%ld: missing name", theParser->line);
-		mxPushString(theParser->string->value.string);
-		at = the->stack;
-		index = 0;
-		if (theParser->keys) {
-			at->kind = XS_UNDEFINED_KIND;
-			if (fxStringToIndex(the->dtoa, at->value.string, &index))
-				id = 0;
-			else
-				id = fxFindName(the, at->value.string);
-			if (id != XS_NO_ID) {
-				txSlot* item = theParser->keys->value.reference->next;
-				while (item) {
-					if ((item->value.at.id == id) && (item->value.at.index == index)) {
-						at->value.at.id = id;
-						at->value.at.index = index;
-						at->kind = XS_AT_KIND;
-						break;
-					}
-					item = item->next;
-				}
-			}
-		}
-		else {
-			if (fxStringToIndex(the->dtoa, at->value.string, &index))
-				id = 0;
-			else
-				id = fxNewName(the, at);
-			at->value.at.id = id;
-            at->value.at.index = index;
-			at->kind = XS_AT_KIND;
-		}
-		fxParseJSONToken(the, theParser);
-		if (theParser->token != XS_JSON_TOKEN_COLON)
-			mxSyntaxError("%ld: missing :", theParser->line);
-		fxParseJSONToken(the, theParser);
-		fxParseJSONValue(the, theParser);
-		if ((at->kind == XS_AT_KIND) && (the->stack->kind != XS_UNDEFINED_KIND)) {
-			aProperty = mxBehaviorSetProperty(the, anObject, at->value.at.id, at->value.at.index, XS_OWN);
-			aProperty->kind = the->stack->kind;
-			aProperty->value = the->stack->value;
-		}
-		mxPop();
-		mxPop();
-		comma = 1;
-	}
-	fxParseJSONToken(the, theParser);
-}
-
-void fxParseJSONValue(txMachine* the, txJSONParser* theParser)
-{
-	switch (theParser->token) {
-	case XS_JSON_TOKEN_FALSE:
-		mxPushBoolean(0);
-		fxParseJSONToken(the, theParser);
-		break;
-	case XS_JSON_TOKEN_TRUE:
-		mxPushBoolean(1);
-		fxParseJSONToken(the, theParser);
-		break;
-	case XS_JSON_TOKEN_NULL:
-		mxPushNull();
-		fxParseJSONToken(the, theParser);
-		break;
-	case XS_JSON_TOKEN_INTEGER:
-		mxPushInteger(theParser->integer);
-		fxParseJSONToken(the, theParser);
-		break;
-	case XS_JSON_TOKEN_NUMBER:
-		mxPushNumber(theParser->number);
-		fxParseJSONToken(the, theParser);
-		break;
-	case XS_JSON_TOKEN_STRING:
-		mxPushString(theParser->string->value.string);
-		fxParseJSONToken(the, theParser);
-		break;
-	case XS_JSON_TOKEN_LEFT_BRACE:
-		fxParseJSONObject(the, theParser);
-		break;
-	case XS_JSON_TOKEN_LEFT_BRACKET:
-		fxParseJSONArray(the, theParser);
-		break;
-	default:
-		mxPushUndefined();
-		mxSyntaxError("%ld: invalid value", theParser->line);
-		break;
-	}
-}
-
-void fxReviveJSON(txMachine* the, txSlot* reviver)
-{
-	txSlot* reference = the->stack;
-	mxCheckCStack();
-	if (mxIsReference(reference)) {
-		txSlot* instance = reference->value.reference;
-		if (fxIsArray(the, instance)) {
-			txIndex length, index;
-			mxPushSlot(reference);
-			mxGetID(mxID(_length));
-			length = (txIndex)fxToLength(the, the->stack);
-			mxPop();
-			index = 0;
-			while (index < length) {
-				mxPushSlot(reference);
-				mxPushSlot(reviver);
-				mxCall();
-				mxPushUndefined();
-				fxKeyAt(the, 0, index, the->stack);
-				mxPushSlot(reference);
-				mxGetAll(0, index);
-				fxReviveJSON(the, reviver);
-				if (mxIsUndefined(the->stack)) {
-					mxBehaviorDeleteProperty(the, reference->value.reference, 0, index);
-				}
-				else {
-					mxBehaviorDefineOwnProperty(the, reference->value.reference, 0, index, the->stack, XS_GET_ONLY);
-				}
-				mxPop();
-				index++;
-			}
-		}
-		else {
-			txSlot* at = fxNewInstance(the);
-			mxBehaviorOwnKeys(the, instance, XS_EACH_NAME_FLAG, at);
-			while ((at = at->next)) {
-				mxPushSlot(reference);
-				mxPushSlot(reviver);
-                mxCall();
-				mxPushUndefined();
-				fxKeyAt(the, at->value.at.id, at->value.at.index, the->stack);
-				mxPushSlot(reference);
-				mxGetAll(at->value.at.id, at->value.at.index);
-				fxReviveJSON(the, reviver);
-				if (mxIsUndefined(the->stack)) {
-					mxBehaviorDeleteProperty(the, reference->value.reference, at->value.at.id, at->value.at.index);
-				}
-				else {
-					mxBehaviorDefineOwnProperty(the, reference->value.reference, at->value.at.id, at->value.at.index, the->stack, XS_GET_ONLY);
-				}
-				mxPop();
-			}
-			mxPop();
-		}
-	}
-	mxRunCount(2);
-}
-
-void fx_JSON_stringify(txMachine* the)
-{
-	volatile txJSONStringifier aStringifier = {0};
-	mxTry(the) {
-		fxStringifyJSON(the, (txJSONStringifier*)&aStringifier);
-		if (aStringifier.offset) {
-			fxStringifyJSONChars(the, (txJSONStringifier*)&aStringifier, "\0", 1);
-			mxResult->value.string = (txString)fxNewChunk(the, aStringifier.offset);
-			c_memcpy(mxResult->value.string, aStringifier.buffer, aStringifier.offset);
-			mxResult->kind = XS_STRING_KIND;
-		}
-		c_free(aStringifier.buffer);
-	}
-	mxCatch(the) {
-		if (aStringifier.buffer)
-			c_free(aStringifier.buffer);
-		fxJump(the);
-	}
-}
-
-void fxStringifyJSON(txMachine* the, txJSONStringifier* theStringifier)
-{
-	txSlot* aSlot;
-	txInteger aFlag;
-	txSlot* instance;
-	
-	aSlot = fxGetInstance(the, mxThis);
-	theStringifier->offset = 0;
-	theStringifier->size = 1024;
-	theStringifier->buffer = c_malloc(1024);
-	if (!theStringifier->buffer)
-		fxAbort(the, XS_NOT_ENOUGH_MEMORY_EXIT);
-
-	if (mxArgc > 1) {
-		aSlot = mxArgv(1);
-		if (mxIsReference(aSlot)) {
-			if (fxIsCallable(the, aSlot))
-				theStringifier->replacer = mxArgv(1);
-			else if (fxIsArray(the, fxGetInstance(the, aSlot)))
-				theStringifier->keys = fxToJSONKeys(the, aSlot);
-		}
-	}
-	if (mxArgc > 2) {
-		aSlot = mxArgv(2);
-		if (mxIsReference(aSlot)) {
-			txSlot* instance = fxGetInstance(the, aSlot);
-			if (mxIsNumber(instance)) {
-				fxToNumber(the, aSlot);
-			}
-			else if (mxIsString(instance)) {
-				fxToString(the, aSlot);
-			}
-		}
-		if ((aSlot->kind == XS_INTEGER_KIND) || (aSlot->kind == XS_NUMBER_KIND)) {
-			txInteger aCount = fxToInteger(the, aSlot), anIndex;
-			if (aCount < 0)
-				aCount = 0;
-			else if (aCount > 10)
-				aCount = 10;
-			for (anIndex = 0; anIndex < aCount; anIndex++)
-				theStringifier->indent[anIndex] = ' ';
-			theStringifier->indentLength = aCount;
-		}
-		else if (mxIsStringPrimitive(aSlot)) {
-			txInteger aCount = fxUnicodeLength(aSlot->value.string);
-			if (aCount > 10) {
-				aCount = fxUnicodeToUTF8Offset(aSlot->value.string, 10);
-			}
-			else {
-				aCount = (txInteger)c_strlen(aSlot->value.string);
-			}
-			c_memcpy(theStringifier->indent, aSlot->value.string, aCount);
-			theStringifier->indent[aCount] = 0;
-			theStringifier->indentLength = aCount;
-		}
-	}
-
-	theStringifier->stack = the->stack;
-	mxPush(mxObjectPrototype);
-	instance = fxNewObjectInstance(the);
-	aFlag = 0;
-	if (mxArgc > 0)
-		mxPushSlot(mxArgv(0));
-	else
-		mxPushUndefined();
-	fxNextSlotProperty(the, instance, the->stack, mxID(__empty_string_), XS_NO_FLAG);
-	mxPush(mxEmptyString);
-	fxStringifyJSONProperty(the, theStringifier, &aFlag);
-	mxPop();
-}
-
-void fxStringifyJSONCharacter(txMachine* the, txJSONStringifier* theStringifier, txInteger character)
-{
-    txSize size = mxStringByteLength(character);
-	if ((theStringifier->offset + size) >= theStringifier->size) {
-		char* aBuffer;
-		theStringifier->size += ((size / 1024) + 1) * 1024;
-		aBuffer = c_realloc(theStringifier->buffer, theStringifier->size);
-		if (!aBuffer)
-			mxUnknownError("out of memory");
-		theStringifier->buffer = aBuffer;
-	}
-	mxStringByteEncode(theStringifier->buffer + theStringifier->offset, character);
-	theStringifier->offset += size;
-}
-
-void fxStringifyJSONChars(txMachine* the, txJSONStringifier* theStringifier, char* s, txSize theSize)
-{
-    //fprintf(stderr, "%s", s);
-	if ((theStringifier->offset + theSize) >= theStringifier->size) {
-		char* aBuffer;
-		theStringifier->size += ((theSize / 1024) + 1) * 1024;
-		aBuffer = c_realloc(theStringifier->buffer, theStringifier->size);
-		if (!aBuffer)
-			mxUnknownError("out of memory");
-		theStringifier->buffer = aBuffer;
-	}
-	c_memcpy(theStringifier->buffer + theStringifier->offset, s, theSize);
-	theStringifier->offset += theSize;
-}
-
-void fxStringifyJSONIndent(txMachine* the, txJSONStringifier* theStringifier)
-{
-	txInteger aLevel;
-	if (theStringifier->indent[0]) {
-		fxStringifyJSONChars(the, theStringifier, "\n", 1);
-		for (aLevel = 0; aLevel < theStringifier->level; aLevel++)
-			fxStringifyJSONChars(the, theStringifier, theStringifier->indent, theStringifier->indentLength);
-	}
-}
-
-void fxStringifyJSONInteger(txMachine* the, txJSONStringifier* theStringifier, txInteger theInteger)
-{
-	char aBuffer[256];
-	fxIntegerToString(the->dtoa, theInteger, aBuffer, sizeof(aBuffer));
-	fxStringifyJSONChars(the, theStringifier, aBuffer, (txSize)c_strlen(aBuffer));
-}
-
-void fxStringifyJSONName(txMachine* the, txJSONStringifier* theStringifier, txInteger* theFlag)
-{
-	txSlot* aSlot = the->stack;
-	if (*theFlag & 1) {
-		fxStringifyJSONChars(the, theStringifier, ",", 1);
-		fxStringifyJSONIndent(the, theStringifier);
-	}
-	else
-		*theFlag |= 1;
-	if (*theFlag & 2) {
-		if (aSlot->kind == XS_INTEGER_KIND) {
-			fxStringifyJSONChars(the, theStringifier, "\"", 1);
-			fxStringifyJSONInteger(the, theStringifier, aSlot->value.integer);
-			fxStringifyJSONChars(the, theStringifier, "\"", 1);
-		}
-		else
-			fxStringifyJSONString(the, theStringifier, aSlot->value.string);
-		fxStringifyJSONChars(the, theStringifier, ":", 1);
-		if (theStringifier->indent[0])
-			fxStringifyJSONChars(the, theStringifier, " ", 1);
-	}
-	mxPop(); // POP KEY
-}
-
-void fxStringifyJSONNumber(txMachine* the, txJSONStringifier* theStringifier, txNumber theNumber)
-{
-	int fpclass = c_fpclassify(theNumber);
-	if ((fpclass != FP_NAN) && (fpclass != FP_INFINITE)) {
-		char aBuffer[256];
-		fxNumberToString(the->dtoa, theNumber, aBuffer, sizeof(aBuffer), 0, 0);
-		fxStringifyJSONChars(the, theStringifier, aBuffer, (txSize)c_strlen(aBuffer));
-	}
-	else
-		fxStringifyJSONChars(the, theStringifier, "null", 4);
-}
-
-void fxStringifyJSONProperty(txMachine* the, txJSONStringifier* theStringifier, txInteger* theFlag)
-{
-	txSlot* aWrapper = the->stack + 2;
-	txSlot* aValue = the->stack + 1;
-	txSlot* aKey = the->stack;
-	txSlot* anInstance;
-	txSlot* aSlot;
-	txInteger aFlag;
-	txIndex aLength, anIndex;
-	
-	mxCheckCStack();
-	if (mxIsReference(aValue) || mxIsBigInt(aValue)) {
-		/* THIS */
-		mxPushSlot(aValue);
-		/* FUNCTION */
-		mxDub();
-		mxGetID(mxID(_toJSON));
-		if (mxIsReference(the->stack) && mxIsFunction(the->stack->value.reference))  {
-			mxCall();
-			mxPushSlot(aKey);
-			fxToString(the, the->stack);
-			mxRunCount(1);
-			mxPullSlot(aValue);
-		}
-		the->stack = aKey;
-	}
-	if (theStringifier->replacer) {
-		/* THIS */
-		mxPushSlot(aWrapper);
-		/* FUNCTION */
-		mxPushSlot(theStringifier->replacer);
-		mxCall();
-		/* ARGUMENTS */
-		mxPushSlot(aKey);
-		fxToString(the, the->stack);
-		mxPushSlot(aValue);
-		/* COUNT */
-		mxRunCount(2);
-		mxPullSlot(aValue);
-		the->stack = aKey;
-	}
-	if (mxIsReference(aValue)) {
-		mxPushSlot(aValue);
-		anInstance = fxToInstance(the, the->stack);
-		if (anInstance->flag & XS_LEVEL_FLAG)
-			mxTypeError("cyclic value");
-		the->stack = aKey;
-		aSlot = anInstance->next;
-		if (aSlot && (aSlot->flag & XS_INTERNAL_FLAG)) {
-			if ((aSlot->kind == XS_INTEGER_KIND) || (aSlot->kind == XS_NUMBER_KIND)) {
-				fxToNumber(the, aValue);
-			}
-			else if (mxIsStringPrimitive(aSlot)) {
-				fxToString(the, aValue);
-			}
-			else if ((aSlot->kind == XS_BOOLEAN_KIND) || (aSlot->kind == XS_BIGINT_KIND) || (aSlot->kind == XS_BIGINT_X_KIND)) {
-				aValue->kind = aSlot->kind;
-				aValue->value = aSlot->value;
-			}
-		}
-	}
-	if (aValue->kind == XS_NULL_KIND) {
-		fxStringifyJSONName(the, theStringifier, theFlag);
-		fxStringifyJSONChars(the, theStringifier, "null", 4);
-	}
-	else if (aValue->kind == XS_BOOLEAN_KIND) {
-		fxStringifyJSONName(the, theStringifier, theFlag);
-		if (aValue->value.boolean)
-			fxStringifyJSONChars(the, theStringifier, "true", 4);
-		else
-			fxStringifyJSONChars(the, theStringifier, "false", 5);
-	}
-	else if (aValue->kind == XS_INTEGER_KIND) {
-		fxStringifyJSONName(the, theStringifier, theFlag);
-		fxStringifyJSONInteger(the, theStringifier, aValue->value.integer);
-	}
-	else if (aValue->kind == XS_NUMBER_KIND) {
-		fxStringifyJSONName(the, theStringifier, theFlag);
-		fxStringifyJSONNumber(the, theStringifier, aValue->value.number);
-	}
-	else if ((aValue->kind == XS_STRING_KIND) || (aValue->kind == XS_STRING_X_KIND)) {
-		fxStringifyJSONName(the, theStringifier, theFlag);
-		fxStringifyJSONString(the, theStringifier, aValue->value.string);
-	}
-	else if ((aValue->kind == XS_BIGINT_KIND) || (aValue->kind == XS_BIGINT_X_KIND)) {
-		mxTypeError("stringify bigint");
-	}
-	else if ((aValue->kind == XS_REFERENCE_KIND) && !fxIsCallable(the, aValue)) {
-		mxTry(the) {
-			fxStringifyJSONName(the, theStringifier, theFlag);
-			if (anInstance->flag & XS_MARK_FLAG)
-				mxTypeError("read only value");
-			anInstance->flag |= XS_LEVEL_FLAG;
-			if (fxIsArray(the, anInstance)) {
-				fxStringifyJSONChars(the, theStringifier, "[", 1);
-				theStringifier->level++;
-				fxStringifyJSONIndent(the, theStringifier);
-				aFlag = 4;
-				mxPushReference(anInstance);
-				mxGetID(mxID(_length));
-				aLength = fxToInteger(the, the->stack);
-				mxPop();
-				for (anIndex = 0; anIndex < aLength; anIndex++) {
-					mxPushReference(anInstance);
-					mxGetIndex(anIndex);
-					mxPushInteger(anIndex);
-					fxStringifyJSONProperty(the, theStringifier, &aFlag);
-				}
-				theStringifier->level--;
-				fxStringifyJSONIndent(the, theStringifier);
-				fxStringifyJSONChars(the, theStringifier, "]", 1);
-			}
-			else {
-				fxStringifyJSONChars(the, theStringifier, "{", 1);
-				theStringifier->level++;
-				fxStringifyJSONIndent(the, theStringifier);
-				aFlag = 2;
-				{
-					txSlot* at;
-					txSlot* property;
-					if (theStringifier->keys) {
-						mxPushUndefined();
-						at = theStringifier->keys->value.reference;
-					}
-					else {
-						at = fxNewInstance(the);
-						mxBehaviorOwnKeys(the, anInstance, XS_EACH_NAME_FLAG, at);
-					}
-					mxPushUndefined();
-					property = the->stack;
-					mxPushReference(anInstance);
-					while ((at = at->next)) {
-						if (mxBehaviorGetOwnProperty(the, anInstance, at->value.at.id, at->value.at.index, property) && !(property->flag & XS_DONT_ENUM_FLAG)) {
-							mxPushReference(anInstance);
-							mxGetAll(at->value.at.id, at->value.at.index);
-							if (at->value.at.id) {
-								txSlot* key = fxGetKey(the, at->value.at.id);
-								if (mxGetKeySlotKind(key) == XS_KEY_KIND)
-									mxPushString(key->value.key.string);
-								else
-									mxPushStringX(key->value.key.string);
-							}
-							else
-								mxPushInteger((txInteger)at->value.at.index);
-							fxStringifyJSONProperty(the, theStringifier, &aFlag);
-						}
-					}
-					mxPop();
-					mxPop();
-					mxPop();
-				}
-				theStringifier->level--;
-				fxStringifyJSONIndent(the, theStringifier);
-				fxStringifyJSONChars(the, theStringifier, "}", 1);
-			}
-			anInstance->flag &= ~XS_LEVEL_FLAG;
-		}
-		mxCatch(the) {
-			if (anInstance->flag & XS_LEVEL_FLAG)
-				anInstance->flag &= ~XS_LEVEL_FLAG;
-			fxJump(the);
-		}
-	}
-	else {
-		if (*theFlag & 4) {
-			if (*theFlag & 1) {
-				fxStringifyJSONChars(the, theStringifier, ",", 1);
-				fxStringifyJSONIndent(the, theStringifier);
-			}
-			else
-				*theFlag |= 1;
-			fxStringifyJSONChars(the, theStringifier, "null", 4);
-		}
-	}
-	mxPop(); // POP VALUE
-}
-
-void fxStringifyJSONString(txMachine* the, txJSONStringifier* theStringifier, txString theString)
-{
-	fxStringifyJSONChars(the, theStringifier, "\"", 1);
-	for (;;) {
-		txInteger character;	
-		theString = mxStringByteDecode(theString, &character);
-		if (character == C_EOF)
-			break;
-		if (character < 8)
-			fxStringifyJSONUnicodeEscape(the, theStringifier, character);
-		else if (character == 8)
-			fxStringifyJSONChars(the, theStringifier, "\\b", 2); 
-		else if (character == 9)
-			fxStringifyJSONChars(the, theStringifier, "\\t", 2); 
-		else if (character == 10)
-			fxStringifyJSONChars(the, theStringifier, "\\n", 2); 
-		else if (character == 11)
-			fxStringifyJSONUnicodeEscape(the, theStringifier, character); 
-		else if (character == 12)
-			fxStringifyJSONChars(the, theStringifier, "\\f", 2);
-		else if (character == 13)
-			fxStringifyJSONChars(the, theStringifier, "\\r", 2);
-		else if (character < 32)
-			fxStringifyJSONUnicodeEscape(the, theStringifier, character);
-		else if (character < 34)
-			fxStringifyJSONCharacter(the, theStringifier, character);
-		else if (character == 34)
-			fxStringifyJSONChars(the, theStringifier, "\\\"", 2);
-		else if (character < 92)
-			fxStringifyJSONCharacter(the, theStringifier, character);
-		else if (character == 92)
-			fxStringifyJSONChars(the, theStringifier, "\\\\", 2);
-		else if (character < 127)
-			fxStringifyJSONCharacter(the, theStringifier, character);
-		else if ((0xD800 <= character) && (character <= 0xDFFF))
-			fxStringifyJSONUnicodeEscape(the, theStringifier, character);
-		else
-			fxStringifyJSONCharacter(the, theStringifier, character);
-	}
-	fxStringifyJSONChars(the, theStringifier, "\"", 1);
-}
-
-void fxStringifyJSONUnicodeEscape(txMachine* the, txJSONStringifier* theStringifier, txInteger character)
-{
-	char buffer[16];
-	txString p = buffer;
-	*p++ = '\\'; 
-	*p++ = 'u'; 
-	p = fxStringifyUnicodeEscape(p, character, '\\');
-	fxStringifyJSONChars(the, theStringifier, buffer, mxPtrDiff(p - buffer));
-}
-
-txSlot* fxToJSONKeys(txMachine* the, txSlot* reference)
-{
-	txSlot* list = fxNewInstance(the);
-	txSlot* item = list;
-	txSlot* slot;
-	txIndex length, i;
-	mxPushSlot(reference);
-	mxGetID(mxID(_length));
-	length = (txIndex)fxToLength(the, the->stack);
-	mxPop();
-	i = 0;
-	while (i < length) {
-		txBoolean flag = 0;
-		txID id = XS_NO_ID;
-		txIndex index = 0;
-		mxPushSlot(reference);
-		mxGetIndex(i);
-		slot = the->stack;
-	again:
-		if ((slot->kind == XS_STRING_KIND) || (slot->kind == XS_STRING_X_KIND)) {
-			if (fxStringToIndex(the->dtoa, slot->value.string, &index))
-				flag = 1;
-			else {
-				if (slot->kind == XS_STRING_X_KIND)
-					id = fxNewNameX(the, slot->value.string);
-				else
-					id = fxNewName(the, slot);
-				flag = 1;
-			}
-		}
-		else if (slot->kind == XS_INTEGER_KIND) {
-			if (fxIntegerToIndex(the->dtoa, slot->value.integer, &index))
-				flag = 1;
-			else {
-				fxToString(the, slot);
-				goto again;
-			}
-		}
-		else if (slot->kind == XS_NUMBER_KIND){
-			if (fxNumberToIndex(the->dtoa, slot->value.number, &index))
-				flag = 1;
-			else {
-				fxToString(the, slot);
-				goto again;
-			}
-		}
-		else if (slot->kind == XS_REFERENCE_KIND) {
-			txSlot* instance = slot->value.reference;
-			if (mxIsNumber(instance) || mxIsString(instance)) {
-				fxToString(the, slot);
-				goto again;
-			}
-		}
-		if (flag) {
-			txSlot* already = list->next;
-			while (already) {
-				if ((already->value.at.id == id) && (already->value.at.index == index))
-					break;
-				already = already->next;
-			}
-			if (!already) {
-				item = item->next = fxNewSlot(the);
-				item->value.at.id = id;
-				item->value.at.index = index;
-				item->kind = XS_AT_KIND;
-			}
-		}
-		mxPop();
-		i++;
-	}
-	return the->stack;
-}