カバー文法
「あいまい」なトークン列を構文的に効率よく検証するためのテクニックとその文法。
ECMAScriptはfinite lookaheadではトークンを一意に確定できない場合、意図的に緩い生成規則を使うことでパース時の曖昧さをなくし、再検証によって構文的な正しさを保証する。
note:
カバー文法という呼び方はドキュメントにないもの
一般にsupplemental syntaxのことをカバー文法と呼称しているのか、それとも相補的な2つを指してカバー文法と読んでいるのか。
"the N that is covered by P"というため、coverの主語Productionがカバー文法?
関連プルリクを見ればわかるかなと探ってみましたが、対象が巨大すぎてターミナルが落ちました
git log -L555,555:spec.html --full-history --pretty=oneline --date-order