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일 때에만 그 생성 규칙을 사용할 수 있음을 뜻한다. 마찬가지로, set이 유한하고 비어 있지 않은 토큰 시퀀스 집합일 때 “[lookahead ∈ 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

임의의 유니코드 코드 포인트

5.2 알고리즘 관례

이 명세서는 종종 알고리즘의 단계를 명세하기 위해 번호가 매겨진 목록을 사용한다. 이러한 알고리즘은 ECMAScript 언어 구성 요소에 요구되는 의미론을 정확하게 명세하기 위해 사용된다. 이 알고리즘들은 특정 구현 기법의 사용을 암시하려는 의도가 아니다. 실제로는 주어진 기능을 구현하기 위해 더 효율적인 알고리즘이 있을 수 있다.

알고리즘은 위치별로 전달된 인수를 참조하기 위해 알고리즘 단계 내에서 사용할 수 있는 별칭 이름의 순서 있는 쉼표 구분 시퀀스로 명시적으로 매개변수화될 수 있다. 선택 매개변수는 대괄호([ , name ])로 표시되며 알고리즘 단계 안에서는 필수 매개변수와 다르지 않다. 가변(rest) 매개변수는 매개변수 목록의 끝에 나타날 수 있으며, 앞에 생략 부호를 붙여 (, ...name) 표기한다. 가변 매개변수는 필수 및 선택 매개변수 뒤에 제공되는 모든 인수를 List로 포착한다. 그러한 추가 인수가 없다면, 그 List는 비어 있다.

알고리즘 단계는 순차적인 하위 단계로 세분될 수 있다. 하위 단계는 들여쓰기되며, 그 자체로도 더 들여쓰기된 하위 단계로 세분될 수 있다. 윤곽 번호 매기기 관례를 사용하여 하위 단계를 식별하며, 첫 번째 수준의 하위 단계는 소문자 알파벳으로, 두 번째 수준의 하위 단계는 소문자 로마 숫자로 표기한다. 세 수준보다 더 많은 수준이 필요하면, 네 번째 수준에서 숫자 레이블을 사용하는 방식으로 이 규칙이 반복된다. 예를 들면 다음과 같다.

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

어떤 단계나 하위 단계는 그 하위 단계들에 조건을 거는 “if” 술어로 작성될 수 있다. 이 경우 그 하위 단계들은 술어가 참일 때에만 적용된다. 어떤 단계나 하위 단계가 “else”라는 단어로 시작하면, 그것은 같은 수준의 바로 앞 “if” 술어 단계의 부정이다.

어떤 단계는 그 하위 단계들의 반복 적용을 명시하기 위해 "For each" 또는 "Repeat"로 시작할 수 있다.

“Assert:”로 시작하는 단계는 그 알고리즘의 불변 조건을 주장한다. 이러한 주장은 그렇지 않으면 암묵적일 알고리즘 불변식을 명시적으로 드러내는 데 사용된다. 마찬가지로 “NOTE:”로 시작하는 단계는 인근 단계들에 대한 관련 맥락을 제공한다. Assertion 단계와 note 단계는 엄격히 정보 제공용이며, 추가적인 의미론적 요구 사항을 더하지 않으므로 구현이 이를 검사할 필요는 없다.

알고리즘 단계는 “Let x be someValue” 형식을 사용하여 어떤 값에 대해서도 이름 있는 별칭을 선언할 수 있다. 이러한 별칭은 x와 someValue가 동일한 기저 데이터를 참조하고 어느 한쪽에 대한 수정이 양쪽 모두에 보인다는 점에서 참조와 유사하다. 이러한 참조 유사 동작을 피하고자 하는 알고리즘 단계는 오른쪽 항의 복사본을 명시적으로 만들어야 한다. “Let x be a copy of someValue”는 someValue의 얕은 복사본을 만든다.

한번 선언된 별칭은 이후 어떤 단계에서든 참조될 수 있으며, 그 선언 이전의 단계에서 참조되어서는 안 된다. 별칭은 “Set x to someOtherValue” 형식으로 수정될 수 있다.

5.2.1 평가 순서

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

Return A(B(), C.[[D]]) + E(F()).

는 다음과 동등하다.

Let tmp1 be B().
Let tmp2 be C.[[D]].
Let tmp3 be A(tmp1, tmp2).
Let tmp4 be F().
Let tmp5 be E(tmp4).
Let tmp6 be tmp3 + tmp5.
Return tmp6.

여기서 다양한 tmpN 별칭은 일시적이며 이 단계들 안에서만 보인다.

5.2.2 추상 연산

이 명세서의 여러 부분에서 사용하기 쉽게 하기 위해, 추상 연산이라 불리는 일부 알고리즘은 이름이 주어지고 매개변수화된 함수 형태로 작성되어, 다른 알고리즘 안에서 이름으로 참조될 수 있다. 추상 연산은 일반적으로 OperationName(arg1, arg2)와 같은 함수 적용 스타일로 참조된다. 일부 추상 연산은 클래스 유사 명세 추상의 다형적으로 디스패치되는 메서드처럼 취급된다. 이러한 메서드형 추상 연산은 일반적으로 someValue.OperationName(arg1, arg2)와 같은 메서드 적용 스타일로 참조된다.

5.2.3 구문 지시 연산

구문 지시 연산은 정의가 알고리즘들로 이루어진 이름 있는 연산이며, 각 알고리즘은 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 연산은 암묵적으로 다음과 같은 연관을 포함한다.

Runtime Semantics: Evaluation

Block

{