4.1.1 암시적 완료

이 사양에서 선언된 모든 추상 연산은 알고리즘에서 선언된 반환 타입을 포함한 정상적인 완료 또는 throw completion을 반환하는 것으로 간주합니다. 예를 들면, 다음과 같이 선언된 추상 연산:

4.1.1.1 GetTheAnswer ( input )

추상 연산 GetTheAnswer는 input ( integer 타입 )을 인수로 받고 integer를 반환합니다.

는 다음과 동일합니다:

4.1.1.2 GetTheAnswer2 ( input )

추상 연산 GetTheAnswer2는 input ( integer 타입 )을 인수로 받고, 정상적인 완료의 integer 또는 throw completion을 반환합니다.

모든 추상 연산 호출 중 completion 레코드를 반환하는 것은 암시적으로 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 매핑 문법

Mappings 문자열은 다음 문법을 따라야 합니다:

매핑 상태 레코드는 다음과 같은 필드를 가집니다:

9.2.2 DecodeMappings ( rawMappings, names, sources )

추상 연산 DecodeMappings는 rawMappings(문자열), names(문자열의 리스트), sources(리스트 및 디코딩된 소스 레코드)를 인자로 받고, 리스트 및 디코딩된 매핑 레코드를 반환합니다. 호출 시 다음 단계를 수행합니다:

9.2.3 생성된 자바스크립트 코드의 매핑

생성 코드의 위치에서 매핑 항목이 있을 수 있는 경우를 입력 요소로 정의하며, ECMAScript 어휘 문법을 따릅니다. 매핑 항목은 다음 중 하나를 가리켜야 합니다:

• 소스 텍스트가 일치한 IdentifierName, PrivateIdentifier, Punctuator, DivPunctuator, RightBracePunctuator, NumericLiteral 와 RegularExpressionLiteral의 첫 번째 코드 포인트
• 소스 텍스트가 일치한 Comment, HashbangComment, StringLiteral, Template, TemplateSubstitutionTail, WhiteSpace 그리고 LineTerminator 내의 모든 코드 포인트

9.2.4 생성된 자바스크립트 코드의 이름

소스맵 생성기는 자바스크립트 토큰에 대해 매핑 항목과 [[Name]] 필드를 생성해야 하는데, 다음 조건을 만족할 때입니다:

• 원본 소스 언어 구조가 생성된 자바스크립트 코드에 의미적으로 매핑되는 경우
• 원본 소스 언어 구조가 이름을 갖는 경우

이때 매핑 항목의 [[Name]] 값은 원본 소스 언어 구조의 이름이 되어야 합니다. 매핑 중에서 [[Name]] 필드가 null이 아닌 값을 가진 것을 이름이 있는 매핑이라고 부릅니다.

다음 열거는 ECMAScript 구문 문법의 생성식과, 소스맵 생성기가 이름이 있는 매핑을 생성해야 하는 해당 토큰 혹은 비터미널(생성식의 오른쪽 항)을 나열합니다. 이때 생성되는 매핑 항목은 9.2.3 절을 따라야 합니다.

이 열거는 반드시 포함해야 하는 "최소한"의 항목으로 이해되어야 하며, 일반적으로 소스맵 생성기는 추가적인 이름 매핑을 자유롭게 생성할 수 있습니다.

• BindingIdentifier가 등장하는 LexicalDeclaration, VariableStatement 및 FormalParameterList

• FunctionDeclaration, FunctionExpression, AsyncFunctionDeclaration, AsyncFunctionExpression, GeneratorDeclaration, GeneratorExpression, AsyncGeneratorDeclaration, AsyncGeneratorExpression에 대해 BindingIdentifier가 있다면 그 요소에, 없다면 FormalParameters 앞의 열림 괄호 (

  소스맵 생성기는 BindingIdentifier의 존재 여부와 무관하게 항상 열림 괄호에도 이름 매핑을 추가할 수 있습니다.

• ArrowFunction 및 AsyncArrowFunction의 경우:

  • 단일 BindingIdentifier를 갖는 ArrowFunction 또는 AsyncArrowFunction의 AsyncArrowBindingIdentifier에서 => 토큰

    참고 3
    이 경우는 매개변수가 하나뿐이고 괄호로 감싸지지 않은 (async) 화살표 함수에 해당합니다.

  • ArrowFormalParameters로 생성되는 ArrowFunction 또는 AsyncArrowFunction는 첫 괄호 (

    일관성을 위해 소스맵 생성기는 => 토큰에도 추가로 이름 매핑을 생성할 수 있습니다.

• ClassElementName이 등장하는 MethodDefinition (여기에는 generator, async, async generator, accessor 포함). MethodDefinition에서 ClassElementName이 "constructor"이면 [[Name]] 값은 해당 클래스명이어야 함.

  소스맵 생성기는 추가로 괄호 (에도 이름 매핑을 생성할 수 있습니다.

• IdentifierReference가 Expression 내에 있을 때 소스맵 생성기는 이름 매핑을 생성할 수 있습니다.

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

추상 연산 DecodeSourceMapSources는 baseURL(URL), sourceRoot(문자열 또는 null), sources(문자열 또는 null을 포함하는 리스트), sourcesContent(문자열 또는 null을 포함하는 리스트), ignoreList(0 이상의 정수로 구성된 리스트)를 인자로 받아서 디코딩된 소스 레코드를 반환합니다. 호출 시 다음 절차를 수행합니다:

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;

// 아래 정규 표현식은 다음을 구분합니다:
// - single-line comments
// - "single-line" multi-line comments
// - unclosed multi-line comments
// - just trailing whitespaces
// - a code character
// 아래 반복문은 각 경우를 구분합니다.
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을 둘 이상 생성하면 잘못된 것입니다.

11.2.1 FetchSourceMap ( url )

추상 연산 FetchSourceMap은 url(URL)을 인자로 받아 Promise를 반환합니다. 호출 시 다음을 수행합니다:

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

{"version": 3, ...}