Skip to content

Commit

Permalink
Editorial: replace space literals with code unit incantation
Browse files Browse the repository at this point in the history
  • Loading branch information
bterlson committed May 30, 2017
1 parent 5d4acf3 commit a1fa262
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions spec.html
Expand Up @@ -27182,7 +27182,7 @@ <h1>Runtime Semantics: TimeString( _tv_ )</h1>
1. Let _hour_ be be the String representation of HourFromTime(_tv_), formatted as a two-digit number, padded to the left with a zero if necessary.
1. Let _minute_ be be the String representation of MinFromTime(_tv_), formatted as a two-digit number, padded to the left with a zero if necessary.
1. Let _second_ be be the String representation of SecFromTime(_tv_), formatted as a two-digit number, padded to the left with a zero if necessary.
1. Return String value formed by concatenating _hour_, `":"`, _minute_, `":"`, _second_, and `" GMT"`
1. Return String value formed by concatenating _hour_, `":"`, _minute_, `":"`, _second_, the code unit 0x0020 (SPACE), and `"GMT"`
</emu-alg>
</emu-clause>

Expand All @@ -27196,7 +27196,7 @@ <h1>Runtime Semantics: DateString( _tv_ )</h1>
1. Let _month_ be the Name of the entry in <emu-xref href="#sec-todatestring-month-names"></emu-xref> with the Number MonthFromTime(_tv_).
1. Let _day_ be be the String representation of DateFromTime(_tv_), formatted as a two-digit number, padded to the left with a zero if necessary.
1. Let _year_ be be the String representation of YearFromTime(_tv_), formatted as a number of at least four digits, padded to the left with zeroes if necessary.
1. Return the String value formed by concatenating _weekday_, `" "`, _month_, `" "`, _day_, `" "`, and _year_.
1. Return the String value formed by concatenating _weekday_, the code unit 0x0020 (SPACE), _month_, the code unit 0x0020 (SPACE), _day_, the code unit 0x0020 (SPACE), and _year_.
</emu-alg>
<emu-table id="sec-todatestring-day-names" caption="Names of days of the week">
<table>
Expand Down Expand Up @@ -27391,7 +27391,7 @@ <h1>Runtime Semantics: TimeZoneString( _tv_, )</h1>
1. Let _offsetMin_ be the String representation of MinFromTime(abs(_offset_)), formatted as a two-digit number, padded to the left with a zero if necessary.
1. Let _offsetHour_ be the String representation of HourFromTime(abs(_offset_)), formatted as a two-digit number, padded to the left with a zero if necessary.
1. If _offset_ &ge; 0, let _offsetSign_ be `"+"`; otherwise, let _offsetSign_ be `"-"`.
1. Let _tzName_ be an implementation-defined string, either `""` or a string of the form `" ("` _name_ `")"` where _name_ is an implementation-defined timezone name.
1. Let _tzName_ be an implementation-defined string, either `""` or a string of the form `" ("` _name_ `")"` where the whitespace is the code unit 0x0020 (SPACE) and _name_ is an implementation-defined timezone name.
1. Return the concatenation of _offsetSign_, _offsetHour_, _offsetMin_, and _tzName_.
</emu-alg>
</emu-clause>
Expand All @@ -27404,7 +27404,7 @@ <h1>Runtime Semantics: ToDateString( _tv_ )</h1>
1. Assert: Type(_tv_) is Number.
1. If _tv_ is *NaN*, return `"Invalid Date"`.
1. Let _t_ be LocalTime(_tv_).
1. Return the String value formed by concatenating DateString(_t_), `" "`, TimeString(_t_), and TimeZoneString(_tv_).
1. Return the String value formed by concatenating DateString(_t_), the code unit 0x0020 (SPACE), TimeString(_t_), and TimeZoneString(_tv_).
</emu-alg>
</emu-clause>
</emu-clause>
Expand Down Expand Up @@ -27432,7 +27432,7 @@ <h1>Date.prototype.toUTCString ( )</h1>
1. Let _month_ be the Name of the entry in <emu-xref href="#sec-todatestring-month-names"></emu-xref> with the Number MonthFromTime(_tv_).
1. Let _day_ be be the String representation of DateFromTime(_tv_), formatted as a two-digit number, padded to the left with a zero if necessary.
1. Let _year_ be be the String representation of YearFromTime(_tv_), formatted as a number of at least four digits, padded to the left with zeroes if necessary.
1. Return the String value formed by concatenating _weekday_, `", "`, _month_, `" "`, _day_, `" "`, _year_, `" "`, and TimeString(_tv_).
1. Return the String value formed by concatenating _weekday_, `","`, the code unit 0x0020 (SPACE), _month_, the code unit 0x0020 (SPACE), _day_, the code unit 0x0020 (SPACE), _year_, the code unit 0x0020 (SPACE), and TimeString(_tv_).
</emu-alg>
</emu-clause>

Expand Down

0 comments on commit a1fa262

Please sign in to comment.