| // Copyright 2012 the V8 project authors. All rights reserved. |
| // Redistribution and use in source and binary forms, with or without |
| // modification, are permitted provided that the following conditions are |
| // met: |
| // |
| // * Redistributions of source code must retain the above copyright |
| // notice, this list of conditions and the following disclaimer. |
| // * 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. |
| // * Neither the name of Google Inc. nor the names of its |
| // contributors may be used to endorse or promote products derived |
| // from this software without specific prior written permission. |
| // |
| // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
| // "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 THE COPYRIGHT |
| // OWNER 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. |
| |
| // This file relies on the fact that the following declarations have been made |
| // in runtime.js: |
| // var $Object = global.Object; |
| // var $Boolean = global.Boolean; |
| // var $Number = global.Number; |
| // var $Function = global.Function; |
| // var $Array = global.Array; |
| // var $NaN = 0/0; |
| // |
| // in math.js: |
| // var $floor = MathFloor |
| |
| var $isNaN = GlobalIsNaN; |
| var $isFinite = GlobalIsFinite; |
| |
| // ---------------------------------------------------------------------------- |
| |
| // Helper function used to install functions on objects. |
| function InstallFunctions(object, attributes, functions) { |
| if (functions.length >= 8) { |
| %OptimizeObjectForAddingMultipleProperties(object, functions.length >> 1); |
| } |
| for (var i = 0; i < functions.length; i += 2) { |
| var key = functions[i]; |
| var f = functions[i + 1]; |
| %FunctionSetName(f, key); |
| %FunctionRemovePrototype(f); |
| %SetProperty(object, key, f, attributes); |
| %SetNativeFlag(f); |
| } |
| %ToFastProperties(object); |
| } |
| |
| |
| // Helper function to install a getter-only accessor property. |
| function InstallGetter(object, name, getter) { |
| %FunctionSetName(getter, name); |
| %FunctionRemovePrototype(getter); |
| %DefineOrRedefineAccessorProperty(object, name, getter, null, DONT_ENUM); |
| %SetNativeFlag(getter); |
| } |
| |
| |
| // Helper function to install a getter/setter accessor property. |
| function InstallGetterSetter(object, name, getter, setter) { |
| %FunctionSetName(getter, name); |
| %FunctionSetName(setter, name); |
| %FunctionRemovePrototype(getter); |
| %FunctionRemovePrototype(setter); |
| %DefineOrRedefineAccessorProperty(object, name, getter, setter, DONT_ENUM); |
| %SetNativeFlag(getter); |
| %SetNativeFlag(setter); |
| } |
| |
| |
| // Prevents changes to the prototype of a built-in function. |
| // The "prototype" property of the function object is made non-configurable, |
| // and the prototype object is made non-extensible. The latter prevents |
| // changing the __proto__ property. |
| function SetUpLockedPrototype(constructor, fields, methods) { |
| %CheckIsBootstrapping(); |
| var prototype = constructor.prototype; |
| // Install functions first, because this function is used to initialize |
| // PropertyDescriptor itself. |
| var property_count = (methods.length >> 1) + (fields ? fields.length : 0); |
| if (property_count >= 4) { |
| %OptimizeObjectForAddingMultipleProperties(prototype, property_count); |
| } |
| if (fields) { |
| for (var i = 0; i < fields.length; i++) { |
| %SetProperty(prototype, fields[i], void 0, DONT_ENUM | DONT_DELETE); |
| } |
| } |
| for (var i = 0; i < methods.length; i += 2) { |
| var key = methods[i]; |
| var f = methods[i + 1]; |
| %SetProperty(prototype, key, f, DONT_ENUM | DONT_DELETE | READ_ONLY); |
| %SetNativeFlag(f); |
| } |
| %SetPrototype(prototype, null); |
| %ToFastProperties(prototype); |
| } |
| |
| |
| // ---------------------------------------------------------------------------- |
| |
| |
| // ECMA 262 - 15.1.4 |
| function GlobalIsNaN(number) { |
| if (!IS_NUMBER(number)) number = NonNumberToNumber(number); |
| return NUMBER_IS_NAN(number); |
| } |
| |
| |
| // ECMA 262 - 15.1.5 |
| function GlobalIsFinite(number) { |
| if (!IS_NUMBER(number)) number = NonNumberToNumber(number); |
| return NUMBER_IS_FINITE(number); |
| } |
| |
| |
| // ECMA-262 - 15.1.2.2 |
| function GlobalParseInt(string, radix) { |
| if (IS_UNDEFINED(radix) || radix === 10 || radix === 0) { |
| // Some people use parseInt instead of Math.floor. This |
| // optimization makes parseInt on a Smi 12 times faster (60ns |
| // vs 800ns). The following optimization makes parseInt on a |
| // non-Smi number 9 times faster (230ns vs 2070ns). Together |
| // they make parseInt on a string 1.4% slower (274ns vs 270ns). |
| if (%_IsSmi(string)) return string; |
| if (IS_NUMBER(string) && |
| ((0.01 < string && string < 1e9) || |
| (-1e9 < string && string < -0.01))) { |
| // Truncate number. |
| return string | 0; |
| } |
| string = TO_STRING_INLINE(string); |
| radix = radix | 0; |
| } else { |
| // The spec says ToString should be evaluated before ToInt32. |
| string = TO_STRING_INLINE(string); |
| radix = TO_INT32(radix); |
| if (!(radix == 0 || (2 <= radix && radix <= 36))) { |
| return $NaN; |
| } |
| } |
| |
| if (%_HasCachedArrayIndex(string) && |
| (radix == 0 || radix == 10)) { |
| return %_GetCachedArrayIndex(string); |
| } |
| return %StringParseInt(string, radix); |
| } |
| |
| |
| // ECMA-262 - 15.1.2.3 |
| function GlobalParseFloat(string) { |
| string = TO_STRING_INLINE(string); |
| if (%_HasCachedArrayIndex(string)) return %_GetCachedArrayIndex(string); |
| return %StringParseFloat(string); |
| } |
| |
| |
| function GlobalEval(x) { |
| if (!IS_STRING(x)) return x; |
| |
| var global_receiver = %GlobalReceiver(global); |
| var global_is_detached = (global === global_receiver); |
| |
| // For consistency with JSC we require the global object passed to |
| // eval to be the global object from which 'eval' originated. This |
| // is not mandated by the spec. |
| // We only throw if the global has been detached, since we need the |
| // receiver as this-value for the call. |
| if (global_is_detached) { |
| throw new $EvalError('The "this" value passed to eval must ' + |
| 'be the global object from which eval originated'); |
| } |
| |
| var f = %CompileString(x, false); |
| if (!IS_FUNCTION(f)) return f; |
| |
| return %_CallFunction(global_receiver, f); |
| } |
| |
| |
| // ---------------------------------------------------------------------------- |
| |
| // Set up global object. |
| function SetUpGlobal() { |
| %CheckIsBootstrapping(); |
| |
| // ECMA 262 - 15.1.1.1. |
| %SetProperty(global, "NaN", $NaN, DONT_ENUM | DONT_DELETE | READ_ONLY); |
| |
| // ECMA-262 - 15.1.1.2. |
| %SetProperty(global, "Infinity", 1/0, DONT_ENUM | DONT_DELETE | READ_ONLY); |
| |
| // ECMA-262 - 15.1.1.3. |
| %SetProperty(global, "undefined", void 0, |
| DONT_ENUM | DONT_DELETE | READ_ONLY); |
| |
| // Set up non-enumerable function on the global object. |
| InstallFunctions(global, DONT_ENUM, $Array( |
| "isNaN", GlobalIsNaN, |
| "isFinite", GlobalIsFinite, |
| "parseInt", GlobalParseInt, |
| "parseFloat", GlobalParseFloat, |
| "eval", GlobalEval |
| )); |
| } |
| |
| SetUpGlobal(); |
| |
| |
| // ---------------------------------------------------------------------------- |
| // Object |
| |
| // ECMA-262 - 15.2.4.2 |
| function ObjectToString() { |
| if (IS_UNDEFINED(this) && !IS_UNDETECTABLE(this)) return "[object Undefined]"; |
| if (IS_NULL(this)) return "[object Null]"; |
| return "[object " + %_ClassOf(ToObject(this)) + "]"; |
| } |
| |
| |
| // ECMA-262 - 15.2.4.3 |
| function ObjectToLocaleString() { |
| if (IS_NULL_OR_UNDEFINED(this) && !IS_UNDETECTABLE(this)) { |
| throw MakeTypeError("called_on_null_or_undefined", |
| ["Object.prototype.toLocaleString"]); |
| } |
| return this.toString(); |
| } |
| |
| |
| // ECMA-262 - 15.2.4.4 |
| function ObjectValueOf() { |
| return ToObject(this); |
| } |
| |
| |
| // ECMA-262 - 15.2.4.5 |
| function ObjectHasOwnProperty(V) { |
| if (%IsJSProxy(this)) { |
| // TODO(rossberg): adjust once there is a story for symbols vs proxies. |
| if (IS_SYMBOL(V)) return false; |
| |
| var handler = %GetHandler(this); |
| return CallTrap1(handler, "hasOwn", DerivedHasOwnTrap, ToName(V)); |
| } |
| return %HasLocalProperty(TO_OBJECT_INLINE(this), ToName(V)); |
| } |
| |
| |
| // ECMA-262 - 15.2.4.6 |
| function ObjectIsPrototypeOf(V) { |
| if (IS_NULL_OR_UNDEFINED(this) && !IS_UNDETECTABLE(this)) { |
| throw MakeTypeError("called_on_null_or_undefined", |
| ["Object.prototype.isPrototypeOf"]); |
| } |
| if (!IS_SPEC_OBJECT(V)) return false; |
| return %IsInPrototypeChain(this, V); |
| } |
| |
| |
| // ECMA-262 - 15.2.4.6 |
| function ObjectPropertyIsEnumerable(V) { |
| var P = ToName(V); |
| if (%IsJSProxy(this)) { |
| // TODO(rossberg): adjust once there is a story for symbols vs proxies. |
| if (IS_SYMBOL(V)) return false; |
| |
| var desc = GetOwnProperty(this, P); |
| return IS_UNDEFINED(desc) ? false : desc.isEnumerable(); |
| } |
| return %IsPropertyEnumerable(ToObject(this), P); |
| } |
| |
| |
| // Extensions for providing property getters and setters. |
| function ObjectDefineGetter(name, fun) { |
| var receiver = this; |
| if (receiver == null && !IS_UNDETECTABLE(receiver)) { |
| receiver = %GlobalReceiver(global); |
| } |
| if (!IS_SPEC_FUNCTION(fun)) { |
| throw new $TypeError( |
| 'Object.prototype.__defineGetter__: Expecting function'); |
| } |
| var desc = new PropertyDescriptor(); |
| desc.setGet(fun); |
| desc.setEnumerable(true); |
| desc.setConfigurable(true); |
| DefineOwnProperty(ToObject(receiver), ToName(name), desc, false); |
| } |
| |
| |
| function ObjectLookupGetter(name) { |
| var receiver = this; |
| if (receiver == null && !IS_UNDETECTABLE(receiver)) { |
| receiver = %GlobalReceiver(global); |
| } |
| return %LookupAccessor(ToObject(receiver), ToName(name), GETTER); |
| } |
| |
| |
| function ObjectDefineSetter(name, fun) { |
| var receiver = this; |
| if (receiver == null && !IS_UNDETECTABLE(receiver)) { |
| receiver = %GlobalReceiver(global); |
| } |
| if (!IS_SPEC_FUNCTION(fun)) { |
| throw new $TypeError( |
| 'Object.prototype.__defineSetter__: Expecting function'); |
| } |
| var desc = new PropertyDescriptor(); |
| desc.setSet(fun); |
| desc.setEnumerable(true); |
| desc.setConfigurable(true); |
| DefineOwnProperty(ToObject(receiver), ToName(name), desc, false); |
| } |
| |
| |
| function ObjectLookupSetter(name) { |
| var receiver = this; |
| if (receiver == null && !IS_UNDETECTABLE(receiver)) { |
| receiver = %GlobalReceiver(global); |
| } |
| return %LookupAccessor(ToObject(receiver), ToName(name), SETTER); |
| } |
| |
| |
| function ObjectKeys(obj) { |
| if (!IS_SPEC_OBJECT(obj)) { |
| throw MakeTypeError("called_on_non_object", ["Object.keys"]); |
| } |
| if (%IsJSProxy(obj)) { |
| var handler = %GetHandler(obj); |
| var names = CallTrap0(handler, "keys", DerivedKeysTrap); |
| return ToNameArray(names, "keys", false); |
| } |
| return %LocalKeys(obj); |
| } |
| |
| |
| // ES5 8.10.1. |
| function IsAccessorDescriptor(desc) { |
| if (IS_UNDEFINED(desc)) return false; |
| return desc.hasGetter() || desc.hasSetter(); |
| } |
| |
| |
| // ES5 8.10.2. |
| function IsDataDescriptor(desc) { |
| if (IS_UNDEFINED(desc)) return false; |
| return desc.hasValue() || desc.hasWritable(); |
| } |
| |
| |
| // ES5 8.10.3. |
| function IsGenericDescriptor(desc) { |
| if (IS_UNDEFINED(desc)) return false; |
| return !(IsAccessorDescriptor(desc) || IsDataDescriptor(desc)); |
| } |
| |
| |
| function IsInconsistentDescriptor(desc) { |
| return IsAccessorDescriptor(desc) && IsDataDescriptor(desc); |
| } |
| |
| |
| // ES5 8.10.4 |
| function FromPropertyDescriptor(desc) { |
| if (IS_UNDEFINED(desc)) return desc; |
| |
| if (IsDataDescriptor(desc)) { |
| return { value: desc.getValue(), |
| writable: desc.isWritable(), |
| enumerable: desc.isEnumerable(), |
| configurable: desc.isConfigurable() }; |
| } |
| // Must be an AccessorDescriptor then. We never return a generic descriptor. |
| return { get: desc.getGet(), |
| set: desc.getSet() === ObjectSetProto ? ObjectPoisonProto |
| : desc.getSet(), |
| enumerable: desc.isEnumerable(), |
| configurable: desc.isConfigurable() }; |
| } |
| |
| |
| // Harmony Proxies |
| function FromGenericPropertyDescriptor(desc) { |
| if (IS_UNDEFINED(desc)) return desc; |
| var obj = new $Object(); |
| |
| if (desc.hasValue()) { |
| %IgnoreAttributesAndSetProperty(obj, "value", desc.getValue(), NONE); |
| } |
| if (desc.hasWritable()) { |
| %IgnoreAttributesAndSetProperty(obj, "writable", desc.isWritable(), NONE); |
| } |
| if (desc.hasGetter()) { |
| %IgnoreAttributesAndSetProperty(obj, "get", desc.getGet(), NONE); |
| } |
| if (desc.hasSetter()) { |
| %IgnoreAttributesAndSetProperty(obj, "set", desc.getSet(), NONE); |
| } |
| if (desc.hasEnumerable()) { |
| %IgnoreAttributesAndSetProperty(obj, "enumerable", |
| desc.isEnumerable(), NONE); |
| } |
| if (desc.hasConfigurable()) { |
| %IgnoreAttributesAndSetProperty(obj, "configurable", |
| desc.isConfigurable(), NONE); |
| } |
| return obj; |
| } |
| |
| |
| // ES5 8.10.5. |
| function ToPropertyDescriptor(obj) { |
| if (!IS_SPEC_OBJECT(obj)) { |
| throw MakeTypeError("property_desc_object", [obj]); |
| } |
| var desc = new PropertyDescriptor(); |
| |
| if ("enumerable" in obj) { |
| desc.setEnumerable(ToBoolean(obj.enumerable)); |
| } |
| |
| if ("configurable" in obj) { |
| desc.setConfigurable(ToBoolean(obj.configurable)); |
| } |
| |
| if ("value" in obj) { |
| desc.setValue(obj.value); |
| } |
| |
| if ("writable" in obj) { |
| desc.setWritable(ToBoolean(obj.writable)); |
| } |
| |
| if ("get" in obj) { |
| var get = obj.get; |
| if (!IS_UNDEFINED(get) && !IS_SPEC_FUNCTION(get)) { |
| throw MakeTypeError("getter_must_be_callable", [get]); |
| } |
| desc.setGet(get); |
| } |
| |
| if ("set" in obj) { |
| var set = obj.set; |
| if (!IS_UNDEFINED(set) && !IS_SPEC_FUNCTION(set)) { |
| throw MakeTypeError("setter_must_be_callable", [set]); |
| } |
| desc.setSet(set); |
| } |
| |
| if (IsInconsistentDescriptor(desc)) { |
| throw MakeTypeError("value_and_accessor", [obj]); |
| } |
| return desc; |
| } |
| |
| |
| // For Harmony proxies. |
| function ToCompletePropertyDescriptor(obj) { |
| var desc = ToPropertyDescriptor(obj); |
| if (IsGenericDescriptor(desc) || IsDataDescriptor(desc)) { |
| if (!desc.hasValue()) desc.setValue(void 0); |
| if (!desc.hasWritable()) desc.setWritable(false); |
| } else { |
| // Is accessor descriptor. |
| if (!desc.hasGetter()) desc.setGet(void 0); |
| if (!desc.hasSetter()) desc.setSet(void 0); |
| } |
| if (!desc.hasEnumerable()) desc.setEnumerable(false); |
| if (!desc.hasConfigurable()) desc.setConfigurable(false); |
| return desc; |
| } |
| |
| |
| function PropertyDescriptor() { |
| // Initialize here so they are all in-object and have the same map. |
| // Default values from ES5 8.6.1. |
| this.value_ = void 0; |
| this.hasValue_ = false; |
| this.writable_ = false; |
| this.hasWritable_ = false; |
| this.enumerable_ = false; |
| this.hasEnumerable_ = false; |
| this.configurable_ = false; |
| this.hasConfigurable_ = false; |
| this.get_ = void 0; |
| this.hasGetter_ = false; |
| this.set_ = void 0; |
| this.hasSetter_ = false; |
| } |
| |
| SetUpLockedPrototype(PropertyDescriptor, $Array( |
| "value_", |
| "hasValue_", |
| "writable_", |
| "hasWritable_", |
| "enumerable_", |
| "hasEnumerable_", |
| "configurable_", |
| "hasConfigurable_", |
| "get_", |
| "hasGetter_", |
| "set_", |
| "hasSetter_" |
| ), $Array( |
| "toString", function() { |
| return "[object PropertyDescriptor]"; |
| }, |
| "setValue", function(value) { |
| this.value_ = value; |
| this.hasValue_ = true; |
| }, |
| "getValue", function() { |
| return this.value_; |
| }, |
| "hasValue", function() { |
| return this.hasValue_; |
| }, |
| "setEnumerable", function(enumerable) { |
| this.enumerable_ = enumerable; |
| this.hasEnumerable_ = true; |
| }, |
| "isEnumerable", function () { |
| return this.enumerable_; |
| }, |
| "hasEnumerable", function() { |
| return this.hasEnumerable_; |
| }, |
| "setWritable", function(writable) { |
| this.writable_ = writable; |
| this.hasWritable_ = true; |
| }, |
| "isWritable", function() { |
| return this.writable_; |
| }, |
| "hasWritable", function() { |
| return this.hasWritable_; |
| }, |
| "setConfigurable", function(configurable) { |
| this.configurable_ = configurable; |
| this.hasConfigurable_ = true; |
| }, |
| "hasConfigurable", function() { |
| return this.hasConfigurable_; |
| }, |
| "isConfigurable", function() { |
| return this.configurable_; |
| }, |
| "setGet", function(get) { |
| this.get_ = get; |
| this.hasGetter_ = true; |
| }, |
| "getGet", function() { |
| return this.get_; |
| }, |
| "hasGetter", function() { |
| return this.hasGetter_; |
| }, |
| "setSet", function(set) { |
| this.set_ = set; |
| this.hasSetter_ = true; |
| }, |
| "getSet", function() { |
| return this.set_; |
| }, |
| "hasSetter", function() { |
| return this.hasSetter_; |
| })); |
| |
| |
| // Converts an array returned from Runtime_GetOwnProperty to an actual |
| // property descriptor. For a description of the array layout please |
| // see the runtime.cc file. |
| function ConvertDescriptorArrayToDescriptor(desc_array) { |
| if (desc_array === false) { |
| throw 'Internal error: invalid desc_array'; |
| } |
| |
| if (IS_UNDEFINED(desc_array)) { |
| return void 0; |
| } |
| |
| var desc = new PropertyDescriptor(); |
| // This is an accessor. |
| if (desc_array[IS_ACCESSOR_INDEX]) { |
| desc.setGet(desc_array[GETTER_INDEX]); |
| desc.setSet(desc_array[SETTER_INDEX]); |
| } else { |
| desc.setValue(desc_array[VALUE_INDEX]); |
| desc.setWritable(desc_array[WRITABLE_INDEX]); |
| } |
| desc.setEnumerable(desc_array[ENUMERABLE_INDEX]); |
| desc.setConfigurable(desc_array[CONFIGURABLE_INDEX]); |
| |
| return desc; |
| } |
| |
| |
| // For Harmony proxies. |
| function GetTrap(handler, name, defaultTrap) { |
| var trap = handler[name]; |
| if (IS_UNDEFINED(trap)) { |
| if (IS_UNDEFINED(defaultTrap)) { |
| throw MakeTypeError("handler_trap_missing", [handler, name]); |
| } |
| trap = defaultTrap; |
| } else if (!IS_SPEC_FUNCTION(trap)) { |
| throw MakeTypeError("handler_trap_must_be_callable", [handler, name]); |
| } |
| return trap; |
| } |
| |
| |
| function CallTrap0(handler, name, defaultTrap) { |
| return %_CallFunction(handler, GetTrap(handler, name, defaultTrap)); |
| } |
| |
| |
| function CallTrap1(handler, name, defaultTrap, x) { |
| return %_CallFunction(handler, x, GetTrap(handler, name, defaultTrap)); |
| } |
| |
| |
| function CallTrap2(handler, name, defaultTrap, x, y) { |
| return %_CallFunction(handler, x, y, GetTrap(handler, name, defaultTrap)); |
| } |
| |
| |
| // ES5 section 8.12.1. |
| function GetOwnProperty(obj, v) { |
| var p = ToName(v); |
| if (%IsJSProxy(obj)) { |
| // TODO(rossberg): adjust once there is a story for symbols vs proxies. |
| if (IS_SYMBOL(v)) return void 0; |
| |
| var handler = %GetHandler(obj); |
| var descriptor = CallTrap1(handler, "getOwnPropertyDescriptor", void 0, p); |
| if (IS_UNDEFINED(descriptor)) return descriptor; |
| var desc = ToCompletePropertyDescriptor(descriptor); |
| if (!desc.isConfigurable()) { |
| throw MakeTypeError("proxy_prop_not_configurable", |
| [handler, "getOwnPropertyDescriptor", p, descriptor]); |
| } |
| return desc; |
| } |
| |
| // GetOwnProperty returns an array indexed by the constants |
| // defined in macros.py. |
| // If p is not a property on obj undefined is returned. |
| var props = %GetOwnProperty(ToObject(obj), p); |
| |
| // A false value here means that access checks failed. |
| if (props === false) return void 0; |
| |
| return ConvertDescriptorArrayToDescriptor(props); |
| } |
| |
| |
| // ES5 section 8.12.7. |
| function Delete(obj, p, should_throw) { |
| var desc = GetOwnProperty(obj, p); |
| if (IS_UNDEFINED(desc)) return true; |
| if (desc.isConfigurable()) { |
| %DeleteProperty(obj, p, 0); |
| return true; |
| } else if (should_throw) { |
| throw MakeTypeError("define_disallowed", [p]); |
| } else { |
| return; |
| } |
| } |
| |
| |
| // Harmony proxies. |
| function DefineProxyProperty(obj, p, attributes, should_throw) { |
| // TODO(rossberg): adjust once there is a story for symbols vs proxies. |
| if (IS_SYMBOL(p)) return false; |
| |
| var handler = %GetHandler(obj); |
| var result = CallTrap2(handler, "defineProperty", void 0, p, attributes); |
| if (!ToBoolean(result)) { |
| if (should_throw) { |
| throw MakeTypeError("handler_returned_false", |
| [handler, "defineProperty"]); |
| } else { |
| return false; |
| } |
| } |
| return true; |
| } |
| |
| |
| // ES5 8.12.9. |
| function DefineObjectProperty(obj, p, desc, should_throw) { |
| var current_or_access = %GetOwnProperty(ToObject(obj), ToName(p)); |
| // A false value here means that access checks failed. |
| if (current_or_access === false) return void 0; |
| |
| var current = ConvertDescriptorArrayToDescriptor(current_or_access); |
| var extensible = %IsExtensible(ToObject(obj)); |
| |
| // Error handling according to spec. |
| // Step 3 |
| if (IS_UNDEFINED(current) && !extensible) { |
| if (should_throw) { |
| throw MakeTypeError("define_disallowed", [p]); |
| } else { |
| return false; |
| } |
| } |
| |
| if (!IS_UNDEFINED(current)) { |
| // Step 5 and 6 |
| if ((IsGenericDescriptor(desc) || |
| IsDataDescriptor(desc) == IsDataDescriptor(current)) && |
| (!desc.hasEnumerable() || |
| SameValue(desc.isEnumerable(), current.isEnumerable())) && |
| (!desc.hasConfigurable() || |
| SameValue(desc.isConfigurable(), current.isConfigurable())) && |
| (!desc.hasWritable() || |
| SameValue(desc.isWritable(), current.isWritable())) && |
| (!desc.hasValue() || |
| SameValue(desc.getValue(), current.getValue())) && |
| (!desc.hasGetter() || |
| SameValue(desc.getGet(), current.getGet())) && |
| (!desc.hasSetter() || |
| SameValue(desc.getSet(), current.getSet()))) { |
| return true; |
| } |
| if (!current.isConfigurable()) { |
| // Step 7 |
| if (desc.isConfigurable() || |
| (desc.hasEnumerable() && |
| desc.isEnumerable() != current.isEnumerable())) { |
| if (should_throw) { |
| throw MakeTypeError("redefine_disallowed", [p]); |
| } else { |
| return false; |
| } |
| } |
| // Step 8 |
| if (!IsGenericDescriptor(desc)) { |
| // Step 9a |
| if (IsDataDescriptor(current) != IsDataDescriptor(desc)) { |
| if (should_throw) { |
| throw MakeTypeError("redefine_disallowed", [p]); |
| } else { |
| return false; |
| } |
| } |
| // Step 10a |
| if (IsDataDescriptor(current) && IsDataDescriptor(desc)) { |
| if (!current.isWritable() && desc.isWritable()) { |
| if (should_throw) { |
| throw MakeTypeError("redefine_disallowed", [p]); |
| } else { |
| return false; |
| } |
| } |
| if (!current.isWritable() && desc.hasValue() && |
| !SameValue(desc.getValue(), current.getValue())) { |
| if (should_throw) { |
| throw MakeTypeError("redefine_disallowed", [p]); |
| } else { |
| return false; |
| } |
| } |
| } |
| // Step 11 |
| if (IsAccessorDescriptor(desc) && IsAccessorDescriptor(current)) { |
| if (desc.hasSetter() && !SameValue(desc.getSet(), current.getSet())) { |
| if (should_throw) { |
| throw MakeTypeError("redefine_disallowed", [p]); |
| } else { |
| return false; |
| } |
| } |
| if (desc.hasGetter() && !SameValue(desc.getGet(),current.getGet())) { |
| if (should_throw) { |
| throw MakeTypeError("redefine_disallowed", [p]); |
| } else { |
| return false; |
| } |
| } |
| } |
| } |
| } |
| } |
| |
| // Send flags - enumerable and configurable are common - writable is |
| // only send to the data descriptor. |
| // Take special care if enumerable and configurable is not defined on |
| // desc (we need to preserve the existing values from current). |
| var flag = NONE; |
| if (desc.hasEnumerable()) { |
| flag |= desc.isEnumerable() ? 0 : DONT_ENUM; |
| } else if (!IS_UNDEFINED(current)) { |
| flag |= current.isEnumerable() ? 0 : DONT_ENUM; |
| } else { |
| flag |= DONT_ENUM; |
| } |
| |
| if (desc.hasConfigurable()) { |
| flag |= desc.isConfigurable() ? 0 : DONT_DELETE; |
| } else if (!IS_UNDEFINED(current)) { |
| flag |= current.isConfigurable() ? 0 : DONT_DELETE; |
| } else |
| flag |= DONT_DELETE; |
| |
| if (IsDataDescriptor(desc) || |
| (IsGenericDescriptor(desc) && |
| (IS_UNDEFINED(current) || IsDataDescriptor(current)))) { |
| // There are 3 cases that lead here: |
| // Step 4a - defining a new data property. |
| // Steps 9b & 12 - replacing an existing accessor property with a data |
| // property. |
| // Step 12 - updating an existing data property with a data or generic |
| // descriptor. |
| |
| if (desc.hasWritable()) { |
| flag |= desc.isWritable() ? 0 : READ_ONLY; |
| } else if (!IS_UNDEFINED(current)) { |
| flag |= current.isWritable() ? 0 : READ_ONLY; |
| } else { |
| flag |= READ_ONLY; |
| } |
| |
| var value = void 0; // Default value is undefined. |
| if (desc.hasValue()) { |
| value = desc.getValue(); |
| } else if (!IS_UNDEFINED(current) && IsDataDescriptor(current)) { |
| value = current.getValue(); |
| } |
| |
| %DefineOrRedefineDataProperty(obj, p, value, flag); |
| } else { |
| // There are 3 cases that lead here: |
| // Step 4b - defining a new accessor property. |
| // Steps 9c & 12 - replacing an existing data property with an accessor |
| // property. |
| // Step 12 - updating an existing accessor property with an accessor |
| // descriptor. |
| var getter = desc.hasGetter() ? desc.getGet() : null; |
| var setter = desc.hasSetter() ? desc.getSet() : null; |
| %DefineOrRedefineAccessorProperty(obj, p, getter, setter, flag); |
| } |
| return true; |
| } |
| |
| |
| // ES5 section 15.4.5.1. |
| function DefineArrayProperty(obj, p, desc, should_throw) { |
| // Note that the length of an array is not actually stored as part of the |
| // property, hence we use generated code throughout this function instead of |
| // DefineObjectProperty() to modify its value. |
| |
| // Step 3 - Special handling for length property. |
| if (p === "length") { |
| var length = obj.length; |
| if (!desc.hasValue()) { |
| return DefineObjectProperty(obj, "length", desc, should_throw); |
| } |
| var new_length = ToUint32(desc.getValue()); |
| if (new_length != ToNumber(desc.getValue())) { |
| throw new $RangeError('defineProperty() array length out of range'); |
| } |
| var length_desc = GetOwnProperty(obj, "length"); |
| if (new_length != length && !length_desc.isWritable()) { |
| if (should_throw) { |
| throw MakeTypeError("redefine_disallowed", [p]); |
| } else { |
| return false; |
| } |
| } |
| var threw = false; |
| while (new_length < length--) { |
| if (!Delete(obj, ToString(length), false)) { |
| new_length = length + 1; |
| threw = true; |
| break; |
| } |
| } |
| // Make sure the below call to DefineObjectProperty() doesn't overwrite |
| // any magic "length" property by removing the value. |
| // TODO(mstarzinger): This hack should be removed once we have addressed the |
| // respective TODO in Runtime_DefineOrRedefineDataProperty. |
| // For the time being, we need a hack to prevent Object.observe from |
| // generating two change records. |
| var isObserved = %IsObserved(obj); |
| if (isObserved) %SetIsObserved(obj, false); |
| obj.length = new_length; |
| desc.value_ = void 0; |
| desc.hasValue_ = false; |
| threw = !DefineObjectProperty(obj, "length", desc, should_throw) || threw; |
| if (isObserved) %SetIsObserved(obj, true); |
| if (threw) { |
| if (should_throw) { |
| throw MakeTypeError("redefine_disallowed", [p]); |
| } else { |
| return false; |
| } |
| } |
| if (isObserved) { |
| var new_desc = GetOwnProperty(obj, "length"); |
| var updated = length_desc.value_ !== new_desc.value_; |
| var reconfigured = length_desc.writable_ !== new_desc.writable_ || |
| length_desc.configurable_ !== new_desc.configurable_ || |
| length_desc.enumerable_ !== new_desc.configurable_; |
| if (updated || reconfigured) { |
| NotifyChange(reconfigured ? "reconfigured" : "updated", |
| obj, "length", length_desc.value_); |
| } |
| } |
| return true; |
| } |
| |
| // Step 4 - Special handling for array index. |
| var index = ToUint32(p); |
| if (ToString(index) == p && index != 4294967295) { |
| var length = obj.length; |
| var length_desc = GetOwnProperty(obj, "length"); |
| if ((index >= length && !length_desc.isWritable()) || |
| !DefineObjectProperty(obj, p, desc, true)) { |
| if (should_throw) { |
| throw MakeTypeError("define_disallowed", [p]); |
| } else { |
| return false; |
| } |
| } |
| if (index >= length) { |
| obj.length = index + 1; |
| } |
| return true; |
| } |
| |
| // Step 5 - Fallback to default implementation. |
| return DefineObjectProperty(obj, p, desc, should_throw); |
| } |
| |
| |
| // ES5 section 8.12.9, ES5 section 15.4.5.1 and Harmony proxies. |
| function DefineOwnProperty(obj, p, desc, should_throw) { |
| if (%IsJSProxy(obj)) { |
| // TODO(rossberg): adjust once there is a story for symbols vs proxies. |
| if (IS_SYMBOL(p)) return false; |
| |
| var attributes = FromGenericPropertyDescriptor(desc); |
| return DefineProxyProperty(obj, p, attributes, should_throw); |
| } else if (IS_ARRAY(obj)) { |
| return DefineArrayProperty(obj, p, desc, should_throw); |
| } else { |
| return DefineObjectProperty(obj, p, desc, should_throw); |
| } |
| } |
| |
| |
| // ES5 section 15.2.3.2. |
| function ObjectGetPrototypeOf(obj) { |
| if (!IS_SPEC_OBJECT(obj)) { |
| throw MakeTypeError("called_on_non_object", ["Object.getPrototypeOf"]); |
| } |
| return %GetPrototype(obj); |
| } |
| |
| |
| // ES5 section 15.2.3.3 |
| function ObjectGetOwnPropertyDescriptor(obj, p) { |
| if (!IS_SPEC_OBJECT(obj)) { |
| throw MakeTypeError("called_on_non_object", |
| ["Object.getOwnPropertyDescriptor"]); |
| } |
| var desc = GetOwnProperty(obj, p); |
| return FromPropertyDescriptor(desc); |
| } |
| |
| |
| // For Harmony proxies |
| function ToNameArray(obj, trap, includeSymbols) { |
| if (!IS_SPEC_OBJECT(obj)) { |
| throw MakeTypeError("proxy_non_object_prop_names", [obj, trap]); |
| } |
| var n = ToUint32(obj.length); |
| var array = new $Array(n); |
| var realLength = 0; |
| var names = { __proto__: null }; // TODO(rossberg): use sets once ready. |
| for (var index = 0; index < n; index++) { |
| var s = ToName(obj[index]); |
| // TODO(rossberg): adjust once there is a story for symbols vs proxies. |
| if (IS_SYMBOL(s) && !includeSymbols) continue; |
| if (%HasLocalProperty(names, s)) { |
| throw MakeTypeError("proxy_repeated_prop_name", [obj, trap, s]); |
| } |
| array[index] = s; |
| ++realLength; |
| names[s] = 0; |
| } |
| array.length = realLength; |
| return array; |
| } |
| |
| |
| // ES5 section 15.2.3.4. |
| function ObjectGetOwnPropertyNames(obj) { |
| if (!IS_SPEC_OBJECT(obj)) { |
| throw MakeTypeError("called_on_non_object", ["Object.getOwnPropertyNames"]); |
| } |
| // Special handling for proxies. |
| if (%IsJSProxy(obj)) { |
| var handler = %GetHandler(obj); |
| var names = CallTrap0(handler, "getOwnPropertyNames", void 0); |
| return ToNameArray(names, "getOwnPropertyNames", false); |
| } |
| |
| var nameArrays = new InternalArray(); |
| |
| // Find all the indexed properties. |
| |
| // Get the local element names. |
| var localElementNames = %GetLocalElementNames(obj); |
| for (var i = 0; i < localElementNames.length; ++i) { |
| localElementNames[i] = %_NumberToString(localElementNames[i]); |
| } |
| nameArrays.push(localElementNames); |
| |
| // Get names for indexed interceptor properties. |
| var interceptorInfo = %GetInterceptorInfo(obj); |
| if ((interceptorInfo & 1) != 0) { |
| var indexedInterceptorNames = %GetIndexedInterceptorElementNames(obj); |
| if (!IS_UNDEFINED(indexedInterceptorNames)) { |
| nameArrays.push(indexedInterceptorNames); |
| } |
| } |
| |
| // Find all the named properties. |
| |
| // Get the local property names. |
| nameArrays.push(%GetLocalPropertyNames(obj, false)); |
| |
| // Get names for named interceptor properties if any. |
| if ((interceptorInfo & 2) != 0) { |
| var namedInterceptorNames = %GetNamedInterceptorPropertyNames(obj); |
| if (!IS_UNDEFINED(namedInterceptorNames)) { |
| nameArrays.push(namedInterceptorNames); |
| } |
| } |
| |
| var propertyNames = |
| %Apply(InternalArray.prototype.concat, |
| nameArrays[0], nameArrays, 1, nameArrays.length - 1); |
| |
| // Property names are expected to be unique strings, |
| // but interceptors can interfere with that assumption. |
| if (interceptorInfo != 0) { |
| var propertySet = { __proto__: null }; |
| var j = 0; |
| for (var i = 0; i < propertyNames.length; ++i) { |
| if (IS_SYMBOL(propertyNames[i])) continue; |
| var name = ToString(propertyNames[i]); |
| // We need to check for the exact property value since for intrinsic |
| // properties like toString if(propertySet["toString"]) will always |
| // succeed. |
| if (propertySet[name] === true) { |
| continue; |
| } |
| propertySet[name] = true; |
| propertyNames[j++] = name; |
| } |
| propertyNames.length = j; |
| } |
| |
| return propertyNames; |
| } |
| |
| |
| // ES5 section 15.2.3.5. |
| function ObjectCreate(proto, properties) { |
| if (!IS_SPEC_OBJECT(proto) && proto !== null) { |
| throw MakeTypeError("proto_object_or_null", [proto]); |
| } |
| var obj = { __proto__: proto }; |
| if (!IS_UNDEFINED(properties)) ObjectDefineProperties(obj, properties); |
| return obj; |
| } |
| |
| |
| // ES5 section 15.2.3.6. |
| function ObjectDefineProperty(obj, p, attributes) { |
| if (!IS_SPEC_OBJECT(obj)) { |
| throw MakeTypeError("called_on_non_object", ["Object.defineProperty"]); |
| } |
| var name = ToName(p); |
| if (%IsJSProxy(obj)) { |
| // Clone the attributes object for protection. |
| // TODO(rossberg): not spec'ed yet, so not sure if this should involve |
| // non-own properties as it does (or non-enumerable ones, as it doesn't?). |
| var attributesClone = { __proto__: null }; |
| for (var a in attributes) { |
| attributesClone[a] = attributes[a]; |
| } |
| DefineProxyProperty(obj, name, attributesClone, true); |
| // The following would implement the spec as in the current proposal, |
| // but after recent comments on es-discuss, is most likely obsolete. |
| /* |
| var defineObj = FromGenericPropertyDescriptor(desc); |
| var names = ObjectGetOwnPropertyNames(attributes); |
| var standardNames = |
| {value: 0, writable: 0, get: 0, set: 0, enumerable: 0, configurable: 0}; |
| for (var i = 0; i < names.length; i++) { |
| var N = names[i]; |
| if (!(%HasLocalProperty(standardNames, N))) { |
| var attr = GetOwnProperty(attributes, N); |
| DefineOwnProperty(descObj, N, attr, true); |
| } |
| } |
| // This is really confusing the types, but it is what the proxies spec |
| // currently requires: |
| desc = descObj; |
| */ |
| } else { |
| var desc = ToPropertyDescriptor(attributes); |
| DefineOwnProperty(obj, name, desc, true); |
| } |
| return obj; |
| } |
| |
| |
| function GetOwnEnumerablePropertyNames(properties) { |
| var names = new InternalArray(); |
| for (var key in properties) { |
| if (%HasLocalProperty(properties, key)) { |
| names.push(key); |
| } |
| } |
| return names; |
| } |
| |
| |
| // ES5 section 15.2.3.7. |
| function ObjectDefineProperties(obj, properties) { |
| if (!IS_SPEC_OBJECT(obj)) { |
| throw MakeTypeError("called_on_non_object", ["Object.defineProperties"]); |
| } |
| var props = ToObject(properties); |
| var names = GetOwnEnumerablePropertyNames(props); |
| var descriptors = new InternalArray(); |
| for (var i = 0; i < names.length; i++) { |
| descriptors.push(ToPropertyDescriptor(props[names[i]])); |
| } |
| for (var i = 0; i < names.length; i++) { |
| DefineOwnProperty(obj, names[i], descriptors[i], true); |
| } |
| return obj; |
| } |
| |
| |
| // Harmony proxies. |
| function ProxyFix(obj) { |
| var handler = %GetHandler(obj); |
| var props = CallTrap0(handler, "fix", void 0); |
| if (IS_UNDEFINED(props)) { |
| throw MakeTypeError("handler_returned_undefined", [handler, "fix"]); |
| } |
| |
| if (%IsJSFunctionProxy(obj)) { |
| var callTrap = %GetCallTrap(obj); |
| var constructTrap = %GetConstructTrap(obj); |
| var code = DelegateCallAndConstruct(callTrap, constructTrap); |
| %Fix(obj); // becomes a regular function |
| %SetCode(obj, code); |
| // TODO(rossberg): What about length and other properties? Not specified. |
| // We just put in some half-reasonable defaults for now. |
| var prototype = new $Object(); |
| $Object.defineProperty(prototype, "constructor", |
| {value: obj, writable: true, enumerable: false, configurable: true}); |
| // TODO(v8:1530): defineProperty does not handle prototype and length. |
| %FunctionSetPrototype(obj, prototype); |
| obj.length = 0; |
| } else { |
| %Fix(obj); |
| } |
| ObjectDefineProperties(obj, props); |
| } |
| |
| |
| // ES5 section 15.2.3.8. |
| function ObjectSeal(obj) { |
| if (!IS_SPEC_OBJECT(obj)) { |
| throw MakeTypeError("called_on_non_object", ["Object.seal"]); |
| } |
| if (%IsJSProxy(obj)) { |
| ProxyFix(obj); |
| } |
| var names = ObjectGetOwnPropertyNames(obj); |
| for (var i = 0; i < names.length; i++) { |
| var name = names[i]; |
| var desc = GetOwnProperty(obj, name); |
| if (desc.isConfigurable()) { |
| desc.setConfigurable(false); |
| DefineOwnProperty(obj, name, desc, true); |
| } |
| } |
| %PreventExtensions(obj); |
| return obj; |
| } |
| |
| |
| // ES5 section 15.2.3.9. |
| function ObjectFreeze(obj) { |
| if (!IS_SPEC_OBJECT(obj)) { |
| throw MakeTypeError("called_on_non_object", ["Object.freeze"]); |
| } |
| if (%IsJSProxy(obj)) { |
| ProxyFix(obj); |
| } |
| var names = ObjectGetOwnPropertyNames(obj); |
| for (var i = 0; i < names.length; i++) { |
| var name = names[i]; |
| var desc = GetOwnProperty(obj, name); |
| if (desc.isWritable() || desc.isConfigurable()) { |
| if (IsDataDescriptor(desc)) desc.setWritable(false); |
| desc.setConfigurable(false); |
| DefineOwnProperty(obj, name, desc, true); |
| } |
| } |
| %PreventExtensions(obj); |
| return obj; |
| } |
| |
| |
| // ES5 section 15.2.3.10 |
| function ObjectPreventExtension(obj) { |
| if (!IS_SPEC_OBJECT(obj)) { |
| throw MakeTypeError("called_on_non_object", ["Object.preventExtension"]); |
| } |
| if (%IsJSProxy(obj)) { |
| ProxyFix(obj); |
| } |
| %PreventExtensions(obj); |
| return obj; |
| } |
| |
| |
| // ES5 section 15.2.3.11 |
| function ObjectIsSealed(obj) { |
| if (!IS_SPEC_OBJECT(obj)) { |
| throw MakeTypeError("called_on_non_object", ["Object.isSealed"]); |
| } |
| if (%IsJSProxy(obj)) { |
| return false; |
| } |
| if (%IsExtensible(obj)) { |
| return false; |
| } |
| var names = ObjectGetOwnPropertyNames(obj); |
| for (var i = 0; i < names.length; i++) { |
| var name = names[i]; |
| var desc = GetOwnProperty(obj, name); |
| if (desc.isConfigurable()) return false; |
| } |
| return true; |
| } |
| |
| |
| // ES5 section 15.2.3.12 |
| function ObjectIsFrozen(obj) { |
| if (!IS_SPEC_OBJECT(obj)) { |
| throw MakeTypeError("called_on_non_object", ["Object.isFrozen"]); |
| } |
| if (%IsJSProxy(obj)) { |
| return false; |
| } |
| if (%IsExtensible(obj)) { |
| return false; |
| } |
| var names = ObjectGetOwnPropertyNames(obj); |
| for (var i = 0; i < names.length; i++) { |
| var name = names[i]; |
| var desc = GetOwnProperty(obj, name); |
| if (IsDataDescriptor(desc) && desc.isWritable()) return false; |
| if (desc.isConfigurable()) return false; |
| } |
| return true; |
| } |
| |
| |
| // ES5 section 15.2.3.13 |
| function ObjectIsExtensible(obj) { |
| if (!IS_SPEC_OBJECT(obj)) { |
| throw MakeTypeError("called_on_non_object", ["Object.isExtensible"]); |
| } |
| if (%IsJSProxy(obj)) { |
| return true; |
| } |
| return %IsExtensible(obj); |
| } |
| |
| |
| // Harmony egal. |
| function ObjectIs(obj1, obj2) { |
| if (obj1 === obj2) { |
| return (obj1 !== 0) || (1 / obj1 === 1 / obj2); |
| } else { |
| return (obj1 !== obj1) && (obj2 !== obj2); |
| } |
| } |
| |
| |
| // Harmony __proto__ getter. |
| function ObjectGetProto() { |
| return %GetPrototype(this); |
| } |
| |
| |
| // Harmony __proto__ setter. |
| function ObjectSetProto(obj) { |
| return %SetPrototype(this, obj); |
| } |
| |
| |
| // Harmony __proto__ poison pill. |
| function ObjectPoisonProto(obj) { |
| throw MakeTypeError("proto_poison_pill", []); |
| } |
| |
| |
| function ObjectConstructor(x) { |
| if (%_IsConstructCall()) { |
| if (x == null) return this; |
| return ToObject(x); |
| } else { |
| if (x == null) return { }; |
| return ToObject(x); |
| } |
| } |
| |
| |
| // ---------------------------------------------------------------------------- |
| // Object |
| |
| function SetUpObject() { |
| %CheckIsBootstrapping(); |
| |
| %SetCode($Object, ObjectConstructor); |
| %FunctionSetName(ObjectPoisonProto, "__proto__"); |
| %FunctionRemovePrototype(ObjectPoisonProto); |
| %SetExpectedNumberOfProperties($Object, 4); |
| |
| %SetProperty($Object.prototype, "constructor", $Object, DONT_ENUM); |
| |
| // Set up non-enumerable functions on the Object.prototype object. |
| InstallFunctions($Object.prototype, DONT_ENUM, $Array( |
| "toString", ObjectToString, |
| "toLocaleString", ObjectToLocaleString, |
| "valueOf", ObjectValueOf, |
| "hasOwnProperty", ObjectHasOwnProperty, |
| "isPrototypeOf", ObjectIsPrototypeOf, |
| "propertyIsEnumerable", ObjectPropertyIsEnumerable, |
| "__defineGetter__", ObjectDefineGetter, |
| "__lookupGetter__", ObjectLookupGetter, |
| "__defineSetter__", ObjectDefineSetter, |
| "__lookupSetter__", ObjectLookupSetter |
| )); |
| InstallGetterSetter($Object.prototype, "__proto__", |
| ObjectGetProto, ObjectSetProto); |
| |
| // Set up non-enumerable functions in the Object object. |
| InstallFunctions($Object, DONT_ENUM, $Array( |
| "keys", ObjectKeys, |
| "create", ObjectCreate, |
| "defineProperty", ObjectDefineProperty, |
| "defineProperties", ObjectDefineProperties, |
| "freeze", ObjectFreeze, |
| "getPrototypeOf", ObjectGetPrototypeOf, |
| "getOwnPropertyDescriptor", ObjectGetOwnPropertyDescriptor, |
| "getOwnPropertyNames", ObjectGetOwnPropertyNames, |
| "is", ObjectIs, |
| "isExtensible", ObjectIsExtensible, |
| "isFrozen", ObjectIsFrozen, |
| "isSealed", ObjectIsSealed, |
| "preventExtensions", ObjectPreventExtension, |
| "seal", ObjectSeal |
| )); |
| } |
| |
| SetUpObject(); |
| |
| |
| // ---------------------------------------------------------------------------- |
| // Boolean |
| |
| function BooleanConstructor(x) { |
| if (%_IsConstructCall()) { |
| %_SetValueOf(this, ToBoolean(x)); |
| } else { |
| return ToBoolean(x); |
| } |
| } |
| |
| |
| function BooleanToString() { |
| // NOTE: Both Boolean objects and values can enter here as |
| // 'this'. This is not as dictated by ECMA-262. |
| var b = this; |
| if (!IS_BOOLEAN(b)) { |
| if (!IS_BOOLEAN_WRAPPER(b)) { |
| throw new $TypeError('Boolean.prototype.toString is not generic'); |
| } |
| b = %_ValueOf(b); |
| } |
| return b ? 'true' : 'false'; |
| } |
| |
| |
| function BooleanValueOf() { |
| // NOTE: Both Boolean objects and values can enter here as |
| // 'this'. This is not as dictated by ECMA-262. |
| if (!IS_BOOLEAN(this) && !IS_BOOLEAN_WRAPPER(this)) { |
| throw new $TypeError('Boolean.prototype.valueOf is not generic'); |
| } |
| return %_ValueOf(this); |
| } |
| |
| |
| // ---------------------------------------------------------------------------- |
| |
| function SetUpBoolean () { |
| %CheckIsBootstrapping(); |
| |
| %SetCode($Boolean, BooleanConstructor); |
| %FunctionSetPrototype($Boolean, new $Boolean(false)); |
| %SetProperty($Boolean.prototype, "constructor", $Boolean, DONT_ENUM); |
| |
| InstallFunctions($Boolean.prototype, DONT_ENUM, $Array( |
| "toString", BooleanToString, |
| "valueOf", BooleanValueOf |
| )); |
| } |
| |
| SetUpBoolean(); |
| |
| |
| // ---------------------------------------------------------------------------- |
| // Number |
| |
| function NumberConstructor(x) { |
| var value = %_ArgumentsLength() == 0 ? 0 : ToNumber(x); |
| if (%_IsConstructCall()) { |
| %_SetValueOf(this, value); |
| } else { |
| return value; |
| } |
| } |
| |
| |
| // ECMA-262 section 15.7.4.2. |
| function NumberToString(radix) { |
| // NOTE: Both Number objects and values can enter here as |
| // 'this'. This is not as dictated by ECMA-262. |
| var number = this; |
| if (!IS_NUMBER(this)) { |
| if (!IS_NUMBER_WRAPPER(this)) { |
| throw new $TypeError('Number.prototype.toString is not generic'); |
| } |
| // Get the value of this number in case it's an object. |
| number = %_ValueOf(this); |
| } |
| // Fast case: Convert number in radix 10. |
| if (IS_UNDEFINED(radix) || radix === 10) { |
| return %_NumberToString(number); |
| } |
| |
| // Convert the radix to an integer and check the range. |
| radix = TO_INTEGER(radix); |
| if (radix < 2 || radix > 36) { |
| throw new $RangeError('toString() radix argument must be between 2 and 36'); |
| } |
| // Convert the number to a string in the given radix. |
| return %NumberToRadixString(number, radix); |
| } |
| |
| |
| // ECMA-262 section 15.7.4.3 |
| function NumberToLocaleString() { |
| return %_CallFunction(this, NumberToString); |
| } |
| |
| |
| // ECMA-262 section 15.7.4.4 |
| function NumberValueOf() { |
| // NOTE: Both Number objects and values can enter here as |
| // 'this'. This is not as dictated by ECMA-262. |
| if (!IS_NUMBER(this) && !IS_NUMBER_WRAPPER(this)) { |
| throw new $TypeError('Number.prototype.valueOf is not generic'); |
| } |
| return %_ValueOf(this); |
| } |
| |
| |
| // ECMA-262 section 15.7.4.5 |
| function NumberToFixed(fractionDigits) { |
| var x = this; |
| if (!IS_NUMBER(this)) { |
| if (!IS_NUMBER_WRAPPER(this)) { |
| throw MakeTypeError("incompatible_method_receiver", |
| ["Number.prototype.toFixed", this]); |
| } |
| // Get the value of this number in case it's an object. |
| x = %_ValueOf(this); |
| } |
| var f = TO_INTEGER(fractionDigits); |
| |
| if (f < 0 || f > 20) { |
| throw new $RangeError("toFixed() digits argument must be between 0 and 20"); |
| } |
| |
| if (NUMBER_IS_NAN(x)) return "NaN"; |
| if (x == 1/0) return "Infinity"; |
| if (x == -1/0) return "-Infinity"; |
| |
| return %NumberToFixed(x, f); |
| } |
| |
| |
| // ECMA-262 section 15.7.4.6 |
| function NumberToExponential(fractionDigits) { |
| var x = this; |
| if (!IS_NUMBER(this)) { |
| if (!IS_NUMBER_WRAPPER(this)) { |
| throw MakeTypeError("incompatible_method_receiver", |
| ["Number.prototype.toExponential", this]); |
| } |
| // Get the value of this number in case it's an object. |
| x = %_ValueOf(this); |
| } |
| var f = IS_UNDEFINED(fractionDigits) ? void 0 : TO_INTEGER(fractionDigits); |
| |
| if (NUMBER_IS_NAN(x)) return "NaN"; |
| if (x == 1/0) return "Infinity"; |
| if (x == -1/0) return "-Infinity"; |
| |
| if (IS_UNDEFINED(f)) { |
| f = -1; // Signal for runtime function that f is not defined. |
| } else if (f < 0 || f > 20) { |
| throw new $RangeError("toExponential() argument must be between 0 and 20"); |
| } |
| return %NumberToExponential(x, f); |
| } |
| |
| |
| // ECMA-262 section 15.7.4.7 |
| function NumberToPrecision(precision) { |
| var x = this; |
| if (!IS_NUMBER(this)) { |
| if (!IS_NUMBER_WRAPPER(this)) { |
| throw MakeTypeError("incompatible_method_receiver", |
| ["Number.prototype.toPrecision", this]); |
| } |
| // Get the value of this number in case it's an object. |
| x = %_ValueOf(this); |
| } |
| if (IS_UNDEFINED(precision)) return ToString(%_ValueOf(this)); |
| var p = TO_INTEGER(precision); |
| |
| if (NUMBER_IS_NAN(x)) return "NaN"; |
| if (x == 1/0) return "Infinity"; |
| if (x == -1/0) return "-Infinity"; |
| |
| if (p < 1 || p > 21) { |
| throw new $RangeError("toPrecision() argument must be between 1 and 21"); |
| } |
| return %NumberToPrecision(x, p); |
| } |
| |
| |
| // Harmony isFinite. |
| function NumberIsFinite(number) { |
| return IS_NUMBER(number) && NUMBER_IS_FINITE(number); |
| } |
| |
| |
| // Harmony isNaN. |
| function NumberIsNaN(number) { |
| return IS_NUMBER(number) && NUMBER_IS_NAN(number); |
| } |
| |
| |
| // ---------------------------------------------------------------------------- |
| |
| function SetUpNumber() { |
| %CheckIsBootstrapping(); |
| |
| %SetCode($Number, NumberConstructor); |
| %FunctionSetPrototype($Number, new $Number(0)); |
| |
| %OptimizeObjectForAddingMultipleProperties($Number.prototype, 8); |
| // Set up the constructor property on the Number prototype object. |
| %SetProperty($Number.prototype, "constructor", $Number, DONT_ENUM); |
| |
| %OptimizeObjectForAddingMultipleProperties($Number, 5); |
| // ECMA-262 section 15.7.3.1. |
| %SetProperty($Number, |
| "MAX_VALUE", |
| 1.7976931348623157e+308, |
| DONT_ENUM | DONT_DELETE | READ_ONLY); |
| |
| // ECMA-262 section 15.7.3.2. |
| %SetProperty($Number, "MIN_VALUE", 5e-324, |
| DONT_ENUM | DONT_DELETE | READ_ONLY); |
| |
| // ECMA-262 section 15.7.3.3. |
| %SetProperty($Number, "NaN", $NaN, DONT_ENUM | DONT_DELETE | READ_ONLY); |
| |
| // ECMA-262 section 15.7.3.4. |
| %SetProperty($Number, |
| "NEGATIVE_INFINITY", |
| -1/0, |
| DONT_ENUM | DONT_DELETE | READ_ONLY); |
| |
| // ECMA-262 section 15.7.3.5. |
| %SetProperty($Number, |
| "POSITIVE_INFINITY", |
| 1/0, |
| DONT_ENUM | DONT_DELETE | READ_ONLY); |
| %ToFastProperties($Number); |
| |
| // Set up non-enumerable functions on the Number prototype object. |
| InstallFunctions($Number.prototype, DONT_ENUM, $Array( |
| "toString", NumberToString, |
| "toLocaleString", NumberToLocaleString, |
| "valueOf", NumberValueOf, |
| "toFixed", NumberToFixed, |
| "toExponential", NumberToExponential, |
| "toPrecision", NumberToPrecision |
| )); |
| InstallFunctions($Number, DONT_ENUM, $Array( |
| "isFinite", NumberIsFinite, |
| "isNaN", NumberIsNaN |
| )); |
| } |
| |
| SetUpNumber(); |
| |
| |
| // ---------------------------------------------------------------------------- |
| // Function |
| |
| function FunctionSourceString(func) { |
| while (%IsJSFunctionProxy(func)) { |
| func = %GetCallTrap(func); |
| } |
| |
| // TODO(wingo): Print source using function* for generators. |
| if (!IS_FUNCTION(func)) { |
| throw new $TypeError('Function.prototype.toString is not generic'); |
| } |
| |
| var source = %FunctionGetSourceCode(func); |
| if (!IS_STRING(source) || %FunctionIsBuiltin(func)) { |
| var name = %FunctionGetName(func); |
| if (name) { |
| // Mimic what KJS does. |
| return 'function ' + name + '() { [native code] }'; |
| } else { |
| return 'function () { [native code] }'; |
| } |
| } |
| |
| var name = %FunctionNameShouldPrintAsAnonymous(func) |
| ? 'anonymous' |
| : %FunctionGetName(func); |
| return 'function ' + name + source; |
| } |
| |
| |
| function FunctionToString() { |
| return FunctionSourceString(this); |
| } |
| |
| |
| // ES5 15.3.4.5 |
| function FunctionBind(this_arg) { // Length is 1. |
| if (!IS_SPEC_FUNCTION(this)) { |
| throw new $TypeError('Bind must be called on a function'); |
| } |
| var boundFunction = function () { |
| // Poison .arguments and .caller, but is otherwise not detectable. |
| "use strict"; |
| // This function must not use any object literals (Object, Array, RegExp), |
| // since the literals-array is being used to store the bound data. |
| if (%_IsConstructCall()) { |
| return %NewObjectFromBound(boundFunction); |
| } |
| var bindings = %BoundFunctionGetBindings(boundFunction); |
| |
| var argc = %_ArgumentsLength(); |
| if (argc == 0) { |
| return %Apply(bindings[0], bindings[1], bindings, 2, bindings.length - 2); |
| } |
| if (bindings.length === 2) { |
| return %Apply(bindings[0], bindings[1], arguments, 0, argc); |
| } |
| var bound_argc = bindings.length - 2; |
| var argv = new InternalArray(bound_argc + argc); |
| for (var i = 0; i < bound_argc; i++) { |
| argv[i] = bindings[i + 2]; |
| } |
| for (var j = 0; j < argc; j++) { |
| argv[i++] = %_Arguments(j); |
| } |
| return %Apply(bindings[0], bindings[1], argv, 0, bound_argc + argc); |
| }; |
| |
| %FunctionRemovePrototype(boundFunction); |
| var new_length = 0; |
| if (%_ClassOf(this) == "Function") { |
| // Function or FunctionProxy. |
| var old_length = this.length; |
| // FunctionProxies might provide a non-UInt32 value. If so, ignore it. |
| if ((typeof old_length === "number") && |
| ((old_length >>> 0) === old_length)) { |
| var argc = %_ArgumentsLength(); |
| if (argc > 0) argc--; // Don't count the thisArg as parameter. |
| new_length = old_length - argc; |
| if (new_length < 0) new_length = 0; |
| } |
| } |
| // This runtime function finds any remaining arguments on the stack, |
| // so we don't pass the arguments object. |
| var result = %FunctionBindArguments(boundFunction, this, |
| this_arg, new_length); |
| |
| // We already have caller and arguments properties on functions, |
| // which are non-configurable. It therefore makes no sence to |
| // try to redefine these as defined by the spec. The spec says |
| // that bind should make these throw a TypeError if get or set |
| // is called and make them non-enumerable and non-configurable. |
| // To be consistent with our normal functions we leave this as it is. |
| // TODO(lrn): Do set these to be thrower. |
| return result; |
| } |
| |
| |
| function NewFunction(arg1) { // length == 1 |
| var n = %_ArgumentsLength(); |
| var p = ''; |
| if (n > 1) { |
| p = new InternalArray(n - 1); |
| for (var i = 0; i < n - 1; i++) p[i] = %_Arguments(i); |
| p = Join(p, n - 1, ',', NonStringToString); |
| // If the formal parameters string include ) - an illegal |
| // character - it may make the combined function expression |
| // compile. We avoid this problem by checking for this early on. |
| if (p.indexOf(')') != -1) throw MakeSyntaxError('paren_in_arg_string',[]); |
| // If the formal parameters include an unbalanced block comment, the |
| // function must be rejected. Since JavaScript does not allow nested |
| // comments we can include a trailing block comment to catch this. |
| p += '\n/' + '**/'; |
| } |
| var body = (n > 0) ? ToString(%_Arguments(n - 1)) : ''; |
| var source = '(function(' + p + ') {\n' + body + '\n})'; |
| |
| // The call to SetNewFunctionAttributes will ensure the prototype |
| // property of the resulting function is enumerable (ECMA262, 15.3.5.2). |
| var global_receiver = %GlobalReceiver(global); |
| var f = %_CallFunction(global_receiver, %CompileString(source, true)); |
| |
| %FunctionMarkNameShouldPrintAsAnonymous(f); |
| return %SetNewFunctionAttributes(f); |
| } |
| |
| |
| // ---------------------------------------------------------------------------- |
| |
| function SetUpFunction() { |
| %CheckIsBootstrapping(); |
| |
| %SetCode($Function, NewFunction); |
| %SetProperty($Function.prototype, "constructor", $Function, DONT_ENUM); |
| |
| InstallFunctions($Function.prototype, DONT_ENUM, $Array( |
| "bind", FunctionBind, |
| "toString", FunctionToString |
| )); |
| } |
| |
| SetUpFunction(); |