추상 구문 트리의 일부를 설계하는 방법은 무엇입니까?

Question

저는 학습 경험을 위해 처음부터 C# 인터프리터를 작성하고 있으며, 지금까지 모든 것이 원활하게 진행되었습니다. 모든 종류의 토큰을 파서에 출력하는 완전한 기능을 갖춘 C# 렉서가 있습니다. 토큰을 파싱 할 방법을 알고 있지만 AST (추상 구문 트리)를 어떻게 구성해야할지 모르겠습니다.

예를 들어, 나는 간단한 코드 조각이있는 경우 :

using System.Xml; 

나무가 구문 분석 할 때처럼 무엇을 보일 것입니까?

좋아요?

UsingDirective 
    Identifier(System) 
     Identifier(Xml) 

또는 이와 유사합니까?

UsingDirective 
    Identifier(System) 
    Identifier(Xml) 

I은 ​​/ 다른/다른 문이, 하나 개의 문장으로 결합 변수 선언/할당 (I를 int로하면 만약 내가 그들에 점으로 식별자 등을 구조화 수있는 방법에 대한 몇 가지 제안 및/또는 예를 얻을 수 있다면 = 0;), 함수 정의 등이 도움이 될 것입니다. 나는 나무를 어떻게 구성하는지 더 잘 이해할 필요가 있고, 나머지는 직접 알아낼 수 있습니다. 감사.

Answer 1

나는 과거에 파서의 몇 가지를 작성했습니다, 나는 일반적으로 같은 뭔가를 갈 것입니다 : 내가 선호하는

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

로슬린 달리이 using System.Collections.Generic

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

의 경우 컴파일러는 그들을 필요로하지 않기 때문에 세미콜론 같은 토큰을 포함하지 않음으로써 내 AST를 밝게 유지합니다. using 키워드 등.

내가 특별히 IDE 용으로 작성한 파서는 다르게 보입니다. 라인과 열 번호와 같은 더 많은 정보와 함께이 모든 여분의 것들을 가지고 있습니다.

Answer 2

당신은 Microsoft가 Roslyn과 함께 이것을 어떻게하는지 볼 수 있습니다. 거기에서 C# (및 VB.NET)의 구문 트리를 어떻게 선언했는지를 알 수 있었을 것입니다. 작성하기 전에 인터프리터의 일부 대신 사용할 수도 있습니다.

특히, 당신의 using 지침에 대한 로슬린 구문 나무는 다음과 같습니다 : 두 번째 버전과 유사하지만, 더 자세한 그래서

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

.

나는 첫 번째 버전이별로 의미가 없다고 생각합니다. Xml은 문법적 수준에서 System의 하위 항목이 아닙니다 (나중에 의미 론적 수준에서 "부모 네임 스페이스"개념을 가질 수도 있음).