Skip to content

Commit

Permalink
Editorial: be explicit about JS-style algorithms not throwing
Browse files Browse the repository at this point in the history
  • Loading branch information
@annevk @domenic
annevk authored and domenic committed Apr 18, 2017
1 parent 36d771a commit 6378b1c
Showing 1 changed file with 26 additions and 26 deletions.
52 changes: 26 additions & 26 deletions source
View file
Expand Up @@ -78187,7 +78187,7 @@ console.assert(iframeWindow.frameElement === null);

<ol>
<li>
<p>Repeat for each <var>e</var> that is an element of
<p>Repeat for each <var>e</var> that is an element of !
<span>CrossOriginProperties</span>(<var>platformObject</var>):</p>

<ol>
Expand All @@ -78211,8 +78211,8 @@ console.assert(iframeWindow.frameElement === null);
</ol>
</li>

<li><p>If <span>IsPlatformObjectSameOrigin</span>(<var>platformObject</var>) is false, then throw
a <span>"<code>SecurityError</code>"</span> <code>DOMException</code>.</p></li>
<li><p>If ! <span>IsPlatformObjectSameOrigin</span>(<var>platformObject</var>) is false, then
throw a <span>"<code>SecurityError</code>"</span> <code>DOMException</code>.</p></li>
</ol>


Expand Down Expand Up @@ -78316,7 +78316,7 @@ console.assert(iframeWindow.frameElement === null);
object</span>, <var>O</var>'s <span>relevant settings object</span>, and <var>P</var>.</p></li>

<li>
<p>Repeat for each <var>e</var> that is an element of
<p>Repeat for each <var>e</var> that is an element of !
<span>CrossOriginProperties</span>(<var>O</var>):</p>

<ol>
Expand All @@ -78339,7 +78339,7 @@ console.assert(iframeWindow.frameElement === null);
<ol>
<li><p>Let <var>value</var> be <var>originalDesc</var>.[[Value]].</p></li>

<li><p>If <span>IsCallable</span>(<var>value</var>) is true, then set <var>value</var> to
<li><p>If ! <span>IsCallable</span>(<var>value</var>) is true, then set <var>value</var> to
an anonymous built-in function, created in the <span>current Realm Record</span>, that
performs the same steps as the IDL operation <var>P</var> on object <var>O</var>.</p></li>

Expand Down Expand Up @@ -78405,14 +78405,14 @@ console.assert(iframeWindow.frameElement === null);

<li><p>Assert: <var>desc</var> is not undefined.</p></li>

<li><p>If <span>IsDataDescriptor</span>(<var>desc</var>) is true, then return
<li><p>If ! <span>IsDataDescriptor</span>(<var>desc</var>) is true, then return
<var>desc</var>.[[Value]].</p></li>

<li><p>Assert: <span>IsAccessorDescriptor</span>(<var>desc</var>) is true.</p></li>

<li><p>Let <var>getter</var> be <var>desc</var>.[[Get]].</p></li>

<li><p>If <var>getter</var> is undefined, throw a <span>"<code>SecurityError</code>"</span>
<li><p>If <var>getter</var> is undefined, then throw a <span>"<code>SecurityError</code>"</span>
<code>DOMException</code>.</p></li>

<li><p>Return ? <span>Call</span>(<var>getter</var>, <var>Receiver</var>).</p></li>
Expand Down Expand Up @@ -78446,7 +78446,7 @@ console.assert(iframeWindow.frameElement === null);
<li><p>Let <var>keys</var> be a new empty <span data-x="js-List">List</span>.</p></li>

<li>
<p>Repeat for each <var>e</var> that is an element of
<p>Repeat for each <var>e</var> that is an element of !
<span>CrossOriginProperties</span>(<var>O</var>):</p>

<ol>
Expand Down Expand Up @@ -79379,7 +79379,7 @@ callback <dfn>FrameRequestCallback</dfn> = void (<span>DOMHighResTimeStamp</span
<span data-x="concept-windowproxy-window">[[Window]]</span> internal slot of
<b>this</b>.</p></li>

<li><p>If <span>IsPlatformObjectSameOrigin</span>(<var>W</var>) is true, then return !
<li><p>If ! <span>IsPlatformObjectSameOrigin</span>(<var>W</var>) is true, then return !
<span>OrdinaryGetPrototypeOf</span>(<var>W</var>).</p></li>

<li><p>Return null.</p></li>
Expand Down Expand Up @@ -79414,7 +79414,7 @@ callback <dfn>FrameRequestCallback</dfn> = void (<span>DOMHighResTimeStamp</span
<p>If <var>P</var> is an <span>array index property name</span>, then:</p>

<ol>
<li><p>Let <var>index</var> be <span>ToUint32</span>(<var>P</var>).</p></li>
<li><p>Let <var>index</var> be ! <span>ToUint32</span>(<var>P</var>).</p></li>

<li><p>Let <var>maxProperties</var> be the <span>number of document-tree child browsing
contexts</span> of <var>W</var>.</p></li>
Expand Down Expand Up @@ -79448,7 +79448,7 @@ callback <dfn>FrameRequestCallback</dfn> = void (<span>DOMHighResTimeStamp</span
</li>

<li>
<p>If <span>IsPlatformObjectSameOrigin</span>(<var>W</var>) is true, then return
<p>If ! <span>IsPlatformObjectSameOrigin</span>(<var>W</var>) is true, then return !
<span>OrdinaryGetOwnProperty</span>(<var>W</var>, <var>P</var>).</p>

<p class="note">This is a <span>willful violation</span> of the JavaScript specification's
Expand All @@ -79457,10 +79457,10 @@ callback <dfn>FrameRequestCallback</dfn> = void (<span>DOMHighResTimeStamp</span
issue #672</a> for more information. <ref spec=JAVASCRIPT></p>
</li>

<li><p>Let <var>property</var> be <span>CrossOriginGetOwnPropertyHelper</span>(<var>W</var>,
<li><p>Let <var>property</var> be ! <span>CrossOriginGetOwnPropertyHelper</span>(<var>W</var>,
<var>P</var>).</p></li>

<li><p>If <var>property</var> is not undefined, return <var>property</var>.</p></li>
<li><p>If <var>property</var> is not undefined, then return <var>property</var>.</p></li>

<li>
<p>If <var>property</var> is undefined and <var>P</var> is in <var>W</var>'s <span>document-tree
Expand Down Expand Up @@ -79489,7 +79489,7 @@ callback <dfn>FrameRequestCallback</dfn> = void (<span>DOMHighResTimeStamp</span
<b>this</b>.</p></li>

<li>
<p>If <span>IsPlatformObjectSameOrigin</span>(<var>W</var>) is true, then:
<p>If ! <span>IsPlatformObjectSameOrigin</span>(<var>W</var>) is true, then:

<ol>
<li><p>If <var>P</var> is an <span>array index property name</span>, return false.</p></li>
Expand All @@ -79515,7 +79515,7 @@ callback <dfn>FrameRequestCallback</dfn> = void (<span>DOMHighResTimeStamp</span
<span data-x="concept-windowproxy-window">[[Window]]</span> internal slot of
<b>this</b>.</p></li>

<li><p>If <span>IsPlatformObjectSameOrigin</span>(<var>W</var>) is true, then return ?
<li><p>If ! <span>IsPlatformObjectSameOrigin</span>(<var>W</var>) is true, then return ?
<span>OrdinaryGet</span>(<b>this</b>, <var>P</var>, <var>Receiver</var>).</p></li>
<!-- https://github.com/tc39/ecma262/issues/394 -->

Expand All @@ -79530,7 +79530,7 @@ callback <dfn>FrameRequestCallback</dfn> = void (<span>DOMHighResTimeStamp</span
<span data-x="concept-windowproxy-window">[[Window]]</span> internal slot of
<b>this</b>.</p></li>

<li><p>If <span>IsPlatformObjectSameOrigin</span>(<var>W</var>) is true, then return ?
<li><p>If ! <span>IsPlatformObjectSameOrigin</span>(<var>W</var>) is true, then return ?
<span>OrdinarySet</span>(<var>W</var>, <b>this</b>, <var>Receiver</var>).</p></li>
<!-- https://github.com/tc39/ecma262/issues/394 -->

Expand All @@ -79546,7 +79546,7 @@ callback <dfn>FrameRequestCallback</dfn> = void (<span>DOMHighResTimeStamp</span
<b>this</b>.</p></li>

<li>
<p>If <span>IsPlatformObjectSameOrigin</span>(<var>W</var>) is true, then:
<p>If ! <span>IsPlatformObjectSameOrigin</span>(<var>W</var>) is true, then:

<ol>
<li><p>If <var>P</var> is an <span>array index property name</span>, then return
Expand Down Expand Up @@ -79583,7 +79583,7 @@ callback <dfn>FrameRequestCallback</dfn> = void (<span>DOMHighResTimeStamp</span
</ol>
</li>

<li><p>If <span>IsPlatformObjectSameOrigin</span>(<var>W</var>) is true, then return the
<li><p>If ! <span>IsPlatformObjectSameOrigin</span>(<var>W</var>) is true, then return the
concatenation of <var>keys</var> and !
<span>OrdinaryOwnPropertyKeys</span>(<var>W</var>).</p></li>

Expand Down Expand Up @@ -81906,7 +81906,7 @@ State: &lt;OUTPUT NAME=I>1&lt;/OUTPUT> &lt;INPUT VALUE="Increment" TYPE=BUTTON O
<h5 id="location-getprototypeof">[[GetPrototypeOf]] ( )</h5>

<ol>
<li><p>If <span>IsPlatformObjectSameOrigin</span>(<b>this</b>) is true, then return !
<li><p>If ! <span>IsPlatformObjectSameOrigin</span>(<b>this</b>) is true, then return !
<span>OrdinaryGetPrototypeOf</span>(<b>this</b>).</p></li>

<li><p>Return null.</p></li>
Expand Down Expand Up @@ -81934,10 +81934,10 @@ State: &lt;OUTPUT NAME=I>1&lt;/OUTPUT> &lt;INPUT VALUE="Increment" TYPE=BUTTON O

<ol>
<li>
<p>If <span>IsPlatformObjectSameOrigin</span>(<b>this</b>) is true, then:</p>
<p>If ! <span>IsPlatformObjectSameOrigin</span>(<b>this</b>) is true, then:</p>

<ol>
<li><p>Let <var>desc</var> be <span>OrdinaryGetOwnProperty</span>(<b>this</b>,
<li><p>Let <var>desc</var> be ! <span>OrdinaryGetOwnProperty</span>(<b>this</b>,
<var>P</var>).</p></li>

<li><p>If the value of the <span>[[DefaultProperties]]</span> internal slot of <b>this</b>
Expand All @@ -81959,7 +81959,7 @@ State: &lt;OUTPUT NAME=I>1&lt;/OUTPUT> &lt;INPUT VALUE="Increment" TYPE=BUTTON O

<ol>
<li>
<p>If <span>IsPlatformObjectSameOrigin</span>(<b>this</b>) is true, then:</p>
<p>If ! <span>IsPlatformObjectSameOrigin</span>(<b>this</b>) is true, then:</p>

<ol>
<li><p>If the value of the <span>[[DefaultProperties]]</span> internal slot of <b>this</b>
Expand All @@ -81976,7 +81976,7 @@ State: &lt;OUTPUT NAME=I>1&lt;/OUTPUT> &lt;INPUT VALUE="Increment" TYPE=BUTTON O
<h5 id="location-get">[[Get]] ( <var>P</var>, <var>Receiver</var> )</h5>

<ol>
<li><p>If <span>IsPlatformObjectSameOrigin</span>(<b>this</b>) is true, then return ?
<li><p>If ! <span>IsPlatformObjectSameOrigin</span>(<b>this</b>) is true, then return ?
<span>OrdinaryGet</span>(<b>this</b>, <var>P</var>, <var>Receiver</var>).</p></li>

<li><p>Return ? <span>CrossOriginGet</span>(<b>this</b>, <var>P</var>,
Expand All @@ -81986,7 +81986,7 @@ State: &lt;OUTPUT NAME=I>1&lt;/OUTPUT> &lt;INPUT VALUE="Increment" TYPE=BUTTON O
<h5 id="location-set">[[Set]] ( <var>P</var>, <var>V</var>, <var>Receiver</var> )</h5>

<ol>
<li><p>If <span>IsPlatformObjectSameOrigin</span>(<b>this</b>) is true, then return ?
<li><p>If ! <span>IsPlatformObjectSameOrigin</span>(<b>this</b>) is true, then return ?
<span>OrdinarySet</span>(<b>this</b>, <var>P</var>, <var>Receiver</var>).</p></li>

<li><p>Return ? <span>CrossOriginSet</span>(<b>this</b>, <var>P</var>, <var>V</var>,
Expand All @@ -81996,7 +81996,7 @@ State: &lt;OUTPUT NAME=I>1&lt;/OUTPUT> &lt;INPUT VALUE="Increment" TYPE=BUTTON O
<h5 id="location-delete">[[Delete]] ( <var>P</var> )</h5>

<ol>
<li><p>If <span>IsPlatformObjectSameOrigin</span>(<b>this</b>) is true, then return ?
<li><p>If ! <span>IsPlatformObjectSameOrigin</span>(<b>this</b>) is true, then return ?
<span>OrdinaryDelete</span>(<b>this</b>, <var>P</var>).</p></li>

<li><p>Throw a <span>"<code>SecurityError</code>"</span> <code>DOMException</code>.</p></li>
Expand All @@ -82005,7 +82005,7 @@ State: &lt;OUTPUT NAME=I>1&lt;/OUTPUT> &lt;INPUT VALUE="Increment" TYPE=BUTTON O
<h5 id="location-ownpropertykeys">[[OwnPropertyKeys]] ( )</h5>

<ol>
<li><p>If <span>IsPlatformObjectSameOrigin</span>(<b>this</b>) is true, then return !
<li><p>If ! <span>IsPlatformObjectSameOrigin</span>(<b>this</b>) is true, then return !
<span>OrdinaryOwnPropertyKeys</span>(<b>this</b>).</p></li>

<li><p>Return ! <span>CrossOriginOwnPropertyKeys</span>(<b>this</b>).</p></li>
Expand Down

0 comments on commit 6378b1c

Please sign in to comment.