Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Editorial: InitializeHostDefinedRealm-related refactorings #3139

Merged
merged 2 commits into from
May 23, 2024
Merged

Editorial: InitializeHostDefinedRealm-related refactorings #3139

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
977a6c4
Editorial: Inline CreateRealm + SetRealmGlobalObject into InitializeH…
jmdyck May 23, 2024
052defa
Editorial: Tweak the return of `SetDefaultGlobalBindings` (#3139)
jmdyck May 23, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
83 changes: 28 additions & 55 deletions spec.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11596,18 +11596,35 @@ <h1>Realms</h1>
</table>
</emu-table>

<emu-clause id="sec-createrealm" type="abstract operation">
<h1>CreateRealm ( ): a Realm Record</h1>
<emu-clause id="sec-initializehostdefinedrealm" type="abstract operation" oldids="sec-createrealm,sec-setrealmglobalobject">
<h1>InitializeHostDefinedRealm ( ): either a normal completion containing ~unused~ or a throw completion</h1>
<dl class="header">
</dl>
<emu-alg>
1. Let _realmRec_ be a new Realm Record.
1. Perform CreateIntrinsics(_realmRec_).
1. Set _realmRec_.[[AgentSignifier]] to AgentSignifier().
1. Set _realmRec_.[[GlobalObject]] to *undefined*.
1. Set _realmRec_.[[GlobalEnv]] to *undefined*.
1. Set _realmRec_.[[TemplateMap]] to a new empty List.
1. Return _realmRec_.
1. Let _realm_ be a new Realm Record.
1. Perform CreateIntrinsics(_realm_).
1. Set _realm_.[[AgentSignifier]] to AgentSignifier().
1. Set _realm_.[[GlobalObject]] to *undefined*.
1. Set _realm_.[[GlobalEnv]] to *undefined*.
1. Set _realm_.[[TemplateMap]] to a new empty List.
1. Let _newContext_ be a new execution context.
1. Set the Function of _newContext_ to *null*.
1. Set the Realm of _newContext_ to _realm_.
1. Set the ScriptOrModule of _newContext_ to *null*.
1. Push _newContext_ onto the execution context stack; _newContext_ is now the running execution context.
1. If the host requires use of an exotic object to serve as _realm_'s global object, then
1. Let _global_ be such an object created in a host-defined manner.
1. Else,
1. Let _global_ be OrdinaryObjectCreate(_realm_.[[Intrinsics]].[[%Object.prototype%]]).
1. If the host requires that the `this` binding in _realm_'s global scope return an object other than the global object, then
1. Let _thisValue_ be such an object created in a host-defined manner.
1. Else,
1. Let _thisValue_ be _global_.
1. Set _realm_.[[GlobalObject]] to _global_.
1. Set _realm_.[[GlobalEnv]] to NewGlobalEnvironment(_global_, _thisValue_).
1. Perform ? SetDefaultGlobalBindings(_realm_).
1. Create any host-defined global object properties on _global_.
1. Return ~unused~.
</emu-alg>
</emu-clause>

Expand All @@ -11627,34 +11644,11 @@ <h1>
</emu-alg>
</emu-clause>

<emu-clause id="sec-setrealmglobalobject" type="abstract operation">
<h1>
SetRealmGlobalObject (
_realmRec_: a Realm Record,
_globalObj_: an Object or *undefined*,
_thisValue_: an Object or *undefined*,
): ~unused~
</h1>
<dl class="header">
</dl>
<emu-alg>
1. If _globalObj_ is *undefined*, then
1. Let _intrinsics_ be _realmRec_.[[Intrinsics]].
1. Set _globalObj_ to OrdinaryObjectCreate(_intrinsics_.[[%Object.prototype%]]).
1. Assert: _globalObj_ is an Object.
1. If _thisValue_ is *undefined*, set _thisValue_ to _globalObj_.
1. Set _realmRec_.[[GlobalObject]] to _globalObj_.
1. Let _newGlobalEnv_ be NewGlobalEnvironment(_globalObj_, _thisValue_).
1. Set _realmRec_.[[GlobalEnv]] to _newGlobalEnv_.
1. Return ~unused~.
</emu-alg>
</emu-clause>

<emu-clause id="sec-setdefaultglobalbindings" type="abstract operation">
<h1>
SetDefaultGlobalBindings (
_realmRec_: a Realm Record,
): either a normal completion containing an Object or a throw completion
): either a normal completion containing ~unused~ or a throw completion
</h1>
<dl class="header">
</dl>
Expand All @@ -11664,7 +11658,7 @@ <h1>
1. Let _name_ be the String value of the property name.
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_.
1. Perform ? DefinePropertyOrThrow(_global_, _name_, _desc_).
1. Return _global_.
1. Return ~unused~.
</emu-alg>
</emu-clause>
</emu-clause>
Expand Down Expand Up @@ -12065,27 +12059,6 @@ <h1>
</emu-clause>
</emu-clause>

<emu-clause id="sec-initializehostdefinedrealm" type="abstract operation">
<h1>InitializeHostDefinedRealm ( ): either a normal completion containing ~unused~ or a throw completion</h1>
<dl class="header">
</dl>

<emu-alg>
1. Let _realm_ be CreateRealm().
1. Let _newContext_ be a new execution context.
1. Set the Function of _newContext_ to *null*.
1. Set the Realm of _newContext_ to _realm_.
1. Set the ScriptOrModule of _newContext_ to *null*.
1. Push _newContext_ onto the execution context stack; _newContext_ is now the running execution context.
1. 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.
1. 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.
1. Perform SetRealmGlobalObject(_realm_, _global_, _thisValue_).
1. Let _globalObj_ be ? SetDefaultGlobalBindings(_realm_).
1. Create any host-defined global object properties on _globalObj_.
1. Return ~unused~.
</emu-alg>
</emu-clause>

<emu-clause id="sec-agents">
<h1>Agents</h1>

Expand Down
Loading