5 記法規約

)

は、nonterminal WhileStatement が、token while、左括弧 token、Expression、右括弧 token、Statement の順に続くものを表すことを述べている。Expression および Statement の出現は、それ自体 nonterminal である。別の例として、構文定義:

は、ArgumentList が、単一の AssignmentExpression か、あるいは ArgumentList に続けてコンマと AssignmentExpression が続くもののいずれかを表してよいことを述べている。この ArgumentList の定義は再帰的であり、すなわちそれ自体を用いて定義される。その結果、ArgumentList は、各引数式が AssignmentExpression である任意の正の個数の引数を、コンマ区切りで含んでよい。このような nonterminal の再帰的定義は一般的である。

5.1.5.3 オプション記号

terminal または nonterminal の後ろに現れることがある下付き接尾辞 “_opt” は、省略可能な記号を示す。省略可能記号を含む選択肢は、実際には 2 つの right-hand side、すなわち省略可能要素を省いたものと含むものを指定している。これは次を意味する。

opt

は、次の便利な略記である。

また、次も同様である。

for

(

opt

;

opt

)

は、次の便利な略記である。

ForStatement

for

(

;

opt

)

for

(

;

opt

)

これはさらに次の略記である。

ForStatement

for

(

;

)

for

(

;

)

for

(

;

)

for

(

;

)

したがって、この例では nonterminal ForStatement は実際には 4 つの代替 right-hand side を持つ。

5.1.5.4 文法パラメータ

production は、定義される nonterminal 記号の接尾辞として現れる “_[parameters]” 形式の下付き注記によってパラメータ化されてよい。“_parameters” は単一の名前でも、コンマ区切りの名前列でもよい。パラメータ化された production は、パラメータ化された nonterminal 記号に、パラメータ名の前にアンダースコアを付けて追加した、パラメータ名のすべての組合せを定義する production 群の略記である。これは次を意味する。

[Return]

は、次の便利な略記である。

また、次も同様である。

[Return, In]

は、次の略記である。

StatementList_Return_In

複数パラメータは組合せ的な数の production を生み、そのすべてが完全な文法内で実際に参照されるとは限らない。

production の right-hand side 上の nonterminal 参照もパラメータ化できる。たとえば、

[+In]

は、次と等価である。

ExpressionStatement_In

また、

[~In]

は、次と等価である。

nonterminal 参照は、パラメータリストと “_opt” 接尾辞の両方を持ってよい。たとえば、

[+In]

opt

は、次の略記である。

Initializer_In

right-hand side の nonterminal 参照において、パラメータ名の前に “_?” を付けると、そのパラメータ値は、現在の production の left-hand side 記号への参照におけるそのパラメータ名の有無に依存する。たとえば、

[In]

[?In]

は、次の略記である。

VariableDeclaration_In

Initializer_In

right-hand side の選択肢の前に “[+parameter]” が付く場合、その選択肢は、その production の nonterminal 記号を参照する際に指定された parameter が用いられた場合にのみ利用可能である。right-hand side の選択肢の前に “[~parameter]” が付く場合、その選択肢は、その production の nonterminal 記号を参照する際に、その parameter が 用いられなかった 場合にのみ利用可能である。これは次を意味する。

[Return]

[+Return]

は、次の略記である。

また、次も同様である。

[Return]

[~Return]

は、次の略記である。

5.1.5.5 one of

文法定義において、コロンの後に “one of” という語が続く場合、それは次行または次行群にある各 terminal 記号が代替定義であることを示す。たとえば、ECMAScript の字句文法には次の production が含まれる。

NonZeroDigit

one of

これは単に次の便利な略記である。

NonZeroDigit

5.1.5.6 [empty]

production の right-hand side として “[empty]” という句が現れる場合、それはその production の right-hand side に terminal も nonterminal も含まれないことを示す。

5.1.5.7 先読み制約

production の right-hand side に “[lookahead = seq]” という句が現れる場合、それは、直後の入力 token 列の接頭辞が token 列 seq である場合にのみ、その production を使用できることを示す。同様に、“[lookahead ∈ set]” で、set が有限非空の token 列集合である場合、その production は、set のいずれかの要素が直後の token 列の接頭辞である場合にのみ使用できる。便宜上、その集合は nonterminal として書かれてもよく、その場合それは、その nonterminal が展開しうるすべての token 列の集合を表す。その nonterminal が無限に多くの異なる token 列へ展開しうる場合、それは編集上の誤りとみなされる。

これらの条件は否定されてもよい。“[lookahead ≠ seq]” は、包含する production が、seq が直後の入力 token 列の接頭辞 ではない 場合にのみ使用できることを示し、“[lookahead ∉ set]” は、set のどの要素も直後の token 列の接頭辞 ではない 場合にのみ、その production を使用できることを示す。

例として、次の定義が与えられているとする。

one of

このとき、定義:

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

DecimalDigits

DecimalDigit

[lookahead ∉ DecimalDigit]

は、文字 n に続いて最初の 1 文字が偶数である 1 個以上の 10 進数字が続くもの、または別の 10 進数字が後続しない単一の 10 進数字、のいずれかに一致する。

これらの句が構文文法で用いられる場合、後の位置でどの字句 goal symbol を用いるかを知る必要があるため、直後の token 列を曖昧さなく特定できないことがありうることに注意。そのため、これらが構文文法で用いられるとき、ある token 列 seq が先読み制約（列集合の一部として現れる場合を含む）に現れ、その結果の token 列において seq が接頭辞であるかどうかを字句 goal symbol の選択が変えうるならば、それは編集上の誤りとみなされる。

5.1.5.8 [no LineTerminator here]

構文文法の production の right-hand side に “[no LineTerminator here]” という句が現れる場合、それはその production が 制限付き production であることを示す。すなわち、示された位置で入力ストリーム中に LineTerminator が出現する場合、その production は使用できない。たとえば、production:

ThrowStatement

throw

[no LineTerminator here]

;

は、スクリプト中で throw token と Expression の間に LineTerminator が現れる場合、その production は使用できないことを示す。

LineTerminator の存在が制限付き production によって禁止されていない限り、入力要素ストリーム中の任意の 2 つの連続する token の間には、スクリプトの構文的受理可能性に影響を与えることなく、任意個の LineTerminator が現れてよい。

5.1.5.9 but not

production の right-hand side は、“but not” という句を用い、その後に除外される展開を示すことで、特定の展開が許されないことを指定してよい。たとえば、production:

Identifier

IdentifierName

but not ReservedWord

は、nonterminal Identifier が、IdentifierName を置き換えうる任意のコードポイント列で置き換えられてよいが、同じコードポイント列が ReservedWord を置き換えうる場合を除く、という意味である。

5.1.5.10 記述句

最後に、いくつかの nonterminal 記号は、すべての選択肢を列挙するのが実際的でない場合に、サンセリフ体の記述句によって説明される。

SourceCharacter

任意の Unicode コードポイント

5.2 アルゴリズム規約

この仕様では、アルゴリズムの手順を指定するために番号付きリストをしばしば用いる。これらのアルゴリズムは、ECMAScript 言語構成要素に要求される意味論を正確に規定するために用いられる。これらのアルゴリズムは、特定の実装技法の使用を示唆することを意図していない。実際には、ある機能を実装するために、より効率的なアルゴリズムが利用可能な場合がある。

アルゴリズムは、その位置で渡された引数を参照するためにアルゴリズム手順内で用いることができる別名の、順序付きかつコンマ区切りの列によって、明示的にパラメータ化されてよい。省略可能パラメータは、角括弧で囲むことで表される（[ , name ]）が、アルゴリズム手順内では必須パラメータと何ら異ならない。可変長パラメータはパラメータリストの末尾に現れてよく、先頭の省略記号（, ...name）によって示される。可変長パラメータは、必須および省略可能パラメータの後に与えられたすべての引数を List に取り込む。そのような追加引数が存在しない場合、その List は空である。

アルゴリズム手順は、順次的な下位手順に分割されてよい。下位手順はインデントされ、さらにその内部でより深い下位手順へ分割されてよい。アウトライン番号規約により、下位手順の第 1 レベルは小文字アルファベット、第 2 レベルは小文字ローマ数字で識別される。3 レベルを超える場合には、これらの規則が繰り返され、第 4 レベルでは数値ラベルが用いられる。たとえば、

最上位手順
1. 下位手順。
2. 下位手順。
  1. 下下位手順。
    1. 下下下位手順
      1. 下下下下位手順
        下下下下下位手順

手順または下位手順は、その下位手順の適用条件となる “if” 述語として書かれてよい。この場合、その述語が真であるときにのみ下位手順が適用される。手順または下位手順が “else” という語で始まる場合、それは同じレベルにある直前の “if” 述語手順の否定である述語となる。

手順は “For each” または “Repeat” で始まり、その下位手順の反復適用を指定してよい。

“Assert:” で始まる手順は、そのアルゴリズムの不変条件を表明する。そのような表明は、そうでなければ暗黙となるアルゴリズム上の不変条件を明示するために用いられる。同様に、“NOTE:” で始まる手順は、近接する手順に関連する文脈を提供する。Assert 手順および 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 抽象操作

この仕様の複数箇所での利用を容易にするために、一部のアルゴリズムは、abstract operation と呼ばれ、名前付きかつパラメータ化された関数形式で書かれる。これにより、他のアルゴリズム内から名前で参照できる。abstract operation は通常、OperationName(arg1, arg2) のような関数適用スタイルで参照される。一部の abstract operation は、クラス様の仕様抽象の多相ディスパッチされるメソッドとして扱われる。そのようなメソッド様 abstract operation は通常、someValue.OperationName(arg1, arg2) のようなメソッド適用スタイルで参照される。

5.2.3 構文指向操作

syntax-directed operation とは、その定義が ECMAScript 文法のいずれかの 1 つ以上の production に関連付けられたアルゴリズム群から成る名前付き操作である。複数の代替定義を持つ production には、通常、各代替ごとに別個のアルゴリズムがある。アルゴリズムが文法 production に関連付けられている場合、それはその production 代替の terminal 記号および nonterminal 記号を、あたかもアルゴリズムのパラメータであるかのように参照してよい。このように用いられるとき、nonterminal 記号は、ソーステキスト解析時に一致した実際の代替定義を参照する。文法 production、またはそれから導出された Parse Node に一致するソーステキストとは、その一致に関与した最初の terminal の先頭から、最後の terminal の末尾までのソーステキスト部分である。

アルゴリズムが production の代替に関連付けられている場合、その代替は通常、いかなる “[ ]” 文法注釈も付けずに示される。そのような注釈は代替の構文的認識にのみ影響し、代替に関連付けられた意味論には影響しない。

syntax-directed operation は、parse node と、任意でその他のパラメータを用いて、以下のアルゴリズムの手順 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".

明示的に別段の指定がない限り、すべての chain production は、その production の left-hand side nonterminal に適用されうるあらゆる operation について暗黙の定義を持つ。暗黙の定義は、同じ operation を、同じパラメータがあるならそれとともに、その chain production の唯一の right-hand side nonterminal に再適用し、その結果を返すだけである。たとえば、あるアルゴリズムに “Return Evaluation of Block” という形式の手順があり、かつ次の production があるとする。

Block

{

}

しかし Evaluation operation がその production にアルゴリズムを関連付けていない場合、そのとき Evaluation operation には暗黙的に次のような関連付けが含まれる。

Runtime Semantics: Evaluation

Block

{