diff --git a/spec.html b/spec.html index 0ff6793e9b..ea7e40430b 100644 --- a/spec.html +++ b/spec.html @@ -4448,11 +4448,11 @@

1. Return ? PrivateGet(_baseObj_, _V_.[[ReferencedName]]). 1. If _V_.[[ReferencedName]] is not a property key, then 1. Set _V_.[[ReferencedName]] to ? ToPropertyKey(_V_.[[ReferencedName]]). - 1. Return ? _baseObj_.[[Get]](_V_.[[ReferencedName]], GetThisValue(_V_)). + 1. Return ? _baseObj_.[[Get]](_V_.[[ReferencedName]], GetThisValue(_V_)). 1. Else, 1. Let _base_ be _V_.[[Base]]. 1. Assert: _base_ is an Environment Record. - 1. Return ? _base_.GetBindingValue(_V_.[[ReferencedName]], _V_.[[Strict]]) (see ). + 1. Return ? _base_.GetBindingValue(_V_.[[ReferencedName]], _V_.[[Strict]]) (see ).

The object that may be created in step is not accessible outside of the above abstract operation and the ordinary object [[Get]] internal method. An implementation might choose to avoid the actual creation of the object.

@@ -4481,13 +4481,13 @@

1. Return ? PrivateSet(_baseObj_, _V_.[[ReferencedName]], _W_). 1. If _V_.[[ReferencedName]] is not a property key, then 1. Set _V_.[[ReferencedName]] to ? ToPropertyKey(_V_.[[ReferencedName]]). - 1. Let _succeeded_ be ? _baseObj_.[[Set]](_V_.[[ReferencedName]], _W_, GetThisValue(_V_)). + 1. Let _succeeded_ be ? _baseObj_.[[Set]](_V_.[[ReferencedName]], _W_, GetThisValue(_V_)). 1. If _succeeded_ is *false* and _V_.[[Strict]] is *true*, throw a *TypeError* exception. 1. Return ~unused~. 1. Else, 1. Let _base_ be _V_.[[Base]]. 1. Assert: _base_ is an Environment Record. - 1. Return ? _base_.SetMutableBinding(_V_.[[ReferencedName]], _W_, _V_.[[Strict]]) (see ). + 1. Return ? _base_.SetMutableBinding(_V_.[[ReferencedName]], _W_, _V_.[[Strict]]) (see ).

The object that may be created in step is not accessible outside of the above abstract operation and the ordinary object [[Set]] internal method. An implementation might choose to avoid the actual creation of that object.

@@ -5828,7 +5828,7 @@

It is used to determine whether additional properties can be added to _O_.
- 1. Return ? _O_.[[IsExtensible]](). + 1. Return ? _O_.[[IsExtensible]](). @@ -6131,7 +6131,7 @@

It is used to retrieve the value of a specific property of an object.
- 1. Return ? _O_.[[Get]](_P_, _O_). + 1. Return ? _O_.[[Get]](_P_, _O_). @@ -6148,7 +6148,7 @@

1. Let _O_ be ? ToObject(_V_). - 1. Return ? _O_.[[Get]](_P_, _V_). + 1. Return ? _O_.[[Get]](_P_, _V_). @@ -6166,7 +6166,7 @@

It is used to set the value of a specific property of an object. _V_ is the new value for the property.
- 1. Let _success_ be ? _O_.[[Set]](_P_, _V_, _O_). + 1. Let _success_ be ? _O_.[[Set]](_P_, _V_, _O_). 1. If _success_ is *false* and _Throw_ is *true*, throw a *TypeError* exception. 1. Return ~unused~. @@ -6186,7 +6186,7 @@

1. Let _newDesc_ be the PropertyDescriptor { [[Value]]: _V_, [[Writable]]: *true*, [[Enumerable]]: *true*, [[Configurable]]: *true* }. - 1. Return ? _O_.[[DefineOwnProperty]](_P_, _newDesc_). + 1. Return ? _O_.[[DefineOwnProperty]](_P_, _newDesc_).

This abstract operation creates a property whose attributes are set to the same defaults used for properties created by the ECMAScript language assignment operator. Normally, the property will not already exist. If it does exist and is not configurable or if _O_ is not extensible, [[DefineOwnProperty]] will return *false*.

@@ -6251,7 +6251,7 @@

It is used to call the [[DefineOwnProperty]] internal method of an object in a manner that will throw a *TypeError* exception if the requested property update cannot be performed.
- 1. Let _success_ be ? _O_.[[DefineOwnProperty]](_P_, _desc_). + 1. Let _success_ be ? _O_.[[DefineOwnProperty]](_P_, _desc_). 1. If _success_ is *false*, throw a *TypeError* exception. 1. Return ~unused~. @@ -6269,7 +6269,7 @@

It is used to remove a specific own property of an object. It throws an exception if the property is not configurable.
- 1. Let _success_ be ? _O_.[[Delete]](_P_). + 1. Let _success_ be ? _O_.[[Delete]](_P_). 1. If _success_ is *false*, throw a *TypeError* exception. 1. Return ~unused~. @@ -6306,7 +6306,7 @@

It is used to determine whether an object has a property with the specified property key. The property may be either own or inherited.
- 1. Return ? _O_.[[HasProperty]](_P_). + 1. Return ? _O_.[[HasProperty]](_P_). @@ -6322,7 +6322,7 @@

It is used to determine whether an object has an own property with the specified property key.
- 1. Let _desc_ be ? _O_.[[GetOwnProperty]](_P_). + 1. Let _desc_ be ? _O_.[[GetOwnProperty]](_P_). 1. If _desc_ is *undefined*, return *false*. 1. Return *true*. @@ -6343,7 +6343,7 @@

1. If _argumentsList_ is not present, set _argumentsList_ to a new empty List. 1. If IsCallable(_F_) is *false*, throw a *TypeError* exception. - 1. Return ? _F_.[[Call]](_V_, _argumentsList_). + 1. Return ? _F_.[[Call]](_V_, _argumentsList_). @@ -6362,7 +6362,7 @@

1. If _newTarget_ is not present, set _newTarget_ to _F_. 1. If _argumentsList_ is not present, set _argumentsList_ to a new empty List. - 1. Return ? _F_.[[Construct]](_argumentsList_, _newTarget_). + 1. Return ? _F_.[[Construct]](_argumentsList_, _newTarget_).

If _newTarget_ is not present, this operation is equivalent to: `new F(...argumentsList)`

@@ -6390,7 +6390,7 @@

1. Else, 1. Assert: _level_ is ~frozen~. 1. For each element _k_ of _keys_, do - 1. Let _currentDesc_ be ? _O_.[[GetOwnProperty]](_k_). + 1. Let _currentDesc_ be ? _O_.[[GetOwnProperty]](_k_). 1. If _currentDesc_ is not *undefined*, then 1. If IsAccessorDescriptor(_currentDesc_) is *true*, then 1. Let _desc_ be the PropertyDescriptor { [[Configurable]]: *false* }. @@ -6418,7 +6418,7 @@

1. NOTE: If the object is extensible, none of its properties are examined. 1. Let _keys_ be ? _O_.[[OwnPropertyKeys]](). 1. For each element _k_ of _keys_, do - 1. Let _currentDesc_ be ? _O_.[[GetOwnProperty]](_k_). + 1. Let _currentDesc_ be ? _O_.[[GetOwnProperty]](_k_). 1. If _currentDesc_ is not *undefined*, then 1. If _currentDesc_.[[Configurable]] is *true*, return *false*. 1. If _level_ is ~frozen~ and IsDataDescriptor(_currentDesc_) is *true*, then @@ -6536,7 +6536,7 @@

1. Let _P_ be ? Get(_C_, *"prototype"*). 1. If _P_ is not an Object, throw a *TypeError* exception. 1. Repeat, - 1. Set _O_ to ? _O_.[[GetPrototypeOf]](). + 1. Set _O_ to ? _O_.[[GetPrototypeOf]](). 1. If _O_ is *null*, return *false*. 1. If SameValue(_P_, _O_) is *true*, return *true*. @@ -6574,11 +6574,11 @@

- 1. Let _ownKeys_ be ? _O_.[[OwnPropertyKeys]](). + 1. Let _ownKeys_ be ? _O_.[[OwnPropertyKeys]](). 1. Let _results_ be a new empty List. 1. For each element _key_ of _ownKeys_, do 1. If _key_ is a String, then - 1. Let _desc_ be ? _O_.[[GetOwnProperty]](_key_). + 1. Let _desc_ be ? _O_.[[GetOwnProperty]](_key_). 1. If _desc_ is not *undefined* and _desc_.[[Enumerable]] is *true*, then 1. If _kind_ is ~key~, then 1. Append _key_ to _results_. @@ -6633,14 +6633,14 @@

1. If _source_ is either *undefined* or *null*, return ~unused~. 1. Let _from_ be ! ToObject(_source_). - 1. Let _keys_ be ? _from_.[[OwnPropertyKeys]](). + 1. Let _keys_ be ? _from_.[[OwnPropertyKeys]](). 1. For each element _nextKey_ of _keys_, do 1. Let _excluded_ be *false*. 1. For each element _e_ of _excludedItems_, do 1. If SameValue(_e_, _nextKey_) is *true*, then 1. Set _excluded_ to *true*. 1. If _excluded_ is *false*, then - 1. Let _desc_ be ? _from_.[[GetOwnProperty]](_nextKey_). + 1. Let _desc_ be ? _from_.[[GetOwnProperty]](_nextKey_). 1. If _desc_ is not *undefined* and _desc_.[[Enumerable]] is *true*, then 1. Let _propValue_ be ? Get(_from_, _nextKey_). 1. Perform ! CreateDataPropertyOrThrow(_target_, _nextKey_, _propValue_). @@ -10519,7 +10519,7 @@

It is used to set the bound value of the current binding of the identifier whose name is _N_ to the value _V_.
- 1. Perform ? _envRec_.SetMutableBinding(_N_, _V_, *false*). + 1. Perform ? _envRec_.SetMutableBinding(_N_, _V_, *false*). 1. Return ~unused~. @@ -10589,7 +10589,7 @@

1. Let _bindingObject_ be _envRec_.[[BindingObject]]. - 1. Return ? _bindingObject_.[[Delete]](_N_). + 1. Return ? _bindingObject_.[[Delete]](_N_). @@ -10894,7 +10894,7 @@

1. Let _DclRec_ be _envRec_.[[DeclarativeRecord]]. 1. If ! _DclRec_.HasBinding(_N_) is *true*, return *true*. 1. Let _ObjRec_ be _envRec_.[[ObjectRecord]]. - 1. Return ? _ObjRec_.HasBinding(_N_). + 1. Return ? _ObjRec_.HasBinding(_N_). @@ -10960,7 +10960,7 @@

1. Return ! _DclRec_.InitializeBinding(_N_, _V_). 1. Assert: If the binding exists, it must be in the Object Environment Record. 1. Let _ObjRec_ be _envRec_.[[ObjectRecord]]. - 1. Return ? _ObjRec_.InitializeBinding(_N_, _V_). + 1. Return ? _ObjRec_.InitializeBinding(_N_, _V_). @@ -10984,7 +10984,7 @@

1. If ! _DclRec_.HasBinding(_N_) is *true*, then 1. Return ? _DclRec_.SetMutableBinding(_N_, _V_, _S_). 1. Let _ObjRec_ be _envRec_.[[ObjectRecord]]. - 1. Return ? _ObjRec_.SetMutableBinding(_N_, _V_, _S_). + 1. Return ? _ObjRec_.SetMutableBinding(_N_, _V_, _S_). @@ -11007,7 +11007,7 @@

1. If ! _DclRec_.HasBinding(_N_) is *true*, then 1. Return ? _DclRec_.GetBindingValue(_N_, _S_). 1. Let _ObjRec_ be _envRec_.[[ObjectRecord]]. - 1. Return ? _ObjRec_.GetBindingValue(_N_, _S_). + 1. Return ? _ObjRec_.GetBindingValue(_N_, _S_). @@ -11032,7 +11032,7 @@

1. Let _globalObject_ be _ObjRec_.[[BindingObject]]. 1. Let _existingProp_ be ? HasOwnProperty(_globalObject_, _N_). 1. If _existingProp_ is *true*, then - 1. Return ? _ObjRec_.DeleteBinding(_N_). + 1. Return ? _ObjRec_.DeleteBinding(_N_). 1. Return *true*. @@ -11118,7 +11118,7 @@

1. Let _ObjRec_ be _envRec_.[[ObjectRecord]]. 1. Let _globalObject_ be _ObjRec_.[[BindingObject]]. - 1. Let _existingProp_ be ? _globalObject_.[[GetOwnProperty]](_N_). + 1. Let _existingProp_ be ? _globalObject_.[[GetOwnProperty]](_N_). 1. If _existingProp_ is *undefined*, return *false*. 1. If _existingProp_.[[Configurable]] is *true*, return *false*. 1. Return *true*. @@ -11162,7 +11162,7 @@

1. Let _ObjRec_ be _envRec_.[[ObjectRecord]]. 1. Let _globalObject_ be _ObjRec_.[[BindingObject]]. - 1. Let _existingProp_ be ? _globalObject_.[[GetOwnProperty]](_N_). + 1. Let _existingProp_ be ? _globalObject_.[[GetOwnProperty]](_N_). 1. If _existingProp_ is *undefined*, return ? IsExtensible(_globalObject_). 1. If _existingProp_.[[Configurable]] is *true*, return *true*. 1. If IsDataDescriptor(_existingProp_) is *true* and _existingProp_ has attribute values { [[Writable]]: *true*, [[Enumerable]]: *true* }, return *true*. @@ -11188,8 +11188,8 @@

1. Let _hasProperty_ be ? HasOwnProperty(_globalObject_, _N_). 1. Let _extensible_ be ? IsExtensible(_globalObject_). 1. If _hasProperty_ is *false* and _extensible_ is *true*, then - 1. Perform ? _ObjRec_.CreateMutableBinding(_N_, _D_). - 1. Perform ? _ObjRec_.InitializeBinding(_N_, *undefined*). + 1. Perform ? _ObjRec_.CreateMutableBinding(_N_, _D_). + 1. Perform ? _ObjRec_.InitializeBinding(_N_, *undefined*). 1. Return ~unused~. @@ -11210,7 +11210,7 @@

1. Let _ObjRec_ be _envRec_.[[ObjectRecord]]. 1. Let _globalObject_ be _ObjRec_.[[BindingObject]]. - 1. Let _existingProp_ be ? _globalObject_.[[GetOwnProperty]](_N_). + 1. Let _existingProp_ be ? _globalObject_.[[GetOwnProperty]](_N_). 1. If _existingProp_ is *undefined* or _existingProp_.[[Configurable]] is *true*, then 1. Let _desc_ be the PropertyDescriptor { [[Value]]: _V_, [[Writable]]: *true*, [[Enumerable]]: *true*, [[Configurable]]: _D_ }. 1. Else, @@ -11273,7 +11273,7 @@

1. Let _M_ and _N2_ be the indirection values provided when this binding for _N_ was created. 1. Let _targetEnv_ be _M_.[[Environment]]. 1. If _targetEnv_ is ~empty~, throw a *ReferenceError* exception. - 1. Return ? _targetEnv_.GetBindingValue(_N2_, *true*). + 1. Return ? _targetEnv_.GetBindingValue(_N2_, *true*). 1. If the binding for _N_ in _envRec_ is an uninitialized binding, throw a *ReferenceError* exception. 1. Return the value currently bound to _N_ in _envRec_. @@ -11355,7 +11355,7 @@

1. If _env_ is *null*, then 1. Return the Reference Record { [[Base]]: ~unresolvable~, [[ReferencedName]]: _name_, [[Strict]]: _strict_, [[ThisValue]]: ~empty~ }. - 1. Let _exists_ be ? _env_.HasBinding(_name_). + 1. Let _exists_ be ? _env_.HasBinding(_name_). 1. If _exists_ is *true*, then 1. Return the Reference Record { [[Base]]: _env_, [[ReferencedName]]: _name_, [[Strict]]: _strict_, [[ThisValue]]: ~empty~ }. 1. Else, @@ -12699,7 +12699,7 @@

- 1. Let _current_ be ? _O_.[[GetOwnProperty]](_P_). + 1. Let _current_ be ? _O_.[[GetOwnProperty]](_P_). 1. Let _extensible_ be ? IsExtensible(_O_). 1. Return ValidateAndApplyPropertyDescriptor(_O_, _P_, _extensible_, _Desc_, _current_). @@ -12797,11 +12797,11 @@

- 1. Let _hasOwn_ be ? _O_.[[GetOwnProperty]](_P_). + 1. Let _hasOwn_ be ? _O_.[[GetOwnProperty]](_P_). 1. If _hasOwn_ is not *undefined*, return *true*. - 1. Let _parent_ be ? _O_.[[GetPrototypeOf]](). + 1. Let _parent_ be ? _O_.[[GetPrototypeOf]](). 1. If _parent_ is not *null*, then - 1. Return ? _parent_.[[HasProperty]](_P_). + 1. Return ? _parent_.[[HasProperty]](_P_). 1. Return *false*. @@ -12835,11 +12835,11 @@

- 1. Let _desc_ be ? _O_.[[GetOwnProperty]](_P_). + 1. Let _desc_ be ? _O_.[[GetOwnProperty]](_P_). 1. If _desc_ is *undefined*, then - 1. Let _parent_ be ? _O_.[[GetPrototypeOf]](). + 1. Let _parent_ be ? _O_.[[GetPrototypeOf]](). 1. If _parent_ is *null*, return *undefined*. - 1. Return ? _parent_.[[Get]](_P_, _Receiver_). + 1. Return ? _parent_.[[Get]](_P_, _Receiver_). 1. If IsDataDescriptor(_desc_) is *true*, return _desc_.[[Value]]. 1. Assert: IsAccessorDescriptor(_desc_) is *true*. 1. Let _getter_ be _desc_.[[Get]]. @@ -12878,7 +12878,7 @@

- 1. Let _ownDesc_ be ? _O_.[[GetOwnProperty]](_P_). + 1. Let _ownDesc_ be ? _O_.[[GetOwnProperty]](_P_). 1. Return ? OrdinarySetWithOwnDescriptor(_O_, _P_, _V_, _Receiver_, _ownDesc_). @@ -12898,20 +12898,20 @@

1. If _ownDesc_ is *undefined*, then - 1. Let _parent_ be ? _O_.[[GetPrototypeOf]](). + 1. Let _parent_ be ? _O_.[[GetPrototypeOf]](). 1. If _parent_ is not *null*, then - 1. Return ? _parent_.[[Set]](_P_, _V_, _Receiver_). + 1. Return ? _parent_.[[Set]](_P_, _V_, _Receiver_). 1. Else, 1. Set _ownDesc_ to the PropertyDescriptor { [[Value]]: *undefined*, [[Writable]]: *true*, [[Enumerable]]: *true*, [[Configurable]]: *true* }. 1. If IsDataDescriptor(_ownDesc_) is *true*, then 1. If _ownDesc_.[[Writable]] is *false*, return *false*. 1. If _Receiver_ is not an Object, return *false*. - 1. Let _existingDescriptor_ be ? _Receiver_.[[GetOwnProperty]](_P_). + 1. Let _existingDescriptor_ be ? _Receiver_.[[GetOwnProperty]](_P_). 1. If _existingDescriptor_ is not *undefined*, then 1. If IsAccessorDescriptor(_existingDescriptor_) is *true*, return *false*. 1. If _existingDescriptor_.[[Writable]] is *false*, return *false*. 1. Let _valueDesc_ be the PropertyDescriptor { [[Value]]: _V_ }. - 1. Return ? _Receiver_.[[DefineOwnProperty]](_P_, _valueDesc_). + 1. Return ? _Receiver_.[[DefineOwnProperty]](_P_, _valueDesc_). 1. Else, 1. Assert: _Receiver_ does not currently have a property _P_. 1. Return ? CreateDataProperty(_Receiver_, _P_, _V_). @@ -12948,7 +12948,7 @@

- 1. Let _desc_ be ? _O_.[[GetOwnProperty]](_P_). + 1. Let _desc_ be ? _O_.[[GetOwnProperty]](_P_). 1. If _desc_ is *undefined*, return *true*. 1. If _desc_.[[Configurable]] is *true*, then 1. Remove the own property with name _P_ from _O_. @@ -14062,13 +14062,13 @@

It is used to specify the creation of new bound function exotic objects.
- 1. Let _proto_ be ? _targetFunction_.[[GetPrototypeOf]](). + 1. Let _proto_ be ? _targetFunction_.[[GetPrototypeOf]](). 1. Let _internalSlotsList_ be the list-concatenation of « [[Prototype]], [[Extensible]] » and the internal slots listed in . 1. Let _obj_ be MakeBasicObject(_internalSlotsList_). 1. Set _obj_.[[Prototype]] to _proto_. - 1. Set _obj_.[[Call]] as described in . + 1. Set _obj_.[[Call]] as specified in . 1. If IsConstructor(_targetFunction_) is *true*, then - 1. Set _obj_.[[Construct]] as described in . + 1. Set _obj_.[[Construct]] as specified in . 1. Set _obj_.[[BoundTargetFunction]] to _targetFunction_. 1. Set _obj_.[[BoundThis]] to _boundThis_. 1. Set _obj_.[[BoundArguments]] to _boundArgs_. @@ -15329,7 +15329,7 @@

- 1. Let _current_ be ? _O_.[[GetPrototypeOf]](). + 1. Let _current_ be ? _O_.[[GetPrototypeOf]](). 1. If SameValue(_V_, _current_) is *true*, return *true*. 1. Return *false*. @@ -15479,12 +15479,12 @@

[[GetPrototypeOf]] ( ): either a normal completion containing either an Obje 1. Assert: _handler_ is an Object. 1. Let _trap_ be ? GetMethod(_handler_, *"getPrototypeOf"*). 1. If _trap_ is *undefined*, then - 1. Return ? _target_.[[GetPrototypeOf]](). + 1. Return ? _target_.[[GetPrototypeOf]](). 1. Let _handlerProto_ be ? Call(_trap_, _handler_, « _target_ »). 1. If _handlerProto_ is not an Object and _handlerProto_ is not *null*, throw a *TypeError* exception. 1. Let _extensibleTarget_ be ? IsExtensible(_target_). 1. If _extensibleTarget_ is *true*, return _handlerProto_. - 1. Let _targetProto_ be ? _target_.[[GetPrototypeOf]](). + 1. Let _targetProto_ be ? _target_.[[GetPrototypeOf]](). 1. If SameValue(_handlerProto_, _targetProto_) is *false*, throw a *TypeError* exception. 1. Return _handlerProto_. @@ -15518,12 +15518,12 @@

1. Assert: _handler_ is an Object. 1. Let _trap_ be ? GetMethod(_handler_, *"setPrototypeOf"*). 1. If _trap_ is *undefined*, then - 1. Return ? _target_.[[SetPrototypeOf]](_V_). + 1. Return ? _target_.[[SetPrototypeOf]](_V_). 1. Let _booleanTrapResult_ be ToBoolean(? Call(_trap_, _handler_, « _target_, _V_ »)). 1. If _booleanTrapResult_ is *false*, return *false*. 1. Let _extensibleTarget_ be ? IsExtensible(_target_). 1. If _extensibleTarget_ is *true*, return *true*. - 1. Let _targetProto_ be ? _target_.[[GetPrototypeOf]](). + 1. Let _targetProto_ be ? _target_.[[GetPrototypeOf]](). 1. If SameValue(_V_, _targetProto_) is *false*, throw a *TypeError* exception. 1. Return *true*. @@ -15622,10 +15622,10 @@

1. Assert: _handler_ is an Object. 1. Let _trap_ be ? GetMethod(_handler_, *"getOwnPropertyDescriptor"*). 1. If _trap_ is *undefined*, then - 1. Return ? _target_.[[GetOwnProperty]](_P_). + 1. Return ? _target_.[[GetOwnProperty]](_P_). 1. Let _trapResultObj_ be ? Call(_trap_, _handler_, « _target_, _P_ »). 1. If _trapResultObj_ is not an Object and _trapResultObj_ is not *undefined*, throw a *TypeError* exception. - 1. Let _targetDesc_ be ? _target_.[[GetOwnProperty]](_P_). + 1. Let _targetDesc_ be ? _target_.[[GetOwnProperty]](_P_). 1. If _trapResultObj_ is *undefined*, then 1. If _targetDesc_ is *undefined*, return *undefined*. 1. If _targetDesc_.[[Configurable]] is *false*, throw a *TypeError* exception. @@ -15688,11 +15688,11 @@

1. Assert: _handler_ is an Object. 1. Let _trap_ be ? GetMethod(_handler_, *"defineProperty"*). 1. If _trap_ is *undefined*, then - 1. Return ? _target_.[[DefineOwnProperty]](_P_, _Desc_). + 1. Return ? _target_.[[DefineOwnProperty]](_P_, _Desc_). 1. Let _descObj_ be FromPropertyDescriptor(_Desc_). 1. Let _booleanTrapResult_ be ToBoolean(? Call(_trap_, _handler_, « _target_, _P_, _descObj_ »)). 1. If _booleanTrapResult_ is *false*, return *false*. - 1. Let _targetDesc_ be ? _target_.[[GetOwnProperty]](_P_). + 1. Let _targetDesc_ be ? _target_.[[GetOwnProperty]](_P_). 1. Let _extensibleTarget_ be ? IsExtensible(_target_). 1. If _Desc_ has a [[Configurable]] field and _Desc_.[[Configurable]] is *false*, then 1. Let _settingConfigFalse_ be *true*. @@ -15747,10 +15747,10 @@

1. Assert: _handler_ is an Object. 1. Let _trap_ be ? GetMethod(_handler_, *"has"*). 1. If _trap_ is *undefined*, then - 1. Return ? _target_.[[HasProperty]](_P_). + 1. Return ? _target_.[[HasProperty]](_P_). 1. Let _booleanTrapResult_ be ToBoolean(? Call(_trap_, _handler_, « _target_, _P_ »)). 1. If _booleanTrapResult_ is *false*, then - 1. Let _targetDesc_ be ? _target_.[[GetOwnProperty]](_P_). + 1. Let _targetDesc_ be ? _target_.[[GetOwnProperty]](_P_). 1. If _targetDesc_ is not *undefined*, then 1. If _targetDesc_.[[Configurable]] is *false*, throw a *TypeError* exception. 1. Let _extensibleTarget_ be ? IsExtensible(_target_). @@ -15791,9 +15791,9 @@

1. Assert: _handler_ is an Object. 1. Let _trap_ be ? GetMethod(_handler_, *"get"*). 1. If _trap_ is *undefined*, then - 1. Return ? _target_.[[Get]](_P_, _Receiver_). + 1. Return ? _target_.[[Get]](_P_, _Receiver_). 1. Let _trapResult_ be ? Call(_trap_, _handler_, « _target_, _P_, _Receiver_ »). - 1. Let _targetDesc_ be ? _target_.[[GetOwnProperty]](_P_). + 1. Let _targetDesc_ be ? _target_.[[GetOwnProperty]](_P_). 1. If _targetDesc_ is not *undefined* and _targetDesc_.[[Configurable]] is *false*, then 1. If IsDataDescriptor(_targetDesc_) is *true* and _targetDesc_.[[Writable]] is *false*, then 1. If SameValue(_trapResult_, _targetDesc_.[[Value]]) is *false*, throw a *TypeError* exception. @@ -15833,10 +15833,10 @@

1. Assert: _handler_ is an Object. 1. Let _trap_ be ? GetMethod(_handler_, *"set"*). 1. If _trap_ is *undefined*, then - 1. Return ? _target_.[[Set]](_P_, _V_, _Receiver_). + 1. Return ? _target_.[[Set]](_P_, _V_, _Receiver_). 1. Let _booleanTrapResult_ be ToBoolean(? Call(_trap_, _handler_, « _target_, _P_, _V_, _Receiver_ »)). 1. If _booleanTrapResult_ is *false*, return *false*. - 1. Let _targetDesc_ be ? _target_.[[GetOwnProperty]](_P_). + 1. Let _targetDesc_ be ? _target_.[[GetOwnProperty]](_P_). 1. If _targetDesc_ is not *undefined* and _targetDesc_.[[Configurable]] is *false*, then 1. If IsDataDescriptor(_targetDesc_) is *true* and _targetDesc_.[[Writable]] is *false*, then 1. If SameValue(_V_, _targetDesc_.[[Value]]) is *false*, throw a *TypeError* exception. @@ -15877,10 +15877,10 @@

1. Assert: _handler_ is an Object. 1. Let _trap_ be ? GetMethod(_handler_, *"deleteProperty"*). 1. If _trap_ is *undefined*, then - 1. Return ? _target_.[[Delete]](_P_). + 1. Return ? _target_.[[Delete]](_P_). 1. Let _booleanTrapResult_ be ToBoolean(? Call(_trap_, _handler_, « _target_, _P_ »)). 1. If _booleanTrapResult_ is *false*, return *false*. - 1. Let _targetDesc_ be ? _target_.[[GetOwnProperty]](_P_). + 1. Let _targetDesc_ be ? _target_.[[GetOwnProperty]](_P_). 1. If _targetDesc_ is *undefined*, return *true*. 1. If _targetDesc_.[[Configurable]] is *false*, throw a *TypeError* exception. 1. Let _extensibleTarget_ be ? IsExtensible(_target_). @@ -15927,7 +15927,7 @@

[[OwnPropertyKeys]] ( ): either a normal completion containing a List of pro 1. Let _targetConfigurableKeys_ be a new empty List. 1. Let _targetNonconfigurableKeys_ be a new empty List. 1. For each element _key_ of _targetKeys_, do - 1. Let _desc_ be ? _target_.[[GetOwnProperty]](_key_). + 1. Let _desc_ be ? _target_.[[GetOwnProperty]](_key_). 1. If _desc_ is not *undefined* and _desc_.[[Configurable]] is *false*, then 1. Append _key_ to _targetNonconfigurableKeys_. 1. Else, @@ -18660,7 +18660,7 @@

1. Let _propValue_ be ? GetValue(_exprValueRef_). 1. If _isProtoSetter_ is *true*, then 1. If _propValue_ is an Object or _propValue_ is *null*, then - 1. Perform ! _object_.[[SetPrototypeOf]](_propValue_). + 1. Perform ! _object_.[[SetPrototypeOf]](_propValue_). 1. Return ~unused~. 1. Assert: _object_ is an ordinary, extensible object with no non-configurable properties. 1. Perform ! CreateDataPropertyOrThrow(_object_, _propKey_, _propValue_). @@ -19723,7 +19723,7 @@

1. Let _evaluatePromise_ be _module_.Evaluate(). 1. Let _fulfilledClosure_ be a new Abstract Closure with no parameters that captures _module_ and _promiseCapability_ and performs the following steps when called: 1. Let _namespace_ be GetModuleNamespace(_module_). - 1. Perform ! Call(_promiseCapability_.[[Resolve]], *undefined*, « _namespace_ »). + 1. Perform ! Call(_promiseCapability_.[[Resolve]], *undefined*, « _namespace_ »). 1. Return NormalCompletion(*undefined*). 1. Let _onFulfilled_ be CreateBuiltinFunction(_fulfilledClosure_, 0, *""*, « »). 1. Perform PerformPromiseThen(_evaluatePromise_, _onFulfilled_, _onRejected_). @@ -20000,13 +20000,13 @@

Runtime Semantics: Evaluation

1. [id="step-delete-operator-toobject"] Let _baseObj_ be ? ToObject(_ref_.[[Base]]). 1. If _ref_.[[ReferencedName]] is not a property key, then 1. Set _ref_.[[ReferencedName]] to ? ToPropertyKey(_ref_.[[ReferencedName]]). - 1. Let _deleteStatus_ be ? _baseObj_.[[Delete]](_ref_.[[ReferencedName]]). + 1. Let _deleteStatus_ be ? _baseObj_.[[Delete]](_ref_.[[ReferencedName]]). 1. If _deleteStatus_ is *false* and _ref_.[[Strict]] is *true*, throw a *TypeError* exception. 1. Return _deleteStatus_. 1. Else, 1. Let _base_ be _ref_.[[Base]]. 1. Assert: _base_ is an Environment Record. - 1. Return ? _base_.DeleteBinding(_ref_.[[ReferencedName]]). + 1. Return ? _base_.DeleteBinding(_ref_.[[ReferencedName]]).

When a `delete` operator occurs within strict mode code, a *SyntaxError* exception is thrown if its |UnaryExpression| is a direct reference to a variable, function argument, or function name. In addition, if a `delete` operator occurs within strict mode code and the property to be deleted has the attribute { [[Configurable]]: *false* } (or otherwise cannot be deleted), a *TypeError* exception is thrown.

@@ -22533,7 +22533,7 @@

%ForInIteratorPrototype%.next ( )

1. Let _r_ be the first element of _O_.[[RemainingKeys]]. 1. Remove the first element from _O_.[[RemainingKeys]]. 1. If _O_.[[VisitedKeys]] does not contain _r_, then - 1. Let _desc_ be ? _object_.[[GetOwnProperty]](_r_). + 1. Let _desc_ be ? _object_.[[GetOwnProperty]](_r_). 1. If _desc_ is not *undefined*, then 1. Append _r_ to _O_.[[VisitedKeys]]. 1. If _desc_.[[Enumerable]] is *true*, return CreateIteratorResultObject(_r_, *false*). @@ -24701,7 +24701,7 @@

Static Semantics: NonConstructorElements ( ): a List of |ClassElement| Parse 1. Let _list_ be the NonConstructorElements of |ClassElementList|. 1. If the ClassElementKind of |ClassElement| is ~non-constructor-method~, then - 1. Append |ClassElement| to the end of _list_. + 1. Append |ClassElement| to _list_. 1. Return _list_. @@ -26174,7 +26174,7 @@

1. Let _gEnv_ be the running execution context's VariableEnvironment. 1. Let _bEnv_ be the running execution context's LexicalEnvironment. 1. Let _fObj_ be ! _bEnv_.GetBindingValue(_F_, *false*). - 1. Perform ? _gEnv_.SetMutableBinding(_F_, _fObj_, *false*). + 1. Perform ? _gEnv_.SetMutableBinding(_F_, _fObj_, *false*). 1. Return ~unused~. 1. Let _lexDeclarations_ be the LexicallyScopedDeclarations of _script_. 1. Let _privateEnv_ be *null*. @@ -26182,15 +26182,15 @@

1. NOTE: Lexically declared names are only instantiated here but not initialized. 1. For each element _dn_ of the BoundNames of _d_, do 1. If IsConstantDeclaration of _d_ is *true*, then - 1. Perform ? _env_.CreateImmutableBinding(_dn_, *true*). + 1. Perform ? _env_.CreateImmutableBinding(_dn_, *true*). 1. Else, - 1. Perform ? _env_.CreateMutableBinding(_dn_, *false*). + 1. Perform ? _env_.CreateMutableBinding(_dn_, *false*). 1. For each Parse Node _f_ of _functionsToInitialize_, do 1. Let _fn_ be the sole element of the BoundNames of _f_. 1. Let _fo_ be InstantiateFunctionObject of _f_ with arguments _env_ and _privateEnv_. - 1. Perform ? CreateGlobalFunctionBinding(_env_, _fn_, _fo_, *false*). + 1. Perform ? CreateGlobalFunctionBinding(_env_, _fn_, _fo_, *false*). 1. For each String _vn_ of _declaredVarNames_, do - 1. Perform ? CreateGlobalVarBinding(_env_, _vn_, *false*). + 1. Perform ? CreateGlobalVarBinding(_env_, _vn_, *false*). 1. Return ~unused~. @@ -27227,7 +27227,7 @@

1. Return NormalCompletion(*undefined*). 1. Let _onRejected_ be CreateBuiltinFunction(_rejectedClosure_, 0, *""*, « »). 1. Perform PerformPromiseThen(_capability_.[[Promise]], _onFulfilled_, _onRejected_). - 1. Perform ! _module_.ExecuteModule(_capability_). + 1. Perform ! _module_.ExecuteModule(_capability_). 1. Return ~unused~. @@ -29874,7 +29874,7 @@

1. Let _gEnv_ be the running execution context's VariableEnvironment. 1. Let _bEnv_ be the running execution context's LexicalEnvironment. 1. Let _fObj_ be ! _bEnv_.GetBindingValue(_F_, *false*). - 1. Perform ? _gEnv_.SetMutableBinding(_F_, _fObj_, *false*). + 1. Perform ? _gEnv_.SetMutableBinding(_F_, _fObj_, *false*). 1. Return ~unused~. 1. [id="step-evaldeclarationinstantiation-post-validation"] NOTE: No abnormal terminations occur after this algorithm step unless _varEnv_ is a Global Environment Record and the global object is a Proxy exotic object. 1. Let _lexDeclarations_ be the LexicallyScopedDeclarations of _body_. @@ -30455,7 +30455,7 @@

Object.assign ( _target_, ..._sources_ )

1. Let _from_ be ! ToObject(_nextSource_). 1. Let _keys_ be ? _from_.[[OwnPropertyKeys]](). 1. For each element _nextKey_ of _keys_, do - 1. Let _desc_ be ? _from_.[[GetOwnProperty]](_nextKey_). + 1. Let _desc_ be ? _from_.[[GetOwnProperty]](_nextKey_). 1. If _desc_ is not *undefined* and _desc_.[[Enumerable]] is *true*, then 1. Let _propValue_ be ? Get(_from_, _nextKey_). 1. Perform ? Set(_to_, _nextKey_, _propValue_, *true*). @@ -30500,7 +30500,7 @@

1. Let _keys_ be ? _props_.[[OwnPropertyKeys]](). 1. Let _descriptors_ be a new empty List. 1. For each element _nextKey_ of _keys_, do - 1. Let _propDesc_ be ? _props_.[[GetOwnProperty]](_nextKey_). + 1. Let _propDesc_ be ? _props_.[[GetOwnProperty]](_nextKey_). 1. If _propDesc_ is not *undefined* and _propDesc_.[[Enumerable]] is *true*, then 1. Let _descObj_ be ? Get(_props_, _nextKey_). 1. Let _desc_ be ? ToPropertyDescriptor(_descObj_). @@ -30571,7 +30571,7 @@

Object.getOwnPropertyDescriptor ( _O_, _P_ )

1. Let _obj_ be ? ToObject(_O_). 1. Let _key_ be ? ToPropertyKey(_P_). - 1. Let _desc_ be ? _obj_.[[GetOwnProperty]](_key_). + 1. Let _desc_ be ? _obj_.[[GetOwnProperty]](_key_). 1. Return FromPropertyDescriptor(_desc_). @@ -30584,7 +30584,7 @@

Object.getOwnPropertyDescriptors ( _O_ )

1. Let _ownKeys_ be ? _obj_.[[OwnPropertyKeys]](). 1. Let _descriptors_ be OrdinaryObjectCreate(%Object.prototype%). 1. For each element _key_ of _ownKeys_, do - 1. Let _desc_ be ? _obj_.[[GetOwnProperty]](_key_). + 1. Let _desc_ be ? _obj_.[[GetOwnProperty]](_key_). 1. Let _descriptor_ be FromPropertyDescriptor(_desc_). 1. If _descriptor_ is not *undefined*, perform ! CreateDataPropertyOrThrow(_descriptors_, _key_, _descriptor_). 1. Return _descriptors_. @@ -30744,7 +30744,7 @@

Object.setPrototypeOf ( _O_, _proto_ )

1. Perform ? RequireObjectCoercible(_O_). 1. If _proto_ is not an Object and _proto_ is not *null*, throw a *TypeError* exception. 1. If _O_ is not an Object, return _O_. - 1. Let _status_ be ? _O_.[[SetPrototypeOf]](_proto_). + 1. Let _status_ be ? _O_.[[SetPrototypeOf]](_proto_). 1. If _status_ is *false*, throw a *TypeError* exception. 1. Return _O_. @@ -30811,7 +30811,7 @@

Object.prototype.propertyIsEnumerable ( _V_ )

1. [id="step-propertyisenumerable-topropertykey"] Let _P_ be ? ToPropertyKey(_V_). 1. [id="step-propertyisenumerable-toobject"] Let _O_ be ? ToObject(*this* value). - 1. Let _desc_ be ? _O_.[[GetOwnProperty]](_P_). + 1. Let _desc_ be ? _O_.[[GetOwnProperty]](_P_). 1. If _desc_ is *undefined*, return *false*. 1. Return _desc_.[[Enumerable]]. @@ -30895,7 +30895,7 @@

set Object.prototype.__proto__

1. Perform ? RequireObjectCoercible(_O_). 1. If _proto_ is not an Object and _proto_ is not *null*, return *undefined*. 1. If _O_ is not an Object, return *undefined*. - 1. Let _status_ be ? _O_.[[SetPrototypeOf]](_proto_). + 1. Let _status_ be ? _O_.[[SetPrototypeOf]](_proto_). 1. If _status_ is *false*, throw a *TypeError* exception. 1. Return *undefined*. @@ -30938,7 +30938,7 @@

Object.prototype.__lookupGetter__ ( _P_ )

1. Let _O_ be ? ToObject(*this* value). 1. Let _key_ be ? ToPropertyKey(_P_). 1. Repeat, - 1. Let _desc_ be ? _O_.[[GetOwnProperty]](_key_). + 1. Let _desc_ be ? _O_.[[GetOwnProperty]](_key_). 1. If _desc_ is not *undefined*, then 1. If IsAccessorDescriptor(_desc_) is *true*, return _desc_.[[Get]]. 1. Return *undefined*. @@ -30954,7 +30954,7 @@

Object.prototype.__lookupSetter__ ( _P_ )

1. Let _O_ be ? ToObject(*this* value). 1. Let _key_ be ? ToPropertyKey(_P_). 1. Repeat, - 1. Let _desc_ be ? _O_.[[GetOwnProperty]](_key_). + 1. Let _desc_ be ? _O_.[[GetOwnProperty]](_key_). 1. If _desc_ is not *undefined*, then 1. If IsAccessorDescriptor(_desc_) is *true*, return _desc_.[[Set]]. 1. Return *undefined*. @@ -47054,7 +47054,7 @@

1. Let _prop_ be ! ToString(𝔽(_I_)). 1. Let _newElement_ be ? InternalizeJSONProperty(_val_, _prop_, _reviver_). 1. If _newElement_ is *undefined*, then - 1. Perform ? _val_.[[Delete]](_prop_). + 1. Perform ? _val_.[[Delete]](_prop_). 1. Else, 1. Perform ? CreateDataProperty(_val_, _prop_, _newElement_). 1. Set _I_ to _I_ + 1. @@ -47063,7 +47063,7 @@

1. For each String _P_ of _keys_, do 1. Let _newElement_ be ? InternalizeJSONProperty(_val_, _P_, _reviver_). 1. If _newElement_ is *undefined*, then - 1. Perform ? _val_.[[Delete]](_P_). + 1. Perform ? _val_.[[Delete]](_P_). 1. Else, 1. Perform ? CreateDataProperty(_val_, _P_, _newElement_). 1. Return ? Call(_reviver_, _holder_, « _name_, _val_ »). @@ -48575,7 +48575,7 @@

%AsyncFromSyncIteratorPrototype%.return ( [ _value_ ] )

1. IfAbruptRejectPromise(_return_, _promiseCapability_). 1. If _return_ is *undefined*, then 1. Let _iteratorResult_ be CreateIteratorResultObject(_value_, *true*). - 1. Perform ! Call(_promiseCapability_.[[Resolve]], *undefined*, « _iteratorResult_ »). + 1. Perform ! Call(_promiseCapability_.[[Resolve]], *undefined*, « _iteratorResult_ »). 1. Return _promiseCapability_.[[Promise]]. 1. If _value_ is present, then 1. Let _result_ be Completion(Call(_return_, _syncIterator_, « _value_ »)). @@ -50203,7 +50203,7 @@

1. Perform ? RequireInternalSlot(_generator_, [[GeneratorState]]). 1. Perform ? RequireInternalSlot(_generator_, [[GeneratorBrand]]). 1. If _generator_.[[GeneratorBrand]] is not _generatorBrand_, throw a *TypeError* exception. - 1. Assert: _generator_ also has a [[GeneratorContext]] internal slot. + 1. Assert: _generator_ has a [[GeneratorContext]] internal slot. 1. Let _state_ be _generator_.[[GeneratorState]]. 1. If _state_ is ~executing~, throw a *TypeError* exception. 1. Return _state_. @@ -50385,7 +50385,7 @@

%AsyncGeneratorPrototype%.next ( _value_ )

1. Let _state_ be _generator_.[[AsyncGeneratorState]]. 1. If _state_ is ~completed~, then 1. Let _iteratorResult_ be CreateIteratorResultObject(*undefined*, *true*). - 1. Perform ! Call(_promiseCapability_.[[Resolve]], *undefined*, « _iteratorResult_ »). + 1. Perform ! Call(_promiseCapability_.[[Resolve]], *undefined*, « _iteratorResult_ »). 1. Return _promiseCapability_.[[Promise]]. 1. Let _completion_ be NormalCompletion(_value_). 1. Perform AsyncGeneratorEnqueue(_generator_, _completion_, _promiseCapability_). @@ -50614,7 +50614,7 @@

1. Set the running execution context's Realm to _oldRealm_. 1. Else, 1. Let _iteratorResult_ be CreateIteratorResultObject(_value_, _done_). - 1. Perform ! Call(_promiseCapability_.[[Resolve]], *undefined*, « _iteratorResult_ »). + 1. Perform ! Call(_promiseCapability_.[[Resolve]], *undefined*, « _iteratorResult_ »). 1. Return ~unused~. @@ -50903,7 +50903,7 @@

1. If _result_ is a normal completion, then 1. Perform ! Call(_promiseCapability_.[[Resolve]], *undefined*, « *undefined* »). 1. Else if _result_ is a return completion, then - 1. Perform ! Call(_promiseCapability_.[[Resolve]], *undefined*, « _result_.[[Value]] »). + 1. Perform ! Call(_promiseCapability_.[[Resolve]], *undefined*, « _result_.[[Value]] »). 1. Else, 1. Assert: _result_ is a throw completion. 1. Perform ! Call(_promiseCapability_.[[Reject]], *undefined*, « _result_.[[Value]] »). @@ -51002,7 +51002,7 @@

Reflect.defineProperty ( _target_, _propertyKey_, _attributes_ )

1. If _target_ is not an Object, throw a *TypeError* exception. 1. Let _key_ be ? ToPropertyKey(_propertyKey_). 1. Let _desc_ be ? ToPropertyDescriptor(_attributes_). - 1. Return ? _target_.[[DefineOwnProperty]](_key_, _desc_). + 1. Return ? _target_.[[DefineOwnProperty]](_key_, _desc_). @@ -51012,7 +51012,7 @@

Reflect.deleteProperty ( _target_, _propertyKey_ )

1. If _target_ is not an Object, throw a *TypeError* exception. 1. Let _key_ be ? ToPropertyKey(_propertyKey_). - 1. Return ? _target_.[[Delete]](_key_). + 1. Return ? _target_.[[Delete]](_key_). @@ -51024,7 +51024,7 @@

Reflect.get ( _target_, _propertyKey_ [ , _receiver_ ] )

1. Let _key_ be ? ToPropertyKey(_propertyKey_). 1. If _receiver_ is not present, then 1. Set _receiver_ to _target_. - 1. Return ? _target_.[[Get]](_key_, _receiver_). + 1. Return ? _target_.[[Get]](_key_, _receiver_). @@ -51034,7 +51034,7 @@

Reflect.getOwnPropertyDescriptor ( _target_, _propertyKey_ )

1. If _target_ is not an Object, throw a *TypeError* exception. 1. Let _key_ be ? ToPropertyKey(_propertyKey_). - 1. Let _desc_ be ? _target_.[[GetOwnProperty]](_key_). + 1. Let _desc_ be ? _target_.[[GetOwnProperty]](_key_). 1. Return FromPropertyDescriptor(_desc_). @@ -51054,7 +51054,7 @@

Reflect.has ( _target_, _propertyKey_ )

1. If _target_ is not an Object, throw a *TypeError* exception. 1. Let _key_ be ? ToPropertyKey(_propertyKey_). - 1. Return ? _target_.[[HasProperty]](_key_). + 1. Return ? _target_.[[HasProperty]](_key_). @@ -51094,7 +51094,7 @@

Reflect.set ( _target_, _propertyKey_, _V_ [ , _receiver_ ] )

1. Let _key_ be ? ToPropertyKey(_propertyKey_). 1. If _receiver_ is not present, then 1. Set _receiver_ to _target_. - 1. Return ? _target_.[[Set]](_key_, _V_, _receiver_). + 1. Return ? _target_.[[Set]](_key_, _V_, _receiver_). @@ -51104,7 +51104,7 @@

Reflect.setPrototypeOf ( _target_, _proto_ )

1. If _target_ is not an Object, throw a *TypeError* exception. 1. If _proto_ is not an Object and _proto_ is not *null*, throw a *TypeError* exception. - 1. Return ? _target_.[[SetPrototypeOf]](_proto_). + 1. Return ? _target_.[[SetPrototypeOf]](_proto_).