Как выглядит NullLiteral в виде дерева?

Question

Согласно В разделе ECMAScript specification7.8.1NullLiteral определяется следующим образом:

 
NullLiteral :: 
    null 

То, что я пытаюсь понять, как это представлено в виде дерева, когда NullLiteral включается в следующих производствах содержится в разделах 7.6.1 и 7.8.

 
ReservedWord :: 
    Keyword 
    FutureReservedWord 
    NullLiteral 
    BooleanLiteral 
Literal :: 
    NullLiteral 
    BooleanLiteral 
    NumericLiteral 
    StringLiteral 

Мое предположение о том, как это будет выглядеть так:

 
InputElementDiv 
    | 
    Token 
    | 
IdentifierName 
    | 
ReservedWord 
    | 
Literal 
    | 
NullLiteral 
    | 
    null 

Это просто не кажется мне правильным, хотя.

Примечание

Из моих исследований, кажется, что очень немногие компиляторы фактически генерируют СГП из грамматики языка. Я могу, конечно, понять, почему, но это упражнение для меня, поэтому я хочу получить это право, прежде чем перейти к более профессиональным средствам синтаксического анализа, например, с использованием генератора парсера.

Answer 1

Дерево, как показано не покрывается грамматике, потому, что не обеспечивает вывод из IdentifierName к ReservedWord, и он не предусматривает получения ReservedWord к Literal либо.

Производство на самом деле используется только для ограничения действительных значений IdentifierName, и это должно быть видно на лексическом уровне. Он не превращается в CST, где вы увидите только IdentifierName.

Контекст литерала ПервичноеВыражение, поэтому фрагмент реального CST может выглядеть следующим образом:

... 
    | 
PrimaryExpression 
    | 
Literal 
    | 
NullLiteral 
    | 
    null