4.1.1 隐式补全

本规范中声明的所有抽象操作都默认返回一个正常补全，类型为算法声明的返回类型，或一个抛出补全。例如，一个声明如下的抽象操作：

4.1.1.1 GetTheAnswer ( input )

抽象操作 GetTheAnswer 接受参数 input（一个 整数），返回一个整数。

等价于：

4.1.1.2 GetTheAnswer2 ( input )

抽象操作 GetTheAnswer2 接受参数 input（一个 整数），返回正常补全，其值为整数，或一个抛出补全。

所有返回补全记录的抽象操作调用，默认使用ReturnIfAbrupt宏包裹，除非已经被Completion显式包裹。例如：

等价于：

4.1.2 可选错误

当某算法可选择性报告错误时，实现可以选择以下行为之一：

• 继续执行算法的剩余部分。
• 向用户报告错误（例如在浏览器控制台），并继续执行算法剩余部分。
• 返回一个ThrowCompletion。

针对不同的可选错误，实现可选择不同的行为。

9.1.1 ParseSourceMap ( string, baseURL )

抽象操作 ParseSourceMap 接收参数 string（字符串）和 baseURL（URL），返回一个解码后源映射记录。执行下列步骤：

9.1.2 DecodeSourceMap ( json, baseURL )

抽象操作 DecodeSourceMap 接收参数 json（JSON 对象）和 baseURL（URL），返回解码后源映射记录。执行下列步骤：

9.2.1 映射语法

映射字符串必须遵循如下语法：

解码映射状态记录包含以下字段：

9.2.2 DecodeMappings ( rawMappings, names, sources )

抽象操作 DecodeMappings 接收参数 rawMappings（字符串），names（字符串List），sources（解码后源码记录的List），并返回解码后映射记录的List。调用时执行以下步骤：

9.2.3 生成 JavaScript 代码的映射

生成代码 的位置可能具有 映射条目，这些位置根据 ECMAScript 词法语法定义为 输入元素。映射条目应指向以下任一：

• 由 源文本匹配的 IdentifierName、PrivateIdentifier、Punctuator、DivPunctuator、RightBracePunctuator、NumericLiteral 和 RegularExpressionLiteral 的第一个码点。
• 由 源文本匹配的 Comment、HashbangComment、StringLiteral、Template、TemplateSubstitutionTail、WhiteSpace 和 LineTerminator 的任意码点。

9.2.4 生成 JavaScript 代码的名称

若 JavaScript 代码符号满足下列条件，源映射生成器应为该符号生成带 [[Name]] 字段的 映射 条目：

• 原始源码语言结构在语义上映射到生成的 JavaScript 代码。
• 原始源码语言结构有名称。

此时，该 映射 条目的 [[Name]] 应为 原始源码语言结构的名称。 [[Name]] 非 null 的 映射 被称为 命名映射。

下列枚举列出了 ECMAScript 句法语法中的产生式，以及源映射生成器应为其生成命名映射的对应 token 或非终结符（即产生式右侧项）。创建这些 token 的 映射条目应遵循 9.2.3。

该枚举应理解为“最低标准”。一般情况下，源映射生成器可自由生成其他命名映射。

• BindingIdentifier，用于 LexicalDeclaration、VariableStatement 和 FormalParameterList。

• BindingIdentifier，用于 FunctionDeclaration、FunctionExpression、AsyncFunctionDeclaration、AsyncFunctionExpression、GeneratorDeclaration、GeneratorExpression、AsyncGeneratorDeclaration 和 AsyncGeneratorExpression（如果存在），否则为紧接 FormalParameters 的左括号 (。

  无论 BindingIdentifier 是否存在，源映射生成器可选择在左括号为位置生成命名映射。

• 对于 ArrowFunction 或 AsyncArrowFunction：

  • 当 ArrowFunction 由单一 BindingIdentifier 参数生成，或 AsyncArrowFunction 由 AsyncArrowBindingIdentifier 生成时，=> token。

    注意 3
    这描述了（异步）箭头函数有单一参数且该参数未被圆括号包裹的情况。

  • 当 ArrowFunction 或 AsyncArrowFunction 由 ArrowFormalParameters 生成时的左括号 (。

    源映射生成器亦可选择在 => token 处生成命名映射，以与前述情况一致。

• ClassElementName，用于 MethodDefinition。包含生成器、异步方法、异步生成器和访问器。若 ClassElementName 为 "constructor"，则 [[Name]] 应为原始类名（如果适用）。

  源映射生成器亦可选择在左括号 ( 处生成命名映射。

• 源映射生成器可为包含在 Expression 的 IdentifierReference 生成命名映射。

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

抽象操作 DecodeSourceMapSources 接收参数 baseURL（URL）、sourceRoot（字符串或 null）、sources（字符串或 null 的 List）、sourcesContent（字符串或 null 的 List）、ignoreList（非负 整数的 List），返回 解码后源码记录。调用时执行以下步骤：

11.1.1 通过 HTTP 头部关联

如果文件通过 HTTP(S) 服务器返回 sourcemap 头部，头部的值就是关联源映射的 URL。

sourcemap: <url>

11.1.2 通过源码内注释关联

生成代码 应该包含一个名为 sourceMappingURL 的注释（或者依语言/格式而定的等价结构），其中包含源映射的 URL。本规范定义了 JavaScript、CSS 和 WebAssembly 中注释的格式，其他语言可参照类似约定。

一种语言可有多种方式检测到 sourceMappingURL 注释，以便不同实现选择较简单方式。生成代码若经过所有方法提取的结果一致，则称为无歧义关联到源映射。

如果工具处理的一或多个源文件 无歧义关联到源映射，并输出文件也关联源映射，则输出也必须是无歧义的关联。

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 {
      // 找到尾部空白或未闭合注释。
      // 断言：JS_COMMENT.lastIndex === line.length
    }
  }
}
return lastURL;

由于 WebAssembly 不是文本格式且不支持注释，只支持唯一的无歧义提取方法。该 URL 以 WebAssembly 名称编码，并放置于 custom section 内容中。工具生成 WebAssembly 代码时，不允许生成两个或更多 sourceMappingURL 名称的 custom section。

11.2.1 FetchSourceMap ( url )

抽象操作 FetchSourceMap 接收参数 url（URL），返回一个 Promise。调用时执行如下步骤：

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

{"version": 3, ...}