Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Editorial: replace some uses of "idempotent" with alternative wording (
  • Loading branch information
michaelficarra authored and ljharb committed Apr 10, 2019
1 parent fce0895 commit 28f5595
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions spec.html
Expand Up @@ -8573,7 +8573,7 @@ <h1>[[Get]] ( _P_, _Receiver_ )</h1>
1. Return ? _targetEnvRec_.GetBindingValue(_binding_.[[BindingName]], *true*).
</emu-alg>
<emu-note>
<p>ResolveExport is idempotent and side-effect free. An implementation might choose to pre-compute or cache the ResolveExport results for the [[Exports]] of each module namespace exotic object.</p>
<p>ResolveExport is deterministic with respect to its parameters and side-effect free. An implementation might choose to pre-compute or cache the ResolveExport results for the [[Exports]] of each module namespace exotic object.</p>
</emu-note>
</emu-clause>

Expand Down Expand Up @@ -21574,7 +21574,7 @@ <h1>Abstract Module Records</h1>
</td>
<td>
<p>Return the binding of a name exported by this module. Bindings are represented by a <dfn id="resolvedbinding-record">ResolvedBinding Record</dfn>, of the form { [[Module]]: Module Record, [[BindingName]]: String }. Return *null* if the name cannot be resolved, or `"ambiguous"` if multiple bindings were found.</p>
<p>This operation must be idempotent if it completes normally. Each time it is called with a specific _exportName_, _resolveSet_ pair as arguments it must return the same result.</p>
<p>This operation must be deterministic with respect to its parameters if it completes normally. Each time it is called with a specific _exportName_, _resolveSet_ pair as arguments it must return the same result.</p>
</td>
</tr>
<tr>
Expand Down Expand Up @@ -22557,7 +22557,7 @@ <h1>Runtime Semantics: HostResolveImportedModule ( _referencingModule_, _specifi
If a Module Record corresponding to the pair _referencingModule_, _specifier_ does not exist or cannot be created, an exception must be thrown.
</li>
<li>
This operation must be idempotent if it completes normally. Each time it is called with a specific _referencingModule_, _specifier_ pair as arguments it must return the same Module Record instance.
This operation must be deterministic with respect to its parameters if it completes normally. Each time it is called with a specific _referencingModule_, _specifier_ pair as arguments it must return the same Module Record instance.
</li>
</ul>
<p>Multiple different _referencingModule_, _specifier_ pairs may map to the same Module Record instance. The actual mapping semantic is implementation-defined but typically a normalization process is applied to _specifier_ as part of the mapping process. A typical normalization process would include actions such as alphabetic case folding and expansion of relative and abbreviated path specifiers.</p>
Expand Down

0 comments on commit 28f5595

Please sign in to comment.