Editorial: Convert the preambles of some numeric methods

... to the 'standard' form introduced in PR tc39#1914.
jmdyck · Apr 18, 2020 · 2206edd · 2206edd
1 parent c21b280
commit 2206edd
Showing 1 changed file with 13 additions and 13 deletions.
diff --git a/spec.html b/spec.html
@@ -1782,7 +1782,7 @@ <h1>Number::bitwiseOR ( _x_, _y_ )</h1>
 
         <emu-clause id="sec-numeric-types-number-tostring" aoid="Number::toString" oldids="sec-tostring-applied-to-the-number-type">
           <h1>Number::toString ( _x_ )</h1>
-          <p>The abstract operation Number::toString converts a Number _x_ to String format as follows:</p>
+          <p>The abstract operation Number::toString takes argument _x_ (a Number). It converts _x_ to String format. It performs the following steps when called:</p>
           <emu-alg>
             1. If _x_ is *NaN*, return the String *"NaN"*.
             1. If _x_ is *+0* or *-0*, return the String *"0"*.
@@ -1860,7 +1860,7 @@ <h1>BigInt::unaryMinus ( _x_ )</h1>
 
         <emu-clause id="sec-numeric-types-bigint-bitwiseNOT">
           <h1>BigInt::bitwiseNOT ( _x_ )</h1>
-          <p>The abstract operation BigInt::bitwiseNOT with an argument _x_ of type BigInt returns the one's complement of _x_; that is, -_x_ - 1.</p>
+          <p>The abstract operation BigInt::bitwiseNOT takes argument _x_ (a BigInt). It returns the one's complement of _x_; that is, -_x_ - 1.</p>
         </emu-clause>
 
         <emu-clause id="sec-numeric-types-bigint-exponentiate">
@@ -1874,7 +1874,7 @@ <h1>BigInt::exponentiate ( _base_, _exponent_ )</h1>
 
         <emu-clause id="sec-numeric-types-bigint-multiply">
           <h1>BigInt::multiply ( _x_, _y_ )</h1>
-          <p>The abstract operation BigInt::multiply with two arguments _x_ and _y_ of type BigInt returns the BigInt value that represents the result of multiplying _x_ and _y_.</p>
+          <p>The abstract operation BigInt::multiply takes arguments _x_ (a BigInt) and _y_ (a BigInt). It returns the BigInt value that represents the result of multiplying _x_ and _y_.</p>
           <emu-note>Even if the result has a much larger bit width than the input, the exact mathematical answer is given.</emu-note>
         </emu-clause>
 
@@ -1900,17 +1900,17 @@ <h1>BigInt::remainder ( _n_, _d_ )</h1>
 
         <emu-clause id="sec-numeric-types-bigint-add">
           <h1>BigInt::add ( _x_, _y_ )</h1>
-          <p>The abstract operation BigInt::add with two arguments _x_ and _y_ of type BigInt returns the BigInt value that represents the sum of _x_ and _y_.</p>
+          <p>The abstract operation BigInt::add takes arguments _x_ (a BigInt) and _y_ (a BigInt). It returns the BigInt value that represents the sum of _x_ and _y_.</p>
         </emu-clause>
 
         <emu-clause id="sec-numeric-types-bigint-subtract">
           <h1>BigInt::subtract ( _x_, _y_ )</h1>
-          <p>The abstract operation BigInt::subtract with two arguments _x_ and _y_ of type BigInt returns the BigInt value that represents the difference _x_ minus _y_.</p>
+          <p>The abstract operation BigInt::subtract takes arguments _x_ (a BigInt) and _y_ (a BigInt). It returns the BigInt value that represents the difference _x_ minus _y_.</p>
         </emu-clause>
 
         <emu-clause id="sec-numeric-types-bigint-leftShift">
           <h1>BigInt::leftShift ( _x_, _y_ )</h1>
-          <p>The abstract operation BigInt::leftShift with two arguments _x_ and _y_ of type BigInt performs the following steps:</p>
+          <p>The abstract operation BigInt::leftShift takes arguments _x_ (a BigInt) and _y_ (a BigInt). It performs the following steps when called:</p>
           <emu-alg>
             1. If _y_ &lt; *0n*, then
               1. Return the BigInt value that represents _x_ &divide; 2<sup>-_y_</sup>, rounding down to the nearest integer, including for negative numbers.
@@ -1921,41 +1921,41 @@ <h1>BigInt::leftShift ( _x_, _y_ )</h1>
 
         <emu-clause id="sec-numeric-types-bigint-signedRightShift">
           <h1>BigInt::signedRightShift ( _x_, _y_ )</h1>
-          <p>The abstract operation BigInt::signedRightShift with arguments _x_ and _y_ of type BigInt performs the following steps:</p>
+          <p>The abstract operation BigInt::signedRightShift takes arguments _x_ (a BigInt) and _y_ (a BigInt). It performs the following steps when called:</p>
           <emu-alg>
             1. Return BigInt::leftShift(_x_, -_y_).
           </emu-alg>
         </emu-clause>
 
         <emu-clause id="sec-numeric-types-bigint-unsignedRightShift">
           <h1>BigInt::unsignedRightShift ( _x_, _y_ )</h1>
-          <p>The abstract operation BigInt::unsignedRightShift with two arguments _x_ and _y_ of type BigInt performs the following steps:</p>
+          <p>The abstract operation BigInt::unsignedRightShift takes arguments _x_ (a BigInt) and _y_ (a BigInt). It performs the following steps when called:</p>
           <emu-alg>
             1. Throw a *TypeError* exception.
           </emu-alg>
         </emu-clause>
 
         <emu-clause id="sec-numeric-types-bigint-lessThan">
           <h1>BigInt::lessThan ( _x_, _y_ )</h1>
-          <p>The abstract operation BigInt::lessThan with two arguments _x_ and _y_ of type BigInt returns *true* if _x_ is less than _y_ and *false* otherwise.</p>
+          <p>The abstract operation BigInt::lessThan takes arguments _x_ (a BigInt) and _y_ (a BigInt). It returns *true* if _x_ is less than _y_ and *false* otherwise.</p>
         </emu-clause>
 
         <emu-clause id="sec-numeric-types-bigint-equal">
           <h1>BigInt::equal ( _x_, _y_ )</h1>
-          <p>The abstract operation BigInt::equal with two arguments _x_ and _y_ of type BigInt returns *true* if _x_ and _y_ have the same mathematical integer value and *false* otherwise.</p>
+          <p>The abstract operation BigInt::equal takes arguments _x_ (a BigInt) and _y_ (a BigInt). It returns *true* if _x_ and _y_ have the same mathematical integer value and *false* otherwise.</p>
         </emu-clause>
 
         <emu-clause id="sec-numeric-types-bigint-sameValue">
           <h1>BigInt::sameValue ( _x_, _y_ )</h1>
-          <p>The abstract operation BigInt::sameValue with two arguments _x_ and _y_ of type BigInt performs the following steps:</p>
+          <p>The abstract operation BigInt::sameValue takes arguments _x_ (a BigInt) and _y_ (a BigInt). It performs the following steps when called:</p>
           <emu-alg>
             1. Return BigInt::equal(_x_, _y_).
           </emu-alg>
         </emu-clause>
 
         <emu-clause id="sec-numeric-types-bigint-sameValueZero">
           <h1>BigInt::sameValueZero ( _x_, _y_ )</h1>
-          <p>The abstract operation BigInt::sameValueZero with two arguments _x_ and _y_ of type BigInt performs the following steps:</p>
+          <p>The abstract operation BigInt::sameValueZero takes arguments _x_ (a BigInt) and _y_ (a BigInt). It performs the following steps when called:</p>
           <emu-alg>
             1. Return BigInt::equal(_x_, _y_).
           </emu-alg>
@@ -2048,7 +2048,7 @@ <h1>BigInt::bitwiseOR ( _x_, _y_ )</h1>
 
         <emu-clause id="sec-numeric-types-bigint-tostring" aoid="BigInt::toString">
           <h1>BigInt::toString ( _x_ )</h1>
-          <p>The abstract operation BigInt::toString converts a BigInt _x_ to String format as follows:</p>
+          <p>The abstract operation BigInt::toString takes argument _x_ (a BigInt). It converts _x_ to String format. It performs the following steps when called:</p>
           <emu-alg>
             1. If _x_ is less than zero, return the string-concatenation of the String *"-"* and ! BigInt::toString(-_x_).
             1. Return the String value consisting of the code units of the digits of the decimal representation of _x_.