diff options
Diffstat (limited to 'JavaScriptCore/runtime/JSONObject.cpp')
| -rw-r--r-- | JavaScriptCore/runtime/JSONObject.cpp | 877 |
1 files changed, 0 insertions, 877 deletions
diff --git a/JavaScriptCore/runtime/JSONObject.cpp b/JavaScriptCore/runtime/JSONObject.cpp deleted file mode 100644 index b5477a1..0000000 --- a/JavaScriptCore/runtime/JSONObject.cpp +++ /dev/null @@ -1,877 +0,0 @@ -/* - * Copyright (C) 2009 Apple Inc. All rights reserved. - * - * Redistribution and use in source and binary forms, with or without - * modification, are permitted provided that the following conditions - * are met: - * 1. Redistributions of source code must retain the above copyright - * notice, this list of conditions and the following disclaimer. - * 2. Redistributions in binary form must reproduce the above copyright - * notice, this list of conditions and the following disclaimer in the - * documentation and/or other materials provided with the distribution. - * - * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY - * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE - * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR - * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR - * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, - * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, - * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR - * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY - * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT - * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE - * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. - */ - -#include "config.h" -#include "JSONObject.h" - -#include "BooleanObject.h" -#include "Error.h" -#include "ExceptionHelpers.h" -#include "JSArray.h" -#include "JSGlobalObject.h" -#include "LiteralParser.h" -#include "Lookup.h" -#include "PropertyNameArray.h" -#include "UStringBuilder.h" -#include "UStringConcatenate.h" -#include <wtf/MathExtras.h> - -namespace JSC { - -ASSERT_CLASS_FITS_IN_CELL(JSONObject); - -static EncodedJSValue JSC_HOST_CALL JSONProtoFuncParse(ExecState*); -static EncodedJSValue JSC_HOST_CALL JSONProtoFuncStringify(ExecState*); - -} - -#include "JSONObject.lut.h" - -namespace JSC { - -JSONObject::JSONObject(JSGlobalObject* globalObject, NonNullPassRefPtr<Structure> structure) - : JSObjectWithGlobalObject(globalObject, structure) -{ -} - -// PropertyNameForFunctionCall objects must be on the stack, since the JSValue that they create is not marked. -class PropertyNameForFunctionCall { -public: - PropertyNameForFunctionCall(const Identifier&); - PropertyNameForFunctionCall(unsigned); - - JSValue value(ExecState*) const; - -private: - const Identifier* m_identifier; - unsigned m_number; - mutable JSValue m_value; -}; - -class Stringifier : public Noncopyable { -public: - Stringifier(ExecState*, JSValue replacer, JSValue space); - ~Stringifier(); - JSValue stringify(JSValue); - - void markAggregate(MarkStack&); - -private: - class Holder { - public: - Holder(JSObject*); - - JSObject* object() const { return m_object; } - - bool appendNextProperty(Stringifier&, UStringBuilder&); - - private: - JSObject* const m_object; - const bool m_isArray; - bool m_isJSArray; - unsigned m_index; - unsigned m_size; - RefPtr<PropertyNameArrayData> m_propertyNames; - }; - - friend class Holder; - - static void appendQuotedString(UStringBuilder&, const UString&); - - JSValue toJSON(JSValue, const PropertyNameForFunctionCall&); - - enum StringifyResult { StringifyFailed, StringifySucceeded, StringifyFailedDueToUndefinedValue }; - StringifyResult appendStringifiedValue(UStringBuilder&, JSValue, JSObject* holder, const PropertyNameForFunctionCall&); - - bool willIndent() const; - void indent(); - void unindent(); - void startNewLine(UStringBuilder&) const; - - Stringifier* const m_nextStringifierToMark; - ExecState* const m_exec; - const JSValue m_replacer; - bool m_usingArrayReplacer; - PropertyNameArray m_arrayReplacerPropertyNames; - CallType m_replacerCallType; - CallData m_replacerCallData; - const UString m_gap; - - HashSet<JSObject*> m_holderCycleDetector; - Vector<Holder, 16> m_holderStack; - UString m_repeatedGap; - UString m_indent; -}; - -// ------------------------------ helper functions -------------------------------- - -static inline JSValue unwrapBoxedPrimitive(ExecState* exec, JSValue value) -{ - if (!value.isObject()) - return value; - JSObject* object = asObject(value); - if (object->inherits(&NumberObject::info)) - return jsNumber(object->toNumber(exec)); - if (object->inherits(&StringObject::info)) - return jsString(exec, object->toString(exec)); - if (object->inherits(&BooleanObject::info)) - return object->toPrimitive(exec); - return value; -} - -static inline UString gap(ExecState* exec, JSValue space) -{ - const unsigned maxGapLength = 10; - space = unwrapBoxedPrimitive(exec, space); - - // If the space value is a number, create a gap string with that number of spaces. - double spaceCount; - if (space.getNumber(spaceCount)) { - int count; - if (spaceCount > maxGapLength) - count = maxGapLength; - else if (!(spaceCount > 0)) - count = 0; - else - count = static_cast<int>(spaceCount); - UChar spaces[maxGapLength]; - for (int i = 0; i < count; ++i) - spaces[i] = ' '; - return UString(spaces, count); - } - - // If the space value is a string, use it as the gap string, otherwise use no gap string. - UString spaces = space.getString(exec); - if (spaces.length() > maxGapLength) { - spaces = spaces.substringSharingImpl(0, maxGapLength); - } - return spaces; -} - -// ------------------------------ PropertyNameForFunctionCall -------------------------------- - -inline PropertyNameForFunctionCall::PropertyNameForFunctionCall(const Identifier& identifier) - : m_identifier(&identifier) -{ -} - -inline PropertyNameForFunctionCall::PropertyNameForFunctionCall(unsigned number) - : m_identifier(0) - , m_number(number) -{ -} - -JSValue PropertyNameForFunctionCall::value(ExecState* exec) const -{ - if (!m_value) { - if (m_identifier) - m_value = jsString(exec, m_identifier->ustring()); - else - m_value = jsNumber(m_number); - } - return m_value; -} - -// ------------------------------ Stringifier -------------------------------- - -Stringifier::Stringifier(ExecState* exec, JSValue replacer, JSValue space) - : m_nextStringifierToMark(exec->globalData().firstStringifierToMark) - , m_exec(exec) - , m_replacer(replacer) - , m_usingArrayReplacer(false) - , m_arrayReplacerPropertyNames(exec) - , m_replacerCallType(CallTypeNone) - , m_gap(gap(exec, space)) -{ - exec->globalData().firstStringifierToMark = this; - - if (!m_replacer.isObject()) - return; - - if (asObject(m_replacer)->inherits(&JSArray::info)) { - m_usingArrayReplacer = true; - JSObject* array = asObject(m_replacer); - unsigned length = array->get(exec, exec->globalData().propertyNames->length).toUInt32(exec); - for (unsigned i = 0; i < length; ++i) { - JSValue name = array->get(exec, i); - if (exec->hadException()) - break; - - UString propertyName; - if (name.getString(exec, propertyName)) { - m_arrayReplacerPropertyNames.add(Identifier(exec, propertyName)); - continue; - } - - double value = 0; - if (name.getNumber(value)) { - m_arrayReplacerPropertyNames.add(Identifier::from(exec, value)); - continue; - } - - if (name.isObject()) { - if (!asObject(name)->inherits(&NumberObject::info) && !asObject(name)->inherits(&StringObject::info)) - continue; - propertyName = name.toString(exec); - if (exec->hadException()) - break; - m_arrayReplacerPropertyNames.add(Identifier(exec, propertyName)); - } - } - return; - } - - m_replacerCallType = asObject(m_replacer)->getCallData(m_replacerCallData); -} - -Stringifier::~Stringifier() -{ - ASSERT(m_exec->globalData().firstStringifierToMark == this); - m_exec->globalData().firstStringifierToMark = m_nextStringifierToMark; -} - -void Stringifier::markAggregate(MarkStack& markStack) -{ - for (Stringifier* stringifier = this; stringifier; stringifier = stringifier->m_nextStringifierToMark) { - size_t size = m_holderStack.size(); - for (size_t i = 0; i < size; ++i) - markStack.append(m_holderStack[i].object()); - } -} - -JSValue Stringifier::stringify(JSValue value) -{ - JSObject* object = constructEmptyObject(m_exec); - if (m_exec->hadException()) - return jsNull(); - - PropertyNameForFunctionCall emptyPropertyName(m_exec->globalData().propertyNames->emptyIdentifier); - object->putDirect(m_exec->globalData().propertyNames->emptyIdentifier, value); - - UStringBuilder result; - if (appendStringifiedValue(result, value, object, emptyPropertyName) != StringifySucceeded) - return jsUndefined(); - if (m_exec->hadException()) - return jsNull(); - - return jsString(m_exec, result.toUString()); -} - -void Stringifier::appendQuotedString(UStringBuilder& builder, const UString& value) -{ - int length = value.length(); - - // String length plus 2 for quote marks plus 8 so we can accomodate a few escaped characters. - builder.reserveCapacity(builder.length() + length + 2 + 8); - - builder.append('"'); - - const UChar* data = value.characters(); - for (int i = 0; i < length; ++i) { - int start = i; - while (i < length && (data[i] > 0x1F && data[i] != '"' && data[i] != '\\')) - ++i; - builder.append(data + start, i - start); - if (i >= length) - break; - switch (data[i]) { - case '\t': - builder.append('\\'); - builder.append('t'); - break; - case '\r': - builder.append('\\'); - builder.append('r'); - break; - case '\n': - builder.append('\\'); - builder.append('n'); - break; - case '\f': - builder.append('\\'); - builder.append('f'); - break; - case '\b': - builder.append('\\'); - builder.append('b'); - break; - case '"': - builder.append('\\'); - builder.append('"'); - break; - case '\\': - builder.append('\\'); - builder.append('\\'); - break; - default: - static const char hexDigits[] = "0123456789abcdef"; - UChar ch = data[i]; - UChar hex[] = { '\\', 'u', hexDigits[(ch >> 12) & 0xF], hexDigits[(ch >> 8) & 0xF], hexDigits[(ch >> 4) & 0xF], hexDigits[ch & 0xF] }; - builder.append(hex, WTF_ARRAY_LENGTH(hex)); - break; - } - } - - builder.append('"'); -} - -inline JSValue Stringifier::toJSON(JSValue value, const PropertyNameForFunctionCall& propertyName) -{ - ASSERT(!m_exec->hadException()); - if (!value.isObject() || !asObject(value)->hasProperty(m_exec, m_exec->globalData().propertyNames->toJSON)) - return value; - - JSValue toJSONFunction = asObject(value)->get(m_exec, m_exec->globalData().propertyNames->toJSON); - if (m_exec->hadException()) - return jsNull(); - - if (!toJSONFunction.isObject()) - return value; - - JSObject* object = asObject(toJSONFunction); - CallData callData; - CallType callType = object->getCallData(callData); - if (callType == CallTypeNone) - return value; - - JSValue list[] = { propertyName.value(m_exec) }; - ArgList args(list, WTF_ARRAY_LENGTH(list)); - return call(m_exec, object, callType, callData, value, args); -} - -Stringifier::StringifyResult Stringifier::appendStringifiedValue(UStringBuilder& builder, JSValue value, JSObject* holder, const PropertyNameForFunctionCall& propertyName) -{ - // Call the toJSON function. - value = toJSON(value, propertyName); - if (m_exec->hadException()) - return StringifyFailed; - - // Call the replacer function. - if (m_replacerCallType != CallTypeNone) { - JSValue list[] = { propertyName.value(m_exec), value }; - ArgList args(list, WTF_ARRAY_LENGTH(list)); - value = call(m_exec, m_replacer, m_replacerCallType, m_replacerCallData, holder, args); - if (m_exec->hadException()) - return StringifyFailed; - } - - if (value.isUndefined() && !holder->inherits(&JSArray::info)) - return StringifyFailedDueToUndefinedValue; - - if (value.isNull()) { - builder.append("null"); - return StringifySucceeded; - } - - value = unwrapBoxedPrimitive(m_exec, value); - - if (m_exec->hadException()) - return StringifyFailed; - - if (value.isBoolean()) { - builder.append(value.getBoolean() ? "true" : "false"); - return StringifySucceeded; - } - - UString stringValue; - if (value.getString(m_exec, stringValue)) { - appendQuotedString(builder, stringValue); - return StringifySucceeded; - } - - double numericValue; - if (value.getNumber(numericValue)) { - if (!isfinite(numericValue)) - builder.append("null"); - else - builder.append(UString::number(numericValue)); - return StringifySucceeded; - } - - if (!value.isObject()) - return StringifyFailed; - - JSObject* object = asObject(value); - - CallData callData; - if (object->getCallData(callData) != CallTypeNone) { - if (holder->inherits(&JSArray::info)) { - builder.append("null"); - return StringifySucceeded; - } - return StringifyFailedDueToUndefinedValue; - } - - // Handle cycle detection, and put the holder on the stack. - if (!m_holderCycleDetector.add(object).second) { - throwError(m_exec, createTypeError(m_exec, "JSON.stringify cannot serialize cyclic structures.")); - return StringifyFailed; - } - bool holderStackWasEmpty = m_holderStack.isEmpty(); - m_holderStack.append(object); - if (!holderStackWasEmpty) - return StringifySucceeded; - - // If this is the outermost call, then loop to handle everything on the holder stack. - TimeoutChecker localTimeoutChecker(m_exec->globalData().timeoutChecker); - localTimeoutChecker.reset(); - unsigned tickCount = localTimeoutChecker.ticksUntilNextCheck(); - do { - while (m_holderStack.last().appendNextProperty(*this, builder)) { - if (m_exec->hadException()) - return StringifyFailed; - if (!--tickCount) { - if (localTimeoutChecker.didTimeOut(m_exec)) { - throwError(m_exec, createInterruptedExecutionException(&m_exec->globalData())); - return StringifyFailed; - } - tickCount = localTimeoutChecker.ticksUntilNextCheck(); - } - } - m_holderCycleDetector.remove(m_holderStack.last().object()); - m_holderStack.removeLast(); - } while (!m_holderStack.isEmpty()); - return StringifySucceeded; -} - -inline bool Stringifier::willIndent() const -{ - return !m_gap.isEmpty(); -} - -inline void Stringifier::indent() -{ - // Use a single shared string, m_repeatedGap, so we don't keep allocating new ones as we indent and unindent. - unsigned newSize = m_indent.length() + m_gap.length(); - if (newSize > m_repeatedGap.length()) - m_repeatedGap = makeUString(m_repeatedGap, m_gap); - ASSERT(newSize <= m_repeatedGap.length()); - m_indent = m_repeatedGap.substringSharingImpl(0, newSize); -} - -inline void Stringifier::unindent() -{ - ASSERT(m_indent.length() >= m_gap.length()); - m_indent = m_repeatedGap.substringSharingImpl(0, m_indent.length() - m_gap.length()); -} - -inline void Stringifier::startNewLine(UStringBuilder& builder) const -{ - if (m_gap.isEmpty()) - return; - builder.append('\n'); - builder.append(m_indent); -} - -inline Stringifier::Holder::Holder(JSObject* object) - : m_object(object) - , m_isArray(object->inherits(&JSArray::info)) - , m_index(0) -{ -} - -bool Stringifier::Holder::appendNextProperty(Stringifier& stringifier, UStringBuilder& builder) -{ - ASSERT(m_index <= m_size); - - ExecState* exec = stringifier.m_exec; - - // First time through, initialize. - if (!m_index) { - if (m_isArray) { - m_isJSArray = isJSArray(&exec->globalData(), m_object); - m_size = m_object->get(exec, exec->globalData().propertyNames->length).toUInt32(exec); - builder.append('['); - } else { - if (stringifier.m_usingArrayReplacer) - m_propertyNames = stringifier.m_arrayReplacerPropertyNames.data(); - else { - PropertyNameArray objectPropertyNames(exec); - m_object->getOwnPropertyNames(exec, objectPropertyNames); - m_propertyNames = objectPropertyNames.releaseData(); - } - m_size = m_propertyNames->propertyNameVector().size(); - builder.append('{'); - } - stringifier.indent(); - } - - // Last time through, finish up and return false. - if (m_index == m_size) { - stringifier.unindent(); - if (m_size && builder[builder.length() - 1] != '{') - stringifier.startNewLine(builder); - builder.append(m_isArray ? ']' : '}'); - return false; - } - - // Handle a single element of the array or object. - unsigned index = m_index++; - unsigned rollBackPoint = 0; - StringifyResult stringifyResult; - if (m_isArray) { - // Get the value. - JSValue value; - if (m_isJSArray && asArray(m_object)->canGetIndex(index)) - value = asArray(m_object)->getIndex(index); - else { - PropertySlot slot(m_object); - if (!m_object->getOwnPropertySlot(exec, index, slot)) - slot.setUndefined(); - if (exec->hadException()) - return false; - value = slot.getValue(exec, index); - } - - // Append the separator string. - if (index) - builder.append(','); - stringifier.startNewLine(builder); - - // Append the stringified value. - stringifyResult = stringifier.appendStringifiedValue(builder, value, m_object, index); - } else { - // Get the value. - PropertySlot slot(m_object); - Identifier& propertyName = m_propertyNames->propertyNameVector()[index]; - if (!m_object->getOwnPropertySlot(exec, propertyName, slot)) - return true; - JSValue value = slot.getValue(exec, propertyName); - if (exec->hadException()) - return false; - - rollBackPoint = builder.length(); - - // Append the separator string. - if (builder[rollBackPoint - 1] != '{') - builder.append(','); - stringifier.startNewLine(builder); - - // Append the property name. - appendQuotedString(builder, propertyName.ustring()); - builder.append(':'); - if (stringifier.willIndent()) - builder.append(' '); - - // Append the stringified value. - stringifyResult = stringifier.appendStringifiedValue(builder, value, m_object, propertyName); - } - - // From this point on, no access to the this pointer or to any members, because the - // Holder object may have moved if the call to stringify pushed a new Holder onto - // m_holderStack. - - switch (stringifyResult) { - case StringifyFailed: - builder.append("null"); - break; - case StringifySucceeded: - break; - case StringifyFailedDueToUndefinedValue: - // This only occurs when get an undefined value for an object property. - // In this case we don't want the separator and property name that we - // already appended, so roll back. - builder.resize(rollBackPoint); - break; - } - - return true; -} - -// ------------------------------ JSONObject -------------------------------- - -const ClassInfo JSONObject::info = { "JSON", 0, 0, ExecState::jsonTable }; - -/* Source for JSONObject.lut.h -@begin jsonTable - parse JSONProtoFuncParse DontEnum|Function 1 - stringify JSONProtoFuncStringify DontEnum|Function 1 -@end -*/ - -// ECMA 15.8 - -bool JSONObject::getOwnPropertySlot(ExecState* exec, const Identifier& propertyName, PropertySlot& slot) -{ - return getStaticFunctionSlot<JSObject>(exec, ExecState::jsonTable(exec), this, propertyName, slot); -} - -bool JSONObject::getOwnPropertyDescriptor(ExecState* exec, const Identifier& propertyName, PropertyDescriptor& descriptor) -{ - return getStaticFunctionDescriptor<JSObject>(exec, ExecState::jsonTable(exec), this, propertyName, descriptor); -} - -void JSONObject::markStringifiers(MarkStack& markStack, Stringifier* stringifier) -{ - stringifier->markAggregate(markStack); -} - -class Walker { -public: - Walker(ExecState* exec, JSObject* function, CallType callType, CallData callData) - : m_exec(exec) - , m_function(function) - , m_callType(callType) - , m_callData(callData) - { - } - JSValue walk(JSValue unfiltered); -private: - JSValue callReviver(JSObject* thisObj, JSValue property, JSValue unfiltered) - { - JSValue args[] = { property, unfiltered }; - ArgList argList(args, 2); - return call(m_exec, m_function, m_callType, m_callData, thisObj, argList); - } - - friend class Holder; - - ExecState* m_exec; - JSObject* m_function; - CallType m_callType; - CallData m_callData; -}; - -// We clamp recursion well beyond anything reasonable, but we also have a timeout check -// to guard against "infinite" execution by inserting arbitrarily large objects. -static const unsigned maximumFilterRecursion = 40000; -enum WalkerState { StateUnknown, ArrayStartState, ArrayStartVisitMember, ArrayEndVisitMember, - ObjectStartState, ObjectStartVisitMember, ObjectEndVisitMember }; -NEVER_INLINE JSValue Walker::walk(JSValue unfiltered) -{ - Vector<PropertyNameArray, 16> propertyStack; - Vector<uint32_t, 16> indexStack; - Vector<JSObject*, 16> objectStack; - Vector<JSArray*, 16> arrayStack; - - Vector<WalkerState, 16> stateStack; - WalkerState state = StateUnknown; - JSValue inValue = unfiltered; - JSValue outValue = jsNull(); - - TimeoutChecker localTimeoutChecker(m_exec->globalData().timeoutChecker); - localTimeoutChecker.reset(); - unsigned tickCount = localTimeoutChecker.ticksUntilNextCheck(); - while (1) { - switch (state) { - arrayStartState: - case ArrayStartState: { - ASSERT(inValue.isObject()); - ASSERT(isJSArray(&m_exec->globalData(), asObject(inValue)) || asObject(inValue)->inherits(&JSArray::info)); - if (objectStack.size() + arrayStack.size() > maximumFilterRecursion) - return throwError(m_exec, createStackOverflowError(m_exec)); - - JSArray* array = asArray(inValue); - arrayStack.append(array); - indexStack.append(0); - // fallthrough - } - arrayStartVisitMember: - case ArrayStartVisitMember: { - if (!--tickCount) { - if (localTimeoutChecker.didTimeOut(m_exec)) - return throwError(m_exec, createInterruptedExecutionException(&m_exec->globalData())); - tickCount = localTimeoutChecker.ticksUntilNextCheck(); - } - - JSArray* array = arrayStack.last(); - uint32_t index = indexStack.last(); - if (index == array->length()) { - outValue = array; - arrayStack.removeLast(); - indexStack.removeLast(); - break; - } - if (isJSArray(&m_exec->globalData(), array) && array->canGetIndex(index)) - inValue = array->getIndex(index); - else { - PropertySlot slot; - if (array->getOwnPropertySlot(m_exec, index, slot)) - inValue = slot.getValue(m_exec, index); - else - inValue = jsUndefined(); - } - - if (inValue.isObject()) { - stateStack.append(ArrayEndVisitMember); - goto stateUnknown; - } else - outValue = inValue; - // fallthrough - } - case ArrayEndVisitMember: { - JSArray* array = arrayStack.last(); - JSValue filteredValue = callReviver(array, jsString(m_exec, UString::number(indexStack.last())), outValue); - if (filteredValue.isUndefined()) - array->deleteProperty(m_exec, indexStack.last()); - else { - if (isJSArray(&m_exec->globalData(), array) && array->canSetIndex(indexStack.last())) - array->setIndex(indexStack.last(), filteredValue); - else - array->put(m_exec, indexStack.last(), filteredValue); - } - if (m_exec->hadException()) - return jsNull(); - indexStack.last()++; - goto arrayStartVisitMember; - } - objectStartState: - case ObjectStartState: { - ASSERT(inValue.isObject()); - ASSERT(!isJSArray(&m_exec->globalData(), asObject(inValue)) && !asObject(inValue)->inherits(&JSArray::info)); - if (objectStack.size() + arrayStack.size() > maximumFilterRecursion) - return throwError(m_exec, createStackOverflowError(m_exec)); - - JSObject* object = asObject(inValue); - objectStack.append(object); - indexStack.append(0); - propertyStack.append(PropertyNameArray(m_exec)); - object->getOwnPropertyNames(m_exec, propertyStack.last()); - // fallthrough - } - objectStartVisitMember: - case ObjectStartVisitMember: { - if (!--tickCount) { - if (localTimeoutChecker.didTimeOut(m_exec)) - return throwError(m_exec, createInterruptedExecutionException(&m_exec->globalData())); - tickCount = localTimeoutChecker.ticksUntilNextCheck(); - } - - JSObject* object = objectStack.last(); - uint32_t index = indexStack.last(); - PropertyNameArray& properties = propertyStack.last(); - if (index == properties.size()) { - outValue = object; - objectStack.removeLast(); - indexStack.removeLast(); - propertyStack.removeLast(); - break; - } - PropertySlot slot; - if (object->getOwnPropertySlot(m_exec, properties[index], slot)) - inValue = slot.getValue(m_exec, properties[index]); - else - inValue = jsUndefined(); - - // The holder may be modified by the reviver function so any lookup may throw - if (m_exec->hadException()) - return jsNull(); - - if (inValue.isObject()) { - stateStack.append(ObjectEndVisitMember); - goto stateUnknown; - } else - outValue = inValue; - // fallthrough - } - case ObjectEndVisitMember: { - JSObject* object = objectStack.last(); - Identifier prop = propertyStack.last()[indexStack.last()]; - PutPropertySlot slot; - JSValue filteredValue = callReviver(object, jsString(m_exec, prop.ustring()), outValue); - if (filteredValue.isUndefined()) - object->deleteProperty(m_exec, prop); - else - object->put(m_exec, prop, filteredValue, slot); - if (m_exec->hadException()) - return jsNull(); - indexStack.last()++; - goto objectStartVisitMember; - } - stateUnknown: - case StateUnknown: - if (!inValue.isObject()) { - outValue = inValue; - break; - } - JSObject* object = asObject(inValue); - if (isJSArray(&m_exec->globalData(), object) || object->inherits(&JSArray::info)) - goto arrayStartState; - goto objectStartState; - } - if (stateStack.isEmpty()) - break; - - state = stateStack.last(); - stateStack.removeLast(); - - if (!--tickCount) { - if (localTimeoutChecker.didTimeOut(m_exec)) - return throwError(m_exec, createInterruptedExecutionException(&m_exec->globalData())); - tickCount = localTimeoutChecker.ticksUntilNextCheck(); - } - } - JSObject* finalHolder = constructEmptyObject(m_exec); - PutPropertySlot slot; - finalHolder->put(m_exec, m_exec->globalData().propertyNames->emptyIdentifier, outValue, slot); - return callReviver(finalHolder, jsEmptyString(m_exec), outValue); -} - -// ECMA-262 v5 15.12.2 -EncodedJSValue JSC_HOST_CALL JSONProtoFuncParse(ExecState* exec) -{ - if (!exec->argumentCount()) - return throwVMError(exec, createError(exec, "JSON.parse requires at least one parameter")); - JSValue value = exec->argument(0); - UString source = value.toString(exec); - if (exec->hadException()) - return JSValue::encode(jsNull()); - - LiteralParser jsonParser(exec, source, LiteralParser::StrictJSON); - JSValue unfiltered = jsonParser.tryLiteralParse(); - if (!unfiltered) - return throwVMError(exec, createSyntaxError(exec, "Unable to parse JSON string")); - - if (exec->argumentCount() < 2) - return JSValue::encode(unfiltered); - - JSValue function = exec->argument(1); - CallData callData; - CallType callType = getCallData(function, callData); - if (callType == CallTypeNone) - return JSValue::encode(unfiltered); - return JSValue::encode(Walker(exec, asObject(function), callType, callData).walk(unfiltered)); -} - -// ECMA-262 v5 15.12.3 -EncodedJSValue JSC_HOST_CALL JSONProtoFuncStringify(ExecState* exec) -{ - if (!exec->argumentCount()) - return throwVMError(exec, createError(exec, "No input to stringify")); - JSValue value = exec->argument(0); - JSValue replacer = exec->argument(1); - JSValue space = exec->argument(2); - return JSValue::encode(Stringifier(exec, replacer, space).stringify(value)); -} - -UString JSONStringify(ExecState* exec, JSValue value, unsigned indent) -{ - JSValue result = Stringifier(exec, jsNull(), jsNumber(indent)).stringify(value); - if (result.isUndefinedOrNull()) - return UString(); - return result.getString(exec); -} - -} // namespace JSC |