5 표기 관례

)

이는 비단말기 WhileStatement가 토큰 while 다음에 왼쪽 괄호 토큰, Expression, 오른쪽 괄호 토큰, Statement가 차례로 오는 것을 의미합니다. Expression과 Statement도 각각 비단말기입니다. 또 다른 예로, 다음과 같은 구문 정의가 있습니다:

이는 ArgumentList가 단일 AssignmentExpression 또는 ArgumentList, 쉼표, AssignmentExpression로 나타날 수 있음을 의미합니다. 이 ArgumentList 정의는 자기 참조적(재귀적)이며, 자신에 대한 정의로 이루어져 있습니다. 결과적으로 ArgumentList는 콤마로 구분된 모든 양의 개수의 인자, 각 인자 표현식은 AssignmentExpression이 될 수 있습니다. 이러한 비단말기의 재귀적 정의는 흔합니다.

5.1.5.3 선택적 기호

단말기 또는 비단말기 뒤에 첨자 “_opt”가 붙으면 선택적 기호임을 나타냅니다. 선택적 기호가 포함된 대안은 실제로 두 가지 우변을 명시합니다. 하나는 선택적 요소를 생략한 것이고, 하나는 포함한 것입니다. 즉,

opt

는 다음의 편리한 약어입니다:

그리고:

for

(

opt

;

opt

)

는 다음의 편리한 약어입니다:

ForStatement

for

(

;

opt

)

for

(

;

opt

)

이는 다시 다음의 약어입니다:

ForStatement

for

(

;

)

for

(

;

)

for

(

;

)

for

(

;

)

따라서 이 예시에서 비단말기 ForStatement는 실제로 네 가지 대체 우변을 갖습니다.

5.1.5.4 문법적 매개변수

생산식은 첨자 형태의 “_[parameters]” 주석으로 매개변수화될 수 있으며, 이는 생산식이 정의하는 비단말기 기호 뒤에 접미사로 나타납니다. “_parameters”는 단일 이름 또는 컴마로 구분된 이름 목록일 수 있습니다. 매개변수화된 생산식은 매개변수 이름 조합마다 해당 비단말기 기호에 언더스코어를 붙여서 정의하는 생산식 집합의 약어입니다. 즉,

[Return]

는 다음의 편리한 약어입니다:

그리고:

[Return, In]

는 다음의 약어입니다:

StatementList_Return_In

여러 매개변수가 있으면 조합 수만큼 생산식이 생성되며, 모든 경우가 완전한 문법에서 참조되는 것은 아닙니다.

생산식의 우변에 있는 비단말기 참조 역시 매개변수화될 수 있습니다. 예를 들어:

[+In]

는 다음과 동일합니다:

ExpressionStatement_In

그리고:

[~In]

는 다음과 동일합니다:

비단말기 참조에는 매개변수 목록과 “_opt” 첨자가 모두 있을 수 있습니다. 예를 들어:

[+In]

opt

는 다음의 약어입니다:

Initializer_In

우변 비단말기 참조에 매개변수 이름 앞에 “_?”가 있으면, 그 매개변수 값은 현재 생산식 좌변의 비단말기 참조에 해당 매개변수 이름이 나타나는지에 따라 결정됩니다. 예를 들어:

[In]

[?In]

는 다음의 약어입니다:

VariableDeclaration_In

Initializer_In

우변 대안 앞에 “[+parameter]”가 있으면, 해당 대안은 생산식의 비단말기 기호 참조에 지정된 매개변수가 있을 때만 사용 가능합니다. “[~parameter]”가 있으면, 해당 대안은 지정된 매개변수가 없을 때만 사용 가능합니다. 즉,

[Return]

[+Return]

는 다음의 약어입니다:

그리고:

[Return]

[~Return]

는 다음의 약어입니다:

5.1.5.5 one of

문법 정의에서 콜론 다음에 “one of”가 나오면, 다음 줄 또는 여러 줄에 있는 각 단말기 기호가 대체 정의임을 의미합니다. 예를 들어 ECMAScript의 렉시컬 문법에는 다음과 같은 생산식이 있습니다:

NonZeroDigit

one of

이는 다음과 같은 약어일 뿐입니다:

NonZeroDigit

5.1.5.6 [empty]

생산식의 우변에 “[empty]”가 나타나면, 해당 생산식의 우변이 단말기나 비단말기 기호를 전혀 포함하지 않음을 의미합니다.

5.1.5.7 앞보기 제한

생산식의 우변에 “[lookahead = seq]”가 나타나면, 해당 생산식은 토큰 시퀀스 seq가 바로 뒤따르는 입력 토큰 시퀀스의 접두사일 때만 사용될 수 있음을 의미합니다. 마찬가지로 “[lookahead ∈ set]”에서 set은 유한하고 비어 있지 않은 토큰 시퀀스 집합일 때, 집합의 어떤 요소가 바로 뒤따르는 토큰 시퀀스의 접두사일 때만 사용될 수 있음을 의미합니다. 편의상 집합을 비단말기로 쓸 수도 있는데, 이 경우 해당 비단말기가 확장할 수 있는 모든 토큰 시퀀스 집합을 나타냅니다. 비단말기가 무한히 많은 서로 다른 토큰 시퀀스로 확장될 수 있다면 이는 편집 오류로 간주합니다.

이 조건들은 부정될 수도 있습니다. “[lookahead ≠ seq]”는 해당 생산식이 seq가 바로 뒤따르는 입력 토큰 시퀀스의 접두사가 아니어야만 사용할 수 있음을 의미하고, “[lookahead ∉ set]”는 집합의 어떤 요소도 바로 뒤따르는 토큰 시퀀스의 접두사가 되어서는 안 될 때만 사용될 수 있음을 의미합니다.

예시로, 다음과 같은 정의를 보면:

one of

다음과 같은 정의가 있습니다:

[lookahead ∉ { 1, 3, 5, 7, 9 }]

DecimalDigits

DecimalDigit

[lookahead ∉ DecimalDigit]

이는 문자 n 다음에 첫 번째가 짝수인 하나 이상의 십진수 숫자가 오거나, 십진수 숫자 다음에 또 다른 십진수 숫자가 오지 않는 경우를 일치시킵니다.

이러한 문구가 구문 문법에서 사용될 때, 바로 뒤따르는 토큰 시퀀스를 명확히 식별하는 것이 불가능할 수 있습니다. 이는 이후 토큰을 결정하려면 이후 위치에서 사용할 렉시컬 목표 기호를 알아야 하기 때문입니다. 그러므로 구문 문법에서 이러한 제한이 사용될 때, 토큰 시퀀스 seq가 접두사 제한에 나타나면(집합의 일부로 포함된 경우도 포함), 이후 사용할 렉시컬 목표 기호 선택에 따라 seq가 실제로 접두사가 되는지 여부가 바뀔 수 있다면, 이는 편집 오류로 간주합니다.

5.1.5.8 [여기 LineTerminator 없음]

구문 문법의 생산식 우변에 “[no LineTerminator here]”가 나타나면, 해당 생산식은 제한 생산식이며, 해당 위치에 입력 스트림에서 LineTerminator가 나타나면 사용할 수 없습니다. 예를 들어 다음과 같은 생산식이 있습니다:

ThrowStatement

throw

[no LineTerminator here]

;

이는 스크립트에서 throw 토큰과 Expression 사이에 LineTerminator가 있으면 해당 생산식을 사용할 수 없음을 의미합니다.

제한 생산식에서 LineTerminator의 존재가 금지되지 않는 한, 입력 요소 스트림의 연속된 두 토큰 사이에는 LineTerminator가 아무리 많이 있어도 스크립트의 구문적 허용성에 영향을 주지 않습니다.

5.1.5.9 but not

생산식의 우변에 “but not” 문구가 오면, 뒤이어 제외할 확장을 명시하여 특정 확장이 허용되지 않음을 나타냅니다. 예를 들어 다음과 같은 생산식이 있습니다:

Identifier

IdentifierName

but not ReservedWord

이는 비단말기 Identifier가 IdentifierName을 대체할 수 있는 코드 포인트 시퀀스 중, 동일한 시퀀스가 ReservedWord를 대체할 수 없는 경우에만 사용할 수 있음을 의미합니다.

5.1.5.10 서술적 구문

마지막으로 일부 비단말기 기호는 모든 대안을 나열하는 것이 비현실적인 경우 산세리프체로 서술적 문구로 설명됩니다:

SourceCharacter

any Unicode code point

5.2 알고리즘 관례

이 명세서는 알고리즘 단계 지정을 위해 주로 번호가 매겨진 목록을 사용합니다. 이러한 알고리즘은 ECMAScript 언어 구성 요소의 요구 의미론을 정확하게 명시하는 데 사용됩니다. 알고리즘이 특정 구현 기법의 사용을 암시하는 것은 아닙니다. 실제로, 주어진 기능을 더 효율적으로 구현할 수 있는 알고리즘이 있을 수 있습니다.

알고리즘은 명시적으로 순서가 있는 쉼표로 구분된 별칭 이름 시퀀스로 매개변수화될 수 있으며, 알고리즘 단계 내에서 해당 위치에 전달된 인자를 참조하는 데 사용할 수 있습니다. 선택적 매개변수는 대괄호([ , name ])로 나타내며, 알고리즘 단계 내에서는 필수 매개변수와 차이가 없습니다. 나머지 매개변수(rest parameter)는 매개변수 리스트 끝에 ...name 형태로 나타내며, 필수 및 선택적 매개변수 뒤에 전달된 모든 인자를 List로 수집합니다. 추가 인자가 없는 경우 해당 List는 비어 있습니다.

알고리즘 단계는 순차적 하위 단계로 세분화될 수 있습니다. 하위 단계는 들여쓰기되며, 그 자체로 더 들여쓰기된 하위 단계로 나뉠 수 있습니다. 개요 번호 매기기 규칙은 첫 번째 하위 단계는 소문자 알파벳, 두 번째 하위 단계는 소문자 로마 숫자를 사용합니다. 세 단계보다 더 깊은 단계가 필요할 경우, 네 번째 단계부터는 숫자를 사용합니다. 예시:

최상위 단계
1. 하위 단계.
2. 하위 단계.
  1. 하위 하위 단계.
    1. 하위 하위 하위 단계
      1. 하위 하위 하위 하위 단계
        하위 하위 하위 하위 하위 단계

단계나 하위 단계는 "if" 조건문으로 작성될 수 있으며, 이 경우 조건이 true일 때만 하위 단계를 적용합니다. 단계나 하위 단계가 "else"로 시작하면, 해당 단계는 같은 수준의 직전 “if” 조건문의 부정이 됩니다.

단계는 하위 단계의 반복적 적용을 지정할 수 있습니다.

"Assert:"로 시작하는 단계는 알고리즘의 불변 조건을 단언합니다. 이러한 단언은 암묵적일 수 있는 알고리즘 불변 조건을 명시적으로 만듭니다. 이러한 단언은 추가적인 의미 요구사항을 더하지 않으므로 구현에서는 검사할 필요가 없습니다. 단순히 알고리즘을 명확히 하기 위해 사용됩니다.

알고리즘 단계에서는 "Let x be someValue" 형식으로 어떤 값에 대한 별칭을 선언할 수 있습니다. 이 별칭은 참조와 유사하여 x와 someValue가 동일한 데이터에 연결되며, 둘 중 하나를 수정하면 모두에 반영됩니다. 참조와 유사한 동작을 피하고 싶으면, 오른쪽 값을 명시적으로 복사하도록 "Let x be a copy of someValue"를 사용합니다. 이는 someValue의 얕은 복사를 만듭니다.

별칭이 선언된 이후에는 모든 이후 단계에서 참조할 수 있으며, 선언 이전 단계에서 참조해서는 안 됩니다. 별칭은 "Set x to someOtherValue" 형태로 수정할 수 있습니다.

5.2.1 추상 연산

이 명세서의 여러 부분에서 사용할 수 있도록, 일부 알고리즘(추상 연산)은 이름을 붙이고 매개변수화된 함수 형태로 작성되며, 다른 알고리즘 내에서 이름으로 참조될 수 있습니다. 추상 연산은 일반적으로 함수 호출 형태(OperationName(arg1, arg2))로 참조됩니다. 일부 추상 연산은 클래스와 유사한 명세 추상화의 다형적 메서드로 취급됩니다. 이러한 메서드형 추상 연산은 someValue.OperationName(arg1, arg2)와 같은 메서드 호출 형태로 참조됩니다.

5.2.2 구문 지향 연산

구문 지향 연산은 이름이 붙은 연산으로, 각 연산은 ECMAScript 문법의 하나 이상의 생산식과 연결된 알고리즘으로 정의됩니다. 여러 대안 정의가 있는 생산식은 일반적으로 각 대안마다 별도의 알고리즘을 가집니다. 알고리즘이 문법 생산식과 연결되어 있을 때, 해당 생산식의 단말기와 비단말기 기호를 알고리즘의 매개변수처럼 참조할 수 있습니다. 이때 비단말기 기호는 소스 텍스트를 파싱할 때 실제로 일치된 대안 정의를 참조합니다. 문법 생산식 또는 그로부터 파생된 파스 노드가 일치시킨 소스 텍스트는 일치에 참여한 첫 번째 단말기에서 시작하여 마지막 단말기에서 끝나는 소스 텍스트의 부분입니다.

알고리즘이 생산식 대안과 연결될 때, 대안은 일반적으로 “[ ]” 문법 주석 없이 표시됩니다. 이러한 주석은 대안의 구문 인식에만 영향을 주며, 연결된 의미에는 영향을 주지 않습니다.

구문 지향 연산은 파스 노드와 필요에 따라 추가 매개변수를 넘겨 호출합니다. 다음 알고리즘의 1, 3, 4 단계를 참고하세요:

Let status be SyntaxDirectedOperation of SomeNonTerminal.
Let someParseNode be the parse of some source text.
Perform SyntaxDirectedOperation of someParseNode.
Perform SyntaxDirectedOperation of someParseNode with argument "value".

별도로 명시되지 않는 한, 모든 체인 생산식은 해당 좌변 비단말기에 적용될 수 있는 모든 연산에 대해 암시적 정의를 가집니다. 암시적 정의는 동일한 연산을 동일한 매개변수로 체인 생산식의 유일한 우변 비단말기에 다시 적용한 다음 그 결과를 반환합니다. 예를 들어, 어떤 알고리즘에 “Return Evaluation of Block”이라는 단계가 있고, 다음과 같은 생산식이 있다고 가정합니다:

Block

{

}

Evaluation 연산이 해당 생산식과 연결된 알고리즘을 갖지 않는 경우, Evaluation 연산은 다음과 같은 연결을 암시적으로 포함합니다:

런타임 의미론: Evaluation

Block

{