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의 어휘 문법에는 다음 생성 규칙이 포함됩니다:

BinaryDigit

one of

이는 단지 다음을 편리하게 축약한 표현입니다:

BinaryDigit

5.1.5.6 [empty]

생성 규칙의 우변에 “[empty]”라는 문구가 나타나면, 해당 생성 규칙의 우변에 단말 기호나 비단말 기호가 없음을 나타냅니다.

5.1.5.7 미리 보기 제한

생성 규칙의 우변에 “[lookahead = seq]”라는 문구가 나타나면, 토큰 시퀀스 seq가 바로 뒤에 오는 입력 토큰 시퀀스의 접두 시퀀스인 경우에만 해당 생성 규칙을 사용할 수 있음을 나타냅니다. 마찬가지로 “[lookahead ∈ set]”는 set이 토큰 시퀀스의 비어 있지 않은 유한 집합일 때, set의 어떤 요소가 바로 뒤에 오는 토큰 시퀀스의 접두 시퀀스인 경우에만 해당 생성 규칙을 사용할 수 있음을 나타냅니다. 편의를 위해 집합을 비단말 기호로 작성할 수도 있으며, 이 경우에는 해당 비단말 기호가 전개될 수 있는 모든 토큰 시퀀스의 집합을 나타냅니다. 해당 비단말 기호가 무한히 많은 서로 다른 토큰 시퀀스로 전개될 수 있다면 편집 오류로 간주합니다.

이러한 조건은 부정할 수 있습니다. “[lookahead ≠ seq]”는 seq가 바로 뒤에 오는 입력 토큰 시퀀스의 접두 시퀀스가 아닌 경우에만 이를 포함하는 생성 규칙을 사용할 수 있음을 나타냅니다. “[lookahead ∉ set]”는 set의 어떤 요소도 바로 뒤에 오는 토큰 시퀀스의 접두 시퀀스가 아닌 경우에만 해당 생성 규칙을 사용할 수 있음을 나타냅니다.

예를 들어 다음 정의가 주어지면:

one of

다음 정의는:

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

DecimalDigits

DecimalDigit

[lookahead ∉ DecimalDigit]

문자 n 뒤에 첫 번째 숫자가 짝수인 하나 이상의 십진 숫자가 이어지는 경우 또는 뒤에 다른 십진 숫자가 이어지지 않는 하나의 십진 숫자와 일치합니다.

이러한 문구를 구문 문법에서 사용하는 경우, 이후 토큰을 결정하려면 이후 위치에서 어떤 어휘 목표 기호를 사용할지 알아야 하므로 바로 뒤에 오는 토큰 시퀀스를 모호함 없이 식별할 수 없을 수 있습니다. 따라서 구문 문법에서 이를 사용할 때, 사용할 어휘 목표 기호의 선택에 따라 토큰 시퀀스 seq가 결과 토큰 시퀀스의 접두 시퀀스인지 여부가 달라질 수 있다면 seq를 미리 보기 제한에 사용하는 것은 편집 오류로 간주합니다. 여기에는 시퀀스 집합의 일부로 사용하는 경우도 포함됩니다.

5.1.5.8 [no LineTerminator here]

구문 문법의 생성 규칙 우변에 “[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 ]), 알고리즘 단계 내에서는 필수 매개변수와 다르지 않습니다. 나머지 매개변수는 매개변수 목록의 끝에 나타날 수 있으며, 앞에 줄임표를 붙여 표시합니다(, ...name). 나머지 매개변수는 필수 매개변수와 선택적 매개변수 뒤에 제공된 모든 인수를 List로 수집합니다. 이러한 추가 인수가 없으면 해당 List는 비어 있습니다.

알고리즘 단계는 순차적인 하위 단계로 세분할 수 있습니다. 하위 단계는 들여쓰며, 하위 단계 자체도 들여쓴 하위 단계로 더 세분할 수 있습니다. 하위 단계는 개요 번호 매기기 관례로 식별하며, 첫 번째 수준의 하위 단계에는 소문자 알파벳을, 두 번째 수준의 하위 단계에는 소문자 로마 숫자를 붙입니다. 세 수준보다 더 많은 수준이 필요하면 네 번째 수준에서 숫자를 사용하면서 이 규칙을 반복합니다. 예를 들어:

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

단계 또는 하위 단계는 그 하위 단계의 적용 조건을 지정하는 “만약” 술어로 작성할 수 있습니다. 이 경우 하위 단계는 해당 술어가 참일 때만 적용됩니다. 단계 또는 하위 단계가 “그렇지 않으면”이라는 말로 시작하면, 같은 수준에서 앞선 “만약” 술어 단계의 부정에 해당하는 술어입니다.

단계는 하위 단계의 반복 적용을 명시하기 위해 “각각에 대해” 또는 “반복”으로 시작할 수 있습니다.

“단언:”으로 시작하는 단계는 해당 알고리즘의 불변 조건을 단언합니다. 이러한 단언은 그렇지 않으면 암묵적일 알고리즘의 불변 조건을 명시적으로 드러내는 데 사용됩니다. 마찬가지로 “참고:”로 시작하는 단계는 인접한 단계와 관련된 문맥을 제공합니다. 단언 단계와 참고 단계는 순전히 정보 제공용입니다. 추가적인 의미적 요구 사항을 부과하지 않으므로 구현체가 검사할 필요가 없습니다.

알고리즘 단계는 “x를 someValue로 둡니다”라는 형식을 사용하여 임의의 값에 대해 이름 있는 별칭을 선언할 수 있습니다. 이러한 별칭은 x와 someValue가 동일한 기반 데이터를 참조하고 어느 쪽을 수정하든 양쪽 모두에서 보인다는 점에서 참조와 유사합니다. 이러한 참조 유사 동작을 피하려는 알고리즘 단계는 우변의 복사본을 명시적으로 만들어야 합니다. “x를 someValue의 복사본으로 둡니다”는 someValue의 얕은 복사본을 생성합니다.

별칭은 선언된 이후의 모든 단계에서 참조할 수 있으며, 선언 이전의 단계에서는 참조해서는 안 됩니다. 별칭은 “x를 someOtherValue로 설정합니다”라는 형식으로 수정할 수 있습니다.

5.2.1 평가 순서

알고리즘 단계에 복합 표현식이 나타나면, 왼쪽에서 오른쪽으로, 안쪽에서 바깥쪽으로 평가되는 것으로 이해해야 합니다. 예를 들어 다음 단계는

A(B(), C.[[D]]) + E(F())를 반환합니다.

다음과 같습니다

tmp1을 B()로 둡니다.
tmp2를 C.[[D]]로 둡니다.
tmp3을 A(tmp1, tmp2)로 둡니다.
tmp4를 F()로 둡니다.
tmp5를 E(tmp4)로 둡니다.
tmp6을 tmp3 + tmp5로 둡니다.
tmp6을 반환합니다.

여기에서 각 tmpN 별칭은 일시적이며 이 단계들에서만 보입니다.

5.2.2 추상 연산

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

5.2.3 구문 지향 연산

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

알고리즘이 생성 규칙의 대안과 연결되면 해당 대안은 일반적으로 “[ ]” 문법 주석 없이 표시됩니다. 이러한 주석은 대안의 구문적 인식에만 영향을 미쳐야 하며, 해당 대안에 연결된 의미에는 영향을 주지 않아야 합니다.

구문 지향 연산은 다음 알고리즘의 단계 1, 3 및 4에 있는 관례를 사용하여 파스 노드와 선택적인 추가 매개변수로 호출합니다:

status를 SomeNonTerminal의 SyntaxDirectedOperation으로 둡니다.
someParseNode를 어떤 소스 텍스트의 파싱 결과로 둡니다.
someParseNode의 SyntaxDirectedOperation을 수행합니다.
someParseNode의 SyntaxDirectedOperation을 인수 "value"로 수행합니다.

명시적으로 달리 지정하지 않는 한, 모든 연쇄 생성 규칙에는 해당 생성 규칙의 좌변 비단말 기호에 적용할 수 있는 모든 연산에 대한 암묵적인 정의가 있습니다. 이 암묵적인 정의는 동일한 연산을 동일한 매개변수(있는 경우)와 함께 연쇄 생성 규칙의 유일한 우변 비단말 기호에 다시 적용한 다음 결과를 반환합니다. 예를 들어 어떤 알고리즘에 “Block의 Evaluation을 반환합니다”라는 형식의 단계가 있고 다음 생성 규칙이 있다고 가정합니다:

Block

{

}

그러나 Evaluation 연산이 해당 생성 규칙에 알고리즘을 연결하지 않았다고 가정합니다. 이 경우 Evaluation 연산에는 다음 형식의 연결이 암묵적으로 포함됩니다:

Runtime Semantics: Evaluation

Block

{