抽象構文木の一部を設計するには？

Question

私はC＃インタープリタを学習体験のためにゼロから作成していますが、これまでのところすべてがスムーズに行われています。私はすべての種類のトークンをパーサーに出力する、完全に機能するC＃レクサーを持っています。どのようにトークンを解析するのかは分かりますが、どのようにAST（抽象構文ツリー）を構造化すべきかはわかりません。

たとえば、私は簡単なコードの断片がある場合：

using System.Xml; 

ツリーが解析されたときのように何を見てでしょうか？

このようにします。

UsingDirective 
    Identifier(System) 
     Identifier(Xml) 

などですか？

UsingDirective 
    Identifier(System) 
    Identifier(Xml) 

私は/他/ else文は、1つのステートメントで組み合わせた変数の宣言/代入（I int型ならばならば、私は、彼らにドットでの識別子のようなものを構築できる方法をいくつかの提案および/または例を得ることができれば= 0;）、関数の定義などに役立ちます。私はちょうど木をどのように構造化するかのより良い考えを得る必要があり、私は自分自身で残りの部分を把握することができます。ありがとう。

Answer 1

私は過去にパーサのカップルを書いた、と私は一般的にこのような何かのために行くだろう：Roslynのとは異なり、このusing System.Collections.Generic

UsingDirective 
    IdentifierList 
     IdentifierList (LeftNode) 
      Identifier (LeftNode) (System) 
      Identifier (RightNode) (Collections) 
     Identifier (RightNode) (Generic) 

の場合

UsingDirective 
    IdentifierList 
    Identifier (LeftNode) (System) 
    Identifier (RightNode) (Xml) 

、私は好みますセミコロンなどのトークンを含まないことで私のASTを軽く保ちます。usingキーワードなどはコンパイラには必要ありません。

私は特にIDEのために書いたパーサーは違って見えます - この余分なものは、行番号や列番号などのより多くの情報とともに持ち歩きます。

Answer 2

MicrosoftがRoslynでこれをやっている様子を見ることができます。 C＃（とVB.NET）の構文木はどのように宣言されているのでしょうか？また、あなたが書く前にインタプリタの部分の代わりにそれを使用することもできます。

具体的には、あなたのusingディレクティブのロザリン構文木は、次のようになります。2番目のバージョンに似ていますが、より詳細なので

UsingDirective 
    UsingKeyword 
    QualifiedName 
     IdentifierName (System) 
     DotToken 
     IdentifierName (Xml) 
    SemicolonToken 

、。

あなたの最初のバージョンはあまり意味がないと思います。 Xmlは構文レベルでSystemの子ではありません（意味レベルで後で "親の名前空間"という概念を持つかもしれませんが）。