Editorial: Remove extra conditions

spec.html

@@ -8958,7 +8958,7 @@ <h1>[[DefineOwnProperty]] ( _P_, _Desc_ )</h1>
         1. If _targetDesc_ is *undefined*, then
           1. If _extensibleTarget_ is *false*, throw a *TypeError* exception.
           1. If _settingConfigFalse_ is *true*, throw a *TypeError* exception.
-        1. Else _targetDesc_ is not *undefined*,
+        1. Else,
           1. If IsCompatiblePropertyDescriptor(_extensibleTarget_, _Desc_, _targetDesc_) is *false*, throw a *TypeError* exception.
           1. If _settingConfigFalse_ is *true* and _targetDesc_.[[Configurable]] is *true*, throw a *TypeError* exception.
         1. Return *true*.
@@ -20048,7 +20048,7 @@ <h1>Runtime Semantics: EvaluateBody</h1>
         1. Let _declResult_ be FunctionDeclarationInstantiation(_functionObject_, _argumentsList_).
         1. If _declResult_ is not an abrupt completion, then
           1. Perform ! AsyncFunctionStart(_promiseCapability_, |FunctionBody|).
-        1. Else _declResult_ is an abrupt completion,
+        1. Else,
           1. Perform ! Call(_promiseCapability_.[[Reject]], *undefined*, &laquo; _declResult_.[[Value]] &raquo;).
         1. Return Completion { [[Type]]: ~return~, [[Value]]: _promiseCapability_.[[Promise]], [[Target]]: ~empty~ }.
       </emu-alg>
@@ -20336,7 +20336,7 @@ <h1>Runtime Semantics: EvaluateBody</h1>
         1. Let _declResult_ be FunctionDeclarationInstantiation(_functionObject_, _argumentsList_).
         1. If _declResult_ is not an abrupt completion, then
           1. Perform ! AsyncFunctionStart(_promiseCapability_, |AssignmentExpression|).
-        1. Else _declResult_ is an abrupt completion,
+        1. Else,
           1. Perform ! Call(_promiseCapability_.[[Reject]], *undefined*, &laquo; _declResult_.[[Value]] &raquo;).
         1. Return Completion { [[Type]]: ~return~, [[Value]]: _promiseCapability_.[[Promise]], [[Target]]: ~empty~ }.
       </emu-alg>
@@ -23410,7 +23410,7 @@ <h1>parseInt ( _string_, _radix_ )</h1>
         1. If _R_ &ne; 0, then
           1. If _R_ &lt; 2 or _R_ &gt; 36, return *NaN*.
           1. If _R_ &ne; 16, set _stripPrefix_ to *false*.
-        1. Else _R_ = 0,
+        1. Else,
           1. Set _R_ to 10.
         1. If _stripPrefix_ is *true*, then
           1. If the length of _S_ is at least 2 and the first two code units of _S_ are either `"0x"` or `"0X"`, then
@@ -23495,7 +23495,7 @@ <h1>Runtime Semantics: Encode ( _string_, _unescapedSet_ )</h1>
               1. If _C_ is in _unescapedSet_, then
                 1. Let _S_ be the String value containing only the code unit _C_.
                 1. Set _R_ to the string-concatenation of the previous value of _R_ and _S_.
-              1. Else _C_ is not in _unescapedSet_,
+              1. Else,
                 1. If _C_ is a <emu-xref href="#trailing-surrogate"></emu-xref>, throw a *URIError* exception.
                 1. If _C_ is not a <emu-xref href="#leading-surrogate"></emu-xref>, then
                   1. Let _V_ be the code point with the same numeric value as code unit _C_.
@@ -23527,7 +23527,7 @@ <h1>Runtime Semantics: Decode ( _string_, _reservedSet_ )</h1>
               1. Let _C_ be the code unit at index _k_ within _string_.
               1. If _C_ is not the code unit 0x0025 (PERCENT SIGN), then
                 1. Let _S_ be the String value containing only the code unit _C_.
-              1. Else _C_ is the code unit 0x0025 (PERCENT SIGN),
+              1. Else,
                 1. Let _start_ be _k_.
                 1. If _k_ + 2 is greater than or equal to _strLen_, throw a *URIError* exception.
                 1. If the code units at index (_k_ + 1) and (_k_ + 2) within _string_ do not represent hexadecimal digits, throw a *URIError* exception.
@@ -23537,7 +23537,7 @@ <h1>Runtime Semantics: Decode ( _string_, _reservedSet_ )</h1>
                   1. Let _C_ be the code unit whose value is _B_.
                   1. If _C_ is not in _reservedSet_, then
                     1. Let _S_ be the String value containing only the code unit _C_.
-                  1. Else _C_ is in _reservedSet_,
+                  1. Else,
                     1. Let _S_ be the substring of _string_ from index _start_ to index _k_ inclusive.
                 1. Else the most significant bit in _B_ is 1,
                   1. Let _n_ be the smallest nonnegative integer such that (_B_ &lt;&lt; _n_) &amp; 0x80 is equal to 0.
@@ -25465,10 +25465,10 @@ <h1>Number.prototype.toExponential ( _fractionDigits_ )</h1>
           1. If _x_ = 0, then
             1. Let _m_ be the String value consisting of _f_ + 1 occurrences of the code unit 0x0030 (DIGIT ZERO).
             1. Let _e_ be 0.
-          1. Else _x_ &ne; 0,
+          1. Else,
             1. If _fractionDigits_ is not *undefined*, then
               1. Let _e_ and _n_ be integers such that 10<sup>_f_</sup> &le; _n_ &lt; 10<sup>_f_ + 1</sup> and for which the exact mathematical value of _n_ &times; 10<sup>_e_ - _f_</sup> - _x_ is as close to zero as possible. If there are two such sets of _e_ and _n_, pick the _e_ and _n_ for which _n_ &times; 10<sup>_e_ - _f_</sup> is larger.
-            1. Else _fractionDigits_ is *undefined*,
+            1. Else,
               1. Let _e_, _n_, and _f_ be integers such that _f_ &ge; 0, 10<sup>_f_</sup> &le; _n_ &lt; 10<sup>_f_ + 1</sup>, the Number value for _n_ &times; 10<sup>_e_ - _f_</sup> is _x_, and _f_ is as small as possible. Note that the decimal representation of _n_ has _f_ + 1 digits, _n_ is not divisible by 10, and the least significant digit of _n_ is not necessarily uniquely determined by these criteria.
             1. Let _m_ be the String value consisting of the digits of the decimal representation of _n_ (in order, with no leading zeroes).
           1. If _f_ &ne; 0, then
@@ -25479,7 +25479,7 @@ <h1>Number.prototype.toExponential ( _fractionDigits_ )</h1>
             1. Let _d_ be `"0"`.
           1. Else,
             1. If _e_ &gt; 0, let _c_ be `"+"`.
-            1. Else _e_ &le; 0,
+            1. Else _e_ &lt; 0,
               1. Let _c_ be `"-"`.
               1. Set _e_ to -_e_.
             1. Let _d_ be the String value consisting of the digits of the decimal representation of _e_ (in order, with no leading zeroes).
@@ -25512,7 +25512,7 @@ <h1>Number.prototype.toFixed ( _fractionDigits_ )</h1>
             1. Set _x_ to -_x_.
           1. If _x_ &ge; 10<sup>21</sup>, then
             1. Let _m_ be ! ToString(_x_).
-          1. Else _x_ &lt; 10<sup>21</sup>,
+          1. Else,
             1. Let _n_ be an integer for which the exact mathematical value of _n_ &divide; 10<sup>_f_</sup> - _x_ is as close to zero as possible. If there are two such _n_, pick the larger _n_.
             1. If _n_ = 0, let _m_ be the String `"0"`. Otherwise, let _m_ be the String value consisting of the digits of the decimal representation of _n_ (in order, with no leading zeroes).
             1. If _f_ &ne; 0, then
@@ -25558,7 +25558,7 @@ <h1>Number.prototype.toPrecision ( _precision_ )</h1>
           1. If _x_ = 0, then
             1. Let _m_ be the String value consisting of _p_ occurrences of the code unit 0x0030 (DIGIT ZERO).
             1. Let _e_ be 0.
-          1. Else _x_ &ne; 0,
+          1. Else,
             1. Let _e_ and _n_ be integers such that 10<sup>_p_ - 1</sup> &le; _n_ &lt; 10<sup>_p_</sup> and for which the exact mathematical value of _n_ &times; 10<sup>_e_ - _p_ + 1</sup> - _x_ is as close to zero as possible. If there are two such sets of _e_ and _n_, pick the _e_ and _n_ for which _n_ &times; 10<sup>_e_ - _p_ + 1</sup> is larger.
             1. Let _m_ be the String value consisting of the digits of the decimal representation of _n_ (in order, with no leading zeroes).
             1. If _e_ &lt; -6 or _e_ &ge; _p_, then
@@ -25576,7 +25576,7 @@ <h1>Number.prototype.toPrecision ( _precision_ )</h1>
           1. If _e_ = _p_ - 1, return the string-concatenation of _s_ and _m_.
           1. If _e_ &ge; 0, then
             1. Set _m_ to the string-concatenation of the first _e_ + 1 code units of _m_, the code unit 0x002E (FULL STOP), and the remaining _p_ - (_e_ + 1) code units of _m_.
-          1. Else _e_ &lt; 0,
+          1. Else,
             1. Set _m_ to the string-concatenation of the code unit 0x0030 (DIGIT ZERO), the code unit 0x002E (FULL STOP), -(_e_ + 1) occurrences of the code unit 0x0030 (DIGIT ZERO), and the String _m_.
           1. Return the string-concatenation of _s_ and _m_.
         </emu-alg>
@@ -28545,7 +28545,7 @@ <h1>String.prototype.split ( _separator_, _limit_ )</h1>
             1. If _e_ is *false*, increase _q_ by 1.
             1. Else _e_ is an integer index &le; _s_,
               1. If _e_ = _p_, increase _q_ by 1.
-              1. Else _e_ &ne; _p_,
+              1. Else,
                 1. Let _T_ be the String value equal to the substring of _S_ consisting of the code units at indices _p_ (inclusive) through _q_ (exclusive).
                 1. Perform ! CreateDataProperty(_A_, ! ToString(_lengthA_), _T_).
                 1. Increment _lengthA_ by 1.
@@ -30777,7 +30777,7 @@ <h1>RegExp.prototype [ @@match ] ( _string_ )</h1>
               1. If _result_ is *null*, then
                 1. If _n_ = 0, return *null*.
                 1. Return _A_.
-              1. Else _result_ is not *null*,
+              1. Else,
                 1. Let _matchStr_ be ? ToString(? Get(_result_, `"0"`)).
                 1. Let _status_ be CreateDataProperty(_A_, ! ToString(_n_), _matchStr_).
                 1. Assert: _status_ is *true*.
@@ -30828,7 +30828,7 @@ <h1>RegExp.prototype [ @@replace ] ( _string_, _replaceValue_ )</h1>
           1. Repeat, while _done_ is *false*
             1. Let _result_ be ? RegExpExec(_rx_, _S_).
             1. If _result_ is *null*, set _done_ to *true*.
-            1. Else _result_ is not *null*,
+            1. Else,
               1. Append _result_ to the end of _results_.
               1. If _global_ is *false*, set _done_ to *true*.
               1. Else,
@@ -30954,11 +30954,11 @@ <h1>RegExp.prototype [ @@split ] ( _string_, _limit_ )</h1>
             1. Perform ? Set(_splitter_, `"lastIndex"`, _q_, *true*).
             1. Let _z_ be ? RegExpExec(_splitter_, _S_).
             1. If _z_ is *null*, set _q_ to AdvanceStringIndex(_S_, _q_, _unicodeMatching_).
-            1. Else _z_ is not *null*,
+            1. Else,
               1. Let _e_ be ? ToLength(? Get(_splitter_, `"lastIndex"`)).
               1. Set _e_ to min(_e_, _size_).
               1. If _e_ = _p_, set _q_ to AdvanceStringIndex(_S_, _q_, _unicodeMatching_).
-              1. Else _e_ &ne; _p_,
+              1. Else,
                 1. Let _T_ be the String value equal to the substring of _S_ consisting of the code units at indices _p_ (inclusive) through _q_ (exclusive).
                 1. Perform ! CreateDataProperty(_A_, ! ToString(_lengthA_), _T_).
                 1. Increase _lengthA_ by 1.
@@ -31578,7 +31578,7 @@ <h1>Array.prototype.includes ( _searchElement_ [ , _fromIndex_ ] )</h1>
           1. Assert: If _fromIndex_ is *undefined*, then _n_ is 0.
           1. If _n_ &ge; 0, then
             1. Let _k_ be _n_.
-          1. Else _n_ &lt; 0,
+          1. Else,
             1. Let _k_ be _len_ + _n_.
             1. If _k_ &lt; 0, set _k_ to 0.
           1. Repeat, while _k_ &lt; _len_
@@ -31613,7 +31613,7 @@ <h1>Array.prototype.indexOf ( _searchElement_ [ , _fromIndex_ ] )</h1>
           1. If _n_ &ge; _len_, return -1.
           1. If _n_ &ge; 0, then
             1. If _n_ is *-0*, let _k_ be *+0*; else let _k_ be _n_.
-          1. Else _n_ &lt; 0,
+          1. Else,
             1. Let _k_ be _len_ + _n_.
             1. If _k_ &lt; 0, set _k_ to 0.
           1. Repeat, while _k_ &lt; _len_
@@ -31680,7 +31680,7 @@ <h1>Array.prototype.lastIndexOf ( _searchElement_ [ , _fromIndex_ ] )</h1>
           1. If _fromIndex_ is present, let _n_ be ? ToInteger(_fromIndex_); else let _n_ be _len_ - 1.
           1. If _n_ &ge; 0, then
             1. If _n_ is *-0*, let _k_ be *+0*; else let _k_ be min(_n_, _len_ - 1).
-          1. Else _n_ &lt; 0,
+          1. Else,
             1. Let _k_ be _len_ + _n_.
           1. Repeat, while _k_ &ge; 0
             1. Let _kPresent_ be ? HasProperty(_O_, ! ToString(_k_)).
@@ -31796,7 +31796,7 @@ <h1>Array.prototype.reduce ( _callbackfn_ [ , _initialValue_ ] )</h1>
           1. Let _accumulator_ be *undefined*.
           1. If _initialValue_ is present, then
             1. Set _accumulator_ to _initialValue_.
-          1. Else _initialValue_ is not present,
+          1. Else,
             1. Let _kPresent_ be *false*.
             1. Repeat, while _kPresent_ is *false* and _k_ &lt; _len_
               1. Let _Pk_ be ! ToString(_k_).
@@ -31837,7 +31837,7 @@ <h1>Array.prototype.reduceRight ( _callbackfn_ [ , _initialValue_ ] )</h1>
           1. Let _accumulator_ be *undefined*.
           1. If _initialValue_ is present, then
             1. Set _accumulator_ to _initialValue_.
-          1. Else _initialValue_ is not present,
+          1. Else,
             1. Let _kPresent_ be *false*.
             1. Repeat, while _kPresent_ is *false* and _k_ &ge; 0
               1. Let _Pk_ be ! ToString(_k_).
@@ -36133,7 +36133,7 @@ <h1>Runtime Semantics: SerializeJSONObject ( _value_ )</h1>
             1. If _gap_ is the empty String, then
               1. Let _properties_ be the String value formed by concatenating all the element Strings of _partial_ with each adjacent pair of Strings separated with the code unit 0x002C (COMMA). A comma is not inserted either before the first String or after the last String.
               1. Let _final_ be the string-concatenation of `"{"`, _properties_, and `"}"`.
-            1. Else _gap_ is not the empty String,
+            1. Else,
               1. Let _separator_ be the string-concatenation of the code unit 0x002C (COMMA), the code unit 0x000A (LINE FEED), and _indent_.
               1. Let _properties_ be the String value formed by concatenating all the element Strings of _partial_ with each adjacent pair of Strings separated with _separator_. The _separator_ String is not inserted either before the first String or after the last String.
               1. Let _final_ be the string-concatenation of `"{"`, the code unit 0x000A (LINE FEED), _indent_, _properties_, the code unit 0x000A (LINE FEED), _stepback_, and `"}"`.