4.1.1 暗黙の完了

この仕様で宣言されるすべての 抽象操作 は、アルゴリズムで宣言された戻り型を含む、正常完了またはthrow完了を返すものと暗黙的にみなされます。例えば、次のような抽象操作は：

4.1.1.1 GetTheAnswer ( input )

抽象操作GetTheAnswerは引数input（整数）を受け取り、整数を返します。

これは以下と同等です：

4.1.1.2 GetTheAnswer2 ( input )

抽象操作GetTheAnswer2は引数input（整数）を受け取り、正常完了を含む整数、またはthrow完了のいずれかを返します。

本仕様で完了レコードを返す抽象操作への呼び出しは、明示的にCompletionでラップされていない限り、暗黙的にReturnIfAbruptマクロでラップされるものとします。例：

は以下と同等です：

4.1.2 オプションエラー

アルゴリズムがオプションでエラーを報告する場合、実装は次のいずれかの挙動が選択できます：

• アルゴリズムの残りを継続して実行する。
• （たとえばブラウザコンソールで）ユーザーにエラーを報告し、アルゴリズムの残りを継続して実行する。
• ThrowCompletionを返す。

実装はオプションエラーごとに異なる挙動を選択できます。

9.1.1 ParseSourceMap ( string, baseURL )

抽象演算 ParseSourceMap は引数 string（String型）と baseURL（URL型）を取り、デコード済みソースマップレコードを返します。呼び出された際に以下の手順を実行します：

9.1.2 DecodeSourceMap ( json, baseURL )

抽象演算 DecodeSourceMap は引数 json（JSONオブジェクト型）と baseURL（URL型）を取り、デコード済みソースマップレコードを返します。呼び出された際に以下の手順を実行します：

9.2.1 マッピングの文法

mappingsの文字列は以下の文法に従う必要があります：

デコードマッピング状態レコードは以下のフィールドを持ちます：

9.2.2 DecodeMappings ( rawMappings, names, sources )

抽象操作DecodeMappingsは、引数rawMappings（String型）、names（StringのList）、sources（Decoded Source RecordsのList）を受け取り、Decoded Mapping RecordのListを返します。呼び出すと、以下の手順を実行します：

9.2.3 生成されたJavaScriptコードのマッピング

生成コードの位置でmappingエントリーとなりうるものは、ECMAScript字句文法に則り、入力要素で定義されます。マッピングエントリは次のいずれかを指す必要があります：

• IdentifierName、PrivateIdentifier、Punctuator、DivPunctuator、RightBracePunctuator、NumericLiteral、RegularExpressionLiteralで一致したソーステキストの最初のコードポイント。
• Comment、HashbangComment、StringLiteral、Template、TemplateSubstitutionTail、WhiteSpace、LineTerminatorで一致したソーステキストのいずれかのコードポイント。

9.2.4 生成JavaScriptコードの名前

ソースマップ生成ツールは、次の場合、JavaScriptトークンについて[[Name]]フィールドを持つmappingエントリを生成するべきです：

• 元ソースの言語構造が意味的に生成されたJavaScriptコードに対応する。
• 元ソースの言語構造が名前を持つ。

その場合、mappingエントリの[[Name]]は元ソース言語構造の名前となります。非nullな[[Name]]を持つmappingは名前付きマッピングと呼ばれます。

以下の列挙は、ECMAScript構文文法の生成規則と、その右辺のトークン・非終端で、ソースマップ生成ツールが名前付きマッピングを出力すべきものです。これらのトークンのために作成されるmappingエントリは、9.2.3に従います。

この列挙は「最低限」として扱います。一般に、ソースマップ生成ツールは追加の名前付きマッピングを自由に生成して構いません。

• LexicalDeclaration、VariableStatement、FormalParameterListに含まれるBindingIdentifier。

• FunctionDeclaration、FunctionExpression、AsyncFunctionDeclaration、AsyncFunctionExpression、GeneratorDeclaration、GeneratorExpression、AsyncGeneratorDeclaration、AsyncGeneratorExpressionに存在する場合はBindingIdentifier、存在しない場合はFormalParametersの直前の開き括弧(。

  ソースマップ生成ツールはBindingIdentifierの有無に関わらず、開き括弧にも名前付きマッピングを出力してもよい。

• ArrowFunctionまたはAsyncArrowFunctionの場合：

  • ArrowFunctionが単一BindingIdentifierでArrowParametersとなる場合またはAsyncArrowFunctionがAsyncArrowBindingIdentifierとなる場合の=>トークン。

    注3
    これは（async）アロー関数が単一パラメータかつ括弧で囲まれていないケースを指します。

  • ArrowFunctionまたはAsyncArrowFunctionがArrowFormalParametersで生成される場合の開き括弧(。

    ソースマップ生成ツールは前のケースとの一貫性のため、=>トークンにも追加で名前付きマッピングを出力しても良い。

• MethodDefinitionのClassElementName（ジェネレータ、asyncメソッド、asyncジェネレータ、アクセサ含む）。MethodDefinition内でClassElementNameが"constructor"なら[[Name]]は元のクラス名（該当する場合）とする。

  ソースマップ生成ツールは開き括弧(にも追加で名前付きマッピングを出力してもよい。

• ソースマップ生成ツールはExpression内のIdentifierReferenceに対して名前付きマッピングを出力してもよい。

9.3.1 DecodeSourceMapSources ( baseURL, sourceRoot, sources, sourcesContent, ignoreList )

抽象操作DecodeSourceMapSourcesは、引数baseURL（URL型）、sourceRoot（Stringまたはnull）、sources（StringまたはnullのList）、sourcesContent（StringまたはnullのList）、ignoreList（非負の整数のList）を受け取り、Decoded Source Recordを返します。呼び出し時には次の手順を実行します：

11.1.1 HTTPヘッダーによるリンク

ファイルがHTTP(S)でsourcemapヘッダー付きで配信される場合、ヘッダーの値がリンクされるソースマップのURLになります。

sourcemap: <url>

11.1.2 インラインアノテーションによるリンク

生成コードはsourceMappingURLという名のコメントまたは言語/フォーマットに応じた同等の仕組みを含み、そこにソースマップのURLを記載すべきです。この仕様ではJavaScript、CSS、WebAssemblyについてコメントの記述例を示します。他の言語も類似の慣例に従うべきです。

言語ごとにsourceMappingURLコメント検出方法は複数あり、実装ごとに複雑度が低い方法を選べます。すべての抽出方法で同一結果となる場合、生成コードは一意的にソースマップへリンクされていると見なします。

ツールが一意的にソースマップへリンクされたソースファイルを1つ以上消費し、出力ファイルでもソースマップへリンクする場合は、一意的でなければなりません。

let a = `
//# sourceMappingURL=foo.js.map
//`

const JS_NEWLINE = /^/m;

// この正規表現は下記いずれかに常に一致：
// - 一行コメント
// - 「一行」複数行コメント
// - 閉じられない複数行コメント
// - 行末空白
// - コード文字
// ループ内でそれぞれ区別します。
const JS_COMMENT =
  /\s*(?:\/\/(?<single>.*)|\/\*(?<multi>.*?)\*\/|\/\*.*|$|(?<code>[^\/]+))/uym;

const PATTERN = /^[@#]\s*sourceMappingURL=(\S*?)\s*$/;

let lastURL = null;
for (const line of source.split(JS_NEWLINE)) {
  JS_COMMENT.lastIndex = 0;
  while (JS_COMMENT.lastIndex < line.length) {
    let commentMatch = JS_COMMENT.exec(line).groups;
    let comment = commentMatch.single ?? commentMatch.multi;
    if (comment != null) {
      let match = PATTERN.exec(comment);
      if (match !== null) lastURL = match[1];
    } else if (commentMatch.code != null) {
      lastURL = null;
    } else {
      // 行末空白または未終了コメント
      // Assert: JS_COMMENT.lastIndex === line.length
    }
  }
}
return lastURL;

WebAssemblyはテキスト形式ではなく、コメントもサポートしないため一意的な抽出方法のみ対応しています。URLはWebAssembly名としてエンコードされ、custom sectionの内容として配置されます。WebAssemblyコードを生成するツールはsourceMappingURL名のcustom sectionを2つ以上生成してはなりません。

11.2.1 FetchSourceMap ( url )

抽象演算FetchSourceMapは引数url（URL型）を受け取り、Promiseを返します。呼び出し時の手順：

)]}'garbage here
{"version": 3, ...}

{"version": 3, ...}