├── .gitignore
├── .travis-github-deploy-key.enc
├── .travis.yml
├── LICENSE
├── README.md
├── docs
    └── index.html
├── missing-productions.json
├── package.json
└── spec.emu


/.gitignore:
--------------------------------------------------------------------------------
 1 | ####################################################################################################
 2 | # https://github.com/github/gitignore/blob/9a1d4adec95789f45efd3242099628a2369b2fc8/Node.gitignore
 3 | ####################################################################################################
 4 | 
 5 | # Logs
 6 | logs
 7 | *.log
 8 | npm-debug.log*
 9 | yarn-debug.log*
10 | yarn-error.log*
11 | 
12 | # Runtime data
13 | pids
14 | *.pid
15 | *.seed
16 | *.pid.lock
17 | 
18 | # Directory for instrumented libs generated by jscoverage/JSCover
19 | lib-cov
20 | 
21 | # Coverage directory used by tools like istanbul
22 | coverage
23 | 
24 | # nyc test coverage
25 | .nyc_output
26 | 
27 | # Grunt intermediate storage (http://gruntjs.com/creating-plugins#storing-task-files)
28 | .grunt
29 | 
30 | # Bower dependency directory (https://bower.io/)
31 | bower_components
32 | 
33 | # node-waf configuration
34 | .lock-wscript
35 | 
36 | # Compiled binary addons (http://nodejs.org/api/addons.html)
37 | build/Release
38 | 
39 | # Dependency directories
40 | node_modules/
41 | jspm_packages/
42 | 
43 | # Typescript v1 declaration files
44 | typings/
45 | 
46 | # Optional npm cache directory
47 | .npm
48 | 
49 | # Optional eslint cache
50 | .eslintcache
51 | 
52 | # Optional REPL history
53 | .node_repl_history
54 | 
55 | # Output of 'npm pack'
56 | *.tgz
57 | 
58 | # Yarn Integrity file
59 | .yarn-integrity
60 | 
61 | # dotenv environment variables file
62 | .env
63 | 
64 | 
65 | ####################################################################################################
66 | # https://github.com/github/gitignore/blob/9a1d4adec95789f45efd3242099628a2369b2fc8/Global/Vim.gitignore
67 | ####################################################################################################
68 | 
69 | # Swap
70 | [._]*.s[a-v][a-z]
71 | [._]*.sw[a-p]
72 | [._]s[a-v][a-z]
73 | [._]sw[a-p]
74 | 
75 | # Session
76 | Session.vim
77 | 
78 | # Temporary
79 | .netrwhist
80 | *~
81 | # Auto-generated tag files
82 | tags
83 | 


--------------------------------------------------------------------------------
/.travis-github-deploy-key.enc:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/tc39/proposal-well-formed-stringify/26e901e8356c01b6c0fc45a9c06df6740ae04f4c/.travis-github-deploy-key.enc


--------------------------------------------------------------------------------
/.travis.yml:
--------------------------------------------------------------------------------
 1 | sudo: false
 2 | language: node_js
 3 | node_js:
 4 |   - node
 5 | script:
 6 |   - npm run build &&
 7 |       { [ "@$TRAVIS_BRANCH" = "@master" ] || exit 0; } &&
 8 |       $(npm bin)/set-up-ssh
 9 |         --key "$encrypted_8dd0e096afa0_key"
10 |         --iv "$encrypted_8dd0e096afa0_iv"
11 |         --path-encrypted-key ".travis-github-deploy-key.enc" &&
12 |       git checkout "$TRAVIS_BRANCH" &&
13 |       git add docs &&
14 |       {
15 |         git diff --staged --stat &&
16 |         git commit --no-verify -m "Generated content @ $TRAVIS_COMMIT [skip ci]" ||
17 |         exit 0;
18 |       } &&
19 |       git push "git@github.com:${TRAVIS_REPO_SLUG}.git" HEAD
20 | 
21 | git:
22 |   depth: 1
23 | 


--------------------------------------------------------------------------------
/LICENSE:
--------------------------------------------------------------------------------
 1 | MIT License
 2 | 
 3 | Copyright (c) 2018 Richard Gibson
 4 | 
 5 | Permission is hereby granted, free of charge, to any person obtaining a copy
 6 | of this software and associated documentation files (the "Software"), to deal
 7 | in the Software without restriction, including without limitation the rights
 8 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 9 | copies of the Software, and to permit persons to whom the Software is
10 | furnished to do so, subject to the following conditions:
11 | 
12 | The above copyright notice and this permission notice shall be included in all
13 | copies or substantial portions of the Software.
14 | 
15 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
18 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21 | SOFTWARE.
22 | 


--------------------------------------------------------------------------------
/README.md:
--------------------------------------------------------------------------------
 1 | # Well-formed JSON.stringify
 2 | 
 3 | A proposal to prevent `JSON.stringify` from returning ill-formed Unicode strings.
 4 | 
 5 | ## Status
 6 | This proposal is at stage 4 of [the TC39 Process](https://tc39.github.io/process-document/).
 7 | 
 8 | ## Champions
 9 | * Mathias Bynens
10 | 
11 | ## Motivation
12 | [RFC 8259 section 8.1](https://tools.ietf.org/html/rfc8259#section-8.1) requires JSON text exchanged outside the scope of a closed ecosystem to be encoded using UTF-8, but [`JSON.stringify`](https://tc39.github.io/ecma262/#sec-json.stringify) can return strings including code points that have no representation in UTF-8 (specifically, surrogate code points U+D800 through U+DFFF).
13 | And contrary to [the description of `JSON.stringify`](https://tc39.github.io/ecma262/#sec-json.stringify), such strings are not "in UTF-16" because "isolated UTF-16 code units in the range D800₁₆..DFFF₁₆ are ill-formed" per [The Unicode Standard, Version 10.0.0, Section 3.4](https://unicode.org/versions/Unicode10.0.0/ch03.pdf#G7404) at definition D91 and excluded from being "in UTF-16" per definition D89.
14 | 
15 | However, returning such invalid Unicode strings is unnecessary, because JSON strings can include Unicode escape sequences.
16 | 
17 | ## Proposed Solution
18 | Rather than return unpaired surrogate code points as single UTF-16 code units, represent them with JSON escape sequences.
19 | 
20 | ## Illustrative examples
21 | ```js
22 | // Non-BMP characters still serialize to surrogate pairs.
23 | JSON.stringify('𝌆')
24 | // → '"𝌆"'
25 | JSON.stringify('\uD834\uDF06')
26 | // → '"𝌆"'
27 | 
28 | // Unpaired surrogate code units will serialize to escape sequences.
29 | JSON.stringify('\uDF06\uD834')
30 | // → '"\\udf06\\ud834"'
31 | JSON.stringify('\uDEAD')
32 | // → '"\\udead"'
33 | ```
34 | 
35 | ## Discussion
36 | ### Backwards Compatibility
37 | This change is backwards-compatible, under an assumption of consumer compliance with the JSON specification.
38 | User-visible effects will be limited to the replacement of some rare single UTF-16 code units in `JSON.stringify` output with equivalent six-character escape sequences that can be represented both in UTF-16 and in UTF-8.
39 | It is the authors' opinion that any consumer accepting the current ill-formed output will be unaffected by this change (this is true in particular of ECMAScript `JSON.parse`).
40 | Any consumer rejecting the current ill-formed output will have a new opportunity to accept its well-formed representation, although such consumers may still reject input that specifies strings including Unicode code points that are not scalar values (e.g., because they only accept [I-JSON](https://tools.ietf.org/html/rfc7493) input), but those that accept it must have mechanisms for dealing with unpaired surrogates (as mentioned in the specification of JSON).
41 | 
42 | ### Validity
43 | Unicode escape sequences are valid JSON, and—being completely ASCII—are well-formed in both UTF-16 and UTF-8.
44 | 
45 | ## Specification
46 | The specification is available in [ecmarkup](spec.emu) or [rendered HTML](https://tc39.github.io/proposal-well-formed-stringify/).
47 | 
48 | ## Implementations
49 | * [V8](https://bugs.chromium.org/p/v8/issues/detail?id=7782), enabled by default in V8 v7.2.10 and Chrome 72
50 | * [SpiderMonkey](https://bugzilla.mozilla.org/show_bug.cgi?id=1469021), shipping in Firefox 64
51 | * [JavaScriptCore](https://bugs.webkit.org/show_bug.cgi?id=191677), shipping in [Safari Technology Preview 73](https://webkit.org/blog/8555/release-notes-for-safari-technology-preview-73/)
52 | 


--------------------------------------------------------------------------------
/docs/index.html:
--------------------------------------------------------------------------------
   1 | <!doctype html>
   2 | <head><meta charset="utf-8">
   3 | <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/8.4/styles/github.min.css">
   4 | <title>Well-formed JSON.stringify</title><script type="application/json" id="menu-search-biblio">[{"type":"table","id":"table-json-single-character-escapes","number":1,"caption":"Table 1: JSON Single Character Escape Sequences","referencingIds":["_ref_0","_ref_1"],"namespace":"<no location>","location":"","key":"Table 1: JSON Single Character Escape Sequences"},{"type":"op","aoid":"QuoteJSONString","refId":"sec-quotejsonstring","location":"","referencingIds":[],"key":"QuoteJSONString"},{"type":"clause","id":"sec-quotejsonstring","aoid":"QuoteJSONString","title":"Runtime Semantics: QuoteJSONString ( value )","titleHTML":"Runtime Semantics: QuoteJSONString ( <var>value</var> )","number":"1","namespace":"<no location>","location":"","referencingIds":[],"key":"Runtime Semantics: QuoteJSONString ( value )"},{"type":"clause","id":"sec-copyright-and-software-license","aoid":null,"title":"Copyright & Software License","titleHTML":"Copyright &amp; Software License","number":"A","namespace":"<no location>","location":"","referencingIds":[],"key":"Copyright & Software License"}]</script><script>"use strict";
   5 | 
   6 | function Search(menu) {
   7 |   this.menu = menu;
   8 |   this.$search = document.getElementById('menu-search');
   9 |   this.$searchBox = document.getElementById('menu-search-box');
  10 |   this.$searchResults = document.getElementById('menu-search-results');
  11 |   
  12 |   this.loadBiblio();
  13 |   
  14 |   document.addEventListener('keydown', this.documentKeydown.bind(this));
  15 |   
  16 |   this.$searchBox.addEventListener('keydown', debounce(this.searchBoxKeydown.bind(this), { stopPropagation: true }));
  17 |   this.$searchBox.addEventListener('keyup', debounce(this.searchBoxKeyup.bind(this), { stopPropagation: true }));
  18 | }
  19 | 
  20 | Search.prototype.loadBiblio = function () {
  21 |   var $biblio = document.getElementById('menu-search-biblio');
  22 |   if (!$biblio) {
  23 |     this.biblio = [];
  24 |   } else {
  25 |     this.biblio = JSON.parse($biblio.textContent);
  26 |     this.biblio.clauses = this.biblio.filter(function (e) { return e.type === 'clause' });
  27 |     this.biblio.byId = this.biblio.reduce(function (map, entry) {
  28 |       map[entry.id] = entry;
  29 |       return map;
  30 |     }, {});
  31 |   }
  32 | }
  33 | 
  34 | Search.prototype.documentKeydown = function (e) {
  35 |   if (e.keyCode === 191) {
  36 |     e.preventDefault();
  37 |     e.stopPropagation();
  38 |     this.triggerSearch();
  39 |   }
  40 | }
  41 | 
  42 | Search.prototype.searchBoxKeydown = function (e) {
  43 |   e.stopPropagation();
  44 |   e.preventDefault();
  45 |   if (e.keyCode === 191 && e.target.value.length === 0) {
  46 |     e.preventDefault();
  47 |   } else if (e.keyCode === 13) {
  48 |     e.preventDefault();
  49 |     this.selectResult();
  50 |   }
  51 | }
  52 | 
  53 | Search.prototype.searchBoxKeyup = function (e) {
  54 |   if (e.keyCode === 13 || e.keyCode === 9) {
  55 |     return;
  56 |   }
  57 |   
  58 |   this.search(e.target.value);
  59 | }
  60 | 
  61 | 
  62 | Search.prototype.triggerSearch = function (e) {
  63 |   if (this.menu.isVisible()) {
  64 |     this._closeAfterSearch = false;
  65 |   } else {
  66 |     this._closeAfterSearch = true;
  67 |     this.menu.show();
  68 |   }
  69 | 
  70 |   this.$searchBox.focus();
  71 |   this.$searchBox.select();
  72 | }
  73 | // bit 12 - Set if the result starts with searchString
  74 | // bits 8-11: 8 - number of chunks multiplied by 2 if cases match, otherwise 1.
  75 | // bits 1-7: 127 - length of the entry
  76 | // General scheme: prefer case sensitive matches with fewer chunks, and otherwise
  77 | // prefer shorter matches.
  78 | function relevance(result, searchString) {
  79 |   var relevance = 0;
  80 |   
  81 |   relevance = Math.max(0, 8 - result.match.chunks) << 7;
  82 |   
  83 |   if (result.match.caseMatch) {
  84 |     relevance *= 2;
  85 |   }
  86 |   
  87 |   if (result.match.prefix) {
  88 |     relevance += 2048
  89 |   }
  90 |   
  91 |   relevance += Math.max(0, 255 - result.entry.key.length);
  92 |   
  93 |   return relevance;
  94 | }
  95 | 
  96 | Search.prototype.search = function (searchString) {
  97 |   var s = Date.now();
  98 | 
  99 |   if (searchString === '') {
 100 |     this.displayResults([]);
 101 |     this.hideSearch();
 102 |     return;
 103 |   } else {
 104 |     this.showSearch();
 105 |   }
 106 |   
 107 |   if (searchString.length === 1) {
 108 |     this.displayResults([]);
 109 |     return;
 110 |   }
 111 |     
 112 |   var results;
 113 | 
 114 |   if (/^[\d\.]*$/.test(searchString)) {
 115 |     results = this.biblio.clauses.filter(function (clause) {
 116 |       return clause.number.substring(0, searchString.length) === searchString;
 117 |     }).map(function (clause) {
 118 |       return { entry: clause };
 119 |     });
 120 |   } else {
 121 |     results = [];
 122 |     
 123 |     for (var i = 0; i < this.biblio.length; i++) {
 124 |       var entry = this.biblio[i];
 125 |       if (!entry.key) {
 126 |         // biblio entries without a key aren't searchable
 127 |         continue;
 128 |       }
 129 | 
 130 |       var match = fuzzysearch(searchString, entry.key);
 131 |       if (match) {
 132 |         results.push({ entry: entry, match: match });
 133 |       }
 134 |     }
 135 |   
 136 |     results.forEach(function (result) {
 137 |       result.relevance = relevance(result, searchString);
 138 |     });
 139 |     
 140 |     results = results.sort(function (a, b) { return b.relevance - a.relevance });
 141 | 
 142 |   }
 143 | 
 144 |   if (results.length > 50) {
 145 |     results = results.slice(0, 50);
 146 |   }
 147 |   
 148 |   this.displayResults(results);
 149 | }
 150 | Search.prototype.hideSearch = function () {
 151 |   this.$search.classList.remove('active');
 152 | }
 153 | 
 154 | Search.prototype.showSearch = function () {
 155 |   this.$search.classList.add('active');
 156 | }
 157 | 
 158 | Search.prototype.selectResult = function () {
 159 |   var $first = this.$searchResults.querySelector('li:first-child a');
 160 | 
 161 |   if ($first) {
 162 |     document.location = $first.getAttribute('href');
 163 |   }
 164 |   
 165 |   this.$searchBox.value = '';
 166 |   this.$searchBox.blur();
 167 |   this.displayResults([]);
 168 |   this.hideSearch();
 169 | 
 170 |   if (this._closeAfterSearch) {
 171 |     this.menu.hide();
 172 |   }
 173 | }
 174 | 
 175 | Search.prototype.displayResults = function (results) {
 176 |   if (results.length > 0) {
 177 |     this.$searchResults.classList.remove('no-results');
 178 |     
 179 |     var html = '<ul>';
 180 | 
 181 |     results.forEach(function (result) {
 182 |       var entry = result.entry;
 183 |       var id = entry.id;
 184 |       var cssClass = '';
 185 |       var text = '';
 186 | 
 187 |       if (entry.type === 'clause') {
 188 |         var number = entry.number ? entry.number + ' ' : '';
 189 |         text = number + entry.key;
 190 |         cssClass = 'clause';
 191 |         id = entry.id;
 192 |       } else if (entry.type === 'production') {
 193 |         text = entry.key;
 194 |         cssClass = 'prod';
 195 |         id = entry.id;  
 196 |       } else if (entry.type === 'op') {
 197 |         text = entry.key;
 198 |         cssClass = 'op';
 199 |         id = entry.id || entry.refId;
 200 |       } else if (entry.type === 'term') {
 201 |         text = entry.key;
 202 |         cssClass = 'term';
 203 |         id = entry.id || entry.refId;
 204 |       }
 205 | 
 206 |       if (text) {
 207 |         html += '<li class=menu-search-result-' + cssClass + '><a href="#' + id + '">' + text + '</a></li>'
 208 |       }
 209 |     });
 210 | 
 211 |     html += '</ul>'
 212 | 
 213 |     this.$searchResults.innerHTML = html;
 214 |   } else {
 215 |     this.$searchResults.innerHTML = '';
 216 |     this.$searchResults.classList.add('no-results');
 217 |   }
 218 | }
 219 | 
 220 | 
 221 | function Menu() {
 222 |   this.$toggle = document.getElementById('menu-toggle');
 223 |   this.$menu = document.getElementById('menu');
 224 |   this.$toc = document.querySelector('menu-toc > ol');
 225 |   this.$pins = document.querySelector('#menu-pins');
 226 |   this.$pinList = document.getElementById('menu-pins-list');
 227 |   this.$toc = document.querySelector('#menu-toc > ol');
 228 |   this.$specContainer = document.getElementById('spec-container');
 229 |   this.search = new Search(this);
 230 |   
 231 |   this._pinnedIds = {}; 
 232 |   this.loadPinEntries();
 233 | 
 234 |   // toggle menu
 235 |   this.$toggle.addEventListener('click', this.toggle.bind(this));
 236 | 
 237 |   // keydown events for pinned clauses
 238 |   document.addEventListener('keydown', this.documentKeydown.bind(this));
 239 | 
 240 |   // toc expansion
 241 |   var tocItems = this.$menu.querySelectorAll('#menu-toc li');
 242 |   for (var i = 0; i < tocItems.length; i++) {
 243 |     var $item = tocItems[i];
 244 |     $item.addEventListener('click', function($item, event) {
 245 |       $item.classList.toggle('active');
 246 |       event.stopPropagation();
 247 |     }.bind(null, $item));
 248 |   }
 249 | 
 250 |   // close toc on toc item selection
 251 |   var tocLinks = this.$menu.querySelectorAll('#menu-toc li > a');
 252 |   for (var i = 0; i < tocLinks.length; i++) {
 253 |     var $link = tocLinks[i];
 254 |     $link.addEventListener('click', function(event) {
 255 |       this.toggle();
 256 |       event.stopPropagation();
 257 |     }.bind(this));
 258 |   }
 259 | 
 260 |   // update active clause on scroll
 261 |   window.addEventListener('scroll', debounce(this.updateActiveClause.bind(this)));
 262 |   this.updateActiveClause();
 263 | 
 264 |   // prevent menu scrolling from scrolling the body
 265 |   this.$toc.addEventListener('wheel', function (e) {
 266 |     var target = e.currentTarget;
 267 |     var offTop = e.deltaY < 0 && target.scrollTop === 0;
 268 |     if (offTop) {
 269 |       e.preventDefault();
 270 |     }
 271 |     var offBottom = e.deltaY > 0
 272 |                     && target.offsetHeight + target.scrollTop >= target.scrollHeight;
 273 | 
 274 |     if (offBottom) {
 275 | 		  e.preventDefault();
 276 | 	  }
 277 |   })
 278 | }
 279 | 
 280 | Menu.prototype.documentKeydown = function (e) {
 281 |   e.stopPropagation();
 282 |   if (e.keyCode === 80) {
 283 |     this.togglePinEntry();
 284 |   } else if (e.keyCode > 48 && e.keyCode < 58) {
 285 |     this.selectPin(e.keyCode - 49);
 286 |   }
 287 | }
 288 | 
 289 | Menu.prototype.updateActiveClause = function () {
 290 |   this.setActiveClause(findActiveClause(this.$specContainer))
 291 | }
 292 | 
 293 | Menu.prototype.setActiveClause = function (clause) {
 294 |   this.$activeClause = clause;
 295 |   this.revealInToc(this.$activeClause);
 296 | }
 297 | 
 298 | Menu.prototype.revealInToc = function (path) {
 299 |   var current = this.$toc.querySelectorAll('li.revealed');
 300 |   for (var i = 0; i < current.length; i++) {
 301 |     current[i].classList.remove('revealed');
 302 |     current[i].classList.remove('revealed-leaf');
 303 |   }
 304 |   
 305 |   var current = this.$toc;
 306 |   var index = 0;
 307 |   while (index < path.length) {
 308 |     var children = current.children;
 309 |     for (var i = 0; i < children.length; i++) {
 310 |       if ('#' + path[index].id === children[i].children[1].getAttribute('href') ) {
 311 |         children[i].classList.add('revealed');
 312 |         if (index === path.length - 1) {
 313 |           children[i].classList.add('revealed-leaf');
 314 |           var rect = children[i].getBoundingClientRect();
 315 |           this.$toc.getBoundingClientRect().top
 316 |           var tocRect = this.$toc.getBoundingClientRect();
 317 |           if (rect.top + 10 > tocRect.bottom) {
 318 |             this.$toc.scrollTop = this.$toc.scrollTop + (rect.top - tocRect.bottom) + (rect.bottom - rect.top);
 319 |           } else if (rect.top < tocRect.top) {
 320 |             this.$toc.scrollTop = this.$toc.scrollTop - (tocRect.top - rect.top);
 321 |           }
 322 |         }
 323 |         current = children[i].querySelector('ol');
 324 |         index++;
 325 |         break;
 326 |       }      
 327 |     }
 328 |     
 329 |   }
 330 | }
 331 | 
 332 | function findActiveClause(root, path) {
 333 |   var clauses = new ClauseWalker(root);
 334 |   var $clause;
 335 |   var found = false;
 336 |   var path = path || [];
 337 |   
 338 |   while ($clause = clauses.nextNode()) {
 339 |     var rect = $clause.getBoundingClientRect();
 340 |     var $header = $clause.children[0];
 341 |     var marginTop = parseInt(getComputedStyle($header)["margin-top"]);
 342 |     
 343 |     if ((rect.top - marginTop) <= 0 && rect.bottom > 0) {
 344 |       found = true;
 345 |       return findActiveClause($clause, path.concat($clause)) || path;
 346 |     }
 347 |   }
 348 |   
 349 |   return path;
 350 | }
 351 | 
 352 | function ClauseWalker(root) {
 353 |   var previous;
 354 |   var treeWalker = document.createTreeWalker(
 355 |     root,
 356 |     NodeFilter.SHOW_ELEMENT,
 357 |     {
 358 |       acceptNode: function (node) {
 359 |         if (previous === node.parentNode) {
 360 |           return NodeFilter.FILTER_REJECT;
 361 |         } else {
 362 |           previous = node;
 363 |         }
 364 |         if (node.nodeName === 'EMU-CLAUSE' || node.nodeName === 'EMU-INTRO' || node.nodeName === 'EMU-ANNEX') {
 365 |           return NodeFilter.FILTER_ACCEPT;
 366 |         } else {
 367 |           return NodeFilter.FILTER_SKIP;
 368 |         }
 369 |       }
 370 |     },
 371 |     false
 372 |     );
 373 |   
 374 |   return treeWalker;
 375 | }
 376 | 
 377 | Menu.prototype.toggle = function () {
 378 |   this.$menu.classList.toggle('active');
 379 | }
 380 | 
 381 | Menu.prototype.show = function () {
 382 |   this.$menu.classList.add('active');
 383 | }
 384 | 
 385 | Menu.prototype.hide = function () {
 386 |   this.$menu.classList.remove('active');
 387 | }
 388 | 
 389 | Menu.prototype.isVisible = function() {
 390 |   return this.$menu.classList.contains('active');
 391 | }
 392 | 
 393 | Menu.prototype.showPins = function () {
 394 |   this.$pins.classList.add('active');
 395 | }
 396 | 
 397 | Menu.prototype.hidePins = function () {
 398 |   this.$pins.classList.remove('active');
 399 | }
 400 | 
 401 | Menu.prototype.addPinEntry = function (id) {
 402 |   var entry = this.search.biblio.byId[id];
 403 |   if (!entry) {
 404 |     // id was deleted after pin (or something) so remove it
 405 |     delete this._pinnedIds[id];
 406 |     this.persistPinEntries();
 407 |     return;
 408 |   }
 409 | 
 410 |   if (entry.type === 'clause') {
 411 |     var prefix;
 412 |     if (entry.number) {
 413 |       prefix = entry.number + ' ';
 414 |     } else {
 415 |       prefix = '';
 416 |     }
 417 |     this.$pinList.innerHTML += '<li><a href="#' + entry.id + '">' + prefix + entry.titleHTML + '</a></li>';
 418 |   } else {
 419 |     this.$pinList.innerHTML += '<li><a href="#' + entry.id + '">' + entry.key + '</a></li>';
 420 |   }
 421 | 
 422 |   if (Object.keys(this._pinnedIds).length === 0) {
 423 |     this.showPins();
 424 |   }
 425 |   this._pinnedIds[id] = true;
 426 |   this.persistPinEntries();
 427 | }
 428 | 
 429 | Menu.prototype.removePinEntry = function (id) {
 430 |   var item = this.$pinList.querySelector('a[href="#' + id + '"]').parentNode;
 431 |   this.$pinList.removeChild(item);
 432 |   delete this._pinnedIds[id];
 433 |   if (Object.keys(this._pinnedIds).length === 0) {
 434 |     this.hidePins();
 435 |   }
 436 | 
 437 |   this.persistPinEntries();
 438 | }
 439 | 
 440 | Menu.prototype.persistPinEntries = function () {
 441 |   try {
 442 |     if (!window.localStorage) return;
 443 |   } catch (e) {
 444 |     return;
 445 |   }
 446 | 
 447 |   localStorage.pinEntries = JSON.stringify(Object.keys(this._pinnedIds));
 448 | }
 449 | 
 450 | Menu.prototype.loadPinEntries = function () {
 451 |   try {
 452 |     if (!window.localStorage) return;
 453 |   } catch (e) {
 454 |     return;
 455 |   }
 456 |   
 457 |   var pinsString = window.localStorage.pinEntries;
 458 |   if (!pinsString) return;
 459 |   var pins = JSON.parse(pinsString);
 460 |   for(var i = 0; i < pins.length; i++) {
 461 |     this.addPinEntry(pins[i]);
 462 |   }
 463 | }
 464 | 
 465 | Menu.prototype.togglePinEntry = function (id) {
 466 |   if (!id) {
 467 |     id = this.$activeClause[this.$activeClause.length - 1].id;
 468 |   }
 469 | 
 470 |   if (this._pinnedIds[id]) {
 471 |     this.removePinEntry(id);
 472 |   } else {
 473 |     this.addPinEntry(id);
 474 |   }
 475 | }
 476 | 
 477 | Menu.prototype.selectPin = function (num) {
 478 |   document.location = this.$pinList.children[num].children[0].href;
 479 | }
 480 | 
 481 | var menu;
 482 | function init() {
 483 |   menu = new Menu();
 484 |   var $container = document.getElementById('spec-container');
 485 |   $container.addEventListener('mouseover', debounce(function (e) {
 486 |     Toolbox.activateIfMouseOver(e);
 487 |   }));
 488 | }
 489 | 
 490 | document.addEventListener('DOMContentLoaded', init);
 491 | 
 492 | function debounce(fn, opts) {
 493 |   opts = opts || {};
 494 |   var timeout;
 495 |   return function(e) {
 496 |     if (opts.stopPropagation) {
 497 |       e.stopPropagation();
 498 |     }
 499 |     var args = arguments;
 500 |     if (timeout) {
 501 |       clearTimeout(timeout);
 502 |     }
 503 |     timeout = setTimeout(function() {
 504 |       timeout = null;
 505 |       fn.apply(this, args);
 506 |     }.bind(this), 150);
 507 |   }
 508 | }
 509 | 
 510 | var CLAUSE_NODES = ['EMU-CLAUSE', 'EMU-INTRO', 'EMU-ANNEX'];
 511 | function findLocalReferences ($elem) {
 512 |   var name = $elem.innerHTML;
 513 |   var references = [];
 514 | 
 515 |   var parentClause = $elem.parentNode;
 516 |   while (parentClause && CLAUSE_NODES.indexOf(parentClause.nodeName) === -1) {
 517 |     parentClause = parentClause.parentNode;
 518 |   }
 519 | 
 520 |   if(!parentClause) return;
 521 | 
 522 |   var vars = parentClause.querySelectorAll('var');
 523 | 
 524 |   for (var i = 0; i < vars.length; i++) {
 525 |     var $var = vars[i];
 526 | 
 527 |     if ($var.innerHTML === name) {
 528 |       references.push($var);
 529 |     }
 530 |   }
 531 | 
 532 |   return references;
 533 | }
 534 | 
 535 | function toggleFindLocalReferences($elem) {
 536 |   var references = findLocalReferences($elem);
 537 |   if ($elem.classList.contains('referenced')) {
 538 |     references.forEach(function ($reference) {
 539 |       $reference.classList.remove('referenced');
 540 |     });
 541 |   } else {
 542 |     references.forEach(function ($reference) {
 543 |       $reference.classList.add('referenced');
 544 |     });
 545 |   }
 546 | }
 547 | 
 548 | function installFindLocalReferences () {
 549 |   document.addEventListener('click', function (e) {
 550 |     if (e.target.nodeName === 'VAR') {
 551 |       toggleFindLocalReferences(e.target);
 552 |     }
 553 |   });
 554 | }
 555 | 
 556 | document.addEventListener('DOMContentLoaded', installFindLocalReferences);
 557 | 
 558 | 
 559 | 
 560 | 
 561 | // The following license applies to the fuzzysearch function
 562 | // The MIT License (MIT)
 563 | // Copyright © 2015 Nicolas Bevacqua
 564 | // Copyright © 2016 Brian Terlson
 565 | // Permission is hereby granted, free of charge, to any person obtaining a copy of
 566 | // this software and associated documentation files (the "Software"), to deal in
 567 | // the Software without restriction, including without limitation the rights to
 568 | // use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
 569 | // the Software, and to permit persons to whom the Software is furnished to do so,
 570 | // subject to the following conditions:
 571 | 
 572 | // The above copyright notice and this permission notice shall be included in all
 573 | // copies or substantial portions of the Software.
 574 | 
 575 | // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 576 | // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
 577 | // FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
 578 | // COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
 579 | // IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
 580 | // CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 581 | function fuzzysearch (searchString, haystack, caseInsensitive) {
 582 |   var tlen = haystack.length;
 583 |   var qlen = searchString.length;
 584 |   var chunks = 1;
 585 |   var finding = false;
 586 |   var prefix = true;
 587 |   
 588 |   if (qlen > tlen) {
 589 |     return false;
 590 |   }
 591 |   
 592 |   if (qlen === tlen) {
 593 |     if (searchString === haystack) {
 594 |       return { caseMatch: true, chunks: 1, prefix: true };
 595 |     } else if (searchString.toLowerCase() === haystack.toLowerCase()) {
 596 |       return { caseMatch: false, chunks: 1, prefix: true };
 597 |     } else {
 598 |       return false;
 599 |     }
 600 |   }
 601 |   
 602 |   outer: for (var i = 0, j = 0; i < qlen; i++) {
 603 |     var nch = searchString[i];
 604 |     while (j < tlen) {
 605 |       var targetChar = haystack[j++];
 606 |       if (targetChar === nch) {
 607 |         finding = true;
 608 |         continue outer;
 609 |       }
 610 |       if (finding) {
 611 |         chunks++;
 612 |         finding = false;
 613 |       }
 614 |     }
 615 |     
 616 |     if (caseInsensitive) { return false }
 617 |     
 618 |     return fuzzysearch(searchString.toLowerCase(), haystack.toLowerCase(), true);
 619 |   }
 620 |   
 621 |   return { caseMatch: !caseInsensitive, chunks: chunks, prefix: j <= qlen };
 622 | }
 623 | 
 624 | var Toolbox = {
 625 |   init: function () {
 626 |     this.$container = document.createElement('div');
 627 |     this.$container.classList.add('toolbox');
 628 |     this.$permalink = document.createElement('a');
 629 |     this.$permalink.textContent = 'Permalink';
 630 |     this.$pinLink = document.createElement('a');
 631 |     this.$pinLink.textContent = 'Pin';
 632 |     this.$pinLink.setAttribute('href', '#');
 633 |     this.$pinLink.addEventListener('click', function (e) {
 634 |       e.preventDefault();
 635 |       e.stopPropagation();
 636 |       menu.togglePinEntry(this.entry.id);
 637 |     }.bind(this));
 638 | 
 639 |     this.$refsLink = document.createElement('a');
 640 |     this.$refsLink.setAttribute('href', '#');
 641 |     this.$refsLink.addEventListener('click', function (e) {
 642 |       e.preventDefault();
 643 |       e.stopPropagation();
 644 |       referencePane.showReferencesFor(this.entry);
 645 |     }.bind(this));
 646 |     this.$container.appendChild(this.$permalink);
 647 |     this.$container.appendChild(this.$pinLink);
 648 |     this.$container.appendChild(this.$refsLink);
 649 |     document.body.appendChild(this.$container);
 650 |   },
 651 | 
 652 |   activate: function (el, entry, target) {
 653 |     if (el === this._activeEl) return;
 654 |     this.active = true;
 655 |     this.entry = entry;
 656 |     this.$container.classList.add('active');
 657 |     this.top = el.offsetTop - this.$container.offsetHeight - 10;
 658 |     this.left = el.offsetLeft;
 659 |     this.$container.setAttribute('style', 'left: ' + this.left + 'px; top: ' + this.top + 'px');
 660 |     this.updatePermalink();
 661 |     this.updateReferences();
 662 |     this._activeEl = el;
 663 |     if (this.top < document.body.scrollTop && el === target) {
 664 |       // don't scroll unless it's a small thing (< 200px)
 665 |       this.$container.scrollIntoView();
 666 |     }
 667 |   },
 668 | 
 669 |   updatePermalink: function () {
 670 |     this.$permalink.setAttribute('href', '#' + this.entry.id);
 671 |   },
 672 | 
 673 |   updateReferences: function () {
 674 |     this.$refsLink.textContent = 'References (' + this.entry.referencingIds.length + ')';
 675 |   },
 676 | 
 677 |   activateIfMouseOver: function (e) {
 678 |     var ref = this.findReferenceUnder(e.target);
 679 |     if (ref && (!this.active || e.pageY > this._activeEl.offsetTop)) {
 680 |       var entry = menu.search.biblio.byId[ref.id];
 681 |       this.activate(ref.element, entry, e.target);
 682 |     } else if (this.active && ((e.pageY < this.top) || e.pageY > (this._activeEl.offsetTop + this._activeEl.offsetHeight))) {
 683 |       this.deactivate();
 684 |     }
 685 |   },
 686 | 
 687 |   findReferenceUnder: function (el) {
 688 |     while (el) {
 689 |       var parent = el.parentNode;
 690 |       if (el.nodeName === 'H1' && parent.nodeName.match(/EMU-CLAUSE|EMU-ANNEX|EMU-INTRO/) && parent.id) {
 691 |         return { element: el, id: parent.id };
 692 |       } else if (el.nodeName.match(/EMU-(?!CLAUSE|XREF|ANNEX|INTRO)|DFN/) &&
 693 |                 el.id && el.id[0] !== '_') {
 694 |         if (el.nodeName === 'EMU-FIGURE' || el.nodeName === 'EMU-TABLE' || el.nodeName === 'EMU-EXAMPLE') {
 695 |           // return the figcaption element
 696 |           return { element: el.children[0].children[0], id: el.id };
 697 |         } else if (el.nodeName === 'EMU-PRODUCTION') {
 698 |           // return the LHS non-terminal element
 699 |           return { element: el.children[0], id: el.id };
 700 |         } else {
 701 |           return { element: el, id: el.id };
 702 |         }
 703 |       }
 704 |       el = parent;
 705 |     }
 706 |   },
 707 | 
 708 |   deactivate: function () {
 709 |     this.$container.classList.remove('active');
 710 |     this._activeEl = null;
 711 |     this.activeElBounds = null;
 712 |     this.active = false;
 713 |   }
 714 | }
 715 | 
 716 | var referencePane = {
 717 |   init: function() {
 718 |     this.$container = document.createElement('div');
 719 |     this.$container.setAttribute('id', 'references-pane-container');
 720 | 
 721 |     var $spacer = document.createElement('div');
 722 |     $spacer.setAttribute('id', 'references-pane-spacer');
 723 | 
 724 |     this.$pane = document.createElement('div');
 725 |     this.$pane.setAttribute('id', 'references-pane');
 726 | 
 727 |     this.$container.appendChild($spacer);
 728 |     this.$container.appendChild(this.$pane);
 729 | 
 730 |     this.$header = document.createElement('div');
 731 |     this.$header.classList.add('menu-pane-header');
 732 |     this.$header.textContent = 'References to ';
 733 |     this.$headerRefId = document.createElement('a');
 734 |     this.$header.appendChild(this.$headerRefId);
 735 |     this.$closeButton = document.createElement('span');
 736 |     this.$closeButton.setAttribute('id', 'references-pane-close');
 737 |     this.$closeButton.addEventListener('click', function (e) {
 738 |       this.deactivate();
 739 |     }.bind(this));
 740 |     this.$header.appendChild(this.$closeButton);
 741 | 
 742 |     this.$pane.appendChild(this.$header);
 743 |     var tableContainer = document.createElement('div');
 744 |     tableContainer.setAttribute('id', 'references-pane-table-container');
 745 | 
 746 |     this.$table = document.createElement('table');
 747 |     this.$table.setAttribute('id', 'references-pane-table');
 748 | 
 749 |     this.$tableBody = this.$table.createTBody();
 750 | 
 751 |     tableContainer.appendChild(this.$table);
 752 |     this.$pane.appendChild(tableContainer);
 753 | 
 754 |     menu.$specContainer.appendChild(this.$container);
 755 |   },
 756 | 
 757 |   activate: function () {
 758 |     this.$container.classList.add('active');
 759 |   },
 760 | 
 761 |   deactivate: function () {
 762 |     this.$container.classList.remove('active');
 763 |   },
 764 | 
 765 |   showReferencesFor(entry) {
 766 |     this.activate();
 767 |     var newBody = document.createElement('tbody');
 768 |     var previousId;
 769 |     var previousCell;
 770 |     var dupCount = 0;
 771 |     this.$headerRefId.textContent = '#' + entry.id;
 772 |     this.$headerRefId.setAttribute('href', '#' + entry.id);
 773 |     entry.referencingIds.map(function (id) {
 774 |       var target = document.getElementById(id);
 775 |       var cid = findParentClauseId(target);
 776 |       var clause = menu.search.biblio.byId[cid];
 777 |       var dupCount = 0;
 778 |       return { id: id, clause: clause }
 779 |     }).sort(function (a, b) {
 780 |       return sortByClauseNumber(a.clause, b.clause);
 781 |     }).forEach(function (record, i) {
 782 |       if (previousId === record.clause.id) {
 783 |         previousCell.innerHTML += ' (<a href="#' + record.id + '">' + (dupCount + 2) + '</a>)';
 784 |         dupCount++;
 785 |       } else {
 786 |         var row = newBody.insertRow();
 787 |         var cell = row.insertCell();
 788 |         cell.innerHTML = record.clause.number;
 789 |         cell = row.insertCell();
 790 |         cell.innerHTML = '<a href="#' + record.id + '">' + record.clause.titleHTML + '</a>';
 791 |         previousCell = cell;
 792 |         previousId = record.clause.id;
 793 |         dupCount = 0;
 794 |       }
 795 |     }, this);
 796 |     this.$table.removeChild(this.$tableBody);
 797 |     this.$tableBody = newBody;
 798 |     this.$table.appendChild(this.$tableBody);
 799 |   }
 800 | }
 801 | function findParentClauseId(node) {
 802 |   while (node && node.nodeName !== 'EMU-CLAUSE' && node.nodeName !== 'EMU-INTRO' && node.nodeName !== 'EMU-ANNEX') {
 803 |     node = node.parentNode;
 804 |   }
 805 |   if (!node) return null;
 806 |   return node.getAttribute('id');
 807 | }
 808 | 
 809 | function sortByClauseNumber(c1, c2) {
 810 |   var c1c = c1.number.split('.');
 811 |   var c2c = c2.number.split('.');
 812 | 
 813 |   for (var i = 0; i < c1c.length; i++) {
 814 |     if (i >= c2c.length) {
 815 |       return 1;
 816 |     }
 817 |     
 818 |     var c1 = c1c[i];
 819 |     var c2 = c2c[i];
 820 |     var c1cn = Number(c1);
 821 |     var c2cn = Number(c2);
 822 | 
 823 |     if (Number.isNaN(c1cn) && Number.isNaN(c2cn)) {
 824 |       if (c1 > c2) {
 825 |         return 1;
 826 |       } else if (c1 < c2) {
 827 |         return -1;
 828 |       }
 829 |     } else if (!Number.isNaN(c1cn) && Number.isNaN(c2cn)) {
 830 |       return -1;
 831 |     } else if (Number.isNaN(c1cn) && !Number.isNaN(c2cn)) {
 832 |       return 1;
 833 |     } else if(c1cn > c2cn) {
 834 |       return 1;
 835 |     } else if (c1cn < c2cn) {
 836 |       return -1;
 837 |     }
 838 |   }
 839 | 
 840 |   if (c1c.length === c2c.length) {
 841 |     return 0;
 842 |   }
 843 |   return -1;
 844 | }
 845 | 
 846 | document.addEventListener('DOMContentLoaded', function () {
 847 |   Toolbox.init();
 848 |   referencePane.init();
 849 | })
 850 | var CLAUSE_NODES = ['EMU-CLAUSE', 'EMU-INTRO', 'EMU-ANNEX'];
 851 | function findLocalReferences ($elem) {
 852 |   var name = $elem.innerHTML;
 853 |   var references = [];
 854 | 
 855 |   var parentClause = $elem.parentNode;
 856 |   while (parentClause && CLAUSE_NODES.indexOf(parentClause.nodeName) === -1) {
 857 |     parentClause = parentClause.parentNode;
 858 |   }
 859 | 
 860 |   if(!parentClause) return;
 861 | 
 862 |   var vars = parentClause.querySelectorAll('var');
 863 | 
 864 |   for (var i = 0; i < vars.length; i++) {
 865 |     var $var = vars[i];
 866 | 
 867 |     if ($var.innerHTML === name) {
 868 |       references.push($var);
 869 |     }
 870 |   }
 871 | 
 872 |   return references;
 873 | }
 874 | 
 875 | function toggleFindLocalReferences($elem) {
 876 |   var references = findLocalReferences($elem);
 877 |   if ($elem.classList.contains('referenced')) {
 878 |     references.forEach(function ($reference) {
 879 |       $reference.classList.remove('referenced');
 880 |     });
 881 |   } else {
 882 |     references.forEach(function ($reference) {
 883 |       $reference.classList.add('referenced');
 884 |     });
 885 |   }
 886 | }
 887 | 
 888 | function installFindLocalReferences () {
 889 |   document.addEventListener('click', function (e) {
 890 |     if (e.target.nodeName === 'VAR') {
 891 |       toggleFindLocalReferences(e.target);
 892 |     }
 893 |   });
 894 | }
 895 | 
 896 | document.addEventListener('DOMContentLoaded', installFindLocalReferences);
 897 | </script><style>body {
 898 |   display: flex;
 899 |   font-size: 18px;
 900 |   line-height: 1.5;
 901 |   font-family: Cambria, Palatino Linotype, Palatino, Liberation Serif, serif;
 902 |   padding: 0;
 903 |   margin: 0;
 904 |   color: #111;
 905 | }
 906 | 
 907 | #spec-container {
 908 |   padding: 0 20px;
 909 |   flex-grow: 1;
 910 |   flex-basis: 66%;
 911 |   box-sizing: border-box;
 912 |   overflow: hidden;
 913 | }
 914 | 
 915 | body.oldtoc {
 916 |   margin: 0 auto;
 917 | }
 918 | 
 919 | a {
 920 |     text-decoration: none;
 921 |     color: #206ca7;
 922 | }
 923 | 
 924 | a:visited {
 925 |   color: #206ca7;
 926 | }
 927 | 
 928 | a:hover {
 929 |     text-decoration: underline;
 930 |     color: #239dee;
 931 | }
 932 | 
 933 | 
 934 | code {
 935 |     font-weight: bold;
 936 |     font-family: Consolas, Monaco, monospace;
 937 |     white-space: pre;
 938 | }
 939 | 
 940 | pre code {
 941 |   font-weight: inherit;
 942 | }
 943 | 
 944 | pre code.hljs {
 945 |   background-color: #fff;
 946 |   margin: 0;
 947 |   padding: 0;
 948 | }
 949 | 
 950 | ol.toc {
 951 |     list-style: none;
 952 |     padding-left: 0;
 953 | }
 954 | 
 955 | ol.toc ol.toc {
 956 |     padding-left: 2ex;
 957 |     list-style: none;
 958 | }
 959 | 
 960 | var {
 961 |   color: #2aa198;
 962 |   transition: background-color 0.25s ease;
 963 |   cursor: pointer;
 964 | }
 965 | 
 966 | var.referenced {
 967 |   background-color: #ffff33;
 968 | }
 969 | 
 970 | emu-const {
 971 |   font-family: sans-serif;
 972 | }
 973 | 
 974 | emu-val {
 975 |   font-weight: bold;
 976 | }
 977 | emu-alg ol, emu-alg ol ol ol ol {
 978 |     list-style-type: decimal;
 979 | }
 980 | 
 981 | emu-alg ol ol, emu-alg ol ol ol ol ol {
 982 |     list-style-type: lower-alpha;
 983 | }
 984 | 
 985 | emu-alg ol ol ol, ol ol ol ol ol ol {
 986 |     list-style-type: lower-roman;
 987 | }
 988 | 
 989 | emu-eqn {
 990 |   display: block;
 991 |   margin-left: 4em;
 992 | }
 993 | 
 994 | emu-eqn.inline {
 995 |   display: inline;
 996 |   margin: 0;
 997 | }
 998 | 
 999 | emu-eqn div:first-child {
1000 |   margin-left: -2em;
1001 | }
1002 | 
1003 | emu-note {
1004 |     margin: 1em 0;
1005 |     color: #666;
1006 |     border-left: 5px solid #ccc;
1007 |     display: flex;
1008 |     flex-direction: row;
1009 | }
1010 | 
1011 | emu-note > span.note {
1012 |     flex-basis: 100px;
1013 |     min-width: 100px;
1014 |     flex-grow: 0;
1015 |     flex-shrink: 1;
1016 |     text-transform: uppercase;
1017 |     padding-left: 5px;
1018 | }
1019 | 
1020 | emu-note[type=editor] {
1021 |   border-left-color: #faa;
1022 | }
1023 | 
1024 | emu-note > div.note-contents {
1025 |   flex-grow: 1;
1026 |   flex-shrink: 1;
1027 | }
1028 | 
1029 | emu-note > div.note-contents > p:first-of-type {
1030 |   margin-top: 0;
1031 | }
1032 | 
1033 | emu-note > div.note-contents > p:last-of-type {
1034 |   margin-bottom: 0;
1035 | }
1036 | 
1037 | emu-figure {
1038 |   display: block;
1039 | }
1040 | 
1041 | emu-example {
1042 |   display: block;
1043 |   margin: 1em 3em;
1044 | }
1045 | 
1046 | emu-example figure figcaption {
1047 |   margin-top: 0.5em;
1048 |   text-align: left;
1049 | }
1050 | 
1051 | emu-figure figure,
1052 | emu-example figure,
1053 | emu-table figure {
1054 |   display: flex;
1055 |   flex-direction: column;
1056 |   align-items: center;
1057 | }
1058 | 
1059 | emu-production {
1060 |     display: block;
1061 |     margin-top: 1em;
1062 |     margin-bottom: 1em;
1063 |     margin-left: 5ex;
1064 | }
1065 | 
1066 | emu-grammar.inline, emu-production.inline,
1067 | emu-grammar.inline emu-production emu-rhs, emu-production.inline emu-rhs,
1068 | emu-grammar[collapsed] emu-production emu-rhs, emu-production[collapsed] emu-rhs {
1069 |     display: inline;
1070 |     padding-left: 1ex;
1071 |     margin-left: 0;
1072 | }
1073 | 
1074 | emu-grammar[collapsed] emu-production, emu-production[collapsed] {
1075 |     margin: 0;
1076 | }
1077 | 
1078 | emu-constraints {
1079 |     font-size: .75em;
1080 |     margin-right: 1ex;
1081 | }
1082 | 
1083 | emu-gann {
1084 |     margin-right: 1ex;
1085 | }
1086 | 
1087 | emu-gann emu-t:last-child,
1088 | emu-gann emu-nt:last-child {
1089 |     margin-right: 0;
1090 | }
1091 | 
1092 | emu-geq {
1093 |     margin-left: 1ex;
1094 |     font-weight: bold;
1095 | }
1096 | 
1097 | emu-oneof {
1098 |     font-weight: bold;
1099 |     margin-left: 1ex;
1100 | }
1101 | 
1102 | emu-nt {
1103 |     display: inline-block;
1104 |     font-style: italic;
1105 |     white-space: nowrap;
1106 |     text-indent: 0;
1107 | }
1108 | 
1109 | emu-nt a, emu-nt a:visited {
1110 |   color: #333;
1111 | }
1112 | 
1113 | emu-rhs emu-nt {
1114 |     margin-right: 1ex;
1115 | }
1116 | 
1117 | emu-t {
1118 |     display: inline-block;
1119 |     font-family: monospace;
1120 |     font-weight: bold;
1121 |     white-space: nowrap;
1122 |     text-indent: 0;
1123 | }
1124 | 
1125 | emu-production emu-t {
1126 |     margin-right: 1ex;
1127 | }
1128 | 
1129 | emu-rhs {
1130 |     display: block;
1131 |     padding-left: 75px;
1132 |     text-indent: -25px;
1133 | }
1134 | 
1135 | emu-mods {
1136 |     font-size: .85em;
1137 |     vertical-align: sub;
1138 |     font-style: normal;
1139 |     font-weight: normal;
1140 | }
1141 | 
1142 | emu-production[collapsed] emu-mods {
1143 |   display: none;
1144 | }
1145 | 
1146 | emu-params, emu-opt {
1147 |   margin-right: 1ex;
1148 |   font-family: monospace;
1149 | }
1150 | 
1151 | emu-params, emu-constraints {
1152 |   color: #2aa198;
1153 | }
1154 | 
1155 | emu-opt {
1156 |   color: #b58900;
1157 | }
1158 | 
1159 | emu-gprose {
1160 |     font-size: 0.9em;
1161 |     font-family: Helvetica, Arial, sans-serif;
1162 | }
1163 | 
1164 | h1.shortname {
1165 |   color: #f60;
1166 |   font-size: 1.5em;
1167 |   margin: 0;
1168 | }
1169 | 
1170 | h1.version {
1171 |   color: #f60;
1172 |   font-size: 1.5em;
1173 |   margin: 0;
1174 | }
1175 | 
1176 | h1.title {
1177 |   margin-top: 0;
1178 |   color: #f60;
1179 | }
1180 | 
1181 | h1.first {
1182 |   margin-top: 0;
1183 | }
1184 | 
1185 | h1, h2, h3, h4, h5, h6 {
1186 |     position: relative;
1187 | }
1188 | 
1189 | h1 .secnum {
1190 |   text-decoration: none;
1191 |   margin-right: 10px;
1192 | }
1193 | 
1194 | h1 span.title {
1195 |   order: 2;
1196 | }
1197 | 
1198 | 
1199 | h1 { font-size: 2.67em; margin-top: 2em; margin-bottom: 0; line-height: 1em;}
1200 | h2 { font-size: 2em; }
1201 | h3 { font-size: 1.56em; }
1202 | h4 { font-size: 1.25em; }
1203 | h5 { font-size: 1.11em; }
1204 | h6 { font-size: 1em; }
1205 | 
1206 | h1:hover span.utils {
1207 |   display: block;
1208 | }
1209 | 
1210 | span.utils {
1211 |   font-size: 18px;
1212 |   line-height: 18px;
1213 |   display: none;
1214 |   position: absolute;
1215 |   top: 100%;
1216 |   left: 0;
1217 |   right: 0;
1218 |   font-weight: normal;
1219 | }
1220 | 
1221 | span.utils:before {
1222 |     content: "⤷";
1223 |     display: inline-block;
1224 |     padding: 0 5px;
1225 | }
1226 | 
1227 | span.utils > * {
1228 |   display: inline-block;
1229 |   margin-right: 20px;
1230 | }
1231 | 
1232 | h1 span.utils span.anchor a,
1233 | h2 span.utils span.anchor a,
1234 | h3 span.utils span.anchor a,
1235 | h4 span.utils span.anchor a,
1236 | h5 span.utils span.anchor a,
1237 | h6 span.utils span.anchor a {
1238 |   text-decoration: none;
1239 |   font-variant: small-caps;
1240 | }
1241 | 
1242 | h1 span.utils span.anchor a:hover,
1243 | h2 span.utils span.anchor a:hover,
1244 | h3 span.utils span.anchor a:hover,
1245 | h4 span.utils span.anchor a:hover,
1246 | h5 span.utils span.anchor a:hover,
1247 | h6 span.utils span.anchor a:hover {
1248 |   color: #333;
1249 | }
1250 | 
1251 | emu-intro h1, emu-clause h1, emu-annex h1 { font-size: 2em; }
1252 | emu-intro h2, emu-clause h2, emu-annex h2 { font-size: 1.56em; }
1253 | emu-intro h3, emu-clause h3, emu-annex h3 { font-size: 1.25em; }
1254 | emu-intro h4, emu-clause h4, emu-annex h4 { font-size: 1.11em; }
1255 | emu-intro h5, emu-clause h5, emu-annex h5 { font-size: 1em; }
1256 | emu-intro h6, emu-clause h6, emu-annex h6 { font-size: 0.9em; }
1257 | emu-intro emu-intro h1, emu-clause emu-clause h1, emu-annex emu-annex h1 { font-size: 1.56em; }
1258 | emu-intro emu-intro h2, emu-clause emu-clause h2, emu-annex emu-annex h2 { font-size: 1.25em; }
1259 | emu-intro emu-intro h3, emu-clause emu-clause h3, emu-annex emu-annex h3 { font-size: 1.11em; }
1260 | emu-intro emu-intro h4, emu-clause emu-clause h4, emu-annex emu-annex h4 { font-size: 1em; }
1261 | emu-intro emu-intro h5, emu-clause emu-clause h5, emu-annex emu-annex h5 { font-size: 0.9em; }
1262 | emu-intro emu-intro emu-intro h1, emu-clause emu-clause emu-clause h1, emu-annex emu-annex emu-annex h1 { font-size: 1.25em; }
1263 | emu-intro emu-intro emu-intro h2, emu-clause emu-clause emu-clause h2, emu-annex emu-annex emu-annex h2 { font-size: 1.11em; }
1264 | emu-intro emu-intro emu-intro h3, emu-clause emu-clause emu-clause h3, emu-annex emu-annex emu-annex h3 { font-size: 1em; }
1265 | emu-intro emu-intro emu-intro h4, emu-clause emu-clause emu-clause h4, emu-annex emu-annex emu-annex h4 { font-size: 0.9em; }
1266 | emu-intro emu-intro emu-intro emu-intro h1, emu-clause emu-clause emu-clause emu-clause h1, emu-annex emu-annex emu-annex emu-annex h1 { font-size: 1.11em; }
1267 | emu-intro emu-intro emu-intro emu-intro h2, emu-clause emu-clause emu-clause emu-clause h2, emu-annex emu-annex emu-annex emu-annex h2 { font-size: 1em; }
1268 | emu-intro emu-intro emu-intro emu-intro h3, emu-clause emu-clause emu-clause emu-clause h3, emu-annex emu-annex emu-annex emu-annex h3 { font-size: 0.9em; }
1269 | emu-intro emu-intro emu-intro emu-intro emu-intro h1, emu-clause emu-clause emu-clause emu-clause emu-clause h1, emu-annex emu-annex emu-annex emu-annex emu-annex h1 { font-size: 1em; }
1270 | emu-intro emu-intro emu-intro emu-intro emu-intro h2, emu-clause emu-clause emu-clause emu-clause emu-clause h2, emu-annex emu-annex emu-annex emu-annex emu-annex h2 { font-size: 0.9em; }
1271 | emu-intro emu-intro emu-intro emu-intro emu-intro emu-intro h1, emu-clause emu-clause emu-clause emu-clause emu-clause emu-clause h1, emu-annex emu-annex emu-annex emu-annex emu-annex emu-annex h1 { font-size: 0.9em }
1272 | 
1273 | emu-clause, emu-intro, emu-annex {
1274 |     display: block;
1275 | }
1276 | 
1277 | /* Figures and tables */
1278 | figure { display: block; margin: 1em 0 3em 0; }
1279 | figure object { display: block; margin: 0 auto; }
1280 | figure table.real-table { margin: 0 auto; }
1281 | figure figcaption {
1282 |     display: block;
1283 |     color: #555555;
1284 |     font-weight: bold;
1285 |     text-align: center;
1286 | }
1287 | 
1288 | emu-table table {
1289 |   margin: 0 auto;
1290 | }
1291 | 
1292 | emu-table table, table.real-table {
1293 |     border-collapse: collapse;
1294 | }
1295 | 
1296 | emu-table td, emu-table th, table.real-table td, table.real-table th {
1297 |     border: 1px solid black;
1298 |     padding: 0.4em;
1299 |     vertical-align: baseline;
1300 | }
1301 | emu-table th, emu-table thead td, table.real-table th {
1302 |     background-color: #eeeeee;
1303 | }
1304 | 
1305 | /* Note: the left content edges of table.lightweight-table >tbody >tr >td
1306 |    and div.display line up. */
1307 | table.lightweight-table {
1308 |     border-collapse: collapse;
1309 |     margin: 0 0 0 1.5em;
1310 | }
1311 | table.lightweight-table td, table.lightweight-table th {
1312 |     border: none;
1313 |     padding: 0 0.5em;
1314 |     vertical-align: baseline;
1315 | }
1316 | 
1317 | /* diff styles */
1318 | ins {
1319 |     background-color: #e0f8e0;
1320 |     text-decoration: none;
1321 |     border-bottom: 1px solid #396;
1322 | }
1323 | 
1324 | del {
1325 |     background-color: #fee;
1326 | }
1327 | 
1328 | ins.block, del.block,
1329 | emu-production > ins, emu-production > del,
1330 | emu-grammar > ins, emu-grammar > del {
1331 |   display: block;
1332 | }
1333 | emu-rhs > ins, emu-rhs > del { 
1334 |   display: inline;
1335 | }
1336 | 
1337 | tr.ins > td > ins {
1338 |   border-bottom: none;
1339 | }
1340 | 
1341 | tr.ins > td {
1342 |   background-color: #e0f8e0;
1343 | }
1344 | 
1345 | tr.del > td {
1346 |   background-color: #fee;
1347 | }
1348 | 
1349 | /* Menu Styles */
1350 | #menu-toggle {
1351 |   font-size: 2em;
1352 | 
1353 |   position: fixed;
1354 |   top: 0;
1355 |   left: 0;
1356 |   width: 1.5em;
1357 |   height: 1.5em;
1358 |   z-index: 3;
1359 |   visibility: hidden;
1360 |   color: #1567a2;
1361 |   background-color: #fff;
1362 | 
1363 |   line-height: 1.5em;
1364 |   text-align: center;
1365 |   -webkit-touch-callout: none;
1366 |   -webkit-user-select: none;
1367 |   -khtml-user-select: none;
1368 |   -moz-user-select: none;
1369 |   -ms-user-select: none;
1370 |   user-select: none;;
1371 | 
1372 |   cursor: pointer;
1373 | }
1374 | 
1375 | #menu {
1376 |   display: flex;
1377 |   flex-direction: column;
1378 |   width: 33%; height: 100vh;
1379 |   max-width: 500px;
1380 |   box-sizing: border-box;
1381 |   background-color: #ddd;
1382 |   overflow: hidden;
1383 |   transition: opacity 0.1s linear;
1384 |   padding: 0 5px;
1385 |   position: fixed;
1386 |   left: 0; top: 0;
1387 |   border-right: 2px solid #bbb;
1388 | 
1389 |   z-index: 2;
1390 | }
1391 | 
1392 | #menu-spacer {
1393 |   flex-basis: 33%;
1394 |   max-width: 500px;
1395 |   flex-grow: 0;
1396 |   flex-shrink: 0;
1397 | }
1398 | 
1399 | #menu a {
1400 |   color: #1567a2;
1401 | }
1402 | 
1403 | #menu.active {
1404 |   display: flex;
1405 |   opacity: 1;
1406 |   z-index: 2;
1407 | }
1408 | 
1409 | #menu-pins {
1410 |   flex-grow: 1;
1411 |   display: none;
1412 | }
1413 | 
1414 | #menu-pins.active {
1415 |   display: block;
1416 | }
1417 | 
1418 | #menu-pins-list {
1419 |   margin: 0;
1420 |   padding: 0;
1421 |   counter-reset: pins-counter;
1422 | }
1423 | 
1424 | #menu-pins-list > li:before {
1425 |   content: counter(pins-counter);
1426 |   counter-increment: pins-counter;
1427 |   display: inline-block;
1428 |   width: 25px;
1429 |   text-align: center;
1430 |   border: 1px solid #bbb;
1431 |   padding: 2px;
1432 |   margin: 4px;
1433 |   box-sizing: border-box;
1434 |   line-height: 1em;
1435 |   background-color: #ccc;
1436 |   border-radius: 4px;
1437 | }
1438 | #menu-toc > ol {
1439 |   padding: 0;
1440 |   flex-grow: 1;
1441 | }
1442 | 
1443 | #menu-toc > ol li {
1444 |   padding: 0;
1445 | }
1446 | 
1447 | #menu-toc > ol , #menu-toc > ol ol {
1448 |   list-style-type: none;
1449 |   margin: 0;
1450 |   padding: 0;
1451 | }
1452 | 
1453 | #menu-toc > ol ol {
1454 |   padding-left: 0.75em;
1455 | }
1456 | 
1457 | #menu-toc li {
1458 |   text-overflow: ellipsis;
1459 |   overflow: hidden;
1460 |   white-space: nowrap;
1461 | }
1462 | 
1463 | #menu-toc .item-toggle {
1464 |   display: inline-block;
1465 |   transform: rotate(-45deg) translate(-5px, -5px);
1466 |   transition: transform 0.1s ease;
1467 |   text-align: center;
1468 |   width: 20px;
1469 | 
1470 |   color: #aab;
1471 | 
1472 |   -webkit-touch-callout: none;
1473 |   -webkit-user-select: none;
1474 |   -khtml-user-select: none;
1475 |   -moz-user-select: none;
1476 |   -ms-user-select: none;
1477 |   user-select: none;;
1478 | 
1479 |   cursor: pointer;
1480 | }
1481 | 
1482 | #menu-toc .item-toggle-none {
1483 |   display: inline-block;
1484 |   width: 20px;
1485 | }
1486 | 
1487 | #menu-toc li.active > .item-toggle {
1488 |   transform: rotate(45deg) translate(-5px, -5px);
1489 | }
1490 | 
1491 | #menu-toc li > ol {
1492 |   display: none;
1493 | }
1494 | 
1495 | #menu-toc li.active > ol {
1496 |   display: block;
1497 | }
1498 | 
1499 | #menu-toc li.revealed > a {
1500 |   background-color: #bbb;
1501 |   font-weight: bold;
1502 |   /*
1503 |   background-color: #222;
1504 |   color: #c6d8e4;
1505 |   */
1506 | }
1507 | 
1508 | #menu-toc li.revealed-leaf> a {
1509 |   color: #206ca7;
1510 |   /*
1511 |   background-color: #222;
1512 |   color: #c6d8e4;
1513 |   */
1514 | }
1515 | 
1516 | #menu-toc li.revealed > .item-toggle {
1517 |   transform: rotate(45deg) translate(-5px, -5px);
1518 | }
1519 | 
1520 | #menu-toc li.revealed > ol {
1521 |   display: block;
1522 | }
1523 | 
1524 | #menu-toc li > a {
1525 |   padding: 2px 5px;
1526 | }
1527 | 
1528 | #menu > * {
1529 |   margin-bottom: 5px;
1530 | }
1531 | 
1532 | .menu-pane-header {
1533 |   padding: 0 5px;
1534 |   text-transform: uppercase;
1535 |   background-color: #aaa;
1536 |   color: #335;
1537 |   font-weight: bold;
1538 |   letter-spacing: 2px;
1539 |   flex-grow: 0;
1540 |   flex-shrink: 0;
1541 |   font-size: 0.8em;
1542 | }
1543 | 
1544 | #menu-toc {
1545 |   display: flex;
1546 |   flex-direction: column;
1547 |   width: 100%;
1548 |   overflow: hidden;
1549 |   flex-grow: 1;
1550 | }
1551 | 
1552 | #menu-toc ol.toc {
1553 |   overflow-x: hidden;
1554 |   overflow-y: auto;
1555 | }
1556 | 
1557 | #menu-search {
1558 |   position: relative;
1559 |   flex-grow: 0;
1560 |   flex-shrink: 0;
1561 |   width: 100%;
1562 |   
1563 |   display: flex;
1564 |   flex-direction: column;
1565 |   
1566 |   max-height: 300px;
1567 | }
1568 | 
1569 | #menu-trace-list {
1570 |   display: none;
1571 | }
1572 | 
1573 | #menu-search-box {
1574 |   box-sizing: border-box;
1575 |   display: block;
1576 |   width: 100%;
1577 |   margin: 5px 0 0 0;
1578 |   font-size: 1em;
1579 |   padding: 2px;
1580 |   background-color: #bbb;
1581 |   border: 1px solid #999;
1582 | }
1583 | 
1584 | #menu-search-results {
1585 |   overflow-x: hidden;
1586 |   overflow-y: auto;
1587 | }
1588 | 
1589 | li.menu-search-result-clause:before {
1590 |     content: 'clause';
1591 |     width: 40px;
1592 |     display: inline-block;
1593 |     text-align: right;
1594 |     padding-right: 1ex;
1595 |     color: #666;
1596 |     font-size: 75%;
1597 | }
1598 | li.menu-search-result-op:before {
1599 |     content: 'op';
1600 |     width: 40px;
1601 |     display: inline-block;
1602 |     text-align: right;
1603 |     padding-right: 1ex;
1604 |     color: #666;
1605 |     font-size: 75%;
1606 | }
1607 | 
1608 | li.menu-search-result-prod:before {
1609 |     content: 'prod';
1610 |     width: 40px;
1611 |     display: inline-block;
1612 |     text-align: right;
1613 |     padding-right: 1ex;
1614 |     color: #666;
1615 |     font-size: 75%
1616 | }
1617 | 
1618 | 
1619 | li.menu-search-result-term:before {
1620 |     content: 'term';
1621 |     width: 40px;
1622 |     display: inline-block;
1623 |     text-align: right;
1624 |     padding-right: 1ex;
1625 |     color: #666;
1626 |     font-size: 75%
1627 | }
1628 | 
1629 | #menu-search-results ul {
1630 |   padding: 0 5px;
1631 |   margin: 0;
1632 | }
1633 | 
1634 | #menu-search-results li {
1635 |   white-space: nowrap;
1636 |   text-overflow: ellipsis;
1637 | }
1638 | 
1639 | 
1640 | #menu-trace-list {
1641 |   counter-reset: item;
1642 |   margin: 0 0 0 20px;
1643 |   padding: 0;
1644 | }
1645 | #menu-trace-list li {
1646 |   display: block;
1647 |   white-space: nowrap;
1648 | }
1649 | 
1650 | #menu-trace-list li .secnum:after {
1651 |   content: " ";
1652 | }
1653 | #menu-trace-list li:before {
1654 |     content: counter(item) " ";
1655 |     background-color: #222;
1656 |     counter-increment: item;
1657 |     color: #999;
1658 |     width: 20px;
1659 |     height: 20px;
1660 |     line-height: 20px;
1661 |     display: inline-block;
1662 |     text-align: center;
1663 |     margin: 2px 4px 2px 0;
1664 | }
1665 | 
1666 | @media (max-width: 1000px) {
1667 |   body {
1668 |     margin: 0;
1669 |     display: block;
1670 |   }
1671 | 
1672 |   #menu {
1673 |     display: none;
1674 |     padding-top: 3em;
1675 |     width: 450px;
1676 |   }
1677 | 
1678 |   #menu.active {
1679 |     position: fixed;
1680 |     height: 100%;
1681 |     left: 0;
1682 |     top: 0;
1683 |     right: 300px;
1684 |   }
1685 | 
1686 |   #menu-toggle {
1687 |     visibility: visible;
1688 |   }
1689 | 
1690 |   #spec-container {
1691 |     padding: 0 5px;
1692 |   }
1693 | 
1694 |   #references-pane-spacer {
1695 |     display: none;
1696 |   }
1697 | }
1698 | 
1699 | @media only screen and (max-width: 800px) {
1700 |   #menu {
1701 |     width: 100%;
1702 |   }
1703 | 
1704 |   h1 .secnum:empty {
1705 |     margin: 0; padding: 0;
1706 |   }
1707 | }
1708 | 
1709 | 
1710 | /* Toolbox */
1711 | .toolbox {
1712 | 	position: absolute;
1713 | 	background: #ddd;
1714 | 	border: 1px solid #aaa;
1715 |   display: none;
1716 |   color: #eee;
1717 |   padding: 5px;
1718 |   border-radius: 3px;
1719 | }
1720 | 
1721 | .toolbox.active {
1722 |   display: inline-block;
1723 | }
1724 | 
1725 | .toolbox a {
1726 |   text-decoration: none;
1727 |   padding: 0 5px;
1728 | }
1729 | 
1730 | .toolbox a:hover {
1731 |   text-decoration: underline;
1732 | }
1733 | 
1734 | .toolbox:after, .toolbox:before {
1735 | 	top: 100%;
1736 | 	left: 15px;
1737 | 	border: solid transparent;
1738 | 	content: " ";
1739 | 	height: 0;
1740 | 	width: 0;
1741 | 	position: absolute;
1742 | 	pointer-events: none;
1743 | }
1744 | 
1745 | .toolbox:after {
1746 | 	border-color: rgba(0, 0, 0, 0);
1747 | 	border-top-color: #ddd;
1748 | 	border-width: 10px;
1749 | 	margin-left: -10px;
1750 | }
1751 | .toolbox:before {
1752 | 	border-color: rgba(204, 204, 204, 0);
1753 | 	border-top-color: #aaa;
1754 | 	border-width: 12px;
1755 | 	margin-left: -12px;
1756 | }
1757 | 
1758 | #references-pane-container {
1759 |   position: fixed;
1760 |   bottom: 0;
1761 |   left: 0;
1762 |   right: 0;
1763 |   height: 250px;
1764 |   display: none;
1765 |   background-color: #ddd;
1766 |   z-index: 1;
1767 | }
1768 | 
1769 | #references-pane-table-container {
1770 |   overflow-x: hidden;
1771 |   overflow-y: auto;
1772 | }
1773 | 
1774 | #references-pane-spacer {
1775 |   flex-basis: 33%;
1776 |   max-width: 500px;
1777 | }
1778 | 
1779 | #references-pane {
1780 |   flex-grow: 1;
1781 |   overflow: hidden;
1782 |   display: flex;
1783 |   flex-direction: column;
1784 | }
1785 | 
1786 | #references-pane-container.active {
1787 |   display: flex;
1788 | }
1789 | 
1790 | #references-pane-close:after {
1791 |   content: '✖';
1792 |   float: right;
1793 |   cursor: pointer;
1794 | }
1795 | 
1796 | #references-pane table tr td:first-child {
1797 |   text-align: right;
1798 |   padding-right: 5px;
1799 | }
1800 | 
1801 | @media print {
1802 |   #menu-toggle {
1803 |     display: none; 
1804 |   }
1805 | }
1806 | </style></head><body><div id="menu-toggle">☰</div><div id="menu-spacer"></div><div id="menu"><div id="menu-search"><input type="text" id="menu-search-box" placeholder="Search..."><div id="menu-search-results" class="inactive"></div></div><div id="menu-pins"><div class="menu-pane-header">Pins</div><ul id="menu-pins-list"></ul></div><div class="menu-pane-header">Table of Contents</div><div id="menu-toc"><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-quotejsonstring" title="Runtime Semantics: QuoteJSONString ( value )"><span class="secnum">1</span> RS: QuoteJSONString ( <var>value</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-copyright-and-software-license" title="Copyright &amp; Software License"><span class="secnum">A</span> Copyright &amp; Software License</a></li></ol></div></div><div id="spec-container"><h1 class="shortname first">Proposal  <a href="https://github.com/gibson042/ecma262-proposal-well-formed-stringify">proposal-well-formed-stringify</a></h1><h1 class="version">Stage 4 Draft / January 29, 2019</h1><h1 class="title">Well-formed JSON.stringify</h1>
1807 | <emu-biblio href="./missing-productions.json"></emu-biblio>
1808 | 
1809 | 
1810 | <emu-clause id="sec-quotejsonstring" aoid="QuoteJSONString">
1811 |   <h1><span class="secnum">1</span>Runtime Semantics: QuoteJSONString ( <var>value</var> )</h1>
1812 |   <p>The abstract operation QuoteJSONString with argument <var>value</var> wraps a String value in QUOTATION MARK code units and escapes certain other code units within it.</p>
1813 |   <emu-alg><ol><li>Let <var>product</var> be the String value consisting solely of the code unit 0x0022 (QUOTATION MARK).</li><li>For each code <del>unit</del><ins>point</ins> <var>C</var> in <var>value</var> <ins>when interpreted as UTF-16 encoded Unicode text as described in <emu-xref href="#sec-ecmascript-language-types-string-type"><a href="https://tc39.github.io/ecma262/#sec-ecmascript-language-types-string-type">6.1.4</a></emu-xref></ins>, do<ol><li>If <del>the numeric value of</del> <var>C</var> is listed in the Code <del>Unit Value</del><ins>Point</ins> column of <emu-xref href="#table-json-single-character-escapes" id="_ref_0"><a href="#table-json-single-character-escapes">Table 1</a></emu-xref>, then<ol><li>Set <var>product</var> to the string-concatenation of <var>product</var> and the Escape Sequence for <var>C</var> as specified in <emu-xref href="#table-json-single-character-escapes" id="_ref_1"><a href="#table-json-single-character-escapes">Table 1</a></emu-xref>.</li></ol></li><li>Else if <var>C</var> has a numeric value less than 0x0020 (SPACE), <ins>or <var>C</var> has the same numeric value as a <emu-xref href="#leading-surrogate-code-unit"><a href="https://tc39.github.io/ecma262/#leading-surrogate-code-unit">leading-surrogate code unit</a></emu-xref> or <emu-xref href="#trailing-surrogate-code-unit"><a href="https://tc39.github.io/ecma262/#trailing-surrogate-code-unit">trailing-surrogate code unit</a></emu-xref>,</ins> then<ol><li><ins>Let <var>unit</var> be a code unit whose numeric value is that of <var>C</var>.</ins></li><li>Set <var>product</var> to the string-concatenation of <var>product</var> and UnicodeEscape(<var>unit</var>).</li></ol></li><li>Else,<ol><li>Set <var>product</var> to the string-concatenation of <var>product</var> and <ins>the <emu-xref aoid="UTF16Encoding" id="_ref_2"><a href="https://tc39.github.io/ecma262/#sec-utf16encoding">UTF16Encoding</a></emu-xref> of</ins> <var>C</var>.</li></ol></li></ol></li><li>Set <var>product</var> to the string-concatenation of <var>product</var> and the code unit 0x0022 (QUOTATION MARK).</li><li>Return <var>product</var>.
1814 |   </li></ol></emu-alg>
1815 |   <emu-table id="table-json-single-character-escapes" caption="JSON Single Character Escape Sequences"><figure><figcaption>Table 1: JSON Single Character Escape Sequences</figcaption>
1816 |     <table>
1817 |       <tbody>
1818 |       <tr>
1819 |         <th>
1820 |           Code  <del>Unit Value</del><ins>Point</ins>
1821 |         </th>
1822 |         <th>
1823 |           Unicode Character Name
1824 |         
1825 |         </th>
1826 |         <th>
1827 |           Escape Sequence
1828 |         
1829 |         </th>
1830 |       </tr>
1831 |       <tr>
1832 |         <td>
1833 |           <del><code>0x0008</code></del><ins>U+0008</ins>
1834 |         </td>
1835 |         <td>
1836 |           BACKSPACE
1837 |         
1838 |         </td>
1839 |         <td>
1840 |           <code>\b</code>
1841 |         
1842 |         </td>
1843 |       </tr>
1844 |       <tr>
1845 |         <td>
1846 |           <del><code>0x0009</code></del><ins>U+0009</ins>
1847 |         </td>
1848 |         <td>
1849 |           CHARACTER TABULATION
1850 |         
1851 |         </td>
1852 |         <td>
1853 |           <code>\t</code>
1854 |         
1855 |         </td>
1856 |       </tr>
1857 |       <tr>
1858 |         <td>
1859 |           <del><code>0x000A</code></del><ins>U+000A</ins>
1860 |         </td>
1861 |         <td>
1862 |           LINE FEED (LF)
1863 |         
1864 |         </td>
1865 |         <td>
1866 |           <code>\n</code>
1867 |         
1868 |         </td>
1869 |       </tr>
1870 |       <tr>
1871 |         <td>
1872 |           <del><code>0x000C</code></del><ins>U+000C</ins>
1873 |         </td>
1874 |         <td>
1875 |           FORM FEED (FF)
1876 |         
1877 |         </td>
1878 |         <td>
1879 |           <code>\f</code>
1880 |         
1881 |         </td>
1882 |       </tr>
1883 |       <tr>
1884 |         <td>
1885 |           <del><code>0x000D</code></del><ins>U+000D</ins>
1886 |         </td>
1887 |         <td>
1888 |           CARRIAGE RETURN (CR)
1889 |         
1890 |         </td>
1891 |         <td>
1892 |           <code>\r</code>
1893 |         
1894 |         </td>
1895 |       </tr>
1896 |       <tr>
1897 |         <td>
1898 |           <del><code>0x0022</code></del><ins>U+0022</ins>
1899 |         </td>
1900 |         <td>
1901 |           QUOTATION MARK
1902 |         
1903 |         </td>
1904 |         <td>
1905 |           <code>\"</code>
1906 |         
1907 |         </td>
1908 |       </tr>
1909 |       <tr>
1910 |         <td>
1911 |           <del><code>0x005C</code></del><ins>U+005C</ins>
1912 |         </td>
1913 |         <td>
1914 |           REVERSE SOLIDUS
1915 |         
1916 |         </td>
1917 |         <td>
1918 |           <code>\\</code>
1919 |         
1920 |         </td>
1921 |       </tr>
1922 |       </tbody>
1923 |     </table>
1924 |   </figure></emu-table>
1925 | </emu-clause><emu-annex id="sec-copyright-and-software-license">
1926 |       <h1><span class="secnum">A</span>Copyright &amp; Software License</h1>
1927 |       
1928 |       <h2>Copyright Notice</h2>
1929 |       <p>© 2019 Richard Gibson</p>
1930 | 
1931 |       <h2>Software License</h2>
1932 |       <p>All Software contained in this document ("Software") is protected by copyright and is being made available under the "BSD License", included below. This Software may be subject to third party rights (rights from parties other than Ecma International), including patent rights, and no licenses under such third party rights are granted under this license even if the third party concerned is a member of Ecma International. SEE THE ECMA CODE OF CONDUCT IN PATENT MATTERS AVAILABLE AT https://ecma-international.org/memento/codeofconduct.htm FOR INFORMATION REGARDING THE LICENSING OF PATENT CLAIMS THAT ARE REQUIRED TO IMPLEMENT ECMA INTERNATIONAL STANDARDS.</p>
1933 | 
1934 | <p>Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:</p>
1935 | 
1936 | <ol>
1937 |   <li>Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.</li>
1938 |   <li>Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.</li>
1939 |   <li>Neither the name of the authors nor Ecma International may be used to endorse or promote products derived from this software without specific prior written permission.</li>
1940 | </ol>
1941 | 
1942 | <p>THIS SOFTWARE IS PROVIDED BY THE ECMA INTERNATIONAL "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL ECMA INTERNATIONAL BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.</p>
1943 | 
1944 |     </emu-annex>
1945 | </div></body>


--------------------------------------------------------------------------------
/missing-productions.json:
--------------------------------------------------------------------------------
 1 | {
 2 |   "https://tc39.github.io/ecma262/": [
 3 |     {
 4 |       "type": "production",
 5 |       "id": "prod-annexB-LegacyOctalEscapeSequence",
 6 |       "name": "LegacyOctalEscapeSequence"
 7 |     },
 8 |     {
 9 |       "type": "term",
10 |       "id": "leading-surrogate-code-unit",
11 |       "term": "leading-surrogate code unit"
12 |     },
13 |     {
14 |       "type": "term",
15 |       "id": "trailing-surrogate-code-unit",
16 |       "term": "trailing-surrogate code unit"
17 |     }
18 |   ]
19 | }
20 | 


--------------------------------------------------------------------------------
/package.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "private": true,
 3 |     "devDependencies": {
 4 |         "ecmarkup": "^3.0.0",
 5 |         "@alrra/travis-scripts": "^3.0.1"
 6 |     },
 7 |     "scripts": {
 8 |         "test": "exit 0",
 9 |         "build": "ecmarkup spec.emu docs/index.html"
10 |     }
11 | }
12 | 


--------------------------------------------------------------------------------
/spec.emu:
--------------------------------------------------------------------------------
  1 | <!doctype html>
  2 | <meta charset="utf8">
  3 | <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/8.4/styles/github.min.css">
  4 | <pre class="metadata">
  5 | title: Well-formed JSON.stringify
  6 | status: proposal
  7 | stage: 4
  8 | shortname: &lt;a href="https://github.com/gibson042/ecma262-proposal-well-formed-stringify"&gt;proposal-well-formed-stringify&lt;/a&gt;
  9 | contributors: Richard Gibson
 10 | </pre>
 11 | <emu-biblio href="./missing-productions.json"></emu-biblio>
 12 | 
 13 | 
 14 | <emu-clause id="sec-quotejsonstring" aoid="QuoteJSONString">
 15 |   <h1>Runtime Semantics: QuoteJSONString ( _value_ )</h1>
 16 |   <p>The abstract operation QuoteJSONString with argument _value_ wraps a String value in QUOTATION MARK code units and escapes certain other code units within it.</p>
 17 |   <emu-alg>
 18 |     1. Let _product_ be the String value consisting solely of the code unit 0x0022 (QUOTATION MARK).
 19 |     1. For each code <del>unit</del><ins>point</ins> _C_ in _value_ <ins>when interpreted as UTF-16 encoded Unicode text as described in <emu-xref href="#sec-ecmascript-language-types-string-type"></emu-xref></ins>, do
 20 |       1. If <del>the numeric value of</del> _C_ is listed in the Code <del>Unit Value</del><ins>Point</ins> column of <emu-xref href="#table-json-single-character-escapes"></emu-xref>, then
 21 |         1. Set _product_ to the string-concatenation of _product_ and the Escape Sequence for _C_ as specified in <emu-xref href="#table-json-single-character-escapes"></emu-xref>.
 22 |       1. Else if _C_ has a numeric value less than 0x0020 (SPACE), <ins>or _C_ has the same numeric value as a <emu-xref href="#leading-surrogate-code-unit"></emu-xref> or <emu-xref href="#trailing-surrogate-code-unit"></emu-xref>,</ins> then
 23 |         1. <ins>Let _unit_ be a code unit whose numeric value is that of _C_.</ins>
 24 |         1. Set _product_ to the string-concatenation of _product_ and UnicodeEscape(_unit_).
 25 |       1. Else,
 26 |         1. Set _product_ to the string-concatenation of _product_ and <ins>the <emu-xref aoid="UTF16Encoding"></emu-xref> of</ins> _C_.
 27 |     1. Set _product_ to the string-concatenation of _product_ and the code unit 0x0022 (QUOTATION MARK).
 28 |     1. Return _product_.
 29 |   </emu-alg>
 30 |   <emu-table id="table-json-single-character-escapes" caption="JSON Single Character Escape Sequences">
 31 |     <table>
 32 |       <tbody>
 33 |       <tr>
 34 |         <th>
 35 |           Code <del>Unit Value</del><ins>Point</ins>
 36 |         </th>
 37 |         <th>
 38 |           Unicode Character Name
 39 |         </th>
 40 |         <th>
 41 |           Escape Sequence
 42 |         </th>
 43 |       </tr>
 44 |       <tr>
 45 |         <td>
 46 |           <del>`0x0008`</del><ins>U+0008</ins>
 47 |         </td>
 48 |         <td>
 49 |           BACKSPACE
 50 |         </td>
 51 |         <td>
 52 |           `\\b`
 53 |         </td>
 54 |       </tr>
 55 |       <tr>
 56 |         <td>
 57 |           <del>`0x0009`</del><ins>U+0009</ins>
 58 |         </td>
 59 |         <td>
 60 |           CHARACTER TABULATION
 61 |         </td>
 62 |         <td>
 63 |           `\\t`
 64 |         </td>
 65 |       </tr>
 66 |       <tr>
 67 |         <td>
 68 |           <del>`0x000A`</del><ins>U+000A</ins>
 69 |         </td>
 70 |         <td>
 71 |           LINE FEED (LF)
 72 |         </td>
 73 |         <td>
 74 |           `\\n`
 75 |         </td>
 76 |       </tr>
 77 |       <tr>
 78 |         <td>
 79 |           <del>`0x000C`</del><ins>U+000C</ins>
 80 |         </td>
 81 |         <td>
 82 |           FORM FEED (FF)
 83 |         </td>
 84 |         <td>
 85 |           `\\f`
 86 |         </td>
 87 |       </tr>
 88 |       <tr>
 89 |         <td>
 90 |           <del>`0x000D`</del><ins>U+000D</ins>
 91 |         </td>
 92 |         <td>
 93 |           CARRIAGE RETURN (CR)
 94 |         </td>
 95 |         <td>
 96 |           `\\r`
 97 |         </td>
 98 |       </tr>
 99 |       <tr>
100 |         <td>
101 |           <del>`0x0022`</del><ins>U+0022</ins>
102 |         </td>
103 |         <td>
104 |           QUOTATION MARK
105 |         </td>
106 |         <td>
107 |           `\\"`
108 |         </td>
109 |       </tr>
110 |       <tr>
111 |         <td>
112 |           <del>`0x005C`</del><ins>U+005C</ins>
113 |         </td>
114 |         <td>
115 |           REVERSE SOLIDUS
116 |         </td>
117 |         <td>
118 |           `\\\\`
119 |         </td>
120 |       </tr>
121 |       </tbody>
122 |     </table>
123 |   </emu-table>
124 | </emu-clause>
125 | 


--------------------------------------------------------------------------------