5 記法規則

)

は、非終端記号WhileStatementが、whileトークン、左括弧トークン、Expression、右括弧トークン、Statementの並びを表すことを示します。ExpressionやStatementはそれ自体非終端記号です。別の例として、構文定義：

は、ArgumentListが、単一のAssignmentExpressionまたは、ArgumentListの後にカンマとAssignmentExpressionが続く場合のいずれかを表すことを示します。このArgumentListの定義は再帰的であり、自己参照によって任意個数の引数（各引数式はAssignmentExpression）をカンマ区切りで持つことができます。このような非終端記号の再帰定義はよく使われます。

5.1.5.3 省略可能記号

終端記号や非終端記号の後に「_opt」という下付き文字が付く場合、省略可能記号を表します。省略可能記号を含む選択肢は、実際には省略要素なしとありの2つの右辺を指定します。つまり：

opt

は、次の省略表記です：

また、次の：

for

(

opt

;

opt

)

は、次の省略表記です：

ForStatement

for

(

;

opt

)

for

(

;

opt

)

さらに、次の省略表記です：

ForStatement

for

(

;

)

for

(

;

)

for

(

;

)

for

(

;

)

つまり、この例では非終端記号ForStatementは実際には4つの右辺選択肢を持ちます。

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のいずれかの要素が直後のトークン並びの接頭辞である場合のみ利用できます。簡便のため、setを非終端記号として書くこともでき、その場合はその非終端記号が展開できるすべてのトークン並びの集合を表します。非終端記号が無限個の異なるトークン並びに展開できる場合、編集上の誤りとされます。

これらの条件は否定できます。「[lookahead ≠ seq]」は、seqが直後の入力トークン並びの接頭辞でない場合のみ利用できることを意味し、「[lookahead ∉ set]」は、setのいずれの要素も直後のトークン並びの接頭辞でない場合のみ利用できます。

例として、次の定義を考えます：

one of

次の定義：

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

DecimalDigits

DecimalDigit

[lookahead ∉ DecimalDigit]

は、アルファベットnの後に1つ以上の10進数字が続き、その最初が偶数である場合、または10進数字の後にさらに数字が続かない場合にマッチします。

これらの句が構文文法で使われる場合、直後のトークン並びを一意に特定できない可能性があることに注意してください。後続トークンの決定には後続位置で使う字句ゴール記号の選択が必要となるためです。したがって、構文文法でこれらを使う場合、seqのトークン並びが先読み制約（集合の一部としても）に現れ、字句ゴール記号の選択によって接頭辞となるかどうかが変わる場合、編集上の誤りとされます。

5.1.5.8 [no LineTerminator here]

構文文法の生成式の右辺に「[no LineTerminator here]」と記されている場合、その生成式は制限生成式であり、指定された位置にLineTerminatorが入力ストリームに現れると利用できません。例えば、次の生成式：

ThrowStatement

throw

[no LineTerminator here]

;

は、throwトークンとExpressionの間にLineTerminatorが現れる場合、生成式を利用できないことを示します。

制限生成式でLineTerminatorの存在が禁止されていない限り、入力要素ストリームの任意の2つの連続トークンの間に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)を付けたrestパラメータを指定できます。restパラメータは、必須・省略可能パラメータの後に渡された全ての引数をListにまとめて受け取ります。追加の引数がない場合、そのListは空です。

アルゴリズムの手順は、順序付きのサブステップに分割できます。サブステップはインデントされ、さらにインデントされたサブステップに分割することもできます。アウトライン番号付け規則により、最初のサブステップは小文字アルファベット、次のレベルは小文字ローマ数字でラベル付けされます。3段階を超える場合は、4段階目で数字ラベルが使われ、以降繰り返します。例えば:

最上位の手順
1. サブステップ
2. サブステップ
  1. サブサブステップ
    1. サブサブサブステップ
      1. サブサブサブサブステップ
        サブサブサブサブサブステップ

手順やサブステップは、「if」条件で書かれており、サブステップは条件が真の時のみ適用されます。「else」で始まる場合は、同じ階層の直前の「if」手順の否定条件になります。

手順は、サブステップの反復適用を指定することがあります。

「Assert:」で始まる手順やサブステップは、そのアルゴリズムの不変条件を主張します。これらのアサートは、暗黙的なアルゴリズム不変性を明示するために使われます。アサートは追加の意味的要件を持たず、実装がチェックする必要はありません。アルゴリズムの明確化のためだけに使用されます。

アルゴリズム手順では、「Let x be someValue」の形式で任意の値に名前付きエイリアスを宣言できます。これらのエイリアスは参照のようなもので、xとsomeValueは同じデータを参照し、どちらかを変更すると両方に反映されます。参照的挙動を避けたい場合は、「Let x be a copy of someValue」と明示的にコピーを作成することもできます。

エイリアスは宣言後の任意の手順で参照できますが、宣言より前の手順では参照できません。エイリアスは「Set x to someOtherValue」の形式で変更できます。

5.2.1 抽象操作

この仕様の複数箇所で利用しやすくするために、あるアルゴリズム（抽象操作）は名前付き・パラメータ化された関数形式で記述され、他のアルゴリズムから名前で参照できるようになっています。抽象操作は通常、OperationName(arg1, arg2)のような関数呼び出し形式で参照されます。一部の抽象操作は、クラスライクな仕様抽象のメソッドとして多態的に呼び出されます。メソッドライク抽象操作は、someValue.OperationName(arg1, arg2)のようなメソッド呼び出し形式で参照されます。

5.2.2 構文指示操作

構文指示操作は、名前付き操作であり、その定義は複数のアルゴリズムからなり、それぞれがECMAScript文法の1つ以上の生成式に関連付けられています。生成式が複数の代替定義を持つ場合、各代替ごとに異なるアルゴリズムがあることが多いです。アルゴリズムが文法生成式に関連付けられている場合、生成式代替の終端記号や非終端記号をアルゴリズムのパラメータのように参照できます。この場合、非終端記号は、ソーステキストを構文解析したときにマッチした実際の代替定義を参照します。文法生成式やそこから導出される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".

明示的な記載がない限り、すべての連鎖生成式には、その生成式の左辺非終端記号に適用される可能性のあるすべての操作の暗黙定義があります。暗黙定義は、同じ操作を同じパラメータ（あれば）で連鎖生成式の唯一の右辺非終端記号に再適用し、その結果を返すだけです。たとえば、あるアルゴリズムに「Return Evaluation of Block」という手順があり、次の生成式があるとします:

Block

{

}

Evaluation操作がその生成式にアルゴリズムを関連付けていない場合、Evaluation操作には次のような暗黙の関連付けが含まれます:

実行時意味論: Evaluation

Block

{