Skip to content

Commit

Permalink
fix: sorted rule.json
Browse files Browse the repository at this point in the history
  • Loading branch information
d01c2 committed Jan 20, 2025
1 parent fadc6b5 commit 1060aed
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/main/resources/manuals/rule.json
Original file line number Diff line number Diff line change
Expand Up @@ -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 (<emu-xref href=\"#sec-properties-of-for-in-iterator-instances\"></emu-xref>).": "(? 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])))",
Expand All @@ -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 (<emu-xref href=\"#sec-properties-of-for-in-iterator-instances\"></emu-xref>).": "(? 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]))",
Expand All @@ -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 <emu-xref href=\"#sec-global-object\"></emu-xref>, 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 <emu-xref href=\"#sec-function-properties-of-the-global-object\"></emu-xref>, <emu-xref href=\"#sec-constructor-properties-of-the-global-object\"></emu-xref>, or <emu-xref href=\"#sec-other-properties-of-the-global-object\"></emu-xref> 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",
Expand All @@ -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",
Expand Down

0 comments on commit 1060aed

Please sign in to comment.