From 1060aedbdaa3a297371955c221ff05367983e449 Mon Sep 17 00:00:00 2001 From: d01c2 Date: Mon, 20 Jan 2025 22:40:45 +0900 Subject: [PATCH] fix: sorted rule.json --- src/main/resources/manuals/rule.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/resources/manuals/rule.json b/src/main/resources/manuals/rule.json index cda26d3e17..be7d5017e2 100644 --- a/src/main/resources/manuals/rule.json +++ b/src/main/resources/manuals/rule.json @@ -3,7 +3,6 @@ "If control reaches here, then _genContext_ is the running execution context again.": "(= genContext @EXECUTION_STACK[0])", "The execution context stack has at least two elements.": "(< 1 (sizeof @EXECUTION_STACK))", "The execution context stack is empty.": "(= (sizeof @EXECUTION_STACK) 0)", - "_O_ has all of the internal slots of a For-In Iterator Instance ().": "(? O: Record[ForInIterator])", "The execution context stack is not empty.": "(! (= (sizeof @EXECUTION_STACK) 0))", "This is an attempt to change the value of an immutable binding.": "true", "When we reach this step, _asyncContext_ has already been removed from the execution context stack and _prevContext_ is the currently running execution context.": "(&& (= prevContext @EXECUTION_STACK[0]) (! (= asyncContext @EXECUTION_STACK[0])))", @@ -14,6 +13,7 @@ "_F_ is an extensible object that does not have a *\"length\"* own property.": "(&& F.Extensible (! (exists F.__MAP__.length)))", "_F_ is an extensible object that does not have a *\"name\"* own property.": "(&& F.Extensible (! (exists F.__MAP__.name)))", "_F_ is an extensible object that does not have a *\"prototype\"* own property.": "(&& F.Extensible (! (exists F.__MAP__.prototype)))", + "_O_ has all of the internal slots of a For-In Iterator Instance ().": "(? O: Record[ForInIterator])", "_O_ is an Object that has a [[SyncIteratorRecord]] internal slot.": "(&& (? O: Record[Object]) (exists O.SyncIteratorRecord))", "_O_ is an ordinary, extensible object with no non-configurable properties.": "(&& (? O: Record[OrdinaryObject]) O.Extensible)", "_Receiver_ does not currently have a property _P_.": "(! (exists Receiver.__MAP__[P]))", @@ -38,7 +38,6 @@ "Create any host-defined global object properties on _globalObj_.": "nop", "For each field of _Desc_, set the corresponding attribute of the property named _P_ of object _O_ to the value of the field.": "{ let fields = (keys Desc) let idx = 0 while (< idx (sizeof fields)) { let f = fields[idx] O.__MAP__[P][f] = Desc[f] idx = (+ idx 1) } }", "For each property of the Global Object specified in clause , do\n 1. Let _name_ be the String value of the property name.\n 1. Let _desc_ be the fully populated data Property Descriptor for the property, containing the specified attributes for the property. For properties listed in , , or the value of the [[Value]] attribute is the corresponding intrinsic object from _realmRec_.\n 1. Perform ? DefinePropertyOrThrow(_global_, _name_, _desc_).": "{ let keys = (keys @GLOBAL.__MAP__) let idx = 0 while (< idx (sizeof keys)) { let name = keys[idx] global.__MAP__[name] = @GLOBAL.__MAP__[name] idx = (+ idx 1) } global.__MAP__.globalThis = (record [PropertyDescriptor] { \"Value\" : global, \"Writable\" : true, \"Enumerable\" : false, \"Configurable\" : true }) }", - "If the host is a web browser, then\n 1. Perform ? HostEnsureCanAddPrivateElement(_O_).": "nop", "If _Desc_ does not have any fields, return *true*.": "{ let descKeys = (keys Desc) if (= (sizeof descKeys) 0) return true }", "If _O_ does not have an own property with key _P_, return *undefined*.": "if (! (exists O.__MAP__[P])) return undefined", "If _callerContext_ is not already suspended, suspend _callerContext_.": "nop", @@ -52,6 +51,7 @@ "If only one argument was passed, return _to_.": "if (= (sizeof ArgumentsList) 0) return to", "If the binding for _N_ in _envRec_ is an uninitialized binding, throw a *ReferenceError* exception.": "if (! envRec.__MAP__[N].initialized) { call __errObj__ = clo<\"__NEW_ERROR_OBJ__\">(\"%ReferenceError.prototype%\") call __comp__ = clo<\"ThrowCompletion\">(__errObj__) return __comp__ }", "If the execution context stack is empty, return *null*.": "if (= (sizeof @EXECUTION_STACK) 0) return null", + "If the host is a web browser, then\n 1. Perform ? HostEnsureCanAddPrivateElement(_O_).": "nop", "If the host requires that the `this` binding in _realm_'s global scope return an object other than the global object, let _thisValue_ be such an object created in a host-defined manner. Otherwise, let _thisValue_ be *undefined*, indicating that _realm_'s global `this` binding should be the global object.": "let thisValue = undefined", "If the host requires use of an exotic object to serve as _realm_'s global object, let _global_ be such an object created in a host-defined manner. Otherwise, let _global_ be *undefined*, indicating that an ordinary object should be created as the global object.": "let global = undefined", "Insert _d_ as the first element of _functionsToInitialize_.": "push d > functionsToInitialize",