├── .gitignore
├── LICENSE
├── README.md
├── index.html
├── package.json
├── spec.css
├── spec.emu
└── spec.js


/.gitignore:
--------------------------------------------------------------------------------
1 | node_modules


--------------------------------------------------------------------------------
/LICENSE:
--------------------------------------------------------------------------------
 1 | The MIT License (MIT)
 2 | 
 3 | Copyright (c) 2016 Caridy Patiño
 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 | 
23 | 


--------------------------------------------------------------------------------
/README.md:
--------------------------------------------------------------------------------
 1 | # Dynamic Module Reform (REJECTED)
 2 | 
 3 | ECMAScript Proposal specs for the reform to preserve the order of execution for dynamic modules.
 4 | 
 5 | ## Champions
 6 | 
 7 | * [@caridy](https://github.com/caridy).
 8 | * [@dherman](https://github.com/dherman).
 9 | 
10 | This proposal was rejected in favor of preserving the current semantics. You can read more about this decision in the [tc39-notes](https://github.com/rwaldron/tc39-notes/blob/master/es8/2017-03/mar-23.md#10iia-dynamic-module-reform-for-stage-2). The last slide from [Update 2 - March 2017](https://docs.google.com/presentation/d/1EYOysPhgjXtgmuNoZ_wUCMElZ8GKLxJmCLeF0EvUXkc/edit#slide=id.g1f1f22a6f5_1_31) shows why this proposal is faulty.
11 | 
12 | ## Slides
13 | 
14 | * [Update 1 - Nov 2016](https://docs.google.com/presentation/d/1EYOysPhgjXtgmuNoZ_wUCMElZ8GKLxJmCLeF0EvUXkc/edit#slide=id.p)
15 | * [Update 2 - March 2017](https://docs.google.com/presentation/d/1EYOysPhgjXtgmuNoZ_wUCMElZ8GKLxJmCLeF0EvUXkc/edit#slide=id.g1f19d52d1f_0_0)
16 | 
17 | ## Rationale
18 | 
19 | ES module spec requires all Module Records to know all the exports during `ModuleDeclarationInstantiation()`. This is needed to guarantee that the linking process (bindings from one module environment record to another) can be accomplish, and works very well for Source Text Module Records, but forces other dynamic modules (like Node CJS modules) to be evaluated during the `ModuleDeclarationInstantiation()` phase. As a result, it is impossible to preserve the order of evaluation.
20 | 
21 | ## Preserving the order of evaluation for Dynamic Module Records
22 | 
23 | This proposal introduces the `"pending"` resolution value when calling `ResolveExport()` for a Dynamic Module Record. Additionally, this proposal introduces a new internal slot `[[PendingImportEntries]]` on Source Text Module Records that is used to track the import entries that are coming from Dynamic Module Records that hasn't been evaluated yet. As a result, calling `ResolveExport()` on the Dynamic Module Record during the `ModuleDeclarationInstantiation()` phase can resolve to `"pending"` to signal that the validation or assertion about the bindings should be deferred to the `ModuleEvaluation()` phase for the Source Text Module Record importing from a Dynamic Module Record.
24 | 
25 | These changes allow us to identify, during the linking phase, an import binding that cannot be created yet and does not require explicit assertion during this phase. As a result, we can defer the evaluation of a Dynamic Module Record to preserve the execution order, and we do so under the assumption that the imported bindings from the Dynamic Module Record will gets populated after it is evaluated.
26 | 
27 | ## Enabling Circular Dependencies with Dynamic Module Records
28 | 
29 | This change also enable us to match the semantics of NCJS when it comes to circular dependencies. The following example illustrates this:
30 | 
31 | ```js
32 | // even.js
33 | module.exports = function even(n) {
34 |     ...
35 |     require('odd')(n - 1)
36 |     ...
37 | }
38 | 
39 | // odd.js
40 | module.exports = function odd(n) {
41 |     ...
42 |     require('even')(n - 1)
43 |     ...
44 | }
45 | ```
46 | 
47 | These CJS modules will work in Node independently of which one is imported first, the same applies if both are written as ESM. But if one of them is ESM and the other is CJS, based on the currenct spec, we might get a static error depending on which one is imported first. E.g.:
48 | 
49 | ```js
50 | // even.js (ESM):
51 | import odd from "odd";
52 | export default function even() {
53 |     ...
54 |     odd(n - 1)
55 |     ...
56 | }
57 | 
58 | // odd.js (DM)
59 | module.exports = function odd(n) {
60 |     ...
61 |     require('even')(n - 1)
62 |     ...
63 | }
64 | ```
65 | 
66 | If the binding for `odd` in `even.js` is not created until after `odd.js` is evaluated, the NCJS semantics are preserved, and this example works independently of which one is imported first.
67 | 
68 | ## SyntaxError in Source Text Module Records
69 | 
70 | * Throw during `ModuleDeclarationInstantiation` if the indirect import entry resolves to *null* or *ambiguous*.
71 | * Throw during `ModuleEvaluation` if a pending import entry resolves to *null* or *ambiguous* or *pending* after evaluating all dependencies, and before evaluating the source text.
72 | 
73 | ## Compromises
74 | 
75 | With this proposal, the statically verifiable mechanism introduced by ESM can only be enforced in a ES Module that is importing from another ES Module, and any interaction with Dynamic Module Records will be deferred to the `ModuleEvaluation()` phase for Dynamic Module Records that were not previously evaluated.
76 | 
77 | ## Additional Information
78 | 
79 | Most of the discussion around this topic is condenced in the meetings notes from TC39 Sept 2016 Meeting:
80 | 
81 | * [Meeting Notes](https://esdiscuss.org/notes/2016-09-28)
82 | * [ES Modules Slides](https://esdiscuss.org/notes/2016-09/ES-Modules-Compat.pdf)
83 | 
84 | ## Spec
85 | 
86 | You can view the spec rendered as [HTML](https://rawgit.com/tc39/proposal-dynamic-modules/master/index.html).
87 | 


--------------------------------------------------------------------------------
/index.html:
--------------------------------------------------------------------------------
   1 | <!doctype html>
   2 | 
   3 | <head>
   4 | 	<meta charset="utf-8">
   5 | 	<link rel="stylesheet" href="./spec.css">
   6 | 	<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/8.4/styles/github.min.css">
   7 | 	<script src="./spec.js"></script>
   8 | 	<title>dynamic modules reform</title>
   9 | 	<script type="application/json" id="menu-search-biblio">
  10 | 		[{
  11 | 			"type": "table",
  12 | 			"id": "table-38",
  13 | 			"number": 1,
  14 | 			"caption": "Table 1: Additional Fields of Source Text Module Records",
  15 | 			"referencingIds": [],
  16 | 			"namespace": "<no location>",
  17 | 			"location": "",
  18 | 			"key": "Table 1: Additional Fields of Source Text Module Records"
  19 | 		}, {
  20 | 			"type": "clause",
  21 | 			"id": "sec-module-namespace-exotic-objects-get-p-receiver",
  22 | 			"aoid": null,
  23 | 			"title": "[[Get]] (P, Receiver)",
  24 | 			"titleHTML": "[[Get]] (<var>P</var>, <var>Receiver</var>)",
  25 | 			"number": "1",
  26 | 			"namespace": "<no location>",
  27 | 			"location": "",
  28 | 			"referencingIds": [],
  29 | 			"key": "[[Get]] (P, Receiver)"
  30 | 		}, {
  31 | 			"type": "clause",
  32 | 			"id": "sec-resolveexport",
  33 | 			"aoid": null,
  34 | 			"title": "ResolveExport( exportName, resolveSet, exportStarSet ) Concrete Method",
  35 | 			"titleHTML": "ResolveExport( <var>exportName</var>, <var>resolveSet</var>, <var>exportStarSet</var> ) Concrete Method",
  36 | 			"number": "2",
  37 | 			"namespace": "<no location>",
  38 | 			"location": "",
  39 | 			"referencingIds": [],
  40 | 			"key": "ResolveExport( exportName, resolveSet, exportStarSet ) Concrete Method"
  41 | 		}, {
  42 | 			"type": "clause",
  43 | 			"id": "sec-moduledeclarationinstantiation",
  44 | 			"aoid": null,
  45 | 			"title": "ModuleDeclarationInstantiation( ) Concrete Method",
  46 | 			"titleHTML": "ModuleDeclarationInstantiation( ) Concrete Method",
  47 | 			"number": "3",
  48 | 			"namespace": "<no location>",
  49 | 			"location": "",
  50 | 			"referencingIds": [],
  51 | 			"key": "ModuleDeclarationInstantiation( ) Concrete Method"
  52 | 		}, {
  53 | 			"type": "clause",
  54 | 			"id": "sec-moduleevaluation",
  55 | 			"aoid": null,
  56 | 			"title": "ModuleEvaluation() Concrete Method",
  57 | 			"titleHTML": "ModuleEvaluation() Concrete Method",
  58 | 			"number": "4",
  59 | 			"namespace": "<no location>",
  60 | 			"location": "",
  61 | 			"referencingIds": [],
  62 | 			"key": "ModuleEvaluation() Concrete Method"
  63 | 		}, {
  64 | 			"type": "op",
  65 | 			"aoid": "ParseModule",
  66 | 			"refId": "sec-parsemodule",
  67 | 			"location": "",
  68 | 			"referencingIds": [],
  69 | 			"key": "ParseModule"
  70 | 		}, {
  71 | 			"type": "clause",
  72 | 			"id": "sec-parsemodule",
  73 | 			"aoid": "ParseModule",
  74 | 			"title": "ParseModule ( sourceText, realm, hostDefined )",
  75 | 			"titleHTML": "ParseModule ( <var>sourceText</var>, <var>realm</var>, <var>hostDefined</var> )",
  76 | 			"number": "5",
  77 | 			"namespace": "<no location>",
  78 | 			"location": "",
  79 | 			"referencingIds": [],
  80 | 			"key": "ParseModule ( sourceText, realm, hostDefined )"
  81 | 		}, {
  82 | 			"type": "clause",
  83 | 			"id": "sec-copyright-and-software-license",
  84 | 			"aoid": null,
  85 | 			"title": "Copyright & Software License",
  86 | 			"titleHTML": "Copyright &amp; Software License",
  87 | 			"number": "A",
  88 | 			"namespace": "<no location>",
  89 | 			"location": "",
  90 | 			"referencingIds": [],
  91 | 			"key": "Copyright & Software License"
  92 | 		}]
  93 | 	</script>
  94 | 	<script>
  95 | 		"use strict";
  96 | 
  97 | 		function Search(menu) {
  98 | 			this.menu = menu;
  99 | 			this.$search = document.getElementById('menu-search');
 100 | 			this.$searchBox = document.getElementById('menu-search-box');
 101 | 			this.$searchResults = document.getElementById('menu-search-results');
 102 | 
 103 | 			this.loadBiblio();
 104 | 
 105 | 			document.addEventListener('keydown', this.documentKeydown.bind(this));
 106 | 
 107 | 			this.$searchBox.addEventListener('keydown', debounce(this.searchBoxKeydown.bind(this), {
 108 | 				stopPropagation: true
 109 | 			}));
 110 | 			this.$searchBox.addEventListener('keyup', debounce(this.searchBoxKeyup.bind(this), {
 111 | 				stopPropagation: true
 112 | 			}));
 113 | 		}
 114 | 
 115 | 		Search.prototype.loadBiblio = function() {
 116 | 			var $biblio = document.getElementById('menu-search-biblio');
 117 | 			if (!$biblio) {
 118 | 				this.biblio = [];
 119 | 			} else {
 120 | 				this.biblio = JSON.parse($biblio.textContent);
 121 | 				this.biblio.clauses = this.biblio.filter(function(e) {
 122 | 					return e.type === 'clause'
 123 | 				});
 124 | 				this.biblio.byId = this.biblio.reduce(function(map, entry) {
 125 | 					map[entry.id] = entry;
 126 | 					return map;
 127 | 				}, {});
 128 | 			}
 129 | 		}
 130 | 
 131 | 		Search.prototype.documentKeydown = function(e) {
 132 | 			if (e.keyCode === 191) {
 133 | 				e.preventDefault();
 134 | 				e.stopPropagation();
 135 | 				this.triggerSearch();
 136 | 			}
 137 | 		}
 138 | 
 139 | 		Search.prototype.searchBoxKeydown = function(e) {
 140 | 			e.stopPropagation();
 141 | 			e.preventDefault();
 142 | 			if (e.keyCode === 191 && e.target.value.length === 0) {
 143 | 				e.preventDefault();
 144 | 			} else if (e.keyCode === 13) {
 145 | 				e.preventDefault();
 146 | 				this.selectResult();
 147 | 			}
 148 | 		}
 149 | 
 150 | 		Search.prototype.searchBoxKeyup = function(e) {
 151 | 			if (e.keyCode === 13 || e.keyCode === 9) {
 152 | 				return;
 153 | 			}
 154 | 
 155 | 			this.search(e.target.value);
 156 | 		}
 157 | 
 158 | 
 159 | 		Search.prototype.triggerSearch = function(e) {
 160 | 				if (this.menu.isVisible()) {
 161 | 					this._closeAfterSearch = false;
 162 | 				} else {
 163 | 					this._closeAfterSearch = true;
 164 | 					this.menu.show();
 165 | 				}
 166 | 
 167 | 				this.$searchBox.focus();
 168 | 				this.$searchBox.select();
 169 | 			}
 170 | 			// bit 12 - Set if the result starts with searchString
 171 | 			// bits 8-11: 8 - number of chunks multiplied by 2 if cases match, otherwise 1.
 172 | 			// bits 1-7: 127 - length of the entry
 173 | 			// General scheme: prefer case sensitive matches with fewer chunks, and otherwise
 174 | 			// prefer shorter matches.
 175 | 		function relevance(result, searchString) {
 176 | 			var relevance = 0;
 177 | 
 178 | 			relevance = Math.max(0, 8 - result.match.chunks) << 7;
 179 | 
 180 | 			if (result.match.caseMatch) {
 181 | 				relevance *= 2;
 182 | 			}
 183 | 
 184 | 			if (result.match.prefix) {
 185 | 				relevance += 2048
 186 | 			}
 187 | 
 188 | 			relevance += Math.max(0, 255 - result.entry.key.length);
 189 | 
 190 | 			return relevance;
 191 | 		}
 192 | 
 193 | 		Search.prototype.search = function(searchString) {
 194 | 			var s = Date.now();
 195 | 
 196 | 			if (searchString === '') {
 197 | 				this.displayResults([]);
 198 | 				this.hideSearch();
 199 | 				return;
 200 | 			} else {
 201 | 				this.showSearch();
 202 | 			}
 203 | 
 204 | 			if (searchString.length === 1) {
 205 | 				this.displayResults([]);
 206 | 				return;
 207 | 			}
 208 | 
 209 | 			var results;
 210 | 
 211 | 			if (/^[\d\.]*$/.test(searchString)) {
 212 | 				results = this.biblio.clauses.filter(function(clause) {
 213 | 					return clause.number.substring(0, searchString.length) === searchString;
 214 | 				}).map(function(clause) {
 215 | 					return {
 216 | 						entry: clause
 217 | 					};
 218 | 				});
 219 | 			} else {
 220 | 				results = [];
 221 | 
 222 | 				for (var i = 0; i < this.biblio.length; i++) {
 223 | 					var entry = this.biblio[i];
 224 | 
 225 | 					var match = fuzzysearch(searchString, entry.key);
 226 | 					if (match) {
 227 | 						results.push({
 228 | 							entry: entry,
 229 | 							match: match
 230 | 						});
 231 | 					}
 232 | 				}
 233 | 
 234 | 				results.forEach(function(result) {
 235 | 					result.relevance = relevance(result, searchString);
 236 | 				});
 237 | 
 238 | 				results = results.sort(function(a, b) {
 239 | 					return b.relevance - a.relevance
 240 | 				});
 241 | 
 242 | 			}
 243 | 
 244 | 			if (results.length > 50) {
 245 | 				results = results.slice(0, 50);
 246 | 			}
 247 | 
 248 | 			this.displayResults(results);
 249 | 		}
 250 | 		Search.prototype.hideSearch = function() {
 251 | 			this.$search.classList.remove('active');
 252 | 		}
 253 | 
 254 | 		Search.prototype.showSearch = function() {
 255 | 			this.$search.classList.add('active');
 256 | 		}
 257 | 
 258 | 		Search.prototype.selectResult = function() {
 259 | 			var $first = this.$searchResults.querySelector('li:first-child a');
 260 | 
 261 | 			if ($first) {
 262 | 				document.location = $first.getAttribute('href');
 263 | 			}
 264 | 
 265 | 			this.$searchBox.value = '';
 266 | 			this.$searchBox.blur();
 267 | 			this.displayResults([]);
 268 | 			this.hideSearch();
 269 | 
 270 | 			if (this._closeAfterSearch) {
 271 | 				this.menu.hide();
 272 | 			}
 273 | 		}
 274 | 
 275 | 		Search.prototype.displayResults = function(results) {
 276 | 			if (results.length > 0) {
 277 | 				this.$searchResults.classList.remove('no-results');
 278 | 
 279 | 				var html = '<ul>';
 280 | 
 281 | 				results.forEach(function(result) {
 282 | 					var entry = result.entry;
 283 | 					var id = entry.id;
 284 | 					var cssClass = '';
 285 | 					var text = '';
 286 | 
 287 | 					if (entry.type === 'clause') {
 288 | 						var number = entry.number ? entry.number + ' ' : '';
 289 | 						text = number + entry.key;
 290 | 						cssClass = 'clause';
 291 | 						id = entry.id;
 292 | 					} else if (entry.type === 'production') {
 293 | 						text = entry.key;
 294 | 						cssClass = 'prod';
 295 | 						id = entry.id;
 296 | 					} else if (entry.type === 'op') {
 297 | 						text = entry.key;
 298 | 						cssClass = 'op';
 299 | 						id = entry.id || entry.refId;
 300 | 					} else if (entry.type === 'term') {
 301 | 						text = entry.key;
 302 | 						cssClass = 'term';
 303 | 						id = entry.id || entry.refId;
 304 | 					}
 305 | 
 306 | 					if (text) {
 307 | 						html += '<li class=menu-search-result-' + cssClass + '><a href="#' + id + '">' + text + '</a></li>'
 308 | 					}
 309 | 				});
 310 | 
 311 | 				html += '</ul>'
 312 | 
 313 | 				this.$searchResults.innerHTML = html;
 314 | 			} else {
 315 | 				this.$searchResults.innerHTML = '';
 316 | 				this.$searchResults.classList.add('no-results');
 317 | 			}
 318 | 		}
 319 | 
 320 | 
 321 | 		function Menu() {
 322 | 			this.$toggle = document.getElementById('menu-toggle');
 323 | 			this.$menu = document.getElementById('menu');
 324 | 			this.$toc = document.querySelector('menu-toc > ol');
 325 | 			this.$pins = document.querySelector('#menu-pins');
 326 | 			this.$pinList = document.getElementById('menu-pins-list');
 327 | 			this.$toc = document.querySelector('#menu-toc > ol');
 328 | 			this.$specContainer = document.getElementById('spec-container');
 329 | 			this.search = new Search(this);
 330 | 
 331 | 			this._pinnedIds = {};
 332 | 			this.loadPinEntries();
 333 | 
 334 | 			// toggle menu
 335 | 			this.$toggle.addEventListener('click', this.toggle.bind(this));
 336 | 
 337 | 			// keydown events for pinned clauses
 338 | 			document.addEventListener('keydown', this.documentKeydown.bind(this));
 339 | 
 340 | 			// toc expansion
 341 | 			var tocItems = this.$menu.querySelectorAll('#menu-toc li');
 342 | 			for (var i = 0; i < tocItems.length; i++) {
 343 | 				var $item = tocItems[i];
 344 | 				$item.addEventListener('click', function($item, event) {
 345 | 					$item.classList.toggle('active');
 346 | 					event.stopPropagation();
 347 | 				}.bind(null, $item));
 348 | 			}
 349 | 
 350 | 			// close toc on toc item selection
 351 | 			var tocLinks = this.$menu.querySelectorAll('#menu-toc li > a');
 352 | 			for (var i = 0; i < tocLinks.length; i++) {
 353 | 				var $link = tocLinks[i];
 354 | 				$link.addEventListener('click', function(event) {
 355 | 					this.toggle();
 356 | 					event.stopPropagation();
 357 | 				}.bind(this));
 358 | 			}
 359 | 
 360 | 			// update active clause on scroll
 361 | 			window.addEventListener('scroll', debounce(this.updateActiveClause.bind(this)));
 362 | 			this.updateActiveClause();
 363 | 
 364 | 			// prevent menu scrolling from scrolling the body
 365 | 			this.$toc.addEventListener('wheel', function(e) {
 366 | 				var target = e.currentTarget;
 367 | 				var offTop = e.deltaY < 0 && target.scrollTop === 0;
 368 | 				if (offTop) {
 369 | 					e.preventDefault();
 370 | 				}
 371 | 				var offBottom = e.deltaY > 0 &&
 372 | 					target.offsetHeight + target.scrollTop >= target.scrollHeight;
 373 | 
 374 | 				if (offBottom) {
 375 | 					e.preventDefault();
 376 | 				}
 377 | 			})
 378 | 		}
 379 | 
 380 | 		Menu.prototype.documentKeydown = function(e) {
 381 | 			e.stopPropagation();
 382 | 			if (e.keyCode === 80) {
 383 | 				this.togglePinEntry();
 384 | 			} else if (e.keyCode > 48 && e.keyCode < 58) {
 385 | 				this.selectPin(e.keyCode - 49);
 386 | 			}
 387 | 		}
 388 | 
 389 | 		Menu.prototype.updateActiveClause = function() {
 390 | 			this.setActiveClause(findActiveClause(this.$specContainer))
 391 | 		}
 392 | 
 393 | 		Menu.prototype.setActiveClause = function(clause) {
 394 | 			this.$activeClause = clause;
 395 | 			this.revealInToc(this.$activeClause);
 396 | 		}
 397 | 
 398 | 		Menu.prototype.revealInToc = function(path) {
 399 | 			var current = this.$toc.querySelectorAll('li.revealed');
 400 | 			for (var i = 0; i < current.length; i++) {
 401 | 				current[i].classList.remove('revealed');
 402 | 				current[i].classList.remove('revealed-leaf');
 403 | 			}
 404 | 
 405 | 			var current = this.$toc;
 406 | 			var index = 0;
 407 | 			while (index < path.length) {
 408 | 				var children = current.children;
 409 | 				for (var i = 0; i < children.length; i++) {
 410 | 					if ('#' + path[index].id === children[i].children[1].getAttribute('href')) {
 411 | 						children[i].classList.add('revealed');
 412 | 						if (index === path.length - 1) {
 413 | 							children[i].classList.add('revealed-leaf');
 414 | 							var rect = children[i].getBoundingClientRect();
 415 | 							this.$toc.getBoundingClientRect().top
 416 | 							var tocRect = this.$toc.getBoundingClientRect();
 417 | 							if (rect.top + 10 > tocRect.bottom) {
 418 | 								this.$toc.scrollTop = this.$toc.scrollTop + (rect.top - tocRect.bottom) + (rect.bottom - rect.top);
 419 | 							} else if (rect.top < tocRect.top) {
 420 | 								this.$toc.scrollTop = this.$toc.scrollTop - (tocRect.top - rect.top);
 421 | 							}
 422 | 						}
 423 | 						current = children[i].querySelector('ol');
 424 | 						index++;
 425 | 						break;
 426 | 					}
 427 | 				}
 428 | 
 429 | 			}
 430 | 		}
 431 | 
 432 | 		function findActiveClause(root, path) {
 433 | 			var clauses = new ClauseWalker(root);
 434 | 			var $clause;
 435 | 			var found = false;
 436 | 			var path = path || [];
 437 | 
 438 | 			while ($clause = clauses.nextNode()) {
 439 | 				var rect = $clause.getBoundingClientRect();
 440 | 				var $header = $clause.children[0];
 441 | 				var marginTop = parseInt(getComputedStyle($header)["margin-top"]);
 442 | 
 443 | 				if ((rect.top - marginTop) <= 0 && rect.bottom > 0) {
 444 | 					found = true;
 445 | 					return findActiveClause($clause, path.concat($clause)) || path;
 446 | 				}
 447 | 			}
 448 | 
 449 | 			return path;
 450 | 		}
 451 | 
 452 | 		function ClauseWalker(root) {
 453 | 			var previous;
 454 | 			var treeWalker = document.createTreeWalker(
 455 | 				root,
 456 | 				NodeFilter.SHOW_ELEMENT, {
 457 | 					acceptNode: function(node) {
 458 | 						if (previous === node.parentNode) {
 459 | 							return NodeFilter.FILTER_REJECT;
 460 | 						} else {
 461 | 							previous = node;
 462 | 						}
 463 | 						if (node.nodeName === 'EMU-CLAUSE' || node.nodeName === 'EMU-INTRO' || node.nodeName === 'EMU-ANNEX') {
 464 | 							return NodeFilter.FILTER_ACCEPT;
 465 | 						} else {
 466 | 							return NodeFilter.FILTER_SKIP;
 467 | 						}
 468 | 					}
 469 | 				},
 470 | 				false
 471 | 			);
 472 | 
 473 | 			return treeWalker;
 474 | 		}
 475 | 
 476 | 		Menu.prototype.toggle = function() {
 477 | 			this.$menu.classList.toggle('active');
 478 | 		}
 479 | 
 480 | 		Menu.prototype.show = function() {
 481 | 			this.$menu.classList.add('active');
 482 | 		}
 483 | 
 484 | 		Menu.prototype.hide = function() {
 485 | 			this.$menu.classList.remove('active');
 486 | 		}
 487 | 
 488 | 		Menu.prototype.isVisible = function() {
 489 | 			return this.$menu.classList.contains('active');
 490 | 		}
 491 | 
 492 | 		Menu.prototype.showPins = function() {
 493 | 			this.$pins.classList.add('active');
 494 | 		}
 495 | 
 496 | 		Menu.prototype.hidePins = function() {
 497 | 			this.$pins.classList.remove('active');
 498 | 		}
 499 | 
 500 | 		Menu.prototype.addPinEntry = function(id) {
 501 | 			var entry = this.search.biblio.byId[id];
 502 | 			if (!entry) {
 503 | 				// id was deleted after pin (or something) so remove it
 504 | 				delete this._pinnedIds[id];
 505 | 				this.persistPinEntries();
 506 | 				return;
 507 | 			}
 508 | 
 509 | 			if (entry.type === 'clause') {
 510 | 				var prefix;
 511 | 				if (entry.number) {
 512 | 					prefix = entry.number + ' ';
 513 | 				} else {
 514 | 					prefix = '';
 515 | 				}
 516 | 				this.$pinList.innerHTML += '<li><a href="#' + entry.id + '">' + prefix + entry.titleHTML + '</a></li>';
 517 | 			} else {
 518 | 				this.$pinList.innerHTML += '<li><a href="#' + entry.id + '">' + entry.key + '</a></li>';
 519 | 			}
 520 | 
 521 | 			if (Object.keys(this._pinnedIds).length === 0) {
 522 | 				this.showPins();
 523 | 			}
 524 | 			this._pinnedIds[id] = true;
 525 | 			this.persistPinEntries();
 526 | 		}
 527 | 
 528 | 		Menu.prototype.removePinEntry = function(id) {
 529 | 			var item = this.$pinList.querySelector('a[href="#' + id + '"]').parentNode;
 530 | 			this.$pinList.removeChild(item);
 531 | 			delete this._pinnedIds[id];
 532 | 			if (Object.keys(this._pinnedIds).length === 0) {
 533 | 				this.hidePins();
 534 | 			}
 535 | 
 536 | 			this.persistPinEntries();
 537 | 		}
 538 | 
 539 | 		Menu.prototype.persistPinEntries = function() {
 540 | 			try {
 541 | 				if (!window.localStorage) return;
 542 | 			} catch (e) {
 543 | 				return;
 544 | 			}
 545 | 
 546 | 			localStorage.pinEntries = JSON.stringify(Object.keys(this._pinnedIds));
 547 | 		}
 548 | 
 549 | 		Menu.prototype.loadPinEntries = function() {
 550 | 			try {
 551 | 				if (!window.localStorage) return;
 552 | 			} catch (e) {
 553 | 				return;
 554 | 			}
 555 | 
 556 | 			var pinsString = window.localStorage.pinEntries;
 557 | 			if (!pinsString) return;
 558 | 			var pins = JSON.parse(pinsString);
 559 | 			for (var i = 0; i < pins.length; i++) {
 560 | 				this.addPinEntry(pins[i]);
 561 | 			}
 562 | 		}
 563 | 
 564 | 		Menu.prototype.togglePinEntry = function(id) {
 565 | 			if (!id) {
 566 | 				id = this.$activeClause[this.$activeClause.length - 1].id;
 567 | 			}
 568 | 
 569 | 			if (this._pinnedIds[id]) {
 570 | 				this.removePinEntry(id);
 571 | 			} else {
 572 | 				this.addPinEntry(id);
 573 | 			}
 574 | 		}
 575 | 
 576 | 		Menu.prototype.selectPin = function(num) {
 577 | 			document.location = this.$pinList.children[num].children[0].href;
 578 | 		}
 579 | 
 580 | 		var menu;
 581 | 
 582 | 		function init() {
 583 | 			menu = new Menu();
 584 | 			var $container = document.getElementById('spec-container');
 585 | 			$container.addEventListener('mouseover', debounce(function(e) {
 586 | 				Toolbox.activateIfMouseOver(e);
 587 | 			}));
 588 | 		}
 589 | 
 590 | 		document.addEventListener('DOMContentLoaded', init);
 591 | 
 592 | 		function debounce(fn, opts) {
 593 | 			opts = opts || {};
 594 | 			var timeout;
 595 | 			return function(e) {
 596 | 				if (opts.stopPropagation) {
 597 | 					e.stopPropagation();
 598 | 				}
 599 | 				var args = arguments;
 600 | 				if (timeout) {
 601 | 					clearTimeout(timeout);
 602 | 				}
 603 | 				timeout = setTimeout(function() {
 604 | 					timeout = null;
 605 | 					fn.apply(this, args);
 606 | 				}.bind(this), 150);
 607 | 			}
 608 | 		}
 609 | 
 610 | 		var CLAUSE_NODES = ['EMU-CLAUSE', 'EMU-INTRO', 'EMU-ANNEX'];
 611 | 
 612 | 		function findLocalReferences($elem) {
 613 | 			var name = $elem.innerHTML;
 614 | 			var references = [];
 615 | 
 616 | 			var parentClause = $elem.parentNode;
 617 | 			while (parentClause && CLAUSE_NODES.indexOf(parentClause.nodeName) === -1) {
 618 | 				parentClause = parentClause.parentNode;
 619 | 			}
 620 | 
 621 | 			if (!parentClause) return;
 622 | 
 623 | 			var vars = parentClause.querySelectorAll('var');
 624 | 
 625 | 			for (var i = 0; i < vars.length; i++) {
 626 | 				var $var = vars[i];
 627 | 
 628 | 				if ($var.innerHTML === name) {
 629 | 					references.push($var);
 630 | 				}
 631 | 			}
 632 | 
 633 | 			return references;
 634 | 		}
 635 | 
 636 | 		function toggleFindLocalReferences($elem) {
 637 | 			var references = findLocalReferences($elem);
 638 | 			if ($elem.classList.contains('referenced')) {
 639 | 				references.forEach(function($reference) {
 640 | 					$reference.classList.remove('referenced');
 641 | 				});
 642 | 			} else {
 643 | 				references.forEach(function($reference) {
 644 | 					$reference.classList.add('referenced');
 645 | 				});
 646 | 			}
 647 | 		}
 648 | 
 649 | 		function installFindLocalReferences() {
 650 | 			document.addEventListener('click', function(e) {
 651 | 				if (e.target.nodeName === 'VAR') {
 652 | 					toggleFindLocalReferences(e.target);
 653 | 				}
 654 | 			});
 655 | 		}
 656 | 
 657 | 		document.addEventListener('DOMContentLoaded', installFindLocalReferences);
 658 | 
 659 | 
 660 | 
 661 | 
 662 | 		// The following license applies to the fuzzysearch function
 663 | 		// The MIT License (MIT)
 664 | 		// Copyright © 2015 Nicolas Bevacqua
 665 | 		// Copyright © 2016 Brian Terlson
 666 | 		// Permission is hereby granted, free of charge, to any person obtaining a copy of
 667 | 		// this software and associated documentation files (the "Software"), to deal in
 668 | 		// the Software without restriction, including without limitation the rights to
 669 | 		// use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
 670 | 		// the Software, and to permit persons to whom the Software is furnished to do so,
 671 | 		// subject to the following conditions:
 672 | 
 673 | 		// The above copyright notice and this permission notice shall be included in all
 674 | 		// copies or substantial portions of the Software.
 675 | 
 676 | 		// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 677 | 		// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
 678 | 		// FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
 679 | 		// COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
 680 | 		// IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
 681 | 		// CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 682 | 		function fuzzysearch(searchString, haystack, caseInsensitive) {
 683 | 			var tlen = haystack.length;
 684 | 			var qlen = searchString.length;
 685 | 			var chunks = 1;
 686 | 			var finding = false;
 687 | 			var prefix = true;
 688 | 
 689 | 			if (qlen > tlen) {
 690 | 				return false;
 691 | 			}
 692 | 
 693 | 			if (qlen === tlen) {
 694 | 				if (searchString === haystack) {
 695 | 					return {
 696 | 						caseMatch: true,
 697 | 						chunks: 1,
 698 | 						prefix: true
 699 | 					};
 700 | 				} else if (searchString.toLowerCase() === haystack.toLowerCase()) {
 701 | 					return {
 702 | 						caseMatch: false,
 703 | 						chunks: 1,
 704 | 						prefix: true
 705 | 					};
 706 | 				} else {
 707 | 					return false;
 708 | 				}
 709 | 			}
 710 | 
 711 | 			outer: for (var i = 0, j = 0; i < qlen; i++) {
 712 | 				var nch = searchString[i];
 713 | 				while (j < tlen) {
 714 | 					var targetChar = haystack[j++];
 715 | 					if (targetChar === nch) {
 716 | 						finding = true;
 717 | 						continue outer;
 718 | 					}
 719 | 					if (finding) {
 720 | 						chunks++;
 721 | 						finding = false;
 722 | 					}
 723 | 				}
 724 | 
 725 | 				if (caseInsensitive) {
 726 | 					return false
 727 | 				}
 728 | 
 729 | 				return fuzzysearch(searchString.toLowerCase(), haystack.toLowerCase(), true);
 730 | 			}
 731 | 
 732 | 			return {
 733 | 				caseMatch: !caseInsensitive,
 734 | 				chunks: chunks,
 735 | 				prefix: j <= qlen
 736 | 			};
 737 | 		}
 738 | 
 739 | 		var Toolbox = {
 740 | 			init: function() {
 741 | 				this.$container = document.createElement('div');
 742 | 				this.$container.classList.add('toolbox');
 743 | 				this.$permalink = document.createElement('a');
 744 | 				this.$permalink.textContent = 'Permalink';
 745 | 				this.$pinLink = document.createElement('a');
 746 | 				this.$pinLink.textContent = 'Pin';
 747 | 				this.$pinLink.setAttribute('href', '#');
 748 | 				this.$pinLink.addEventListener('click', function(e) {
 749 | 					e.preventDefault();
 750 | 					e.stopPropagation();
 751 | 					menu.togglePinEntry(this.entry.id);
 752 | 				}.bind(this));
 753 | 
 754 | 				this.$refsLink = document.createElement('a');
 755 | 				this.$refsLink.setAttribute('href', '#');
 756 | 				this.$refsLink.addEventListener('click', function(e) {
 757 | 					e.preventDefault();
 758 | 					e.stopPropagation();
 759 | 					referencePane.showReferencesFor(this.entry);
 760 | 				}.bind(this));
 761 | 				this.$container.appendChild(this.$permalink);
 762 | 				this.$container.appendChild(this.$pinLink);
 763 | 				this.$container.appendChild(this.$refsLink);
 764 | 				document.body.appendChild(this.$container);
 765 | 			},
 766 | 
 767 | 			activate: function(el, entry, target) {
 768 | 				if (el === this._activeEl) return;
 769 | 				this.active = true;
 770 | 				this.entry = entry;
 771 | 				this.$container.classList.add('active');
 772 | 				this.top = el.offsetTop - this.$container.offsetHeight - 10;
 773 | 				this.left = el.offsetLeft;
 774 | 				this.$container.setAttribute('style', 'left: ' + this.left + 'px; top: ' + this.top + 'px');
 775 | 				this.updatePermalink();
 776 | 				this.updateReferences();
 777 | 				this._activeEl = el;
 778 | 				if (this.top < document.body.scrollTop && el === target) {
 779 | 					// don't scroll unless it's a small thing (< 200px)
 780 | 					this.$container.scrollIntoView();
 781 | 				}
 782 | 			},
 783 | 
 784 | 			updatePermalink: function() {
 785 | 				this.$permalink.setAttribute('href', '#' + this.entry.id);
 786 | 			},
 787 | 
 788 | 			updateReferences: function() {
 789 | 				this.$refsLink.textContent = 'References (' + this.entry.referencingIds.length + ')';
 790 | 			},
 791 | 
 792 | 			activateIfMouseOver: function(e) {
 793 | 				var ref = this.findReferenceUnder(e.target);
 794 | 				if (ref && (!this.active || e.pageY > this._activeEl.offsetTop)) {
 795 | 					var entry = menu.search.biblio.byId[ref.id];
 796 | 					this.activate(ref.element, entry, e.target);
 797 | 				} else if (this.active && ((e.pageY < this.top) || e.pageY > (this._activeEl.offsetTop + this._activeEl.offsetHeight))) {
 798 | 					this.deactivate();
 799 | 				}
 800 | 			},
 801 | 
 802 | 			findReferenceUnder: function(el) {
 803 | 				while (el) {
 804 | 					var parent = el.parentNode;
 805 | 					if (el.nodeName === 'H1' && parent.nodeName.match(/EMU-CLAUSE|EMU-ANNEX|EMU-INTRO/) && parent.id) {
 806 | 						return {
 807 | 							element: el,
 808 | 							id: parent.id
 809 | 						};
 810 | 					} else if (el.nodeName.match(/EMU-(?!CLAUSE|XREF|ANNEX|INTRO)|DFN/) &&
 811 | 						el.id && el.id[0] !== '_') {
 812 | 						if (el.nodeName === 'EMU-FIGURE' || el.nodeName === 'EMU-TABLE' || el.nodeName === 'EMU-EXAMPLE') {
 813 | 							// return the figcaption element
 814 | 							return {
 815 | 								element: el.children[0].children[0],
 816 | 								id: el.id
 817 | 							};
 818 | 						} else if (el.nodeName === 'EMU-PRODUCTION') {
 819 | 							// return the LHS non-terminal element
 820 | 							return {
 821 | 								element: el.children[0],
 822 | 								id: el.id
 823 | 							};
 824 | 						} else {
 825 | 							return {
 826 | 								element: el,
 827 | 								id: el.id
 828 | 							};
 829 | 						}
 830 | 					}
 831 | 					el = parent;
 832 | 				}
 833 | 			},
 834 | 
 835 | 			deactivate: function() {
 836 | 				this.$container.classList.remove('active');
 837 | 				this._activeEl = null;
 838 | 				this.activeElBounds = null;
 839 | 				this.active = false;
 840 | 			}
 841 | 		}
 842 | 
 843 | 		var referencePane = {
 844 | 			init: function() {
 845 | 				this.$container = document.createElement('div');
 846 | 				this.$container.setAttribute('id', 'references-pane-container');
 847 | 
 848 | 				var $spacer = document.createElement('div');
 849 | 				$spacer.setAttribute('id', 'references-pane-spacer');
 850 | 
 851 | 				this.$pane = document.createElement('div');
 852 | 				this.$pane.setAttribute('id', 'references-pane');
 853 | 
 854 | 				this.$container.appendChild($spacer);
 855 | 				this.$container.appendChild(this.$pane);
 856 | 
 857 | 				this.$header = document.createElement('div');
 858 | 				this.$header.classList.add('menu-pane-header');
 859 | 				this.$header.textContent = 'References to ';
 860 | 				this.$headerRefId = document.createElement('a');
 861 | 				this.$header.appendChild(this.$headerRefId);
 862 | 				this.$closeButton = document.createElement('span');
 863 | 				this.$closeButton.setAttribute('id', 'references-pane-close');
 864 | 				this.$closeButton.addEventListener('click', function(e) {
 865 | 					this.deactivate();
 866 | 				}.bind(this));
 867 | 				this.$header.appendChild(this.$closeButton);
 868 | 
 869 | 				this.$pane.appendChild(this.$header);
 870 | 				var tableContainer = document.createElement('div');
 871 | 				tableContainer.setAttribute('id', 'references-pane-table-container');
 872 | 
 873 | 				this.$table = document.createElement('table');
 874 | 				this.$table.setAttribute('id', 'references-pane-table');
 875 | 
 876 | 				this.$tableBody = this.$table.createTBody();
 877 | 
 878 | 				tableContainer.appendChild(this.$table);
 879 | 				this.$pane.appendChild(tableContainer);
 880 | 
 881 | 				menu.$specContainer.appendChild(this.$container);
 882 | 			},
 883 | 
 884 | 			activate: function() {
 885 | 				this.$container.classList.add('active');
 886 | 			},
 887 | 
 888 | 			deactivate: function() {
 889 | 				this.$container.classList.remove('active');
 890 | 			},
 891 | 
 892 | 			showReferencesFor(entry) {
 893 | 				this.activate();
 894 | 				var newBody = document.createElement('tbody');
 895 | 				var previousId;
 896 | 				var previousCell;
 897 | 				var dupCount = 0;
 898 | 				this.$headerRefId.textContent = '#' + entry.id;
 899 | 				this.$headerRefId.setAttribute('href', '#' + entry.id);
 900 | 				entry.referencingIds.map(function(id) {
 901 | 					var target = document.getElementById(id);
 902 | 					var cid = findParentClauseId(target);
 903 | 					var clause = menu.search.biblio.byId[cid];
 904 | 					var dupCount = 0;
 905 | 					return {
 906 | 						id: id,
 907 | 						clause: clause
 908 | 					}
 909 | 				}).sort(function(a, b) {
 910 | 					return sortByClauseNumber(a.clause, b.clause);
 911 | 				}).forEach(function(record, i) {
 912 | 					if (previousId === record.clause.id) {
 913 | 						previousCell.innerHTML += ' (<a href="#' + record.id + '">' + (dupCount + 2) + '</a>)';
 914 | 						dupCount++;
 915 | 					} else {
 916 | 						var row = newBody.insertRow();
 917 | 						var cell = row.insertCell();
 918 | 						cell.innerHTML = record.clause.number;
 919 | 						cell = row.insertCell();
 920 | 						cell.innerHTML = '<a href="#' + record.id + '">' + record.clause.titleHTML + '</a>';
 921 | 						previousCell = cell;
 922 | 						previousId = record.clause.id;
 923 | 						dupCount = 0;
 924 | 					}
 925 | 				}, this);
 926 | 				this.$table.removeChild(this.$tableBody);
 927 | 				this.$tableBody = newBody;
 928 | 				this.$table.appendChild(this.$tableBody);
 929 | 			}
 930 | 		}
 931 | 
 932 | 		function findParentClauseId(node) {
 933 | 			while (node && node.nodeName !== 'EMU-CLAUSE' && node.nodeName !== 'EMU-INTRO' && node.nodeName !== 'EMU-ANNEX') {
 934 | 				node = node.parentNode;
 935 | 			}
 936 | 			if (!node) return null;
 937 | 			return node.getAttribute('id');
 938 | 		}
 939 | 
 940 | 		function sortByClauseNumber(c1, c2) {
 941 | 			var c1c = c1.number.split('.');
 942 | 			var c2c = c2.number.split('.');
 943 | 
 944 | 			for (var i = 0; i < c1c.length; i++) {
 945 | 				if (i >= c2c.length) {
 946 | 					return 1;
 947 | 				}
 948 | 
 949 | 				var c1 = c1c[i];
 950 | 				var c2 = c2c[i];
 951 | 				var c1cn = Number(c1);
 952 | 				var c2cn = Number(c2);
 953 | 
 954 | 				if (Number.isNaN(c1cn) && Number.isNaN(c2cn)) {
 955 | 					if (c1 > c2) {
 956 | 						return 1;
 957 | 					} else if (c1 < c2) {
 958 | 						return -1;
 959 | 					}
 960 | 				} else if (!Number.isNaN(c1cn) && Number.isNaN(c2cn)) {
 961 | 					return -1;
 962 | 				} else if (Number.isNaN(c1cn) && !Number.isNaN(c2cn)) {
 963 | 					return 1;
 964 | 				} else if (c1cn > c2cn) {
 965 | 					return 1;
 966 | 				} else if (c1cn < c2cn) {
 967 | 					return -1;
 968 | 				}
 969 | 			}
 970 | 
 971 | 			if (c1c.length === c2c.length) {
 972 | 				return 0;
 973 | 			}
 974 | 			return -1;
 975 | 		}
 976 | 
 977 | 		document.addEventListener('DOMContentLoaded', function() {
 978 | 			Toolbox.init();
 979 | 			referencePane.init();
 980 | 		})
 981 | 		var CLAUSE_NODES = ['EMU-CLAUSE', 'EMU-INTRO', 'EMU-ANNEX'];
 982 | 
 983 | 		function findLocalReferences($elem) {
 984 | 			var name = $elem.innerHTML;
 985 | 			var references = [];
 986 | 
 987 | 			var parentClause = $elem.parentNode;
 988 | 			while (parentClause && CLAUSE_NODES.indexOf(parentClause.nodeName) === -1) {
 989 | 				parentClause = parentClause.parentNode;
 990 | 			}
 991 | 
 992 | 			if (!parentClause) return;
 993 | 
 994 | 			var vars = parentClause.querySelectorAll('var');
 995 | 
 996 | 			for (var i = 0; i < vars.length; i++) {
 997 | 				var $var = vars[i];
 998 | 
 999 | 				if ($var.innerHTML === name) {
1000 | 					references.push($var);
1001 | 				}
1002 | 			}
1003 | 
1004 | 			return references;
1005 | 		}
1006 | 
1007 | 		function toggleFindLocalReferences($elem) {
1008 | 			var references = findLocalReferences($elem);
1009 | 			if ($elem.classList.contains('referenced')) {
1010 | 				references.forEach(function($reference) {
1011 | 					$reference.classList.remove('referenced');
1012 | 				});
1013 | 			} else {
1014 | 				references.forEach(function($reference) {
1015 | 					$reference.classList.add('referenced');
1016 | 				});
1017 | 			}
1018 | 		}
1019 | 
1020 | 		function installFindLocalReferences() {
1021 | 			document.addEventListener('click', function(e) {
1022 | 				if (e.target.nodeName === 'VAR') {
1023 | 					toggleFindLocalReferences(e.target);
1024 | 				}
1025 | 			});
1026 | 		}
1027 | 
1028 | 		document.addEventListener('DOMContentLoaded', installFindLocalReferences);
1029 | 	</script>
1030 | 	<style>
1031 | 		body {
1032 | 			display: flex;
1033 | 			font-size: 18px;
1034 | 			line-height: 1.5;
1035 | 			font-family: Cambria, Palatino Linotype, Palatino, Liberation Serif, serif;
1036 | 			padding: 0;
1037 | 			margin: 0;
1038 | 			color: #111;
1039 | 		}
1040 | 		
1041 | 		#spec-container {
1042 | 			padding: 0 20px;
1043 | 			flex-grow: 1;
1044 | 			flex-basis: 66%;
1045 | 			box-sizing: border-box;
1046 | 			overflow: hidden;
1047 | 		}
1048 | 		
1049 | 		body.oldtoc {
1050 | 			margin: 0 auto;
1051 | 		}
1052 | 		
1053 | 		a {
1054 | 			text-decoration: none;
1055 | 			color: #206ca7;
1056 | 		}
1057 | 		
1058 | 		a:visited {
1059 | 			color: #206ca7;
1060 | 		}
1061 | 		
1062 | 		a:hover {
1063 | 			text-decoration: underline;
1064 | 			color: #239dee;
1065 | 		}
1066 | 		
1067 | 		code {
1068 | 			font-weight: bold;
1069 | 			font-family: Consolas, Monaco, monospace;
1070 | 			white-space: pre;
1071 | 		}
1072 | 		
1073 | 		pre code {
1074 | 			font-weight: inherit;
1075 | 		}
1076 | 		
1077 | 		pre code.hljs {
1078 | 			background-color: #fff;
1079 | 			margin: 0;
1080 | 			padding: 0;
1081 | 		}
1082 | 		
1083 | 		ol.toc {
1084 | 			list-style: none;
1085 | 			padding-left: 0;
1086 | 		}
1087 | 		
1088 | 		ol.toc ol.toc {
1089 | 			padding-left: 2ex;
1090 | 			list-style: none;
1091 | 		}
1092 | 		
1093 | 		var {
1094 | 			color: #2aa198;
1095 | 			transition: background-color 0.25s ease;
1096 | 			cursor: pointer;
1097 | 		}
1098 | 		
1099 | 		var.referenced {
1100 | 			background-color: #ffff33;
1101 | 		}
1102 | 		
1103 | 		emu-const {
1104 | 			font-family: sans-serif;
1105 | 		}
1106 | 		
1107 | 		emu-val {
1108 | 			font-weight: bold;
1109 | 		}
1110 | 		
1111 | 		emu-alg ol,
1112 | 		emu-alg ol ol ol ol {
1113 | 			list-style-type: decimal;
1114 | 		}
1115 | 		
1116 | 		emu-alg ol ol,
1117 | 		emu-alg ol ol ol ol ol {
1118 | 			list-style-type: lower-alpha;
1119 | 		}
1120 | 		
1121 | 		emu-alg ol ol ol,
1122 | 		ol ol ol ol ol ol {
1123 | 			list-style-type: lower-roman;
1124 | 		}
1125 | 		
1126 | 		emu-eqn {
1127 | 			display: block;
1128 | 			margin-left: 4em;
1129 | 		}
1130 | 		
1131 | 		emu-eqn.inline {
1132 | 			display: inline;
1133 | 			margin: 0;
1134 | 		}
1135 | 		
1136 | 		emu-eqn div:first-child {
1137 | 			margin-left: -2em;
1138 | 		}
1139 | 		
1140 | 		emu-note {
1141 | 			margin: 1em 0;
1142 | 			color: #666;
1143 | 			border-left: 5px solid #ccc;
1144 | 			display: flex;
1145 | 			flex-direction: row;
1146 | 		}
1147 | 		
1148 | 		emu-note>span.note {
1149 | 			flex-basis: 100px;
1150 | 			min-width: 100px;
1151 | 			flex-grow: 0;
1152 | 			flex-shrink: 1;
1153 | 			text-transform: uppercase;
1154 | 			padding-left: 5px;
1155 | 		}
1156 | 		
1157 | 		emu-note[type=editor] {
1158 | 			border-left-color: #faa;
1159 | 		}
1160 | 		
1161 | 		emu-note>div.note-contents {
1162 | 			flex-grow: 1;
1163 | 			flex-shrink: 1;
1164 | 		}
1165 | 		
1166 | 		emu-note>div.note-contents>p:first-child {
1167 | 			margin-top: 0;
1168 | 		}
1169 | 		
1170 | 		emu-note>div.note-contents>p:last-child {
1171 | 			margin-bottom: 0;
1172 | 		}
1173 | 		
1174 | 		emu-figure {
1175 | 			display: block;
1176 | 		}
1177 | 		
1178 | 		emu-example {
1179 | 			display: block;
1180 | 			margin: 1em 3em;
1181 | 		}
1182 | 		
1183 | 		emu-example figure figcaption {
1184 | 			margin-top: 0.5em;
1185 | 			text-align: left;
1186 | 		}
1187 | 		
1188 | 		emu-figure figure,
1189 | 		emu-example figure,
1190 | 		emu-table figure {
1191 | 			display: flex;
1192 | 			flex-direction: column;
1193 | 			align-items: center;
1194 | 		}
1195 | 		
1196 | 		emu-production {
1197 | 			display: block;
1198 | 			margin-top: 1em;
1199 | 			margin-bottom: 1em;
1200 | 			margin-left: 5ex;
1201 | 		}
1202 | 		
1203 | 		emu-grammar.inline,
1204 | 		emu-production.inline,
1205 | 		emu-grammar.inline emu-production emu-rhs,
1206 | 		emu-production.inline emu-rhs {
1207 | 			display: inline;
1208 | 		}
1209 | 		
1210 | 		emu-grammar[collapsed] emu-production,
1211 | 		emu-production[collapsed] {
1212 | 			margin: 0;
1213 | 		}
1214 | 		
1215 | 		emu-grammar[collapsed] emu-production emu-rhs,
1216 | 		emu-production[collapsed] emu-rhs {
1217 | 			display: inline;
1218 | 			padding-left: 1ex;
1219 | 		}
1220 | 		
1221 | 		emu-constraints {
1222 | 			font-size: .75em;
1223 | 			margin-right: 1ex;
1224 | 		}
1225 | 		
1226 | 		emu-gann {
1227 | 			margin-right: 1ex;
1228 | 		}
1229 | 		
1230 | 		emu-gann emu-t:last-child,
1231 | 		emu-gann emu-nt:last-child {
1232 | 			margin-right: 0;
1233 | 		}
1234 | 		
1235 | 		emu-geq {
1236 | 			margin-left: 1ex;
1237 | 			font-weight: bold;
1238 | 		}
1239 | 		
1240 | 		emu-oneof {
1241 | 			font-weight: bold;
1242 | 			margin-left: 1ex;
1243 | 		}
1244 | 		
1245 | 		emu-nt {
1246 | 			display: inline-block;
1247 | 			font-style: italic;
1248 | 			white-space: nowrap;
1249 | 			text-indent: 0;
1250 | 		}
1251 | 		
1252 | 		emu-nt a,
1253 | 		emu-nt a:visited {
1254 | 			color: #333;
1255 | 		}
1256 | 		
1257 | 		emu-rhs emu-nt {
1258 | 			margin-right: 1ex;
1259 | 		}
1260 | 		
1261 | 		emu-t {
1262 | 			display: inline-block;
1263 | 			font-family: monospace;
1264 | 			font-weight: bold;
1265 | 			white-space: nowrap;
1266 | 			text-indent: 0;
1267 | 		}
1268 | 		
1269 | 		emu-production emu-t {
1270 | 			margin-right: 1ex;
1271 | 		}
1272 | 		
1273 | 		emu-rhs {
1274 | 			display: block;
1275 | 			padding-left: 75px;
1276 | 			text-indent: -25px;
1277 | 		}
1278 | 		
1279 | 		emu-mods {
1280 | 			font-size: .85em;
1281 | 			vertical-align: sub;
1282 | 			font-style: normal;
1283 | 			font-weight: normal;
1284 | 		}
1285 | 		
1286 | 		emu-production[collapsed] emu-mods {
1287 | 			display: none;
1288 | 		}
1289 | 		
1290 | 		emu-params,
1291 | 		emu-opt {
1292 | 			margin-right: 1ex;
1293 | 			font-family: monospace;
1294 | 		}
1295 | 		
1296 | 		emu-params,
1297 | 		emu-constraints {
1298 | 			color: #2aa198;
1299 | 		}
1300 | 		
1301 | 		emu-opt {
1302 | 			color: #b58900;
1303 | 		}
1304 | 		
1305 | 		emu-gprose {
1306 | 			font-size: 0.9em;
1307 | 			font-family: Helvetica, Arial, sans-serif;
1308 | 		}
1309 | 		
1310 | 		h1.shortname {
1311 | 			color: #f60;
1312 | 			font-size: 1.5em;
1313 | 			margin: 0;
1314 | 		}
1315 | 		
1316 | 		h1.version {
1317 | 			color: #f60;
1318 | 			font-size: 1.5em;
1319 | 			margin: 0;
1320 | 		}
1321 | 		
1322 | 		h1.title {
1323 | 			margin-top: 0;
1324 | 			color: #f60;
1325 | 		}
1326 | 		
1327 | 		h1.first {
1328 | 			margin-top: 0;
1329 | 		}
1330 | 		
1331 | 		h1,
1332 | 		h2,
1333 | 		h3,
1334 | 		h4,
1335 | 		h5,
1336 | 		h6 {
1337 | 			position: relative;
1338 | 		}
1339 | 		
1340 | 		h1 .secnum {
1341 | 			text-decoration: none;
1342 | 			margin-right: 10px;
1343 | 		}
1344 | 		
1345 | 		h1 span.title {
1346 | 			order: 2;
1347 | 		}
1348 | 		
1349 | 		h1 {
1350 | 			font-size: 2.67em;
1351 | 			margin-top: 2em;
1352 | 			margin-bottom: 0;
1353 | 			line-height: 1em;
1354 | 		}
1355 | 		
1356 | 		h2 {
1357 | 			font-size: 2em;
1358 | 		}
1359 | 		
1360 | 		h3 {
1361 | 			font-size: 1.56em;
1362 | 		}
1363 | 		
1364 | 		h4 {
1365 | 			font-size: 1.25em;
1366 | 		}
1367 | 		
1368 | 		h5 {
1369 | 			font-size: 1.11em;
1370 | 		}
1371 | 		
1372 | 		h6 {
1373 | 			font-size: 1em;
1374 | 		}
1375 | 		
1376 | 		h1:hover span.utils {
1377 | 			display: block;
1378 | 		}
1379 | 		
1380 | 		span.utils {
1381 | 			font-size: 18px;
1382 | 			line-height: 18px;
1383 | 			display: none;
1384 | 			position: absolute;
1385 | 			top: 100%;
1386 | 			left: 0;
1387 | 			right: 0;
1388 | 			font-weight: normal;
1389 | 		}
1390 | 		
1391 | 		span.utils:before {
1392 | 			content: "⤷";
1393 | 			display: inline-block;
1394 | 			padding: 0 5px;
1395 | 		}
1396 | 		
1397 | 		span.utils>* {
1398 | 			display: inline-block;
1399 | 			margin-right: 20px;
1400 | 		}
1401 | 		
1402 | 		h1 span.utils span.anchor a,
1403 | 		h2 span.utils span.anchor a,
1404 | 		h3 span.utils span.anchor a,
1405 | 		h4 span.utils span.anchor a,
1406 | 		h5 span.utils span.anchor a,
1407 | 		h6 span.utils span.anchor a {
1408 | 			text-decoration: none;
1409 | 			font-variant: small-caps;
1410 | 		}
1411 | 		
1412 | 		h1 span.utils span.anchor a:hover,
1413 | 		h2 span.utils span.anchor a:hover,
1414 | 		h3 span.utils span.anchor a:hover,
1415 | 		h4 span.utils span.anchor a:hover,
1416 | 		h5 span.utils span.anchor a:hover,
1417 | 		h6 span.utils span.anchor a:hover {
1418 | 			color: #333;
1419 | 		}
1420 | 		
1421 | 		emu-intro h1,
1422 | 		emu-clause h1,
1423 | 		emu-annex h1 {
1424 | 			font-size: 2em;
1425 | 		}
1426 | 		
1427 | 		emu-intro h2,
1428 | 		emu-clause h2,
1429 | 		emu-annex h2 {
1430 | 			font-size: 1.56em;
1431 | 		}
1432 | 		
1433 | 		emu-intro h3,
1434 | 		emu-clause h3,
1435 | 		emu-annex h3 {
1436 | 			font-size: 1.25em;
1437 | 		}
1438 | 		
1439 | 		emu-intro h4,
1440 | 		emu-clause h4,
1441 | 		emu-annex h4 {
1442 | 			font-size: 1.11em;
1443 | 		}
1444 | 		
1445 | 		emu-intro h5,
1446 | 		emu-clause h5,
1447 | 		emu-annex h5 {
1448 | 			font-size: 1em;
1449 | 		}
1450 | 		
1451 | 		emu-intro h6,
1452 | 		emu-clause h6,
1453 | 		emu-annex h6 {
1454 | 			font-size: 0.9em;
1455 | 		}
1456 | 		
1457 | 		emu-intro emu-intro h1,
1458 | 		emu-clause emu-clause h1,
1459 | 		emu-annex emu-annex h1 {
1460 | 			font-size: 1.56em;
1461 | 		}
1462 | 		
1463 | 		emu-intro emu-intro h2,
1464 | 		emu-clause emu-clause h2,
1465 | 		emu-annex emu-annex h2 {
1466 | 			font-size: 1.25em;
1467 | 		}
1468 | 		
1469 | 		emu-intro emu-intro h3,
1470 | 		emu-clause emu-clause h3,
1471 | 		emu-annex emu-annex h3 {
1472 | 			font-size: 1.11em;
1473 | 		}
1474 | 		
1475 | 		emu-intro emu-intro h4,
1476 | 		emu-clause emu-clause h4,
1477 | 		emu-annex emu-annex h4 {
1478 | 			font-size: 1em;
1479 | 		}
1480 | 		
1481 | 		emu-intro emu-intro h5,
1482 | 		emu-clause emu-clause h5,
1483 | 		emu-annex emu-annex h5 {
1484 | 			font-size: 0.9em;
1485 | 		}
1486 | 		
1487 | 		emu-intro emu-intro emu-intro h1,
1488 | 		emu-clause emu-clause emu-clause h1,
1489 | 		emu-annex emu-annex emu-annex h1 {
1490 | 			font-size: 1.25em;
1491 | 		}
1492 | 		
1493 | 		emu-intro emu-intro emu-intro h2,
1494 | 		emu-clause emu-clause emu-clause h2,
1495 | 		emu-annex emu-annex emu-annex h2 {
1496 | 			font-size: 1.11em;
1497 | 		}
1498 | 		
1499 | 		emu-intro emu-intro emu-intro h3,
1500 | 		emu-clause emu-clause emu-clause h3,
1501 | 		emu-annex emu-annex emu-annex h3 {
1502 | 			font-size: 1em;
1503 | 		}
1504 | 		
1505 | 		emu-intro emu-intro emu-intro h4,
1506 | 		emu-clause emu-clause emu-clause h4,
1507 | 		emu-annex emu-annex emu-annex h4 {
1508 | 			font-size: 0.9em;
1509 | 		}
1510 | 		
1511 | 		emu-intro emu-intro emu-intro emu-intro h1,
1512 | 		emu-clause emu-clause emu-clause emu-clause h1,
1513 | 		emu-annex emu-annex emu-annex emu-annex h1 {
1514 | 			font-size: 1.11em;
1515 | 		}
1516 | 		
1517 | 		emu-intro emu-intro emu-intro emu-intro h2,
1518 | 		emu-clause emu-clause emu-clause emu-clause h2,
1519 | 		emu-annex emu-annex emu-annex emu-annex h2 {
1520 | 			font-size: 1em;
1521 | 		}
1522 | 		
1523 | 		emu-intro emu-intro emu-intro emu-intro h3,
1524 | 		emu-clause emu-clause emu-clause emu-clause h3,
1525 | 		emu-annex emu-annex emu-annex emu-annex h3 {
1526 | 			font-size: 0.9em;
1527 | 		}
1528 | 		
1529 | 		emu-intro emu-intro emu-intro emu-intro emu-intro h1,
1530 | 		emu-clause emu-clause emu-clause emu-clause emu-clause h1,
1531 | 		emu-annex emu-annex emu-annex emu-annex emu-annex h1 {
1532 | 			font-size: 1em;
1533 | 		}
1534 | 		
1535 | 		emu-intro emu-intro emu-intro emu-intro emu-intro h2,
1536 | 		emu-clause emu-clause emu-clause emu-clause emu-clause h2,
1537 | 		emu-annex emu-annex emu-annex emu-annex emu-annex h2 {
1538 | 			font-size: 0.9em;
1539 | 		}
1540 | 		
1541 | 		emu-intro emu-intro emu-intro emu-intro emu-intro emu-intro h1,
1542 | 		emu-clause emu-clause emu-clause emu-clause emu-clause emu-clause h1,
1543 | 		emu-annex emu-annex emu-annex emu-annex emu-annex emu-annex h1 {
1544 | 			font-size: 0.9em
1545 | 		}
1546 | 		
1547 | 		emu-clause,
1548 | 		emu-intro,
1549 | 		emu-annex {
1550 | 			display: block;
1551 | 		}
1552 | 		/* Figures and tables */
1553 | 		
1554 | 		figure {
1555 | 			display: block;
1556 | 			margin: 1em 0 3em 0;
1557 | 		}
1558 | 		
1559 | 		figure object {
1560 | 			display: block;
1561 | 			margin: 0 auto;
1562 | 		}
1563 | 		
1564 | 		figure table.real-table {
1565 | 			margin: 0 auto;
1566 | 		}
1567 | 		
1568 | 		figure figcaption {
1569 | 			display: block;
1570 | 			color: #555555;
1571 | 			font-weight: bold;
1572 | 			text-align: center;
1573 | 		}
1574 | 		
1575 | 		emu-table table {
1576 | 			margin: 0 auto;
1577 | 		}
1578 | 		
1579 | 		emu-table table,
1580 | 		table.real-table {
1581 | 			border-collapse: collapse;
1582 | 		}
1583 | 		
1584 | 		emu-table td,
1585 | 		emu-table th,
1586 | 		table.real-table td,
1587 | 		table.real-table th {
1588 | 			border: 1px solid black;
1589 | 			padding: 0.4em;
1590 | 			vertical-align: baseline;
1591 | 		}
1592 | 		
1593 | 		emu-table th,
1594 | 		emu-table thead td,
1595 | 		table.real-table th {
1596 | 			background-color: #eeeeee;
1597 | 		}
1598 | 		/* Note: the left content edges of table.lightweight-table >tbody >tr >td
1599 |    and div.display line up. */
1600 | 		
1601 | 		table.lightweight-table {
1602 | 			border-collapse: collapse;
1603 | 			margin: 0 0 0 1.5em;
1604 | 		}
1605 | 		
1606 | 		table.lightweight-table td,
1607 | 		table.lightweight-table th {
1608 | 			border: none;
1609 | 			padding: 0 0.5em;
1610 | 			vertical-align: baseline;
1611 | 		}
1612 | 		/* diff styles */
1613 | 		
1614 | 		ins {
1615 | 			background-color: #e0f8e0;
1616 | 			text-decoration: none;
1617 | 			border-bottom: 1px solid #396;
1618 | 		}
1619 | 		
1620 | 		del {
1621 | 			background-color: #fee;
1622 | 		}
1623 | 		
1624 | 		ins.block,
1625 | 		del.block,
1626 | 		emu-production>ins,
1627 | 		emu-production>del,
1628 | 		emu-grammar>ins,
1629 | 		emu-grammar>del {
1630 | 			display: block;
1631 | 		}
1632 | 		/* Menu Styles */
1633 | 		
1634 | 		#menu-toggle {
1635 | 			font-size: 2em;
1636 | 			position: fixed;
1637 | 			top: 0;
1638 | 			left: 0;
1639 | 			width: 1.5em;
1640 | 			height: 1.5em;
1641 | 			z-index: 3;
1642 | 			visibility: hidden;
1643 | 			color: #1567a2;
1644 | 			background-color: #fff;
1645 | 			line-height: 1.5em;
1646 | 			text-align: center;
1647 | 			-webkit-touch-callout: none;
1648 | 			-webkit-user-select: none;
1649 | 			-khtml-user-select: none;
1650 | 			-moz-user-select: none;
1651 | 			-ms-user-select: none;
1652 | 			user-select: none;
1653 | 			;
1654 | 			cursor: pointer;
1655 | 		}
1656 | 		
1657 | 		#menu {
1658 | 			display: flex;
1659 | 			flex-direction: column;
1660 | 			width: 33%;
1661 | 			height: 100vh;
1662 | 			max-width: 500px;
1663 | 			box-sizing: border-box;
1664 | 			background-color: #ddd;
1665 | 			overflow: hidden;
1666 | 			transition: opacity 0.1s linear;
1667 | 			padding: 0 5px;
1668 | 			position: fixed;
1669 | 			left: 0;
1670 | 			top: 0;
1671 | 			border-right: 2px solid #bbb;
1672 | 			z-index: 2;
1673 | 		}
1674 | 		
1675 | 		#menu-spacer {
1676 | 			flex-basis: 33%;
1677 | 			max-width: 500px;
1678 | 			flex-grow: 0;
1679 | 			flex-shrink: 0;
1680 | 		}
1681 | 		
1682 | 		#menu a {
1683 | 			color: #1567a2;
1684 | 		}
1685 | 		
1686 | 		#menu.active {
1687 | 			display: flex;
1688 | 			opacity: 1;
1689 | 			z-index: 2;
1690 | 		}
1691 | 		
1692 | 		#menu-pins {
1693 | 			flex-grow: 1;
1694 | 			display: none;
1695 | 		}
1696 | 		
1697 | 		#menu-pins.active {
1698 | 			display: block;
1699 | 		}
1700 | 		
1701 | 		#menu-pins-list {
1702 | 			margin: 0;
1703 | 			padding: 0;
1704 | 			counter-reset: pins-counter;
1705 | 		}
1706 | 		
1707 | 		#menu-pins-list>li:before {
1708 | 			content: counter(pins-counter);
1709 | 			counter-increment: pins-counter;
1710 | 			display: inline-block;
1711 | 			width: 25px;
1712 | 			text-align: center;
1713 | 			border: 1px solid #bbb;
1714 | 			padding: 2px;
1715 | 			margin: 4px;
1716 | 			box-sizing: border-box;
1717 | 			line-height: 1em;
1718 | 			background-color: #ccc;
1719 | 			border-radius: 4px;
1720 | 		}
1721 | 		
1722 | 		#menu-toc>ol {
1723 | 			padding: 0;
1724 | 			flex-grow: 1;
1725 | 		}
1726 | 		
1727 | 		#menu-toc>ol li {
1728 | 			padding: 0;
1729 | 		}
1730 | 		
1731 | 		#menu-toc>ol,
1732 | 		#menu-toc>ol ol {
1733 | 			list-style-type: none;
1734 | 			margin: 0;
1735 | 			padding: 0;
1736 | 		}
1737 | 		
1738 | 		#menu-toc>ol ol {
1739 | 			padding-left: 0.75em;
1740 | 		}
1741 | 		
1742 | 		#menu-toc li {
1743 | 			text-overflow: ellipsis;
1744 | 			overflow: hidden;
1745 | 			white-space: nowrap;
1746 | 		}
1747 | 		
1748 | 		#menu-toc .item-toggle {
1749 | 			display: inline-block;
1750 | 			transform: rotate(-45deg) translate(-5px, -5px);
1751 | 			transition: transform 0.1s ease;
1752 | 			text-align: center;
1753 | 			width: 20px;
1754 | 			color: #aab;
1755 | 			-webkit-touch-callout: none;
1756 | 			-webkit-user-select: none;
1757 | 			-khtml-user-select: none;
1758 | 			-moz-user-select: none;
1759 | 			-ms-user-select: none;
1760 | 			user-select: none;
1761 | 			;
1762 | 			cursor: pointer;
1763 | 		}
1764 | 		
1765 | 		#menu-toc .item-toggle-none {
1766 | 			display: inline-block;
1767 | 			width: 20px;
1768 | 		}
1769 | 		
1770 | 		#menu-toc li.active>.item-toggle {
1771 | 			transform: rotate(45deg) translate(-5px, -5px);
1772 | 		}
1773 | 		
1774 | 		#menu-toc li>ol {
1775 | 			display: none;
1776 | 		}
1777 | 		
1778 | 		#menu-toc li.active>ol {
1779 | 			display: block;
1780 | 		}
1781 | 		
1782 | 		#menu-toc li.revealed>a {
1783 | 			background-color: #bbb;
1784 | 			font-weight: bold;
1785 | 			/*
1786 |   background-color: #222;
1787 |   color: #c6d8e4;
1788 |   */
1789 | 		}
1790 | 		
1791 | 		#menu-toc li.revealed-leaf>a {
1792 | 			color: #206ca7;
1793 | 			/*
1794 |   background-color: #222;
1795 |   color: #c6d8e4;
1796 |   */
1797 | 		}
1798 | 		
1799 | 		#menu-toc li.revealed>.item-toggle {
1800 | 			transform: rotate(45deg) translate(-5px, -5px);
1801 | 		}
1802 | 		
1803 | 		#menu-toc li.revealed>ol {
1804 | 			display: block;
1805 | 		}
1806 | 		
1807 | 		#menu-toc li>a {
1808 | 			padding: 2px 5px;
1809 | 		}
1810 | 		
1811 | 		#menu>* {
1812 | 			margin-bottom: 5px;
1813 | 		}
1814 | 		
1815 | 		.menu-pane-header {
1816 | 			padding: 0 5px;
1817 | 			text-transform: uppercase;
1818 | 			background-color: #aaa;
1819 | 			color: #335;
1820 | 			font-weight: bold;
1821 | 			letter-spacing: 2px;
1822 | 			flex-grow: 0;
1823 | 			flex-shrink: 0;
1824 | 			font-size: 0.8em;
1825 | 		}
1826 | 		
1827 | 		#menu-toc {
1828 | 			display: flex;
1829 | 			flex-direction: column;
1830 | 			width: 100%;
1831 | 			overflow: hidden;
1832 | 			flex-grow: 1;
1833 | 		}
1834 | 		
1835 | 		#menu-toc ol.toc {
1836 | 			overflow-x: hidden;
1837 | 			overflow-y: auto;
1838 | 		}
1839 | 		
1840 | 		#menu-search {
1841 | 			position: relative;
1842 | 			flex-grow: 0;
1843 | 			flex-shrink: 0;
1844 | 			width: 100%;
1845 | 			display: flex;
1846 | 			flex-direction: column;
1847 | 			max-height: 300px;
1848 | 		}
1849 | 		
1850 | 		#menu-trace-list {
1851 | 			display: none;
1852 | 		}
1853 | 		
1854 | 		#menu-search-box {
1855 | 			box-sizing: border-box;
1856 | 			display: block;
1857 | 			width: 100%;
1858 | 			margin: 5px 0 0 0;
1859 | 			font-size: 1em;
1860 | 			padding: 2px;
1861 | 			background-color: #bbb;
1862 | 			border: 1px solid #999;
1863 | 		}
1864 | 		
1865 | 		#menu-search-results {
1866 | 			overflow-x: hidden;
1867 | 			overflow-y: auto;
1868 | 		}
1869 | 		
1870 | 		li.menu-search-result-clause:before {
1871 | 			content: 'clause';
1872 | 			width: 40px;
1873 | 			display: inline-block;
1874 | 			text-align: right;
1875 | 			padding-right: 1ex;
1876 | 			color: #666;
1877 | 			font-size: 75%;
1878 | 		}
1879 | 		
1880 | 		li.menu-search-result-op:before {
1881 | 			content: 'op';
1882 | 			width: 40px;
1883 | 			display: inline-block;
1884 | 			text-align: right;
1885 | 			padding-right: 1ex;
1886 | 			color: #666;
1887 | 			font-size: 75%;
1888 | 		}
1889 | 		
1890 | 		li.menu-search-result-prod:before {
1891 | 			content: 'prod';
1892 | 			width: 40px;
1893 | 			display: inline-block;
1894 | 			text-align: right;
1895 | 			padding-right: 1ex;
1896 | 			color: #666;
1897 | 			font-size: 75%
1898 | 		}
1899 | 		
1900 | 		li.menu-search-result-term:before {
1901 | 			content: 'term';
1902 | 			width: 40px;
1903 | 			display: inline-block;
1904 | 			text-align: right;
1905 | 			padding-right: 1ex;
1906 | 			color: #666;
1907 | 			font-size: 75%
1908 | 		}
1909 | 		
1910 | 		#menu-search-results ul {
1911 | 			padding: 0 5px;
1912 | 			margin: 0;
1913 | 		}
1914 | 		
1915 | 		#menu-search-results li {
1916 | 			white-space: nowrap;
1917 | 			text-overflow: ellipsis;
1918 | 		}
1919 | 		
1920 | 		#menu-trace-list {
1921 | 			counter-reset: item;
1922 | 			margin: 0 0 0 20px;
1923 | 			padding: 0;
1924 | 		}
1925 | 		
1926 | 		#menu-trace-list li {
1927 | 			display: block;
1928 | 			white-space: nowrap;
1929 | 		}
1930 | 		
1931 | 		#menu-trace-list li .secnum:after {
1932 | 			content: " ";
1933 | 		}
1934 | 		
1935 | 		#menu-trace-list li:before {
1936 | 			content: counter(item) " ";
1937 | 			background-color: #222;
1938 | 			counter-increment: item;
1939 | 			color: #999;
1940 | 			width: 20px;
1941 | 			height: 20px;
1942 | 			line-height: 20px;
1943 | 			display: inline-block;
1944 | 			text-align: center;
1945 | 			margin: 2px 4px 2px 0;
1946 | 		}
1947 | 		
1948 | 		@media (max-width: 1000px) {
1949 | 			body {
1950 | 				margin: 0;
1951 | 				display: block;
1952 | 			}
1953 | 			#menu {
1954 | 				display: none;
1955 | 				padding-top: 3em;
1956 | 				width: 450px;
1957 | 			}
1958 | 			#menu.active {
1959 | 				position: fixed;
1960 | 				height: 100%;
1961 | 				left: 0;
1962 | 				top: 0;
1963 | 				right: 300px;
1964 | 			}
1965 | 			#menu-toggle {
1966 | 				visibility: visible;
1967 | 			}
1968 | 			#spec-container {
1969 | 				padding: 0 5px;
1970 | 			}
1971 | 			#references-pane-spacer {
1972 | 				display: none;
1973 | 			}
1974 | 		}
1975 | 		
1976 | 		@media only screen and (max-width: 800px) {
1977 | 			#menu {
1978 | 				width: 100%;
1979 | 			}
1980 | 			h1 .secnum:empty {
1981 | 				margin: 0;
1982 | 				padding: 0;
1983 | 			}
1984 | 		}
1985 | 		/* Toolbox */
1986 | 		
1987 | 		.toolbox {
1988 | 			position: absolute;
1989 | 			background: #ddd;
1990 | 			border: 1px solid #aaa;
1991 | 			display: none;
1992 | 			color: #eee;
1993 | 			padding: 5px;
1994 | 			border-radius: 3px;
1995 | 		}
1996 | 		
1997 | 		.toolbox.active {
1998 | 			display: inline-block;
1999 | 		}
2000 | 		
2001 | 		.toolbox a {
2002 | 			text-decoration: none;
2003 | 			padding: 0 5px;
2004 | 		}
2005 | 		
2006 | 		.toolbox a:hover {
2007 | 			text-decoration: underline;
2008 | 		}
2009 | 		
2010 | 		.toolbox:after,
2011 | 		.toolbox:before {
2012 | 			top: 100%;
2013 | 			left: 15px;
2014 | 			border: solid transparent;
2015 | 			content: " ";
2016 | 			height: 0;
2017 | 			width: 0;
2018 | 			position: absolute;
2019 | 			pointer-events: none;
2020 | 		}
2021 | 		
2022 | 		.toolbox:after {
2023 | 			border-color: rgba(0, 0, 0, 0);
2024 | 			border-top-color: #ddd;
2025 | 			border-width: 10px;
2026 | 			margin-left: -10px;
2027 | 		}
2028 | 		
2029 | 		.toolbox:before {
2030 | 			border-color: rgba(204, 204, 204, 0);
2031 | 			border-top-color: #aaa;
2032 | 			border-width: 12px;
2033 | 			margin-left: -12px;
2034 | 		}
2035 | 		
2036 | 		#references-pane-container {
2037 | 			position: fixed;
2038 | 			bottom: 0;
2039 | 			left: 0;
2040 | 			right: 0;
2041 | 			height: 250px;
2042 | 			display: none;
2043 | 			background-color: #ddd;
2044 | 			z-index: 1;
2045 | 		}
2046 | 		
2047 | 		#references-pane-table-container {
2048 | 			overflow-x: hidden;
2049 | 			overflow-y: auto;
2050 | 		}
2051 | 		
2052 | 		#references-pane-spacer {
2053 | 			flex-basis: 33%;
2054 | 			max-width: 500px;
2055 | 		}
2056 | 		
2057 | 		#references-pane {
2058 | 			flex-grow: 1;
2059 | 			overflow: hidden;
2060 | 			display: flex;
2061 | 			flex-direction: column;
2062 | 		}
2063 | 		
2064 | 		#references-pane-container.active {
2065 | 			display: flex;
2066 | 		}
2067 | 		
2068 | 		#references-pane-close:after {
2069 | 			content: '✖';
2070 | 			float: right;
2071 | 			cursor: pointer;
2072 | 		}
2073 | 		
2074 | 		#references-pane table tr td:first-child {
2075 | 			text-align: right;
2076 | 			padding-right: 5px;
2077 | 		}
2078 | 	</style>
2079 | </head>
2080 | 
2081 | <body>
2082 | 	<div id="menu-toggle">☰</div>
2083 | 	<div id="menu-spacer"></div>
2084 | 	<div id="menu">
2085 | 		<div id="menu-search"><input type="text" id="menu-search-box" placeholder="Search...">
2086 | 			<div id="menu-search-results" class="inactive"></div>
2087 | 		</div>
2088 | 		<div id="menu-pins">
2089 | 			<div class="menu-pane-header">Pins</div>
2090 | 			<ul id="menu-pins-list"></ul>
2091 | 		</div>
2092 | 		<div class="menu-pane-header">Table of Contents</div>
2093 | 		<div id="menu-toc">
2094 | 			<ol class="toc">
2095 | 				<li><span class="item-toggle-none"></span><a href="#sec-module-namespace-exotic-objects-get-p-receiver" title="[[Get]] (P, Receiver)"><span class="secnum">1</span> [[Get]] (<var>P</var>, <var>Receiver</var>)</a></li>
2096 | 				<li><span class="item-toggle-none"></span><a href="#sec-resolveexport" title="ResolveExport( exportName, resolveSet, exportStarSet ) Concrete Method"><span class="secnum">2</span> ResolveExport( <var>exportName</var>, <var>resolveSet</var>, <var>exportStarSet</var> ) Concrete Method</a></li>
2097 | 				<li><span class="item-toggle-none"></span><a href="#sec-moduledeclarationinstantiation" title="ModuleDeclarationInstantiation( ) Concrete Method"><span class="secnum">3</span> ModuleDeclarationInstantiation( ) Concrete Method</a></li>
2098 | 				<li><span class="item-toggle-none"></span><a href="#sec-moduleevaluation" title="ModuleEvaluation() Concrete Method"><span class="secnum">4</span> ModuleEvaluation() Concrete Method</a></li>
2099 | 				<li><span class="item-toggle-none"></span><a href="#sec-parsemodule" title="ParseModule ( sourceText, realm, hostDefined )"><span class="secnum">5</span> ParseModule ( <var>sourceText</var>, <var>realm</var>, <var>hostDefined</var> )</a></li>
2100 | 				<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>
2101 | 			</ol>
2102 | 		</div>
2103 | 	</div>
2104 | 	<div id="spec-container">
2105 | 		<h1 class="version first">Stage 1 Draft / January 26, 2017</h1>
2106 | 		<h1 class="title">dynamic modules reform</h1>
2107 | 
2108 | 		<!-- es6num="15.2.1.16" -->
2109 | 		<emu-table id="table-38" caption="Additional Fields of Source Text Module Records">
2110 | 			<figure>
2111 | 				<figcaption>Table 1: Additional Fields of Source Text Module Records</figcaption>
2112 | 				<table>
2113 | 					<tbody>
2114 | 						<tr>
2115 | 							<th>
2116 | 								Field Name
2117 | 
2118 | 							</th>
2119 | 							<th>
2120 | 								Value Type
2121 | 
2122 | 							</th>
2123 | 							<th>
2124 | 								Meaning
2125 | 
2126 | 							</th>
2127 | 						</tr>
2128 | 						<tr>
2129 | 							<td>
2130 | 								[[ImportEntries]]
2131 | 
2132 | 							</td>
2133 | 							<td>
2134 | 								<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of ImportEntry Records
2135 | 
2136 | 							</td>
2137 | 							<td>
2138 | 								A
2139 | 								<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of ImportEntry records derived from the code of this module.
2140 | 
2141 | 							</td>
2142 | 						</tr>
2143 | 						<tr>
2144 | 							<td>
2145 | 								<ins>[[PendingImportEntries]]</ins>
2146 | 							</td>
2147 | 							<td>
2148 | 								<ins><emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of ImportEntry Records</ins>
2149 | 							</td>
2150 | 							<td>
2151 | 								<ins>A <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of ImportEntry records that are pending to be validated.</ins>
2152 | 							</td>
2153 | 						</tr>
2154 | 						<tr>
2155 | 							<td>
2156 | 								[[LocalExportEntries]]
2157 | 
2158 | 							</td>
2159 | 							<td>
2160 | 								<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of ExportEntry Records
2161 | 
2162 | 							</td>
2163 | 							<td>
2164 | 								A
2165 | 								<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of ExportEntry records derived from the code of this module that correspond to declarations that occur within the module.
2166 | 
2167 | 							</td>
2168 | 						</tr>
2169 | 					</tbody>
2170 | 				</table>
2171 | 			</figure>
2172 | 		</emu-table>
2173 | 
2174 | 		<!-- es6num="9.4.6.8" -->
2175 | 		<emu-clause id="sec-module-namespace-exotic-objects-get-p-receiver">
2176 | 			<h1><span class="secnum">1</span>[[Get]] (<var>P</var>, <var>Receiver</var>)</h1>
2177 | 			<p>When the [[Get]] internal method of a module namespace exotic object <var>O</var> is called with property key <var>P</var> and
2178 | 				<emu-xref href="#sec-ecmascript-language-types"><a href="https://tc39.github.io/ecma262/#sec-ecmascript-language-types">ECMAScript language value</a></emu-xref> <var>Receiver</var>, the following steps are taken:</p>
2179 | 			<emu-alg>
2180 | 				<ol>
2181 | 					<li>Assert:
2182 | 						<emu-xref aoid="IsPropertyKey" id="_ref_0"><a href="https://tc39.github.io/ecma262/#sec-ispropertykey">IsPropertyKey</a></emu-xref>(<var>P</var>) is
2183 | 						<emu-val>true</emu-val>.</li>
2184 | 					<li>If
2185 | 						<emu-xref aoid="Type" id="_ref_1"><a href="https://tc39.github.io/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>P</var>) is Symbol, then
2186 | 						<ol>
2187 | 							<li>Return ?&nbsp;
2188 | 								<emu-xref aoid="OrdinaryGet" id="_ref_2"><a href="https://tc39.github.io/ecma262/#sec-ordinaryget">OrdinaryGet</a></emu-xref>(<var>O</var>, <var>P</var>, <var>Receiver</var>).</li>
2189 | 						</ol>
2190 | 					</li>
2191 | 					<li>Let <var>exports</var> be <var>O</var>.[[Exports]].</li>
2192 | 					<li>If <var>P</var> is not an element of <var>exports</var>, return
2193 | 						<emu-val>undefined</emu-val>.</li>
2194 | 					<li>Let <var>m</var> be <var>O</var>.[[Module]].</li>
2195 | 					<li>Let <var>binding</var> be ! <var>m</var>.ResolveExport(<var>P</var>, « », « »).</li>
2196 | 					<li><del>Assert: <var>binding</var> is neither <emu-val>null</emu-val> nor <code>"ambiguous"</code>.</del></li>
2197 | 					<li><ins>If <var>binding</var> is <code>"pending"</code> or <var>binding</var> is <emu-val>null</emu-val> or resolution is <code>"ambiguous"</code>, throw a <emu-val>SyntaxError</emu-val> exception.</ins></li>
2198 | 					<li>Let <var>targetModule</var> be <var>binding</var>.[[Module]].</li>
2199 | 					<li>Assert: <var>targetModule</var> is not
2200 | 						<emu-val>undefined</emu-val>.</li>
2201 | 					<li>Let <var>targetEnv</var> be <var>targetModule</var>.[[Environment]].</li>
2202 | 					<li>If <var>targetEnv</var> is
2203 | 						<emu-val>undefined</emu-val>, throw a
2204 | 						<emu-val>ReferenceError</emu-val> exception.</li>
2205 | 					<li>Let <var>targetEnvRec</var> be <var>targetEnv</var>'s
2206 | 						<emu-xref href="#sec-lexical-environments"><a href="https://tc39.github.io/ecma262/#sec-lexical-environments">EnvironmentRecord</a></emu-xref>.</li>
2207 | 					<li>Return ? <var>targetEnvRec</var>.GetBindingValue(<var>binding</var>.[[BindingName]],
2208 | 						<emu-val>true</emu-val>).
2209 | 					</li>
2210 | 				</ol>
2211 | 			</emu-alg>
2212 | 			<emu-note><span class="note">Note</span>
2213 | 				<div class="note-contents">
2214 | 					<p>ResolveExport is idempotent and side-effect free. An implementation might choose to pre-compute or cache the ResolveExport results for the [[Exports]] of each module namespace exotic object.</p>
2215 | 				</div>
2216 | 			</emu-note>
2217 | 		</emu-clause>
2218 | 
2219 | 		<!-- es6num="15.2.1.16.3" -->
2220 | 		<emu-clause id="sec-resolveexport">
2221 | 			<h1><span class="secnum">2</span>ResolveExport( <var>exportName</var>, <var>resolveSet</var>, <var>exportStarSet</var> ) Concrete Method</h1>
2222 | 			<p>The ResolveExport concrete method of a
2223 | 				<emu-xref href="#sec-source-text-module-records"><a href="https://tc39.github.io/ecma262/#sec-source-text-module-records">Source Text Module Record</a></emu-xref> with arguments <var>exportName</var>, <var>resolveSet</var>, and <var>exportStarSet</var> performs the following steps:</p>
2224 | 			<emu-alg>
2225 | 				<ol>
2226 | 					<li>Let <var>module</var> be this
2227 | 						<emu-xref href="#sec-source-text-module-records"><a href="https://tc39.github.io/ecma262/#sec-source-text-module-records">Source Text Module Record</a></emu-xref>.</li>
2228 | 					<li>For each
2229 | 						<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> {[[Module]], [[ExportName]]} <var>r</var> in <var>resolveSet</var>, do:
2230 | 						<ol>
2231 | 							<li>If <var>module</var> and <var>r</var>.[[Module]] are the same
2232 | 								<emu-xref href="#sec-abstract-module-records"><a href="https://tc39.github.io/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref> and
2233 | 								<emu-xref aoid="SameValue" id="_ref_3"><a href="https://tc39.github.io/ecma262/#sec-samevalue">SameValue</a></emu-xref>(<var>exportName</var>, <var>r</var>.[[ExportName]]) is
2234 | 								<emu-val>true</emu-val>, then
2235 | 								<ol>
2236 | 									<li>Assert: This is a circular import request.</li>
2237 | 									<li>Return
2238 | 										<emu-val>null</emu-val>.</li>
2239 | 								</ol>
2240 | 							</li>
2241 | 						</ol>
2242 | 					</li>
2243 | 					<li>Append the
2244 | 						<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> {[[Module]]: <var>module</var>, [[ExportName]]: <var>exportName</var>} to <var>resolveSet</var>.</li>
2245 | 					<li>For each ExportEntry
2246 | 						<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> <var>e</var> in <var>module</var>.[[LocalExportEntries]], do
2247 | 						<ol>
2248 | 							<li>If
2249 | 								<emu-xref aoid="SameValue" id="_ref_4"><a href="https://tc39.github.io/ecma262/#sec-samevalue">SameValue</a></emu-xref>(<var>exportName</var>, <var>e</var>.[[ExportName]]) is
2250 | 								<emu-val>true</emu-val>, then
2251 | 								<ol>
2252 | 									<li>Assert: <var>module</var> provides the direct binding for this export.</li>
2253 | 									<li>Return
2254 | 										<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref>{[[Module]]: <var>module</var>, [[BindingName]]: <var>e</var>.[[LocalName]]}.</li>
2255 | 								</ol>
2256 | 							</li>
2257 | 						</ol>
2258 | 					</li>
2259 | 					<li>For each ExportEntry
2260 | 						<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> <var>e</var> in <var>module</var>.[[IndirectExportEntries]], do
2261 | 						<ol>
2262 | 							<li>If
2263 | 								<emu-xref aoid="SameValue" id="_ref_5"><a href="https://tc39.github.io/ecma262/#sec-samevalue">SameValue</a></emu-xref>(<var>exportName</var>, <var>e</var>.[[ExportName]]) is
2264 | 								<emu-val>true</emu-val>, then
2265 | 								<ol>
2266 | 									<li>Assert: <var>module</var> imports a specific binding for this export.</li>
2267 | 									<li>Let <var>importedModule</var> be ?&nbsp;
2268 | 										<emu-xref aoid="HostResolveImportedModule" id="_ref_6"><a href="https://tc39.github.io/ecma262/#sec-hostresolveimportedmodule">HostResolveImportedModule</a></emu-xref>(<var>module</var>, <var>e</var>.[[ModuleRequest]]).</li>
2269 | 									<li>Return ? <var>importedModule</var>.ResolveExport(<var>e</var>.[[ImportName]], <var>resolveSet</var>, <var>exportStarSet</var>).</li>
2270 | 								</ol>
2271 | 							</li>
2272 | 						</ol>
2273 | 					</li>
2274 | 					<li>If
2275 | 						<emu-xref aoid="SameValue" id="_ref_7"><a href="https://tc39.github.io/ecma262/#sec-samevalue">SameValue</a></emu-xref>(<var>exportName</var>, <code>"default"</code>) is
2276 | 						<emu-val>true</emu-val>, then
2277 | 						<ol>
2278 | 							<li>Assert: A <code>default</code> export was not explicitly defined by this module.</li>
2279 | 							<li>Return
2280 | 								<emu-val>null</emu-val>.</li>
2281 | 							<li>NOTE A <code>default</code> export cannot be provided by an <code>export *</code>.</li>
2282 | 						</ol>
2283 | 					</li>
2284 | 					<li>If <var>exportStarSet</var> contains <var>module</var>, return
2285 | 						<emu-val>null</emu-val>.</li>
2286 | 					<li>Append <var>module</var> to <var>exportStarSet</var>.</li>
2287 | 					<li>Let <var>starResolution</var> be
2288 | 						<emu-val>null</emu-val>.</li>
2289 | 					<li>For each ExportEntry
2290 | 						<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> <var>e</var> in <var>module</var>.[[StarExportEntries]], do
2291 | 						<ol>
2292 | 							<li>Let <var>importedModule</var> be ?&nbsp;
2293 | 								<emu-xref aoid="HostResolveImportedModule" id="_ref_8"><a href="https://tc39.github.io/ecma262/#sec-hostresolveimportedmodule">HostResolveImportedModule</a></emu-xref>(<var>module</var>, <var>e</var>.[[ModuleRequest]]).</li>
2294 | 							<li>Let <var>resolution</var> be ? <var>importedModule</var>.ResolveExport(<var>exportName</var>, <var>resolveSet</var>, <var>exportStarSet</var>).</li>
2295 | 							<li>If <var>resolution</var> is <code>"ambiguous"</code>, return <code>"ambiguous"</code>.</li>
2296 | 							<li><ins>If <var>resolution</var> is <code>"pending"</code>, return <code>"pending"</code>.</ins></li>
2297 | 							<li>If <var>resolution</var> is not
2298 | 								<emu-val>null</emu-val>, then
2299 | 								<ol>
2300 | 									<li>If <var>starResolution</var> is
2301 | 										<emu-val>null</emu-val>, let <var>starResolution</var> be <var>resolution</var>.</li>
2302 | 									<li>Else,
2303 | 										<ol>
2304 | 											<li>Assert: There is more than one <code>*</code> import that includes the requested name.</li>
2305 | 											<li>If <var>resolution</var>.[[Module]] and <var>starResolution</var>.[[Module]] are not the same
2306 | 												<emu-xref href="#sec-abstract-module-records"><a href="https://tc39.github.io/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref> or
2307 | 												<emu-xref aoid="SameValue" id="_ref_9"><a href="https://tc39.github.io/ecma262/#sec-samevalue">SameValue</a></emu-xref>(<var>resolution</var>.[[BindingName]], <var>starResolution</var>.[[BindingName]]) is
2308 | 												<emu-val>false</emu-val>, return <code>"ambiguous"</code>.</li>
2309 | 										</ol>
2310 | 									</li>
2311 | 								</ol>
2312 | 							</li>
2313 | 						</ol>
2314 | 					</li>
2315 | 					<li>Return <var>starResolution</var>.
2316 | 					</li>
2317 | 				</ol>
2318 | 			</emu-alg>
2319 | 			<emu-note><span class="note">Note</span>
2320 | 				<div class="note-contents">
2321 | 					<p>ResolveExport attempts to resolve an imported binding to the actual defining module and local binding name. The defining module may be the module represented by the
2322 | 						<emu-xref href="#sec-abstract-module-records"><a href="https://tc39.github.io/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref> this method was invoked on or some other module that is imported by that module. The parameter <var>resolveSet</var> is use to detect unresolved circular import/export paths. If a pair consisting of specific
2323 | 						<emu-xref href="#sec-abstract-module-records"><a href="https://tc39.github.io/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref> and <var>exportName</var> is reached that is already in <var>resolveSet</var>, an import circularity has been encountered. Before recursively calling ResolveExport, a pair consisting of <var>module</var> and <var>exportName</var> is added to <var>resolveSet</var>.</p>
2324 | 					<p>If a defining module is found a
2325 | 						<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> {[[Module]], [[BindingName]]} is returned. This record identifies the resolved binding of the originally requested export. If no definition was found or the request is found to be circular,
2326 | 						<emu-val>null</emu-val> is returned. If the request is found to be ambiguous, the string <code>"ambiguous"</code> is returned.<ins> If the request is found to be pending, the string <code>"pending"</code> is returned.</ins></p>
2327 | 				</div>
2328 | 			</emu-note>
2329 | 		</emu-clause>
2330 | 
2331 | 
2332 | 		<!-- es6num="15.2.1.16.4" -->
2333 | 		<emu-clause id="sec-moduledeclarationinstantiation">
2334 | 			<h1><span class="secnum">3</span>ModuleDeclarationInstantiation( ) Concrete Method</h1>
2335 | 			<p>The ModuleDeclarationInstantiation concrete method of a
2336 | 				<emu-xref href="#sec-source-text-module-records"><a href="https://tc39.github.io/ecma262/#sec-source-text-module-records">Source Text Module Record</a></emu-xref> performs the following steps:</p>
2337 | 			<emu-alg>
2338 | 				<ol>
2339 | 					<li>Let <var>module</var> be this
2340 | 						<emu-xref href="#sec-source-text-module-records"><a href="https://tc39.github.io/ecma262/#sec-source-text-module-records">Source Text Module Record</a></emu-xref>.</li>
2341 | 					<li>Let <var>realm</var> be <var>module</var>.[[Realm]].</li>
2342 | 					<li>Assert: <var>realm</var> is not
2343 | 						<emu-val>undefined</emu-val>.</li>
2344 | 					<li>Let <var>code</var> be <var>module</var>.[[ECMAScriptCode]].</li>
2345 | 					<li>If <var>module</var>.[[Environment]] is not
2346 | 						<emu-val>undefined</emu-val>, return
2347 | 						<emu-xref aoid="NormalCompletion" id="_ref_10"><a href="https://tc39.github.io/ecma262/#sec-normalcompletion">NormalCompletion</a></emu-xref>(
2348 | 						<emu-const>empty</emu-const>).</li>
2349 | 					<li>Let <var>env</var> be
2350 | 						<emu-xref aoid="NewModuleEnvironment" id="_ref_11"><a href="https://tc39.github.io/ecma262/#sec-newmoduleenvironment">NewModuleEnvironment</a></emu-xref>(<var>realm</var>.[[GlobalEnv]]).</li>
2351 | 					<li>Set <var>module</var>.[[Environment]] to <var>env</var>.</li>
2352 | 					<li>For each String <var>required</var> that is an element of <var>module</var>.[[RequestedModules]] do,
2353 | 						<ol>
2354 | 							<li>NOTE: Before instantiating a module, all of the modules it requested must be available. An implementation may perform this test at any time prior to this point.</li>
2355 | 							<li>Let <var>requiredModule</var> be ?&nbsp;
2356 | 								<emu-xref aoid="HostResolveImportedModule" id="_ref_12"><a href="https://tc39.github.io/ecma262/#sec-hostresolveimportedmodule">HostResolveImportedModule</a></emu-xref>(<var>module</var>, <var>required</var>).</li>
2357 | 							<li>Perform ? <var>requiredModule</var>.ModuleDeclarationInstantiation().</li>
2358 | 						</ol>
2359 | 					</li>
2360 | 					<li>For each ExportEntry
2361 | 						<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> <var>e</var> in <var>module</var>.[[IndirectExportEntries]], do
2362 | 						<ol>
2363 | 							<li>Let <var>resolution</var> be ? <var>module</var>.ResolveExport(<var>e</var>.[[ExportName]], « », « »).</li>
2364 | 							<li>If <var>resolution</var> is
2365 | 								<emu-val>null</emu-val> or <var>resolution</var> is <code>"ambiguous"</code>, throw a
2366 | 								<emu-val>SyntaxError</emu-val> exception.</li>
2367 | 						</ol>
2368 | 					</li>
2369 | 					<li>Assert: All named exports from <var>module</var> are resolvable.</li>
2370 | 					<li>Let <var>envRec</var> be <var>env</var>'s
2371 | 						<emu-xref href="#sec-lexical-environments"><a href="https://tc39.github.io/ecma262/#sec-lexical-environments">EnvironmentRecord</a></emu-xref>.</li>
2372 | 					<li>For each ImportEntry
2373 | 						<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> <var>in</var> in <var>module</var>.[[ImportEntries]], do
2374 | 						<ol>
2375 | 							<li>Let <var>importedModule</var> be !&nbsp;
2376 | 								<emu-xref aoid="HostResolveImportedModule" id="_ref_13"><a href="https://tc39.github.io/ecma262/#sec-hostresolveimportedmodule">HostResolveImportedModule</a></emu-xref>(<var>module</var>, <var>in</var>.[[ModuleRequest]]).</li>
2377 | 							<li>NOTE: The above call cannot fail because imported module requests are a subset of <var>module</var>.[[RequestedModules]], and these have been resolved earlier in this algorithm.</li>
2378 | 							<li>If <var>in</var>.[[ImportName]] is <code>"*"</code>, then
2379 | 								<ol>
2380 | 									<li>Let <var>namespace</var> be ?&nbsp;
2381 | 										<emu-xref aoid="GetModuleNamespace" id="_ref_14"><a href="https://tc39.github.io/ecma262/#sec-getmodulenamespace">GetModuleNamespace</a></emu-xref>(<var>importedModule</var>).</li>
2382 | 									<li>Perform ! <var>envRec</var>.CreateImmutableBinding(<var>in</var>.[[LocalName]],
2383 | 										<emu-val>true</emu-val>).</li>
2384 | 									<li>Call <var>envRec</var>.InitializeBinding(<var>in</var>.[[LocalName]], <var>namespace</var>).</li>
2385 | 								</ol>
2386 | 							</li>
2387 | 							<li>Else,
2388 | 								<ol>
2389 | 									<li>Let <var>resolution</var> be ? <var>importedModule</var>.ResolveExport(<var>in</var>.[[ImportName]], « », « »).</li>
2390 | 									<li>If <var>resolution</var> is
2391 | 										<emu-val>null</emu-val> or <var>resolution</var> is <code>"ambiguous"</code>, throw a
2392 | 										<emu-val>SyntaxError</emu-val> exception.</li>
2393 | 									<li><ins>If <var>resolution</var> is <code>"pending"</code>, then append <var>in</var> to <var>module</var>.[[PendingImportEntries]].<ins></ins></ins>
2394 | 									</li>
2395 | 									<li><ins>Else, </ins>call <var>envRec</var>.CreateImportBinding(<var>in</var>.[[LocalName]], <var>resolution</var>.[[Module]], <var>resolution</var>.[[BindingName]]).</li>
2396 | 								</ol>
2397 | 							</li>
2398 | 						</ol>
2399 | 					</li>
2400 | 					<li>Let <var>varDeclarations</var> be the VarScopedDeclarations of <var>code</var>.</li>
2401 | 					<li>Let <var>declaredVarNames</var> be a new empty
2402 | 						<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li>
2403 | 					<li>For each element <var>d</var> in <var>varDeclarations</var> do
2404 | 						<ol>
2405 | 							<li>For each element <var>dn</var> of the BoundNames of <var>d</var> do
2406 | 								<ol>
2407 | 									<li>If <var>dn</var> is not an element of <var>declaredVarNames</var>, then
2408 | 										<ol>
2409 | 											<li>Perform ! <var>envRec</var>.CreateMutableBinding(<var>dn</var>,
2410 | 												<emu-val>false</emu-val>).</li>
2411 | 											<li>Call <var>envRec</var>.InitializeBinding(<var>dn</var>,
2412 | 												<emu-val>undefined</emu-val>).</li>
2413 | 											<li>Append <var>dn</var> to <var>declaredVarNames</var>.</li>
2414 | 										</ol>
2415 | 									</li>
2416 | 								</ol>
2417 | 							</li>
2418 | 						</ol>
2419 | 					</li>
2420 | 					<li>Let <var>lexDeclarations</var> be the LexicallyScopedDeclarations of <var>code</var>.</li>
2421 | 					<li>For each element <var>d</var> in <var>lexDeclarations</var> do
2422 | 						<ol>
2423 | 							<li>For each element <var>dn</var> of the BoundNames of <var>d</var> do
2424 | 								<ol>
2425 | 									<li>If IsConstantDeclaration of <var>d</var> is
2426 | 										<emu-val>true</emu-val>, then
2427 | 										<ol>
2428 | 											<li>Perform ! <var>envRec</var>.CreateImmutableBinding(<var>dn</var>,
2429 | 												<emu-val>true</emu-val>).</li>
2430 | 										</ol>
2431 | 									</li>
2432 | 									<li>Else,
2433 | 										<ol>
2434 | 											<li>Perform ! <var>envRec</var>.CreateMutableBinding(<var>dn</var>,
2435 | 												<emu-val>false</emu-val>).</li>
2436 | 										</ol>
2437 | 									</li>
2438 | 									<li>If <var>d</var> is a
2439 | 										<emu-nt><a href="https://tc39.github.io/ecma262/#prod-GeneratorDeclaration">GeneratorDeclaration</a></emu-nt> production or a
2440 | 										<emu-nt><a href="https://tc39.github.io/ecma262/#prod-FunctionDeclaration">FunctionDeclaration</a></emu-nt> production, then
2441 | 										<ol>
2442 | 											<li>Let <var>fo</var> be the result of performing InstantiateFunctionObject for <var>d</var> with argument <var>env</var>.</li>
2443 | 											<li>Call <var>envRec</var>.InitializeBinding(<var>dn</var>, <var>fo</var>).</li>
2444 | 										</ol>
2445 | 									</li>
2446 | 								</ol>
2447 | 							</li>
2448 | 						</ol>
2449 | 					</li>
2450 | 					<li>Return
2451 | 						<emu-xref aoid="NormalCompletion" id="_ref_15"><a href="https://tc39.github.io/ecma262/#sec-normalcompletion">NormalCompletion</a></emu-xref>(
2452 | 						<emu-const>empty</emu-const>).
2453 | 					</li>
2454 | 				</ol>
2455 | 			</emu-alg>
2456 | 		</emu-clause>
2457 | 
2458 | 		<!-- es6num="15.2.1.16.5" -->
2459 | 		<emu-clause id="sec-moduleevaluation">
2460 | 			<h1><span class="secnum">4</span>ModuleEvaluation() Concrete Method</h1>
2461 | 			<p>The ModuleEvaluation concrete method of a
2462 | 				<emu-xref href="#sec-source-text-module-records"><a href="https://tc39.github.io/ecma262/#sec-source-text-module-records">Source Text Module Record</a></emu-xref> performs the following steps:</p>
2463 | 			<emu-alg>
2464 | 				<ol>
2465 | 					<li>Let <var>module</var> be this
2466 | 						<emu-xref href="#sec-source-text-module-records"><a href="https://tc39.github.io/ecma262/#sec-source-text-module-records">Source Text Module Record</a></emu-xref>.</li>
2467 | 					<li>Assert: ModuleDeclarationInstantiation has already been invoked on <var>module</var> and successfully completed.</li>
2468 | 					<li>Assert: <var>module</var>.[[Realm]] is not
2469 | 						<emu-val>undefined</emu-val>.</li>
2470 | 					<li>If <var>module</var>.[[Evaluated]] is
2471 | 						<emu-val>true</emu-val>, return
2472 | 						<emu-val>undefined</emu-val>.</li>
2473 | 					<li>Set <var>module</var>.[[Evaluated]] to
2474 | 						<emu-val>true</emu-val>.</li>
2475 | 					<li>For each String <var>required</var> that is an element of <var>module</var>.[[RequestedModules]] do,
2476 | 						<ol>
2477 | 							<li>Let <var>requiredModule</var> be !&nbsp;
2478 | 								<emu-xref aoid="HostResolveImportedModule" id="_ref_16"><a href="https://tc39.github.io/ecma262/#sec-hostresolveimportedmodule">HostResolveImportedModule</a></emu-xref>(<var>module</var>, <var>required</var>).</li>
2479 | 							<li>NOTE: ModuleDeclarationInstantiation must be completed prior to invoking this method, so every requested module is guaranteed to resolve successfully.</li>
2480 | 							<li>Perform ? <var>requiredModule</var>.ModuleEvaluation().</li>
2481 | 						</ol>
2482 | 					</li>
2483 | 					<li><ins>Let <var>env</var> be <var>module</var>.[[Environment]]</ins>.</li>
2484 | 					<li><ins>Let <var>envRec</var> be <var>env</var>'s <emu-xref href="#sec-lexical-environments"><a href="https://tc39.github.io/ecma262/#sec-lexical-environments">EnvironmentRecord</a></emu-xref></ins>.</li>
2485 | 					<li><ins>For each ImportEntry <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> <var>in</var> in <var>module</var>.[[PendingImportEntries]], do</ins>
2486 | 						<ol>
2487 | 							<li><ins>Let <var>resolution</var> be ? <var>importedModule</var>.ResolveExport(<var>in</var>.[[ImportName]], « », « »)</ins>.</li>
2488 | 							<li><ins>If <var>resolution</var> is <emu-val>null</emu-val> or <var>resolution</var> is <code>"ambiguous"</code> or <var>resultion</var> is <code>"pending"</code>, throw a <emu-val>SyntaxError</emu-val> exception</ins>.</li>
2489 | 							<li><ins>Remove ImportEntry <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> <var>in</var> from <var>module</var>.[[PendingImportEntries]]</ins>.</li>
2490 | 							<li><ins>Call <var>envRec</var>.CreateImportBinding(<var>in</var>.[[LocalName]], <var>resolution</var>.[[Module]</ins>.</li>
2491 | 						</ol>
2492 | 					</li>
2493 | 					<li>Let <var>moduleCxt</var> be a new ECMAScript code
2494 | 						<emu-xref href="#sec-execution-contexts"><a href="https://tc39.github.io/ecma262/#sec-execution-contexts">execution context</a></emu-xref>.</li>
2495 | 					<li>Set the Function of <var>moduleCxt</var> to
2496 | 						<emu-val>null</emu-val>.</li>
2497 | 					<li>Set the
2498 | 						<emu-xref href="#realm"><a href="https://tc39.github.io/ecma262/#realm">Realm</a></emu-xref> of <var>moduleCxt</var> to <var>module</var>.[[Realm]].</li>
2499 | 					<li>Set the ScriptOrModule of <var>moduleCxt</var> to <var>module</var>.</li>
2500 | 					<li>Assert: <var>module</var> has been linked and declarations in its
2501 | 						<emu-xref href="#module-environment"><a href="https://tc39.github.io/ecma262/#module-environment">module environment</a></emu-xref> have been instantiated.</li>
2502 | 					<li>Set the VariableEnvironment of <var>moduleCxt</var> to <var>module</var>.[[Environment]].</li>
2503 | 					<li>Set the LexicalEnvironment of <var>moduleCxt</var> to <var>module</var>.[[Environment]].</li>
2504 | 					<li>Suspend the currently
2505 | 						<emu-xref href="#running-execution-context"><a href="https://tc39.github.io/ecma262/#running-execution-context">running execution context</a></emu-xref>.</li>
2506 | 					<li>Push <var>moduleCxt</var> on to the
2507 | 						<emu-xref href="#execution-context-stack"><a href="https://tc39.github.io/ecma262/#execution-context-stack">execution context stack</a></emu-xref>; <var>moduleCxt</var> is now the
2508 | 						<emu-xref href="#running-execution-context"><a href="https://tc39.github.io/ecma262/#running-execution-context">running execution context</a></emu-xref>.</li>
2509 | 					<li>Let <var>result</var> be the result of evaluating <var>module</var>.[[ECMAScriptCode]].</li>
2510 | 					<li>Suspend <var>moduleCxt</var> and remove it from the
2511 | 						<emu-xref href="#execution-context-stack"><a href="https://tc39.github.io/ecma262/#execution-context-stack">execution context stack</a></emu-xref>.</li>
2512 | 					<li>Resume the context that is now on the top of the
2513 | 						<emu-xref href="#execution-context-stack"><a href="https://tc39.github.io/ecma262/#execution-context-stack">execution context stack</a></emu-xref> as the
2514 | 						<emu-xref href="#running-execution-context"><a href="https://tc39.github.io/ecma262/#running-execution-context">running execution context</a></emu-xref>.</li>
2515 | 					<li>Return
2516 | 						<emu-xref aoid="Completion" id="_ref_17"><a href="https://tc39.github.io/ecma262/#sec-completion-record-specification-type">Completion</a></emu-xref>(<var>result</var>).
2517 | 					</li>
2518 | 				</ol>
2519 | 			</emu-alg>
2520 | 		</emu-clause>
2521 | 
2522 | 		<!-- es6num="15.2.1.16.1" -->
2523 | 		<emu-clause id="sec-parsemodule" aoid="ParseModule">
2524 | 			<h1><span class="secnum">5</span>ParseModule ( <var>sourceText</var>, <var>realm</var>, <var>hostDefined</var> )</h1>
2525 | 			<p>The abstract operation ParseModule with arguments <var>sourceText</var>, <var>realm</var>, and <var>hostDefined</var> creates a
2526 | 				<emu-xref href="#sec-source-text-module-records"><a href="https://tc39.github.io/ecma262/#sec-source-text-module-records">Source Text Module Record</a></emu-xref> based upon the result of parsing <var>sourceText</var> as a
2527 | 				<emu-nt><a href="https://tc39.github.io/ecma262/#prod-Module">Module</a></emu-nt>. ParseModule performs the following steps:</p>
2528 | 			<emu-alg>
2529 | 				<ol>
2530 | 					<li>Assert: <var>sourceText</var> is an ECMAScript source text (see clause
2531 | 						<emu-xref href="#sec-ecmascript-language-source-code"><a href="https://tc39.github.io/ecma262/#sec-ecmascript-language-source-code">10</a></emu-xref>).</li>
2532 | 					<li>Parse <var>sourceText</var> using
2533 | 						<emu-nt><a href="https://tc39.github.io/ecma262/#prod-Module">Module</a></emu-nt> as the
2534 | 						<emu-xref href="#sec-context-free-grammars"><a href="https://tc39.github.io/ecma262/#sec-context-free-grammars">goal symbol</a></emu-xref> and analyze the parse result for any Early Error conditions. If the parse was successful and no early errors were found, let <var>body</var> be the resulting parse tree. Otherwise, let <var>body</var> be a
2535 | 						<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of one or more
2536 | 						<emu-val>SyntaxError</emu-val> or
2537 | 						<emu-val>ReferenceError</emu-val> objects representing the parsing errors and/or early errors. Parsing and
2538 | 						<emu-xref href="#early-error"><a href="https://tc39.github.io/ecma262/#early-error">early error</a></emu-xref> detection may be interweaved in an implementation dependent manner. If more than one parsing error or
2539 | 						<emu-xref href="#early-error"><a href="https://tc39.github.io/ecma262/#early-error">early error</a></emu-xref> is present, the number and ordering of error objects in the list is implementation dependent, but at least one must be present.</li>
2540 | 					<li>If <var>body</var> is a
2541 | 						<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of errors, then return <var>body</var>.</li>
2542 | 					<li>Let <var>requestedModules</var> be the ModuleRequests of <var>body</var>.</li>
2543 | 					<li>Let <var>importEntries</var> be ImportEntries of <var>body</var>.</li>
2544 | 					<li><ins>Let <var>pendingImportEntries</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.<ins></ins></ins>
2545 | 					</li>
2546 | 					<li>Let <var>importedBoundNames</var> be
2547 | 						<emu-xref aoid="ImportedLocalNames" id="_ref_18"><a href="https://tc39.github.io/ecma262/#sec-importedlocalnames">ImportedLocalNames</a></emu-xref>(<var>importEntries</var>).</li>
2548 | 					<li>Let <var>indirectExportEntries</var> be a new empty
2549 | 						<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li>
2550 | 					<li>Let <var>localExportEntries</var> be a new empty
2551 | 						<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li>
2552 | 					<li>Let <var>starExportEntries</var> be a new empty
2553 | 						<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li>
2554 | 					<li>Let <var>exportEntries</var> be ExportEntries of <var>body</var>.</li>
2555 | 					<li>For each record <var>ee</var> in <var>exportEntries</var>, do
2556 | 						<ol>
2557 | 							<li>If <var>ee</var>.[[ModuleRequest]] is
2558 | 								<emu-val>null</emu-val>, then
2559 | 								<ol>
2560 | 									<li>If <var>ee</var>.[[LocalName]] is not an element of <var>importedBoundNames</var>, then
2561 | 										<ol>
2562 | 											<li>Append <var>ee</var> to <var>localExportEntries</var>.</li>
2563 | 										</ol>
2564 | 									</li>
2565 | 									<li>Else,
2566 | 										<ol>
2567 | 											<li>Let <var>ie</var> be the element of <var>importEntries</var> whose [[LocalName]] is the same as <var>ee</var>.[[LocalName]].</li>
2568 | 											<li>If <var>ie</var>.[[ImportName]] is <code>"*"</code>, then
2569 | 												<ol>
2570 | 													<li>Assert: This is a re-export of an imported module namespace object.</li>
2571 | 													<li>Append <var>ee</var> to <var>localExportEntries</var>.</li>
2572 | 												</ol>
2573 | 											</li>
2574 | 											<li>Else this is a re-export of a single name,
2575 | 												<ol>
2576 | 													<li>Append to <var>indirectExportEntries</var> the
2577 | 														<emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.github.io/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> {[[ModuleRequest]]: <var>ie</var>.[[ModuleRequest]], [[ImportName]]: <var>ie</var>.[[ImportName]], [[LocalName]]:
2578 | 														<emu-val>null</emu-val>, [[ExportName]]: <var>ee</var>.[[ExportName]] }.</li>
2579 | 												</ol>
2580 | 											</li>
2581 | 										</ol>
2582 | 									</li>
2583 | 								</ol>
2584 | 							</li>
2585 | 							<li>Else if <var>ee</var>.[[ImportName]] is <code>"*"</code>, then
2586 | 								<ol>
2587 | 									<li>Append <var>ee</var> to <var>starExportEntries</var>.</li>
2588 | 								</ol>
2589 | 							</li>
2590 | 							<li>Else,
2591 | 								<ol>
2592 | 									<li>Append <var>ee</var> to <var>indirectExportEntries</var>.</li>
2593 | 								</ol>
2594 | 							</li>
2595 | 						</ol>
2596 | 					</li>
2597 | 					<li>Return
2598 | 						<emu-xref href="#sec-source-text-module-records"><a href="https://tc39.github.io/ecma262/#sec-source-text-module-records">Source Text Module Record</a></emu-xref> {[[Realm]]: <var>realm</var>, [[Environment]]:
2599 | 						<emu-val>undefined</emu-val>, [[HostDefined]]: <var>hostDefined</var>, [[Namespace]]:
2600 | 						<emu-val>undefined</emu-val>, [[Evaluated]]:
2601 | 						<emu-val>false</emu-val>, [[ECMAScriptCode]]: <var>body</var>, [[RequestedModules]]: <var>requestedModules</var>, [[ImportEntries]]: <var>importEntries</var>, <ins>[[PendingImportEntries]]: <var>pendingImportEntries</var>, </ins>[[LocalExportEntries]]: <var>localExportEntries</var>, [[StarExportEntries]]: <var>starExportEntries</var>, [[IndirectExportEntries]]: <var>indirectExportEntries</var>}.
2602 | 					</li>
2603 | 				</ol>
2604 | 			</emu-alg>
2605 | 			<emu-note><span class="note">Note</span>
2606 | 				<div class="note-contents">
2607 | 					<p>An implementation may parse module source text and analyze it for Early Error conditions prior to the evaluation of ParseModule for that module source text. However, the reporting of any errors must be deferred until the point where this specification actually performs ParseModule upon that source text.</p>
2608 | 				</div>
2609 | 			</emu-note>
2610 | 		</emu-clause>
2611 | 		<emu-annex id="sec-copyright-and-software-license">
2612 | 			<h1><span class="secnum">A</span>Copyright &amp; Software License</h1>
2613 | 
2614 | 			<h2>Copyright Notice</h2>
2615 | 			<p>© 2017 Caridy Patiño</p>
2616 | 
2617 | 			<h2>Software License</h2>
2618 | 			<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 http://www.ecma-international.org/memento/codeofconduct.htm FOR INFORMATION REGARDING THE LICENSING OF PATENT CLAIMS THAT ARE REQUIRED TO IMPLEMENT ECMA INTERNATIONAL STANDARDS.</p>
2619 | 
2620 | 			<p>Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:</p>
2621 | 
2622 | 			<ol>
2623 | 				<li>Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.</li>
2624 | 				<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>
2625 | 				<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>
2626 | 			</ol>
2627 | 
2628 | 			<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>
2629 | 
2630 | 		</emu-annex>
2631 | 	</div>
2632 | </body>


--------------------------------------------------------------------------------
/package.json:
--------------------------------------------------------------------------------
 1 | {
 2 | 	"name": "ecma-proposal-dynamic-modules",
 3 | 	"version": "0.0.0",
 4 | 	"description": "ECMAScript spec proposal to support dynamic modules",
 5 | 	"scripts": {
 6 | 		"build": "ecmarkup spec.emu --js=spec.js --css=spec.css | js-beautify -f - --type=html -t > index.html",
 7 | 		"pr1epublish": "npm run build && echo >&2 'no publishing' && exit 255"
 8 | 	},
 9 | 	"repository": {
10 | 		"type": "git",
11 | 		"url": "git+https://github.com/caridy/proposal-dynamic-modules.git"
12 | 	},
13 | 	"keywords": [
14 | 		"es",
15 | 		"module",
16 | 		"cjs",
17 | 		"node",
18 | 		"ES8",
19 | 		"ES2017",
20 | 		"ECMAScript",
21 | 		"ESNext",
22 | 		"spec",
23 | 		"proposal"
24 | 	],
25 | 	"author": "Caridy Patiño <caridy@gmail.com>",
26 | 	"license": "MIT",
27 | 	"bugs": {
28 | 		"url": "https://github.com/caridy/proposal-dynamic-modules/issues"
29 | 	},
30 | 	"homepage": "https://github.com/caridy/proposal-dynamic-modules#readme",
31 | 	"dependencies": {},
32 | 	"devDependencies": {
33 | 		"ecmarkup": "^3.4.0",
34 | 		"js-beautify": "^1.6.4"
35 | 	}
36 | }
37 | 


--------------------------------------------------------------------------------
/spec.css:
--------------------------------------------------------------------------------
  1 | body {
  2 |   display: flex;
  3 |   font-size: 18px;
  4 |   line-height: 1.5;
  5 |   font-family: Cambria, Palatino Linotype, Palatino, Liberation Serif, serif;
  6 |   padding: 0;
  7 |   margin: 0;
  8 |   color: #111;
  9 | }
 10 | 
 11 | #spec-container {
 12 |   padding: 0 20px;
 13 |   flex-grow: 1;
 14 |   flex-basis: 66%;
 15 |   box-sizing: border-box;
 16 |   overflow: hidden;
 17 | }
 18 | 
 19 | body.oldtoc {
 20 |   margin: 0 auto;
 21 | }
 22 | 
 23 | a {
 24 |     text-decoration: none;
 25 |     color: #206ca7;
 26 | }
 27 | 
 28 | a:visited {
 29 |   color: #206ca7;
 30 | }
 31 | 
 32 | a:hover {
 33 |     text-decoration: underline;
 34 |     color: #239dee;
 35 | }
 36 | 
 37 | 
 38 | code {
 39 |     font-weight: bold;
 40 |     font-family: Consolas, Monaco, monospace;
 41 |     white-space: pre;
 42 | }
 43 | 
 44 | pre code {
 45 |   font-weight: inherit;
 46 | }
 47 | 
 48 | pre code.hljs {
 49 |   background-color: #fff;
 50 |   margin: 0;
 51 |   padding: 0;
 52 | }
 53 | 
 54 | ol.toc {
 55 |     list-style: none;
 56 |     padding-left: 0;
 57 | }
 58 | 
 59 | ol.toc ol.toc {
 60 |     padding-left: 2ex;
 61 |     list-style: none;
 62 | }
 63 | 
 64 | var {
 65 |   color: #2aa198;
 66 |   transition: background-color 0.25s ease;
 67 |   cursor: pointer;
 68 | }
 69 | 
 70 | var.referenced {
 71 |   background-color: #ffff33;
 72 | }
 73 | 
 74 | emu-const {
 75 |   font-family: sans-serif;
 76 | }
 77 | 
 78 | emu-val {
 79 |   font-weight: bold;
 80 | }
 81 | emu-alg ol, emu-alg ol ol ol ol {
 82 |     list-style-type: decimal;
 83 | }
 84 | 
 85 | emu-alg ol ol, emu-alg ol ol ol ol ol {
 86 |     list-style-type: lower-alpha;
 87 | }
 88 | 
 89 | emu-alg ol ol ol, ol ol ol ol ol ol {
 90 |     list-style-type: lower-roman;
 91 | }
 92 | 
 93 | emu-eqn {
 94 |   display: block;
 95 |   margin-left: 4em;
 96 | }
 97 | 
 98 | emu-eqn.inline {
 99 |   display: inline;
100 |   margin: 0;
101 | }
102 | 
103 | emu-eqn div:first-child {
104 |   margin-left: -2em;
105 | }
106 | 
107 | emu-note {
108 |     margin: 1em 0;
109 |     color: #666;
110 |     border-left: 5px solid #ccc;
111 |     display: flex;
112 |     flex-direction: row;
113 | }
114 | 
115 | emu-note > span.note {
116 |     flex-basis: 100px;
117 |     min-width: 100px;
118 |     flex-grow: 0;
119 |     flex-shrink: 1;
120 |     text-transform: uppercase;
121 |     padding-left: 5px;
122 | }
123 | 
124 | emu-note[type=editor] {
125 |   border-left-color: #faa;
126 | }
127 | 
128 | emu-note > div.note-contents {
129 |   flex-grow: 1;
130 |   flex-shrink: 1;
131 | }
132 | 
133 | emu-note > div.note-contents > p:first-child {
134 |   margin-top: 0;
135 | }
136 | 
137 | emu-note > div.note-contents > p:last-child {
138 |   margin-bottom: 0;
139 | }
140 | 
141 | emu-figure {
142 |   display: block;
143 | }
144 | 
145 | emu-example {
146 |   display: block;
147 |   margin: 1em 3em;
148 | }
149 | 
150 | emu-example figure figcaption {
151 |   margin-top: 0.5em;
152 |   text-align: left;
153 | }
154 | 
155 | emu-figure figure,
156 | emu-example figure,
157 | emu-table figure {
158 |   display: flex;
159 |   flex-direction: column;
160 |   align-items: center;
161 | }
162 | 
163 | emu-production {
164 |     display: block;
165 |     margin-top: 1em;
166 |     margin-bottom: 1em;
167 |     margin-left: 5ex;
168 | }
169 | 
170 | 
171 | emu-grammar.inline, emu-production.inline,
172 | emu-grammar.inline emu-production emu-rhs, emu-production.inline emu-rhs {
173 |   display: inline;
174 | }
175 | 
176 | emu-grammar[collapsed] emu-production, emu-production[collapsed] {
177 |     margin: 0;
178 | }
179 | 
180 | emu-grammar[collapsed] emu-production emu-rhs, emu-production[collapsed] emu-rhs {
181 |     display: inline;
182 |     padding-left: 1ex;
183 | }
184 | 
185 | emu-constraints {
186 |     font-size: .75em;
187 |     margin-right: 1ex;
188 | }
189 | 
190 | emu-gann {
191 |     margin-right: 1ex;
192 | }
193 | 
194 | emu-gann emu-t:last-child,
195 | emu-gann emu-nt:last-child {
196 |     margin-right: 0;
197 | }
198 | 
199 | emu-geq {
200 |     margin-left: 1ex;
201 |     font-weight: bold;
202 | }
203 | 
204 | emu-oneof {
205 |     font-weight: bold;
206 |     margin-left: 1ex;
207 | }
208 | 
209 | emu-nt {
210 |     display: inline-block;
211 |     font-style: italic;
212 |     white-space: nowrap;
213 |     text-indent: 0;
214 | }
215 | 
216 | emu-nt a, emu-nt a:visited {
217 |   color: #333;
218 | }
219 | 
220 | emu-rhs emu-nt {
221 |     margin-right: 1ex;
222 | }
223 | 
224 | emu-t {
225 |     display: inline-block;
226 |     font-family: monospace;
227 |     font-weight: bold;
228 |     white-space: nowrap;
229 |     text-indent: 0;
230 | }
231 | 
232 | emu-production emu-t {
233 |     margin-right: 1ex;
234 | }
235 | 
236 | emu-rhs {
237 |     display: block;
238 |     padding-left: 75px;
239 |     text-indent: -25px;
240 | }
241 | 
242 | emu-mods {
243 |     font-size: .85em;
244 |     vertical-align: sub;
245 |     font-style: normal;
246 |     font-weight: normal;
247 | }
248 | 
249 | emu-production[collapsed] emu-mods {
250 |   display: none;
251 | }
252 | 
253 | emu-params, emu-opt {
254 |   margin-right: 1ex;
255 |   font-family: monospace;
256 | }
257 | 
258 | emu-params, emu-constraints {
259 |   color: #2aa198;
260 | }
261 | 
262 | emu-opt {
263 |   color: #b58900;
264 | }
265 | 
266 | emu-gprose {
267 |     font-size: 0.9em;
268 |     font-family: Helvetica, Arial, sans-serif;
269 | }
270 | 
271 | h1.shortname {
272 |   color: #f60;
273 |   font-size: 1.5em;
274 |   margin: 0;
275 | }
276 | 
277 | h1.version {
278 |   color: #f60;
279 |   font-size: 1.5em;
280 |   margin: 0;
281 | }
282 | 
283 | h1.title {
284 |   margin-top: 0;
285 |   color: #f60;
286 | }
287 | 
288 | h1.first {
289 |   margin-top: 0;
290 | }
291 | 
292 | h1, h2, h3, h4, h5, h6 {
293 |     position: relative;
294 | }
295 | 
296 | h1 .secnum {
297 |   text-decoration: none;
298 |   margin-right: 10px;
299 | }
300 | 
301 | h1 span.title {
302 |   order: 2;
303 | }
304 | 
305 | 
306 | h1 { font-size: 2.67em; margin-top: 2em; margin-bottom: 0; line-height: 1em;}
307 | h2 { font-size: 2em; }
308 | h3 { font-size: 1.56em; }
309 | h4 { font-size: 1.25em; }
310 | h5 { font-size: 1.11em; }
311 | h6 { font-size: 1em; }
312 | 
313 | h1:hover span.utils {
314 |   display: block;
315 | }
316 | 
317 | span.utils {
318 |   font-size: 18px;
319 |   line-height: 18px;
320 |   display: none;
321 |   position: absolute;
322 |   top: 100%;
323 |   left: 0;
324 |   right: 0;
325 |   font-weight: normal;
326 | }
327 | 
328 | span.utils:before {
329 |     content: "⤷";
330 |     display: inline-block;
331 |     padding: 0 5px;
332 | }
333 | 
334 | span.utils > * {
335 |   display: inline-block;
336 |   margin-right: 20px;
337 | }
338 | 
339 | h1 span.utils span.anchor a,
340 | h2 span.utils span.anchor a,
341 | h3 span.utils span.anchor a,
342 | h4 span.utils span.anchor a,
343 | h5 span.utils span.anchor a,
344 | h6 span.utils span.anchor a {
345 |   text-decoration: none;
346 |   font-variant: small-caps;
347 | }
348 | 
349 | h1 span.utils span.anchor a:hover,
350 | h2 span.utils span.anchor a:hover,
351 | h3 span.utils span.anchor a:hover,
352 | h4 span.utils span.anchor a:hover,
353 | h5 span.utils span.anchor a:hover,
354 | h6 span.utils span.anchor a:hover {
355 |   color: #333;
356 | }
357 | 
358 | emu-intro h1, emu-clause h1, emu-annex h1 { font-size: 2em; }
359 | emu-intro h2, emu-clause h2, emu-annex h2 { font-size: 1.56em; }
360 | emu-intro h3, emu-clause h3, emu-annex h3 { font-size: 1.25em; }
361 | emu-intro h4, emu-clause h4, emu-annex h4 { font-size: 1.11em; }
362 | emu-intro h5, emu-clause h5, emu-annex h5 { font-size: 1em; }
363 | emu-intro h6, emu-clause h6, emu-annex h6 { font-size: 0.9em; }
364 | emu-intro emu-intro h1, emu-clause emu-clause h1, emu-annex emu-annex h1 { font-size: 1.56em; }
365 | emu-intro emu-intro h2, emu-clause emu-clause h2, emu-annex emu-annex h2 { font-size: 1.25em; }
366 | emu-intro emu-intro h3, emu-clause emu-clause h3, emu-annex emu-annex h3 { font-size: 1.11em; }
367 | emu-intro emu-intro h4, emu-clause emu-clause h4, emu-annex emu-annex h4 { font-size: 1em; }
368 | emu-intro emu-intro h5, emu-clause emu-clause h5, emu-annex emu-annex h5 { font-size: 0.9em; }
369 | 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; }
370 | 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; }
371 | emu-intro emu-intro emu-intro h3, emu-clause emu-clause emu-clause h3, emu-annex emu-annex emu-annex h3 { font-size: 1em; }
372 | 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; }
373 | 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; }
374 | 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; }
375 | 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; }
376 | 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; }
377 | 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; }
378 | 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 }
379 | 
380 | emu-clause, emu-intro, emu-annex {
381 |     display: block;
382 | }
383 | 
384 | /* Figures and tables */
385 | figure { display: block; margin: 1em 0 3em 0; }
386 | figure object { display: block; margin: 0 auto; }
387 | figure table.real-table { margin: 0 auto; }
388 | figure figcaption {
389 |     display: block;
390 |     color: #555555;
391 |     font-weight: bold;
392 |     text-align: center;
393 | }
394 | 
395 | emu-table table {
396 |   margin: 0 auto;
397 | }
398 | 
399 | emu-table table, table.real-table {
400 |     border-collapse: collapse;
401 | }
402 | 
403 | emu-table td, emu-table th, table.real-table td, table.real-table th {
404 |     border: 1px solid black;
405 |     padding: 0.4em;
406 |     vertical-align: baseline;
407 | }
408 | emu-table th, emu-table thead td, table.real-table th {
409 |     background-color: #eeeeee;
410 | }
411 | 
412 | /* Note: the left content edges of table.lightweight-table >tbody >tr >td
413 |    and div.display line up. */
414 | table.lightweight-table {
415 |     border-collapse: collapse;
416 |     margin: 0 0 0 1.5em;
417 | }
418 | table.lightweight-table td, table.lightweight-table th {
419 |     border: none;
420 |     padding: 0 0.5em;
421 |     vertical-align: baseline;
422 | }
423 | 
424 | /* diff styles */
425 | ins {
426 |     background-color: #e0f8e0;
427 |     text-decoration: none;
428 |     border-bottom: 1px solid #396;
429 | }
430 | 
431 | del {
432 |     background-color: #fee;
433 | }
434 | 
435 | ins.block, del.block,
436 | emu-production > ins, emu-production > del,
437 | emu-grammar > ins, emu-grammar > del {
438 |   display: block;
439 | }
440 | 
441 | /* Menu Styles */
442 | #menu-toggle {
443 |   font-size: 2em;
444 | 
445 |   position: fixed;
446 |   top: 0;
447 |   left: 0;
448 |   width: 1.5em;
449 |   height: 1.5em;
450 |   z-index: 3;
451 |   visibility: hidden;
452 |   color: #1567a2;
453 |   background-color: #fff;
454 | 
455 |   line-height: 1.5em;
456 |   text-align: center;
457 |   -webkit-touch-callout: none;
458 |   -webkit-user-select: none;
459 |   -khtml-user-select: none;
460 |   -moz-user-select: none;
461 |   -ms-user-select: none;
462 |   user-select: none;;
463 | 
464 |   cursor: pointer;
465 | }
466 | 
467 | #menu {
468 |   display: flex;
469 |   flex-direction: column;
470 |   width: 33%; height: 100vh;
471 |   max-width: 500px;
472 |   box-sizing: border-box;
473 |   background-color: #ddd;
474 |   overflow: hidden;
475 |   transition: opacity 0.1s linear;
476 |   padding: 0 5px;
477 |   position: fixed;
478 |   left: 0; top: 0;
479 |   border-right: 2px solid #bbb;
480 | 
481 |   z-index: 2;
482 | }
483 | 
484 | #menu-spacer {
485 |   flex-basis: 33%;
486 |   max-width: 500px;
487 |   flex-grow: 0;
488 |   flex-shrink: 0;
489 | }
490 | 
491 | #menu a {
492 |   color: #1567a2;
493 | }
494 | 
495 | #menu.active {
496 |   display: flex;
497 |   opacity: 1;
498 |   z-index: 2;
499 | }
500 | 
501 | #menu-pins {
502 |   flex-grow: 1;
503 |   display: none;
504 | }
505 | 
506 | #menu-pins.active {
507 |   display: block;
508 | }
509 | 
510 | #menu-pins-list {
511 |   margin: 0;
512 |   padding: 0;
513 |   counter-reset: pins-counter;
514 | }
515 | 
516 | #menu-pins-list > li:before {
517 |   content: counter(pins-counter);
518 |   counter-increment: pins-counter;
519 |   display: inline-block;
520 |   width: 25px;
521 |   text-align: center;
522 |   border: 1px solid #bbb;
523 |   padding: 2px;
524 |   margin: 4px;
525 |   box-sizing: border-box;
526 |   line-height: 1em;
527 |   background-color: #ccc;
528 |   border-radius: 4px;
529 | }
530 | #menu-toc > ol {
531 |   padding: 0;
532 |   flex-grow: 1;
533 | }
534 | 
535 | #menu-toc > ol li {
536 |   padding: 0;
537 | }
538 | 
539 | #menu-toc > ol , #menu-toc > ol ol {
540 |   list-style-type: none;
541 |   margin: 0;
542 |   padding: 0;
543 | }
544 | 
545 | #menu-toc > ol ol {
546 |   padding-left: 0.75em;
547 | }
548 | 
549 | #menu-toc li {
550 |   text-overflow: ellipsis;
551 |   overflow: hidden;
552 |   white-space: nowrap;
553 | }
554 | 
555 | #menu-toc .item-toggle {
556 |   display: inline-block;
557 |   transform: rotate(-45deg) translate(-5px, -5px);
558 |   transition: transform 0.1s ease;
559 |   text-align: center;
560 |   width: 20px;
561 | 
562 |   color: #aab;
563 | 
564 |   -webkit-touch-callout: none;
565 |   -webkit-user-select: none;
566 |   -khtml-user-select: none;
567 |   -moz-user-select: none;
568 |   -ms-user-select: none;
569 |   user-select: none;;
570 | 
571 |   cursor: pointer;
572 | }
573 | 
574 | #menu-toc .item-toggle-none {
575 |   display: inline-block;
576 |   width: 20px;
577 | }
578 | 
579 | #menu-toc li.active > .item-toggle {
580 |   transform: rotate(45deg) translate(-5px, -5px);
581 | }
582 | 
583 | #menu-toc li > ol {
584 |   display: none;
585 | }
586 | 
587 | #menu-toc li.active > ol {
588 |   display: block;
589 | }
590 | 
591 | #menu-toc li.revealed > a {
592 |   background-color: #bbb;
593 |   font-weight: bold;
594 |   /*
595 |   background-color: #222;
596 |   color: #c6d8e4;
597 |   */
598 | }
599 | 
600 | #menu-toc li.revealed-leaf> a {
601 |   color: #206ca7;
602 |   /*
603 |   background-color: #222;
604 |   color: #c6d8e4;
605 |   */
606 | }
607 | 
608 | #menu-toc li.revealed > .item-toggle {
609 |   transform: rotate(45deg) translate(-5px, -5px);
610 | }
611 | 
612 | #menu-toc li.revealed > ol {
613 |   display: block;
614 | }
615 | 
616 | #menu-toc li > a {
617 |   padding: 2px 5px;
618 | }
619 | 
620 | #menu > * {
621 |   margin-bottom: 5px;
622 | }
623 | 
624 | .menu-pane-header {
625 |   padding: 0 5px;
626 |   text-transform: uppercase;
627 |   background-color: #aaa;
628 |   color: #335;
629 |   font-weight: bold;
630 |   letter-spacing: 2px;
631 |   flex-grow: 0;
632 |   flex-shrink: 0;
633 |   font-size: 0.8em;
634 | }
635 | 
636 | #menu-toc {
637 |   display: flex;
638 |   flex-direction: column;
639 |   width: 100%;
640 |   overflow: hidden;
641 |   flex-grow: 1;
642 | }
643 | 
644 | #menu-toc ol.toc {
645 |   overflow-x: hidden;
646 |   overflow-y: auto;
647 | }
648 | 
649 | #menu-search {
650 |   position: relative;
651 |   flex-grow: 0;
652 |   flex-shrink: 0;
653 |   width: 100%;
654 |   
655 |   display: flex;
656 |   flex-direction: column;
657 |   
658 |   max-height: 300px;
659 | }
660 | 
661 | #menu-trace-list {
662 |   display: none;
663 | }
664 | 
665 | #menu-search-box {
666 |   box-sizing: border-box;
667 |   display: block;
668 |   width: 100%;
669 |   margin: 5px 0 0 0;
670 |   font-size: 1em;
671 |   padding: 2px;
672 |   background-color: #bbb;
673 |   border: 1px solid #999;
674 | }
675 | 
676 | #menu-search-results {
677 |   overflow-x: hidden;
678 |   overflow-y: auto;
679 | }
680 | 
681 | li.menu-search-result-clause:before {
682 |     content: 'clause';
683 |     width: 40px;
684 |     display: inline-block;
685 |     text-align: right;
686 |     padding-right: 1ex;
687 |     color: #666;
688 |     font-size: 75%;
689 | }
690 | li.menu-search-result-op:before {
691 |     content: 'op';
692 |     width: 40px;
693 |     display: inline-block;
694 |     text-align: right;
695 |     padding-right: 1ex;
696 |     color: #666;
697 |     font-size: 75%;
698 | }
699 | 
700 | li.menu-search-result-prod:before {
701 |     content: 'prod';
702 |     width: 40px;
703 |     display: inline-block;
704 |     text-align: right;
705 |     padding-right: 1ex;
706 |     color: #666;
707 |     font-size: 75%
708 | }
709 | 
710 | 
711 | li.menu-search-result-term:before {
712 |     content: 'term';
713 |     width: 40px;
714 |     display: inline-block;
715 |     text-align: right;
716 |     padding-right: 1ex;
717 |     color: #666;
718 |     font-size: 75%
719 | }
720 | 
721 | #menu-search-results ul {
722 |   padding: 0 5px;
723 |   margin: 0;
724 | }
725 | 
726 | #menu-search-results li {
727 |   white-space: nowrap;
728 |   text-overflow: ellipsis;
729 | }
730 | 
731 | 
732 | #menu-trace-list {
733 |   counter-reset: item;
734 |   margin: 0 0 0 20px;
735 |   padding: 0;
736 | }
737 | #menu-trace-list li {
738 |   display: block;
739 |   white-space: nowrap;
740 | }
741 | 
742 | #menu-trace-list li .secnum:after {
743 |   content: " ";
744 | }
745 | #menu-trace-list li:before {
746 |     content: counter(item) " ";
747 |     background-color: #222;
748 |     counter-increment: item;
749 |     color: #999;
750 |     width: 20px;
751 |     height: 20px;
752 |     line-height: 20px;
753 |     display: inline-block;
754 |     text-align: center;
755 |     margin: 2px 4px 2px 0;
756 | }
757 | 
758 | @media (max-width: 1000px) {
759 |   body {
760 |     margin: 0;
761 |     display: block;
762 |   }
763 | 
764 |   #menu {
765 |     display: none;
766 |     padding-top: 3em;
767 |     width: 450px;
768 |   }
769 | 
770 |   #menu.active {
771 |     position: fixed;
772 |     height: 100%;
773 |     left: 0;
774 |     top: 0;
775 |     right: 300px;
776 |   }
777 | 
778 |   #menu-toggle {
779 |     visibility: visible;
780 |   }
781 | 
782 |   #spec-container {
783 |     padding: 0 5px;
784 |   }
785 | 
786 |   #references-pane-spacer {
787 |     display: none;
788 |   }
789 | }
790 | 
791 | @media only screen and (max-width: 800px) {
792 |   #menu {
793 |     width: 100%;
794 |   }
795 | 
796 |   h1 .secnum:empty {
797 |     margin: 0; padding: 0;
798 |   }
799 | }
800 | 
801 | 
802 | /* Toolbox */
803 | .toolbox {
804 | 	position: absolute;
805 | 	background: #ddd;
806 | 	border: 1px solid #aaa;
807 |   display: none;
808 |   color: #eee;
809 |   padding: 5px;
810 |   border-radius: 3px;
811 | }
812 | 
813 | .toolbox.active {
814 |   display: inline-block;
815 | }
816 | 
817 | .toolbox a {
818 |   text-decoration: none;
819 |   padding: 0 5px;
820 | }
821 | 
822 | .toolbox a:hover {
823 |   text-decoration: underline;
824 | }
825 | 
826 | .toolbox:after, .toolbox:before {
827 | 	top: 100%;
828 | 	left: 15px;
829 | 	border: solid transparent;
830 | 	content: " ";
831 | 	height: 0;
832 | 	width: 0;
833 | 	position: absolute;
834 | 	pointer-events: none;
835 | }
836 | 
837 | .toolbox:after {
838 | 	border-color: rgba(0, 0, 0, 0);
839 | 	border-top-color: #ddd;
840 | 	border-width: 10px;
841 | 	margin-left: -10px;
842 | }
843 | .toolbox:before {
844 | 	border-color: rgba(204, 204, 204, 0);
845 | 	border-top-color: #aaa;
846 | 	border-width: 12px;
847 | 	margin-left: -12px;
848 | }
849 | 
850 | #references-pane-container {
851 |   position: fixed;
852 |   bottom: 0;
853 |   left: 0;
854 |   right: 0;
855 |   height: 250px;
856 |   display: none;
857 |   background-color: #ddd;
858 |   z-index: 1;
859 | }
860 | 
861 | #references-pane-table-container {
862 |   overflow-x: hidden;
863 |   overflow-y: auto;
864 | }
865 | 
866 | #references-pane-spacer {
867 |   flex-basis: 33%;
868 |   max-width: 500px;
869 | }
870 | 
871 | #references-pane {
872 |   flex-grow: 1;
873 |   overflow: hidden;
874 |   display: flex;
875 |   flex-direction: column;
876 | }
877 | 
878 | #references-pane-container.active {
879 |   display: flex;
880 | }
881 | 
882 | #references-pane-close:after {
883 |   content: '✖';
884 |   float: right;
885 |   cursor: pointer;
886 | }
887 | 
888 | #references-pane table tr td:first-child {
889 |   text-align: right;
890 |   padding-right: 5px;
891 | }
892 | 


--------------------------------------------------------------------------------
/spec.emu:
--------------------------------------------------------------------------------
  1 | <!doctype html>
  2 | <meta charset="utf8">
  3 | <link rel="stylesheet" href="./spec.css">
  4 | <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/8.4/styles/github.min.css">
  5 | <script src="./spec.js"></script>
  6 | <pre class="metadata">
  7 | title: dynamic modules reform
  8 | stage: 1
  9 | contributors: Caridy Patiño
 10 | </pre>
 11 | 
 12 | <!-- es6num="15.2.1.16" -->
 13 | <emu-table id="table-38" caption="Additional Fields of Source Text Module Records">
 14 |   <table>
 15 |     <tbody>
 16 |     <tr>
 17 |       <th>
 18 |         Field Name
 19 |       </th>
 20 |       <th>
 21 |         Value Type
 22 |       </th>
 23 |       <th>
 24 |         Meaning
 25 |       </th>
 26 |     </tr>
 27 |     <tr>
 28 |       <td>
 29 |         [[ImportEntries]]
 30 |       </td>
 31 |       <td>
 32 |         List of ImportEntry Records
 33 |       </td>
 34 |       <td>
 35 |         A List of ImportEntry records derived from the code of this module.
 36 |       </td>
 37 |     </tr>
 38 |     <tr>
 39 |       <td>
 40 |         <ins>[[PendingImportEntries]]</ins>
 41 |       </td>
 42 |       <td>
 43 |         <ins>List of ImportEntry Records</ins>
 44 |       </td>
 45 |       <td>
 46 |         <ins>A List of ImportEntry records that are pending to be validated.</ins>
 47 |       </td>
 48 |     </tr>
 49 |     <tr>
 50 |       <td>
 51 |         [[LocalExportEntries]]
 52 |       </td>
 53 |       <td>
 54 |         List of ExportEntry Records
 55 |       </td>
 56 |       <td>
 57 |         A List of ExportEntry records derived from the code of this module that correspond to declarations that occur within the module.
 58 |       </td>
 59 |     </tr>
 60 |     </tbody>
 61 |   </table>
 62 | </emu-table>
 63 | 
 64 | <!-- es6num="9.4.6.8" -->
 65 | <emu-clause id="sec-module-namespace-exotic-objects-get-p-receiver">
 66 |   <h1>[[Get]] (_P_, _Receiver_)</h1>
 67 |   <p>When the [[Get]] internal method of a module namespace exotic object _O_ is called with property key _P_ and ECMAScript language value _Receiver_, the following steps are taken:</p>
 68 |   <emu-alg>
 69 |     1. Assert: IsPropertyKey(_P_) is *true*.
 70 |     1. If Type(_P_) is Symbol, then
 71 |       1. Return ? OrdinaryGet(_O_, _P_, _Receiver_).
 72 |     1. Let _exports_ be _O_.[[Exports]].
 73 |     1. If _P_ is not an element of _exports_, return *undefined*.
 74 |     1. Let _m_ be _O_.[[Module]].
 75 |     1. Let _binding_ be ! _m_.ResolveExport(_P_, &laquo; &raquo;, &laquo; &raquo;).
 76 |     1. <del>Assert: _binding_ is neither *null* nor `"ambiguous"`.</del>
 77 |     1. <ins>If _binding_ is `"pending"` or _binding_ is *null* or resolution is `"ambiguous"`, throw a *SyntaxError* exception.</ins>
 78 |     1. Let _targetModule_ be _binding_.[[Module]].
 79 |     1. Assert: _targetModule_ is not *undefined*.
 80 |     1. Let _targetEnv_ be _targetModule_.[[Environment]].
 81 |     1. If _targetEnv_ is *undefined*, throw a *ReferenceError* exception.
 82 |     1. Let _targetEnvRec_ be _targetEnv_'s EnvironmentRecord.
 83 |     1. Return ? _targetEnvRec_.GetBindingValue(_binding_.[[BindingName]], *true*).
 84 |   </emu-alg>
 85 |   <emu-note>
 86 |     <p>ResolveExport is idempotent and side-effect free. An implementation might choose to pre-compute or cache the ResolveExport results for the [[Exports]] of each module namespace exotic object.</p>
 87 |   </emu-note>
 88 | </emu-clause>
 89 | 
 90 | <!-- es6num="15.2.1.16.3" -->
 91 | <emu-clause id="sec-resolveexport">
 92 |   <h1>ResolveExport( _exportName_, _resolveSet_, _exportStarSet_ ) Concrete Method</h1>
 93 |   <p>The ResolveExport concrete method of a Source Text Module Record with arguments _exportName_, _resolveSet_, and _exportStarSet_ performs the following steps:</p>
 94 |   <emu-alg>
 95 |     1. Let _module_ be this Source Text Module Record.
 96 |     1. For each Record {[[Module]], [[ExportName]]} _r_ in _resolveSet_, do:
 97 |       1. If _module_ and _r_.[[Module]] are the same Module Record and SameValue(_exportName_, _r_.[[ExportName]]) is *true*, then
 98 |         1. Assert: This is a circular import request.
 99 |         1. Return *null*.
100 |     1. Append the Record {[[Module]]: _module_, [[ExportName]]: _exportName_} to _resolveSet_.
101 |     1. For each ExportEntry Record _e_ in _module_.[[LocalExportEntries]], do
102 |       1. If SameValue(_exportName_, _e_.[[ExportName]]) is *true*, then
103 |         1. Assert: _module_ provides the direct binding for this export.
104 |         1. Return Record{[[Module]]: _module_, [[BindingName]]: _e_.[[LocalName]]}.
105 |     1. For each ExportEntry Record _e_ in _module_.[[IndirectExportEntries]], do
106 |       1. If SameValue(_exportName_, _e_.[[ExportName]]) is *true*, then
107 |         1. Assert: _module_ imports a specific binding for this export.
108 |         1. Let _importedModule_ be ? HostResolveImportedModule(_module_, _e_.[[ModuleRequest]]).
109 |         1. Return ? _importedModule_.ResolveExport(_e_.[[ImportName]], _resolveSet_, _exportStarSet_).
110 |     1. If SameValue(_exportName_, `"default"`) is *true*, then
111 |       1. Assert: A `default` export was not explicitly defined by this module.
112 |       1. Return *null*.
113 |       1. NOTE A `default` export cannot be provided by an `export *`.
114 |     1. If _exportStarSet_ contains _module_, return *null*.
115 |     1. Append _module_ to _exportStarSet_.
116 |     1. Let _starResolution_ be *null*.
117 |     1. For each ExportEntry Record _e_ in _module_.[[StarExportEntries]], do
118 |       1. Let _importedModule_ be ? HostResolveImportedModule(_module_, _e_.[[ModuleRequest]]).
119 |       1. Let _resolution_ be ? _importedModule_.ResolveExport(_exportName_, _resolveSet_, _exportStarSet_).
120 |       1. If _resolution_ is `"ambiguous"`, return `"ambiguous"`.
121 |       1. <ins>If _resolution_ is `"pending"`, return `"pending"`.</ins>
122 |       1. If _resolution_ is not *null*, then
123 |         1. If _starResolution_ is *null*, let _starResolution_ be _resolution_.
124 |         1. Else,
125 |           1. Assert: There is more than one `*` import that includes the requested name.
126 |           1. If _resolution_.[[Module]] and _starResolution_.[[Module]] are not the same Module Record or SameValue(_resolution_.[[BindingName]], _starResolution_.[[BindingName]]) is *false*, return `"ambiguous"`.
127 |     1. Return _starResolution_.
128 |   </emu-alg>
129 |   <emu-note>
130 |     <p>ResolveExport attempts to resolve an imported binding to the actual defining module and local binding name. The defining module may be the module represented by the Module Record this method was invoked on or some other module that is imported by that module. The parameter _resolveSet_ is use to detect unresolved circular import/export paths. If a pair consisting of specific Module Record and _exportName_ is reached that is already in _resolveSet_, an import circularity has been encountered. Before recursively calling ResolveExport, a pair consisting of _module_ and _exportName_ is added to _resolveSet_.</p>
131 |     <p>If a defining module is found a Record {[[Module]], [[BindingName]]} is returned. This record identifies the resolved binding of the originally requested export. If no definition was found or the request is found to be circular, *null* is returned. If the request is found to be ambiguous, the string `"ambiguous"` is returned.<ins> If the request is found to be pending, the string `"pending"` is returned.</ins></p>
132 |   </emu-note>
133 | </emu-clause>
134 | 
135 | 
136 | <!-- es6num="15.2.1.16.4" -->
137 | <emu-clause id="sec-moduledeclarationinstantiation">
138 |   <h1>ModuleDeclarationInstantiation( ) Concrete Method</h1>
139 |   <p>The ModuleDeclarationInstantiation concrete method of a Source Text Module Record performs the following steps:</p>
140 |   <emu-alg>
141 |     1. Let _module_ be this Source Text Module Record.
142 |     1. Let _realm_ be _module_.[[Realm]].
143 |     1. Assert: _realm_ is not *undefined*.
144 |     1. Let _code_ be _module_.[[ECMAScriptCode]].
145 |     1. If _module_.[[Environment]] is not *undefined*, return NormalCompletion(~empty~).
146 |     1. Let _env_ be NewModuleEnvironment(_realm_.[[GlobalEnv]]).
147 |     1. Set _module_.[[Environment]] to _env_.
148 |     1. For each String _required_ that is an element of _module_.[[RequestedModules]] do,
149 |       1. NOTE: Before instantiating a module, all of the modules it requested must be available. An implementation may perform this test at any time prior to this point.
150 |       1. Let _requiredModule_ be ? HostResolveImportedModule(_module_, _required_).
151 |       1. Perform ? _requiredModule_.ModuleDeclarationInstantiation().
152 |     1. For each ExportEntry Record _e_ in _module_.[[IndirectExportEntries]], do
153 |       1. Let _resolution_ be ? _module_.ResolveExport(_e_.[[ExportName]], &laquo; &raquo;, &laquo; &raquo;).
154 |       1. If _resolution_ is *null* or _resolution_ is `"ambiguous"`, throw a *SyntaxError* exception.
155 |     1. Assert: All named exports from _module_ are resolvable.
156 |     1. Let _envRec_ be _env_'s EnvironmentRecord.
157 |     1. For each ImportEntry Record _in_ in _module_.[[ImportEntries]], do
158 |       1. Let _importedModule_ be ! HostResolveImportedModule(_module_, _in_.[[ModuleRequest]]).
159 |       1. NOTE: The above call cannot fail because imported module requests are a subset of _module_.[[RequestedModules]], and these have been resolved earlier in this algorithm.
160 |       1. If _in_.[[ImportName]] is `"*"`, then
161 |         1. Let _namespace_ be ? GetModuleNamespace(_importedModule_).
162 |         1. Perform ! _envRec_.CreateImmutableBinding(_in_.[[LocalName]], *true*).
163 |         1. Call _envRec_.InitializeBinding(_in_.[[LocalName]], _namespace_).
164 |       1. Else,
165 |         1. Let _resolution_ be ? _importedModule_.ResolveExport(_in_.[[ImportName]], &laquo; &raquo;, &laquo; &raquo;).
166 |         1. If _resolution_ is *null* or _resolution_ is `"ambiguous"`, throw a *SyntaxError* exception.
167 |         1. <ins>If _resolution_ is `"pending"`, then append _in_ to _module_.[[PendingImportEntries]].<ins>
168 |         1. <ins>Else, </ins>call _envRec_.CreateImportBinding(_in_.[[LocalName]], _resolution_.[[Module]], _resolution_.[[BindingName]]).
169 |     1. Let _varDeclarations_ be the VarScopedDeclarations of _code_.
170 |     1. Let _declaredVarNames_ be a new empty List.
171 |     1. For each element _d_ in _varDeclarations_ do
172 |       1. For each element _dn_ of the BoundNames of _d_ do
173 |         1. If _dn_ is not an element of _declaredVarNames_, then
174 |           1. Perform ! _envRec_.CreateMutableBinding(_dn_, *false*).
175 |           1. Call _envRec_.InitializeBinding(_dn_, *undefined*).
176 |           1. Append _dn_ to _declaredVarNames_.
177 |     1. Let _lexDeclarations_ be the LexicallyScopedDeclarations of _code_.
178 |     1. For each element _d_ in _lexDeclarations_ do
179 |       1. For each element _dn_ of the BoundNames of _d_ do
180 |         1. If IsConstantDeclaration of _d_ is *true*, then
181 |           1. Perform ! _envRec_.CreateImmutableBinding(_dn_, *true*).
182 |         1. Else,
183 |           1. Perform ! _envRec_.CreateMutableBinding(_dn_, *false*).
184 |         1. If _d_ is a |GeneratorDeclaration| production or a |FunctionDeclaration| production, then
185 |           1. Let _fo_ be the result of performing InstantiateFunctionObject for _d_ with argument _env_.
186 |           1. Call _envRec_.InitializeBinding(_dn_, _fo_).
187 |     1. Return NormalCompletion(~empty~).
188 |   </emu-alg>
189 | </emu-clause>
190 | 
191 | <!-- es6num="15.2.1.16.5" -->
192 | <emu-clause id="sec-moduleevaluation">
193 |   <h1>ModuleEvaluation() Concrete Method</h1>
194 |   <p>The ModuleEvaluation concrete method of a Source Text Module Record performs the following steps:</p>
195 |   <emu-alg>
196 |     1. Let _module_ be this Source Text Module Record.
197 |     1. Assert: ModuleDeclarationInstantiation has already been invoked on _module_ and successfully completed.
198 |     1. Assert: _module_.[[Realm]] is not *undefined*.
199 |     1. If _module_.[[Evaluated]] is *true*, return *undefined*.
200 |     1. Set _module_.[[Evaluated]] to *true*.
201 |     1. For each String _required_ that is an element of _module_.[[RequestedModules]] do,
202 |       1. Let _requiredModule_ be ! HostResolveImportedModule(_module_, _required_).
203 |       1. NOTE: ModuleDeclarationInstantiation must be completed prior to invoking this method, so every requested module is guaranteed to resolve successfully.
204 |       1. Perform ? _requiredModule_.ModuleEvaluation().
205 |     1. <ins>Let _env_ be _module_.[[Environment]]</ins>.
206 |     1. <ins>Let _envRec_ be _env_'s EnvironmentRecord</ins>.
207 |     1. <ins>For each ImportEntry Record _in_ in _module_.[[PendingImportEntries]], do</ins>
208 |       1. <ins>Let _resolution_ be ? _importedModule_.ResolveExport(_in_.[[ImportName]], &laquo; &raquo;, &laquo; &raquo;)</ins>.
209 |       1. <ins>If _resolution_ is *null* or _resolution_ is `"ambiguous"` or _resultion_ is `"pending"`, throw a *SyntaxError* exception</ins>.
210 |       1. <ins>Remove ImportEntry Record _in_ from _module_.[[PendingImportEntries]]</ins>.
211 |       1. <ins>Call _envRec_.CreateImportBinding(_in_.[[LocalName]], _resolution_.[[Module]</ins>.
212 |     1. Let _moduleCxt_ be a new ECMAScript code execution context.
213 |     1. Set the Function of _moduleCxt_ to *null*.
214 |     1. Set the Realm of _moduleCxt_ to _module_.[[Realm]].
215 |     1. Set the ScriptOrModule of _moduleCxt_ to _module_.
216 |     1. Assert: _module_ has been linked and declarations in its module environment have been instantiated.
217 |     1. Set the VariableEnvironment of _moduleCxt_ to _module_.[[Environment]].
218 |     1. Set the LexicalEnvironment of _moduleCxt_ to _module_.[[Environment]].
219 |     1. Suspend the currently running execution context.
220 |     1. Push _moduleCxt_ on to the execution context stack; _moduleCxt_ is now the running execution context.
221 |     1. Let _result_ be the result of evaluating _module_.[[ECMAScriptCode]].
222 |     1. Suspend _moduleCxt_ and remove it from the execution context stack.
223 |     1. Resume the context that is now on the top of the execution context stack as the running execution context.
224 |     1. Return Completion(_result_).
225 |   </emu-alg>
226 | </emu-clause>
227 | 
228 | <!-- es6num="15.2.1.16.1" -->
229 | <emu-clause id="sec-parsemodule" aoid="ParseModule">
230 |   <h1>ParseModule ( _sourceText_, _realm_, _hostDefined_ )</h1>
231 |   <p>The abstract operation ParseModule with arguments _sourceText_, _realm_, and _hostDefined_ creates a Source Text Module Record based upon the result of parsing _sourceText_ as a |Module|. ParseModule performs the following steps:</p>
232 |   <emu-alg>
233 |     1. Assert: _sourceText_ is an ECMAScript source text (see clause <emu-xref href="#sec-ecmascript-language-source-code"></emu-xref>).
234 |     1. Parse _sourceText_ using |Module| as the goal symbol and analyze the parse result for any Early Error conditions. If the parse was successful and no early errors were found, let _body_ be the resulting parse tree. Otherwise, let _body_ be a List of one or more *SyntaxError* or *ReferenceError* objects representing the parsing errors and/or early errors. Parsing and early error detection may be interweaved in an implementation dependent manner. If more than one parsing error or early error is present, the number and ordering of error objects in the list is implementation dependent, but at least one must be present.
235 |     1. If _body_ is a List of errors, then return _body_.
236 |     1. Let _requestedModules_ be the ModuleRequests of _body_.
237 |     1. Let _importEntries_ be ImportEntries of _body_.
238 |     1. <ins>Let _pendingImportEntries_ be a new empty List.<ins>
239 |     1. Let _importedBoundNames_ be ImportedLocalNames(_importEntries_).
240 |     1. Let _indirectExportEntries_ be a new empty List.
241 |     1. Let _localExportEntries_ be a new empty List.
242 |     1. Let _starExportEntries_ be a new empty List.
243 |     1. Let _exportEntries_ be ExportEntries of _body_.
244 |     1. For each record _ee_ in _exportEntries_, do
245 |       1. If _ee_.[[ModuleRequest]] is *null*, then
246 |         1. If _ee_.[[LocalName]] is not an element of _importedBoundNames_, then
247 |           1. Append _ee_ to _localExportEntries_.
248 |         1. Else,
249 |           1. Let _ie_ be the element of _importEntries_ whose [[LocalName]] is the same as _ee_.[[LocalName]].
250 |           1. If _ie_.[[ImportName]] is `"*"`, then
251 |             1. Assert: This is a re-export of an imported module namespace object.
252 |             1. Append _ee_ to _localExportEntries_.
253 |           1. Else this is a re-export of a single name,
254 |             1. Append to _indirectExportEntries_ the Record {[[ModuleRequest]]: _ie_.[[ModuleRequest]], [[ImportName]]: _ie_.[[ImportName]], [[LocalName]]: *null*, [[ExportName]]: _ee_.[[ExportName]] }.
255 |       1. Else if _ee_.[[ImportName]] is `"*"`, then
256 |         1. Append _ee_ to _starExportEntries_.
257 |       1. Else,
258 |         1. Append _ee_ to _indirectExportEntries_.
259 |     1. Return Source Text Module Record {[[Realm]]: _realm_, [[Environment]]: *undefined*, [[HostDefined]]: _hostDefined_, [[Namespace]]: *undefined*, [[Evaluated]]: *false*, [[ECMAScriptCode]]: _body_, [[RequestedModules]]: _requestedModules_, [[ImportEntries]]: _importEntries_, <ins>[[PendingImportEntries]]: _pendingImportEntries_, </ins>[[LocalExportEntries]]: _localExportEntries_, [[StarExportEntries]]: _starExportEntries_, [[IndirectExportEntries]]: _indirectExportEntries_}.
260 |   </emu-alg>
261 |   <emu-note>
262 |     <p>An implementation may parse module source text and analyze it for Early Error conditions prior to the evaluation of ParseModule for that module source text. However, the reporting of any errors must be deferred until the point where this specification actually performs ParseModule upon that source text.</p>
263 |   </emu-note>
264 | </emu-clause>


--------------------------------------------------------------------------------
/spec.js:
--------------------------------------------------------------------------------
  1 | "use strict";
  2 | 
  3 | function Search(menu) {
  4 |   this.menu = menu;
  5 |   this.$search = document.getElementById('menu-search');
  6 |   this.$searchBox = document.getElementById('menu-search-box');
  7 |   this.$searchResults = document.getElementById('menu-search-results');
  8 |   
  9 |   this.loadBiblio();
 10 |   
 11 |   document.addEventListener('keydown', this.documentKeydown.bind(this));
 12 |   
 13 |   this.$searchBox.addEventListener('keydown', debounce(this.searchBoxKeydown.bind(this), { stopPropagation: true }));
 14 |   this.$searchBox.addEventListener('keyup', debounce(this.searchBoxKeyup.bind(this), { stopPropagation: true }));
 15 | }
 16 | 
 17 | Search.prototype.loadBiblio = function () {
 18 |   var $biblio = document.getElementById('menu-search-biblio');
 19 |   if (!$biblio) {
 20 |     this.biblio = [];
 21 |   } else {
 22 |     this.biblio = JSON.parse($biblio.textContent);
 23 |     this.biblio.clauses = this.biblio.filter(function (e) { return e.type === 'clause' });
 24 |     this.biblio.byId = this.biblio.reduce(function (map, entry) {
 25 |       map[entry.id] = entry;
 26 |       return map;
 27 |     }, {});
 28 |   }
 29 | }
 30 | 
 31 | Search.prototype.documentKeydown = function (e) {
 32 |   if (e.keyCode === 191) {
 33 |     e.preventDefault();
 34 |     e.stopPropagation();
 35 |     this.triggerSearch();
 36 |   }
 37 | }
 38 | 
 39 | Search.prototype.searchBoxKeydown = function (e) {
 40 |   e.stopPropagation();
 41 |   e.preventDefault();
 42 |   if (e.keyCode === 191 && e.target.value.length === 0) {
 43 |     e.preventDefault();
 44 |   } else if (e.keyCode === 13) {
 45 |     e.preventDefault();
 46 |     this.selectResult();
 47 |   }
 48 | }
 49 | 
 50 | Search.prototype.searchBoxKeyup = function (e) {
 51 |   if (e.keyCode === 13 || e.keyCode === 9) {
 52 |     return;
 53 |   }
 54 |   
 55 |   this.search(e.target.value);
 56 | }
 57 | 
 58 | 
 59 | Search.prototype.triggerSearch = function (e) {
 60 |   if (this.menu.isVisible()) {
 61 |     this._closeAfterSearch = false;
 62 |   } else {
 63 |     this._closeAfterSearch = true;
 64 |     this.menu.show();
 65 |   }
 66 | 
 67 |   this.$searchBox.focus();
 68 |   this.$searchBox.select();
 69 | }
 70 | // bit 12 - Set if the result starts with searchString
 71 | // bits 8-11: 8 - number of chunks multiplied by 2 if cases match, otherwise 1.
 72 | // bits 1-7: 127 - length of the entry
 73 | // General scheme: prefer case sensitive matches with fewer chunks, and otherwise
 74 | // prefer shorter matches.
 75 | function relevance(result, searchString) {
 76 |   var relevance = 0;
 77 |   
 78 |   relevance = Math.max(0, 8 - result.match.chunks) << 7;
 79 |   
 80 |   if (result.match.caseMatch) {
 81 |     relevance *= 2;
 82 |   }
 83 |   
 84 |   if (result.match.prefix) {
 85 |     relevance += 2048
 86 |   }
 87 |   
 88 |   relevance += Math.max(0, 255 - result.entry.key.length);
 89 |   
 90 |   return relevance;
 91 | }
 92 | 
 93 | Search.prototype.search = function (searchString) {
 94 |   var s = Date.now();
 95 | 
 96 |   if (searchString === '') {
 97 |     this.displayResults([]);
 98 |     this.hideSearch();
 99 |     return;
100 |   } else {
101 |     this.showSearch();
102 |   }
103 |   
104 |   if (searchString.length === 1) {
105 |     this.displayResults([]);
106 |     return;
107 |   }
108 |     
109 |   var results;
110 | 
111 |   if (/^[\d\.]*$/.test(searchString)) {
112 |     results = this.biblio.clauses.filter(function (clause) {
113 |       return clause.number.substring(0, searchString.length) === searchString;
114 |     }).map(function (clause) {
115 |       return { entry: clause };
116 |     });
117 |   } else {
118 |     results = [];
119 |     
120 |     for (var i = 0; i < this.biblio.length; i++) {
121 |       var entry = this.biblio[i];
122 |   
123 |       var match = fuzzysearch(searchString, entry.key);
124 |       if (match) {
125 |         results.push({ entry: entry, match: match });
126 |       }
127 |     }
128 |   
129 |     results.forEach(function (result) {
130 |       result.relevance = relevance(result, searchString);
131 |     });
132 |     
133 |     results = results.sort(function (a, b) { return b.relevance - a.relevance });
134 | 
135 |   }
136 | 
137 |   if (results.length > 50) {
138 |     results = results.slice(0, 50);
139 |   }
140 |   
141 |   this.displayResults(results);
142 | }
143 | Search.prototype.hideSearch = function () {
144 |   this.$search.classList.remove('active');
145 | }
146 | 
147 | Search.prototype.showSearch = function () {
148 |   this.$search.classList.add('active');
149 | }
150 | 
151 | Search.prototype.selectResult = function () {
152 |   var $first = this.$searchResults.querySelector('li:first-child a');
153 | 
154 |   if ($first) {
155 |     document.location = $first.getAttribute('href');
156 |   }
157 |   
158 |   this.$searchBox.value = '';
159 |   this.$searchBox.blur();
160 |   this.displayResults([]);
161 |   this.hideSearch();
162 | 
163 |   if (this._closeAfterSearch) {
164 |     this.menu.hide();
165 |   }
166 | }
167 | 
168 | Search.prototype.displayResults = function (results) {
169 |   if (results.length > 0) {
170 |     this.$searchResults.classList.remove('no-results');
171 |     
172 |     var html = '<ul>';
173 | 
174 |     results.forEach(function (result) {
175 |       var entry = result.entry;
176 |       var id = entry.id;
177 |       var cssClass = '';
178 |       var text = '';
179 | 
180 |       if (entry.type === 'clause') {
181 |         var number = entry.number ? entry.number + ' ' : '';
182 |         text = number + entry.key;
183 |         cssClass = 'clause';
184 |         id = entry.id;
185 |       } else if (entry.type === 'production') {
186 |         text = entry.key;
187 |         cssClass = 'prod';
188 |         id = entry.id;  
189 |       } else if (entry.type === 'op') {
190 |         text = entry.key;
191 |         cssClass = 'op';
192 |         id = entry.id || entry.refId;
193 |       } else if (entry.type === 'term') {
194 |         text = entry.key;
195 |         cssClass = 'term';
196 |         id = entry.id || entry.refId;
197 |       }
198 | 
199 |       if (text) {
200 |         html += '<li class=menu-search-result-' + cssClass + '><a href="#' + id + '">' + text + '</a></li>'
201 |       }
202 |     });
203 | 
204 |     html += '</ul>'
205 | 
206 |     this.$searchResults.innerHTML = html;
207 |   } else {
208 |     this.$searchResults.innerHTML = '';
209 |     this.$searchResults.classList.add('no-results');
210 |   }
211 | }
212 | 
213 | 
214 | function Menu() {
215 |   this.$toggle = document.getElementById('menu-toggle');
216 |   this.$menu = document.getElementById('menu');
217 |   this.$toc = document.querySelector('menu-toc > ol');
218 |   this.$pins = document.querySelector('#menu-pins');
219 |   this.$pinList = document.getElementById('menu-pins-list');
220 |   this.$toc = document.querySelector('#menu-toc > ol');
221 |   this.$specContainer = document.getElementById('spec-container');
222 |   this.search = new Search(this);
223 |   
224 |   this._pinnedIds = {}; 
225 |   this.loadPinEntries();
226 | 
227 |   // toggle menu
228 |   this.$toggle.addEventListener('click', this.toggle.bind(this));
229 | 
230 |   // keydown events for pinned clauses
231 |   document.addEventListener('keydown', this.documentKeydown.bind(this));
232 | 
233 |   // toc expansion
234 |   var tocItems = this.$menu.querySelectorAll('#menu-toc li');
235 |   for (var i = 0; i < tocItems.length; i++) {
236 |     var $item = tocItems[i];
237 |     $item.addEventListener('click', function($item, event) {
238 |       $item.classList.toggle('active');
239 |       event.stopPropagation();
240 |     }.bind(null, $item));
241 |   }
242 | 
243 |   // close toc on toc item selection
244 |   var tocLinks = this.$menu.querySelectorAll('#menu-toc li > a');
245 |   for (var i = 0; i < tocLinks.length; i++) {
246 |     var $link = tocLinks[i];
247 |     $link.addEventListener('click', function(event) {
248 |       this.toggle();
249 |       event.stopPropagation();
250 |     }.bind(this));
251 |   }
252 | 
253 |   // update active clause on scroll
254 |   window.addEventListener('scroll', debounce(this.updateActiveClause.bind(this)));
255 |   this.updateActiveClause();
256 | 
257 |   // prevent menu scrolling from scrolling the body
258 |   this.$toc.addEventListener('wheel', function (e) {
259 |     var target = e.currentTarget;
260 |     var offTop = e.deltaY < 0 && target.scrollTop === 0;
261 |     if (offTop) {
262 |       e.preventDefault();
263 |     }
264 |     var offBottom = e.deltaY > 0
265 |                     && target.offsetHeight + target.scrollTop >= target.scrollHeight;
266 | 
267 |     if (offBottom) {
268 | 		  e.preventDefault();
269 | 	  }
270 |   })
271 | }
272 | 
273 | Menu.prototype.documentKeydown = function (e) {
274 |   e.stopPropagation();
275 |   if (e.keyCode === 80) {
276 |     this.togglePinEntry();
277 |   } else if (e.keyCode > 48 && e.keyCode < 58) {
278 |     this.selectPin(e.keyCode - 49);
279 |   }
280 | }
281 | 
282 | Menu.prototype.updateActiveClause = function () {
283 |   this.setActiveClause(findActiveClause(this.$specContainer))
284 | }
285 | 
286 | Menu.prototype.setActiveClause = function (clause) {
287 |   this.$activeClause = clause;
288 |   this.revealInToc(this.$activeClause);
289 | }
290 | 
291 | Menu.prototype.revealInToc = function (path) {
292 |   var current = this.$toc.querySelectorAll('li.revealed');
293 |   for (var i = 0; i < current.length; i++) {
294 |     current[i].classList.remove('revealed');
295 |     current[i].classList.remove('revealed-leaf');
296 |   }
297 |   
298 |   var current = this.$toc;
299 |   var index = 0;
300 |   while (index < path.length) {
301 |     var children = current.children;
302 |     for (var i = 0; i < children.length; i++) {
303 |       if ('#' + path[index].id === children[i].children[1].getAttribute('href') ) {
304 |         children[i].classList.add('revealed');
305 |         if (index === path.length - 1) {
306 |           children[i].classList.add('revealed-leaf');
307 |           var rect = children[i].getBoundingClientRect();
308 |           this.$toc.getBoundingClientRect().top
309 |           var tocRect = this.$toc.getBoundingClientRect();
310 |           if (rect.top + 10 > tocRect.bottom) {
311 |             this.$toc.scrollTop = this.$toc.scrollTop + (rect.top - tocRect.bottom) + (rect.bottom - rect.top);
312 |           } else if (rect.top < tocRect.top) {
313 |             this.$toc.scrollTop = this.$toc.scrollTop - (tocRect.top - rect.top);
314 |           }
315 |         }
316 |         current = children[i].querySelector('ol');
317 |         index++;
318 |         break;
319 |       }      
320 |     }
321 |     
322 |   }
323 | }
324 | 
325 | function findActiveClause(root, path) {
326 |   var clauses = new ClauseWalker(root);
327 |   var $clause;
328 |   var found = false;
329 |   var path = path || [];
330 |   
331 |   while ($clause = clauses.nextNode()) {
332 |     var rect = $clause.getBoundingClientRect();
333 |     var $header = $clause.children[0];
334 |     var marginTop = parseInt(getComputedStyle($header)["margin-top"]);
335 |     
336 |     if ((rect.top - marginTop) <= 0 && rect.bottom > 0) {
337 |       found = true;
338 |       return findActiveClause($clause, path.concat($clause)) || path;
339 |     }
340 |   }
341 |   
342 |   return path;
343 | }
344 | 
345 | function ClauseWalker(root) {
346 |   var previous;
347 |   var treeWalker = document.createTreeWalker(
348 |     root,
349 |     NodeFilter.SHOW_ELEMENT,
350 |     {
351 |       acceptNode: function (node) {
352 |         if (previous === node.parentNode) {
353 |           return NodeFilter.FILTER_REJECT;
354 |         } else {
355 |           previous = node;
356 |         }
357 |         if (node.nodeName === 'EMU-CLAUSE' || node.nodeName === 'EMU-INTRO' || node.nodeName === 'EMU-ANNEX') {
358 |           return NodeFilter.FILTER_ACCEPT;
359 |         } else {
360 |           return NodeFilter.FILTER_SKIP;
361 |         }
362 |       }
363 |     },
364 |     false
365 |     );
366 |   
367 |   return treeWalker;
368 | }
369 | 
370 | Menu.prototype.toggle = function () {
371 |   this.$menu.classList.toggle('active');
372 | }
373 | 
374 | Menu.prototype.show = function () {
375 |   this.$menu.classList.add('active');
376 | }
377 | 
378 | Menu.prototype.hide = function () {
379 |   this.$menu.classList.remove('active');
380 | }
381 | 
382 | Menu.prototype.isVisible = function() {
383 |   return this.$menu.classList.contains('active');
384 | }
385 | 
386 | Menu.prototype.showPins = function () {
387 |   this.$pins.classList.add('active');
388 | }
389 | 
390 | Menu.prototype.hidePins = function () {
391 |   this.$pins.classList.remove('active');
392 | }
393 | 
394 | Menu.prototype.addPinEntry = function (id) {
395 |   var entry = this.search.biblio.byId[id];
396 |   if (!entry) {
397 |     // id was deleted after pin (or something) so remove it
398 |     delete this._pinnedIds[id];
399 |     this.persistPinEntries();
400 |     return;
401 |   }
402 | 
403 |   if (entry.type === 'clause') {
404 |     var prefix;
405 |     if (entry.number) {
406 |       prefix = entry.number + ' ';
407 |     } else {
408 |       prefix = '';
409 |     }
410 |     this.$pinList.innerHTML += '<li><a href="#' + entry.id + '">' + prefix + entry.titleHTML + '</a></li>';
411 |   } else {
412 |     this.$pinList.innerHTML += '<li><a href="#' + entry.id + '">' + entry.key + '</a></li>';
413 |   }
414 | 
415 |   if (Object.keys(this._pinnedIds).length === 0) {
416 |     this.showPins();
417 |   }
418 |   this._pinnedIds[id] = true;
419 |   this.persistPinEntries();
420 | }
421 | 
422 | Menu.prototype.removePinEntry = function (id) {
423 |   var item = this.$pinList.querySelector('a[href="#' + id + '"]').parentNode;
424 |   this.$pinList.removeChild(item);
425 |   delete this._pinnedIds[id];
426 |   if (Object.keys(this._pinnedIds).length === 0) {
427 |     this.hidePins();
428 |   }
429 | 
430 |   this.persistPinEntries();
431 | }
432 | 
433 | Menu.prototype.persistPinEntries = function () {
434 |   try {
435 |     if (!window.localStorage) return;
436 |   } catch (e) {
437 |     return;
438 |   }
439 | 
440 |   localStorage.pinEntries = JSON.stringify(Object.keys(this._pinnedIds));
441 | }
442 | 
443 | Menu.prototype.loadPinEntries = function () {
444 |   try {
445 |     if (!window.localStorage) return;
446 |   } catch (e) {
447 |     return;
448 |   }
449 |   
450 |   var pinsString = window.localStorage.pinEntries;
451 |   if (!pinsString) return;
452 |   var pins = JSON.parse(pinsString);
453 |   for(var i = 0; i < pins.length; i++) {
454 |     this.addPinEntry(pins[i]);
455 |   }
456 | }
457 | 
458 | Menu.prototype.togglePinEntry = function (id) {
459 |   if (!id) {
460 |     id = this.$activeClause[this.$activeClause.length - 1].id;
461 |   }
462 | 
463 |   if (this._pinnedIds[id]) {
464 |     this.removePinEntry(id);
465 |   } else {
466 |     this.addPinEntry(id);
467 |   }
468 | }
469 | 
470 | Menu.prototype.selectPin = function (num) {
471 |   document.location = this.$pinList.children[num].children[0].href;
472 | }
473 | 
474 | var menu;
475 | function init() {
476 |   menu = new Menu();
477 |   var $container = document.getElementById('spec-container');
478 |   $container.addEventListener('mouseover', debounce(function (e) {
479 |     Toolbox.activateIfMouseOver(e);
480 |   }));
481 | }
482 | 
483 | document.addEventListener('DOMContentLoaded', init);
484 | 
485 | function debounce(fn, opts) {
486 |   opts = opts || {};
487 |   var timeout;
488 |   return function(e) {
489 |     if (opts.stopPropagation) {
490 |       e.stopPropagation();
491 |     }
492 |     var args = arguments;
493 |     if (timeout) {
494 |       clearTimeout(timeout);
495 |     }
496 |     timeout = setTimeout(function() {
497 |       timeout = null;
498 |       fn.apply(this, args);
499 |     }.bind(this), 150);
500 |   }
501 | }
502 | 
503 | var CLAUSE_NODES = ['EMU-CLAUSE', 'EMU-INTRO', 'EMU-ANNEX'];
504 | function findLocalReferences ($elem) {
505 |   var name = $elem.innerHTML;
506 |   var references = [];
507 | 
508 |   var parentClause = $elem.parentNode;
509 |   while (parentClause && CLAUSE_NODES.indexOf(parentClause.nodeName) === -1) {
510 |     parentClause = parentClause.parentNode;
511 |   }
512 | 
513 |   if(!parentClause) return;
514 | 
515 |   var vars = parentClause.querySelectorAll('var');
516 | 
517 |   for (var i = 0; i < vars.length; i++) {
518 |     var $var = vars[i];
519 | 
520 |     if ($var.innerHTML === name) {
521 |       references.push($var);
522 |     }
523 |   }
524 | 
525 |   return references;
526 | }
527 | 
528 | function toggleFindLocalReferences($elem) {
529 |   var references = findLocalReferences($elem);
530 |   if ($elem.classList.contains('referenced')) {
531 |     references.forEach(function ($reference) {
532 |       $reference.classList.remove('referenced');
533 |     });
534 |   } else {
535 |     references.forEach(function ($reference) {
536 |       $reference.classList.add('referenced');
537 |     });
538 |   }
539 | }
540 | 
541 | function installFindLocalReferences () {
542 |   document.addEventListener('click', function (e) {
543 |     if (e.target.nodeName === 'VAR') {
544 |       toggleFindLocalReferences(e.target);
545 |     }
546 |   });
547 | }
548 | 
549 | document.addEventListener('DOMContentLoaded', installFindLocalReferences);
550 | 
551 | 
552 | 
553 | 
554 | // The following license applies to the fuzzysearch function
555 | // The MIT License (MIT)
556 | // Copyright © 2015 Nicolas Bevacqua
557 | // Copyright © 2016 Brian Terlson
558 | // Permission is hereby granted, free of charge, to any person obtaining a copy of
559 | // this software and associated documentation files (the "Software"), to deal in
560 | // the Software without restriction, including without limitation the rights to
561 | // use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
562 | // the Software, and to permit persons to whom the Software is furnished to do so,
563 | // subject to the following conditions:
564 | 
565 | // The above copyright notice and this permission notice shall be included in all
566 | // copies or substantial portions of the Software.
567 | 
568 | // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
569 | // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
570 | // FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
571 | // COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
572 | // IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
573 | // CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
574 | function fuzzysearch (searchString, haystack, caseInsensitive) {
575 |   var tlen = haystack.length;
576 |   var qlen = searchString.length;
577 |   var chunks = 1;
578 |   var finding = false;
579 |   var prefix = true;
580 |   
581 |   if (qlen > tlen) {
582 |     return false;
583 |   }
584 |   
585 |   if (qlen === tlen) {
586 |     if (searchString === haystack) {
587 |       return { caseMatch: true, chunks: 1, prefix: true };
588 |     } else if (searchString.toLowerCase() === haystack.toLowerCase()) {
589 |       return { caseMatch: false, chunks: 1, prefix: true };
590 |     } else {
591 |       return false;
592 |     }
593 |   }
594 |   
595 |   outer: for (var i = 0, j = 0; i < qlen; i++) {
596 |     var nch = searchString[i];
597 |     while (j < tlen) {
598 |       var targetChar = haystack[j++];
599 |       if (targetChar === nch) {
600 |         finding = true;
601 |         continue outer;
602 |       }
603 |       if (finding) {
604 |         chunks++;
605 |         finding = false;
606 |       }
607 |     }
608 |     
609 |     if (caseInsensitive) { return false }
610 |     
611 |     return fuzzysearch(searchString.toLowerCase(), haystack.toLowerCase(), true);
612 |   }
613 |   
614 |   return { caseMatch: !caseInsensitive, chunks: chunks, prefix: j <= qlen };
615 | }
616 | 
617 | var Toolbox = {
618 |   init: function () {
619 |     this.$container = document.createElement('div');
620 |     this.$container.classList.add('toolbox');
621 |     this.$permalink = document.createElement('a');
622 |     this.$permalink.textContent = 'Permalink';
623 |     this.$pinLink = document.createElement('a');
624 |     this.$pinLink.textContent = 'Pin';
625 |     this.$pinLink.setAttribute('href', '#');
626 |     this.$pinLink.addEventListener('click', function (e) {
627 |       e.preventDefault();
628 |       e.stopPropagation();
629 |       menu.togglePinEntry(this.entry.id);
630 |     }.bind(this));
631 | 
632 |     this.$refsLink = document.createElement('a');
633 |     this.$refsLink.setAttribute('href', '#');
634 |     this.$refsLink.addEventListener('click', function (e) {
635 |       e.preventDefault();
636 |       e.stopPropagation();
637 |       referencePane.showReferencesFor(this.entry);
638 |     }.bind(this));
639 |     this.$container.appendChild(this.$permalink);
640 |     this.$container.appendChild(this.$pinLink);
641 |     this.$container.appendChild(this.$refsLink);
642 |     document.body.appendChild(this.$container);
643 |   },
644 | 
645 |   activate: function (el, entry, target) {
646 |     if (el === this._activeEl) return;
647 |     this.active = true;
648 |     this.entry = entry;
649 |     this.$container.classList.add('active');
650 |     this.top = el.offsetTop - this.$container.offsetHeight - 10;
651 |     this.left = el.offsetLeft;
652 |     this.$container.setAttribute('style', 'left: ' + this.left + 'px; top: ' + this.top + 'px');
653 |     this.updatePermalink();
654 |     this.updateReferences();
655 |     this._activeEl = el;
656 |     if (this.top < document.body.scrollTop && el === target) {
657 |       // don't scroll unless it's a small thing (< 200px)
658 |       this.$container.scrollIntoView();
659 |     }
660 |   },
661 | 
662 |   updatePermalink: function () {
663 |     this.$permalink.setAttribute('href', '#' + this.entry.id);
664 |   },
665 | 
666 |   updateReferences: function () {
667 |     this.$refsLink.textContent = 'References (' + this.entry.referencingIds.length + ')';
668 |   },
669 | 
670 |   activateIfMouseOver: function (e) {
671 |     var ref = this.findReferenceUnder(e.target);
672 |     if (ref && (!this.active || e.pageY > this._activeEl.offsetTop)) {
673 |       var entry = menu.search.biblio.byId[ref.id];
674 |       this.activate(ref.element, entry, e.target);
675 |     } else if (this.active && ((e.pageY < this.top) || e.pageY > (this._activeEl.offsetTop + this._activeEl.offsetHeight))) {
676 |       this.deactivate();
677 |     }
678 |   },
679 | 
680 |   findReferenceUnder: function (el) {
681 |     while (el) {
682 |       var parent = el.parentNode;
683 |       if (el.nodeName === 'H1' && parent.nodeName.match(/EMU-CLAUSE|EMU-ANNEX|EMU-INTRO/) && parent.id) {
684 |         return { element: el, id: parent.id };
685 |       } else if (el.nodeName.match(/EMU-(?!CLAUSE|XREF|ANNEX|INTRO)|DFN/) &&
686 |                 el.id && el.id[0] !== '_') {
687 |         if (el.nodeName === 'EMU-FIGURE' || el.nodeName === 'EMU-TABLE' || el.nodeName === 'EMU-EXAMPLE') {
688 |           // return the figcaption element
689 |           return { element: el.children[0].children[0], id: el.id };
690 |         } else if (el.nodeName === 'EMU-PRODUCTION') {
691 |           // return the LHS non-terminal element
692 |           return { element: el.children[0], id: el.id };
693 |         } else {
694 |           return { element: el, id: el.id };
695 |         }
696 |       }
697 |       el = parent;
698 |     }
699 |   },
700 | 
701 |   deactivate: function () {
702 |     this.$container.classList.remove('active');
703 |     this._activeEl = null;
704 |     this.activeElBounds = null;
705 |     this.active = false;
706 |   }
707 | }
708 | 
709 | var referencePane = {
710 |   init: function() {
711 |     this.$container = document.createElement('div');
712 |     this.$container.setAttribute('id', 'references-pane-container');
713 | 
714 |     var $spacer = document.createElement('div');
715 |     $spacer.setAttribute('id', 'references-pane-spacer');
716 | 
717 |     this.$pane = document.createElement('div');
718 |     this.$pane.setAttribute('id', 'references-pane');
719 | 
720 |     this.$container.appendChild($spacer);
721 |     this.$container.appendChild(this.$pane);
722 | 
723 |     this.$header = document.createElement('div');
724 |     this.$header.classList.add('menu-pane-header');
725 |     this.$header.textContent = 'References to ';
726 |     this.$headerRefId = document.createElement('a');
727 |     this.$header.appendChild(this.$headerRefId);
728 |     this.$closeButton = document.createElement('span');
729 |     this.$closeButton.setAttribute('id', 'references-pane-close');
730 |     this.$closeButton.addEventListener('click', function (e) {
731 |       this.deactivate();
732 |     }.bind(this));
733 |     this.$header.appendChild(this.$closeButton);
734 | 
735 |     this.$pane.appendChild(this.$header);
736 |     var tableContainer = document.createElement('div');
737 |     tableContainer.setAttribute('id', 'references-pane-table-container');
738 | 
739 |     this.$table = document.createElement('table');
740 |     this.$table.setAttribute('id', 'references-pane-table');
741 | 
742 |     this.$tableBody = this.$table.createTBody();
743 | 
744 |     tableContainer.appendChild(this.$table);
745 |     this.$pane.appendChild(tableContainer);
746 | 
747 |     menu.$specContainer.appendChild(this.$container);
748 |   },
749 | 
750 |   activate: function () {
751 |     this.$container.classList.add('active');
752 |   },
753 | 
754 |   deactivate: function () {
755 |     this.$container.classList.remove('active');
756 |   },
757 | 
758 |   showReferencesFor(entry) {
759 |     this.activate();
760 |     var newBody = document.createElement('tbody');
761 |     var previousId;
762 |     var previousCell;
763 |     var dupCount = 0;
764 |     this.$headerRefId.textContent = '#' + entry.id;
765 |     this.$headerRefId.setAttribute('href', '#' + entry.id);
766 |     entry.referencingIds.map(function (id) {
767 |       var target = document.getElementById(id);
768 |       var cid = findParentClauseId(target);
769 |       var clause = menu.search.biblio.byId[cid];
770 |       var dupCount = 0;
771 |       return { id: id, clause: clause }
772 |     }).sort(function (a, b) {
773 |       return sortByClauseNumber(a.clause, b.clause);
774 |     }).forEach(function (record, i) {
775 |       if (previousId === record.clause.id) {
776 |         previousCell.innerHTML += ' (<a href="#' + record.id + '">' + (dupCount + 2) + '</a>)';
777 |         dupCount++;
778 |       } else {
779 |         var row = newBody.insertRow();
780 |         var cell = row.insertCell();
781 |         cell.innerHTML = record.clause.number;
782 |         cell = row.insertCell();
783 |         cell.innerHTML = '<a href="#' + record.id + '">' + record.clause.titleHTML + '</a>';
784 |         previousCell = cell;
785 |         previousId = record.clause.id;
786 |         dupCount = 0;
787 |       }
788 |     }, this);
789 |     this.$table.removeChild(this.$tableBody);
790 |     this.$tableBody = newBody;
791 |     this.$table.appendChild(this.$tableBody);
792 |   }
793 | }
794 | function findParentClauseId(node) {
795 |   while (node && node.nodeName !== 'EMU-CLAUSE' && node.nodeName !== 'EMU-INTRO' && node.nodeName !== 'EMU-ANNEX') {
796 |     node = node.parentNode;
797 |   }
798 |   if (!node) return null;
799 |   return node.getAttribute('id');
800 | }
801 | 
802 | function sortByClauseNumber(c1, c2) {
803 |   var c1c = c1.number.split('.');
804 |   var c2c = c2.number.split('.');
805 | 
806 |   for (var i = 0; i < c1c.length; i++) {
807 |     if (i >= c2c.length) {
808 |       return 1;
809 |     }
810 |     
811 |     var c1 = c1c[i];
812 |     var c2 = c2c[i];
813 |     var c1cn = Number(c1);
814 |     var c2cn = Number(c2);
815 | 
816 |     if (Number.isNaN(c1cn) && Number.isNaN(c2cn)) {
817 |       if (c1 > c2) {
818 |         return 1;
819 |       } else if (c1 < c2) {
820 |         return -1;
821 |       }
822 |     } else if (!Number.isNaN(c1cn) && Number.isNaN(c2cn)) {
823 |       return -1;
824 |     } else if (Number.isNaN(c1cn) && !Number.isNaN(c2cn)) {
825 |       return 1;
826 |     } else if(c1cn > c2cn) {
827 |       return 1;
828 |     } else if (c1cn < c2cn) {
829 |       return -1;
830 |     }
831 |   }
832 | 
833 |   if (c1c.length === c2c.length) {
834 |     return 0;
835 |   }
836 |   return -1;
837 | }
838 | 
839 | document.addEventListener('DOMContentLoaded', function () {
840 |   Toolbox.init();
841 |   referencePane.init();
842 | })
843 | var CLAUSE_NODES = ['EMU-CLAUSE', 'EMU-INTRO', 'EMU-ANNEX'];
844 | function findLocalReferences ($elem) {
845 |   var name = $elem.innerHTML;
846 |   var references = [];
847 | 
848 |   var parentClause = $elem.parentNode;
849 |   while (parentClause && CLAUSE_NODES.indexOf(parentClause.nodeName) === -1) {
850 |     parentClause = parentClause.parentNode;
851 |   }
852 | 
853 |   if(!parentClause) return;
854 | 
855 |   var vars = parentClause.querySelectorAll('var');
856 | 
857 |   for (var i = 0; i < vars.length; i++) {
858 |     var $var = vars[i];
859 | 
860 |     if ($var.innerHTML === name) {
861 |       references.push($var);
862 |     }
863 |   }
864 | 
865 |   return references;
866 | }
867 | 
868 | function toggleFindLocalReferences($elem) {
869 |   var references = findLocalReferences($elem);
870 |   if ($elem.classList.contains('referenced')) {
871 |     references.forEach(function ($reference) {
872 |       $reference.classList.remove('referenced');
873 |     });
874 |   } else {
875 |     references.forEach(function ($reference) {
876 |       $reference.classList.add('referenced');
877 |     });
878 |   }
879 | }
880 | 
881 | function installFindLocalReferences () {
882 |   document.addEventListener('click', function (e) {
883 |     if (e.target.nodeName === 'VAR') {
884 |       toggleFindLocalReferences(e.target);
885 |     }
886 |   });
887 | }
888 | 
889 | document.addEventListener('DOMContentLoaded', installFindLocalReferences);
890 | 


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