* 仕様書
[REFS[
- [1] [CITE@en-GB-x-hixie[HTML Standard]] ([TIME[2016-02-16 01:30:20 +09:00]] 版)
]REFS]
* Web ブラウザーの処理
[2] [[Webブラウザー]]は、
[VAR[referencing]] と[VAR[指定子]]に関する
[DFN[[CODE[HostResolveImportedModule]]
を、次のようにしなければ[MUST[なりません]] [SRC[>>1]]。
[FIG(steps)[
= [3] [VAR[参照元スクリプト]]を、 [VAR[referencing]] の [F(ss)[HostDefined]] に設定します。
= [5] [VAR[URL]] を、[VAR[参照元スクリプト]]と[VAR[指定子]]について[[モジュール指定子を解決]]した結果に設定します。
= [4] [VAR[参照元スクリプト]]の[F[設定群オブジェクト]]の[F[モジュール写像]] [ [VAR[URL]] ] の[F[モジュール記録]]を返します。
]FIG]
[13] つまり、与えられた[[モジュール指定子]]を解決して得られた [[URL]]
が、既に読み込み済みの[[モジュールスクリプト]]の [[URL]] であれば、
その[[モジュールスクリプト]]が使われます。
;; [10] [[静的]]な [CODE[import][import()]] で使われます。
-*-*-
[8] [[Webブラウザー]]は、
[VAR[referencing]] と[VAR[指定子]]、 [VAR[promiseCapability]] に関する
[DFN[[CODE[HostImportModuleDynamically]]]]
を、次のようにしなければ[MUST[なりません]]。 [SRC[>>1]]
[FIG(steps)[
= [9] [VAR[スクリプト]]を、 [VAR[referencing]] の [F(ss)[HostDefined]] に設定します。
= [12] [VAR[URL]] を、[VAR[スクリプト]]と[VAR[指定子]]について[[モジュール指定子を解決]]した結果に設定します。
= [15] [VAR[URL]] が[[失敗]]の場合、
== [16] [VAR[完了]]を、新しい [[Completion]] に設定します。
[FIG(list members)[
: [F(ss)[Type]] : [[throw]]
: [F(ss)[Value]] : 新しい [CODE[TypeError]]
: [F(ss)[Target]] : [[空]]
]FIG]
== [20] [VAR[referencing]]、[VAR[指定子]]、[VAR[promiseCapability]], [VAR[完了]]について
[CODE[FinishDynamicImport]] を実行します。
= [22] それ以外の場合、
== [23] [VAR[オプション群]]を、
[VAR[スクリプト]]の[F[fetchオプション群]]の[F[子孫スクリプトfetchオプション群]]に設定します。
== [21] [[モジュールスクリプトグラフのfetch]] を実行します。
[FIG(list members)[
: [VAR[URL]] : [VAR[URL]]
: [VAR[設定群オブジェクト]] : [VAR[referencing]]の[F[設定群オブジェクト]]
: [VAR[終点]] : [CODE[script]]
: [VAR[オプション群]] : [VAR[オプション群]]
: [VAR[続きの処理]] : >>11
]FIG]
= [33] [[未定義]]を返します。
]FIG]
[11] 続きは、[VAR[結果]]について、次のようにします。 [SRC[>>1]]
[FIG(steps)[
= [24] [VAR[結果]]が [CODE[null]] の場合、
== [25] [VAR[完了]]を、新しい [[Completion]] に設定します。
[FIG(list members)[
: [F(ss)[Type]] : [[throw]]
: [F(ss)[Value]] : [CODE[TypeError]]
: [F(ss)[Target]] : [[空]]
]FIG]
== [26] [VAR[referencing]]、[VAR[指定子]]、[VAR[promiseCapability]]、[VAR[完了]]について、
[[FinishDynamicImport]] を実行します。
= [27] それ以外の場合、
== [28] [[モジュールスクリプトの実行]]をします。
[FIG(list members)[
: [VAR[スクリプト]] : [VAR[結果]]
: [VAR[エラーを再び投げる]] : [[真]]
]FIG]
[VAR[例外]]を、[[投げ]]られた[[例外]]に設定します。
== [29] [VAR[例外]]がある場合、
=== [30] [VAR[referencing]]、[VAR[指定子]]、[VAR[promiseCapability]]、
[VAR[例外]]について [CODE[FinishDynamicImport]] を実行します。
== [31] それ以外の場合、
=== [32] [VAR[referencing]]、[VAR[指定子]]、[VAR[promiseCapability]]、
[[NormalCompletion]] ([[未定義]]) について [CODE[FinishDynamicImport]]
を実行します。
]FIG]
* 歴史
[14] [CITE@en[Handle error cases during module script tree fetching/running better]]
([[domenic]]著, [TIME[2016-08-09 12:06:32 +09:00]])
[17] [CITE@en[Fix bad assert in HostResolveImportedModule]]
([[domenic]]著, [TIME[2017-04-29 05:16:21 +09:00]])
[18] [CITE@en[Fix error cases of