17 エラー処理と言語拡張

実装は、関連する ECMAScript 言語構文が評価される時点で、ほとんどのエラーを報告しなければなりません。早期エラーとは、エラーを含む Script 内のいずれの構文も評価される前に検出して報告できるエラーです。早期エラーが存在すると、その構文は評価されません。実装は、ParseScript でその Script を構文解析する一環として、Script 内の早期エラーを報告しなければなりません。Module 内の早期エラーは、その Module が評価される時点で報告され、Module は決して初期化されません。eval コード内の早期エラーは eval が呼び出された時点で報告され、eval コードの評価を妨げます。早期エラーでないすべてのエラーは実行時エラーです。

実装は、この仕様の「Static Semantics: 早期エラー」副節に列挙されている条件が発生した場合、それを早期エラーとして報告しなければなりません。

コンパイラーが、ある構文がいかなる状況でもエラーなしに実行できないことを証明できる場合であっても、実装はその他の種類のエラーを早期エラーとして扱ってはなりません。そのような場合、実装は早期警告を出してもかまいませんが、関連する構文が実際に実行されるまではエラーを報告するべきではありません。

実装は、次の場合を除いて、規定どおりにすべてのエラーを報告しなければなりません。

17.1 で制限されている場合を除き、ホストまたは実装は Script 構文、Module 構文、および正規表現パターンまたはフラグ構文を拡張してもかまいません。これを可能にするため、SyntaxError をスローすることが許可されているすべての操作（eval の呼出し、正規表現リテラルの使用、Function または RegExp コンストラクターの使用など）は、スクリプト構文または正規表現パターンもしくはフラグ構文に対するホスト定義の拡張に遭遇した場合、SyntaxError をスローする代わりにホスト定義の動作を示すことが許可されます。
17.1 で制限されている場合を除き、ホストまたは実装は、この仕様で説明されているものに加えて、追加の型、値、オブジェクト、プロパティ、および関数を提供してもかまいません。これにより、構文（グローバルスコープで変数を検索する場合など）が、エラー（ReferenceError など）をスローする代わりにホスト定義の動作を示す場合があります。

17.1 禁止される拡張

実装は、次の方法でこの仕様を拡張してはなりません。

strict モードコード内で構文上のコンストラクターを使用して定義された ECMAScript 関数オブジェクトには、"caller" または "arguments" という名前の独自プロパティを作成してはなりません。このような独自プロパティは、定義が strict モードコードに含まれているかどうかにかかわらず、ArrowFunction、MethodDefinition、GeneratorDeclaration、GeneratorExpression、AsyncGeneratorDeclaration、AsyncGeneratorExpression、ClassDeclaration、ClassExpression、AsyncFunctionDeclaration、AsyncFunctionExpression、または AsyncArrowFunction を使用して定義された関数オブジェクトについても作成してはなりません。組込み関数、Function コンストラクターを使用して作成された strict 関数、Generator コンストラクターを使用して作成されたジェネレーター関数、AsyncFunction コンストラクターを使用して作成された async 関数、および bind メソッドを使用して作成された関数についても、このような独自プロパティを作成してはなりません。
実装が任意の関数オブジェクトを "caller" という名前の独自プロパティで拡張する場合、[[Get]] または [[GetOwnProperty]] を使用して観測されるそのプロパティの値は strict 関数オブジェクトであってはなりません。それがアクセサープロパティである場合、そのプロパティの [[Getter]] 属性の値である関数は、呼び出されたときに strict 関数を決して返してはなりません。
mapped arguments オブジェクトも unmapped arguments オブジェクトも、"caller" という名前の独自プロパティを持つように作成してはなりません。
toLocaleString という名前のものなど、ECMA-402 で規定されている組込みメソッドの動作は、ECMA-402 で規定されている場合を除いて拡張してはなりません。
22.2.1 および B.1.2 の RegExp パターン文法は、_{[UnicodeMode]} 文法パラメーターが存在する場合に、ソース文字 A-Z または a-z のいずれかを IdentityEscape[+UnicodeMode] として認識するように拡張してはなりません。
構文文法は、BindingIdentifier 非終端記号に一致するソーステキストの直後にトークン : が続くことを許可するような方法で拡張してはなりません。
strict モードコードを処理するとき、実装は 12.9.3.1 の早期エラー規則を緩和してはなりません。
TemplateEscapeSequence を、12.9.4 で定義される LegacyOctalEscapeSequence または NonOctalDecimalEscapeSequence を含むように拡張してはなりません。
strict モードコードを処理するとき、B.3.1、B.3.2、B.3.3、および B.3.5 で定義される拡張をサポートしてはなりません。
Module 目標記号に対して構文解析するとき、B.1.1 で定義される字句文法拡張をサポートしてはなりません。
ImportCall を拡張してはなりません。