Budowanie własnego kompilatora C# za pomocą ANTLR: Compilation Unit

Question

// Utworzenie skanera odczytującego ze strumienia wejściowego przekazanego nam CSLexer lexer = nowy CSLexer (nowy ANTLRFileStream (f)); tokens.TokenSource = lexer;

// Create a parser that reads from the scanner 
CSParser parser = new CSParser(tokens); 

// start parsing at the compilationUnit rule 
CSParser.compilation_unit_return x = parser.compilation_unit(); 
object ast = x.Tree; 

Co mogę zrobić z X, który jest typu compilation_unit_return, aby wydobyć swoje korzenie, swoje zajęcia, swoje metody etc? Czy muszę wyodrębnić jego adapter? Jak mogę to zrobić? Zauważ, że compilation_unit_return jest zdefiniowany jako taki w moim CSParser (który jest automatycznie generowany przez antlr):

public class compilation_unit_return : ParserRuleReturnScope 
    { 
     private object tree; 
     override public object Tree 
     { 
      get { return tree; } 
      set { tree = (object) value; } 
     } 
    }; 

Jednak drzewo Dostaję jest obiektem typu. Używam debuggera i wydawało mi się, że jest on typu BaseTree. Ale BaseTree to interfejs! Nie wiem, w jaki sposób odnosi się do BaseTree i nie wiem, jak wyodrębnić szczegóły z tego drzewa. Potrzebuję napisać odwiedzającego, który odwiedziłby jego klasę, metodę, zmienne ... Klasa ParserRuleReturn rozciąga się od RuleReturnScope i ma obiekt start i stop, którego nie wiem, co to jest ... Ponadto , istnieje klasa TreeVisitor dostarczona przez ANTLR, która wygląda na zagmatwaną. Wymaga to przekazania adaptera jako parametru do jego konstruktora (jeśli nie użyje domyślnego narzędzia CommonTreeAdaptor), to dlaczego zapytałem, w jaki sposób uzyskać adapter Earlera. I inne problemy też ... Dla API, możesz odnieść się do http://www.antlr.org/api/CSharp/annotated.html

Teraz jestem uderzony tutaj ... Jeśli wiesz cokolwiek, pls pomóc. Stukrotne dzięki.

Answer 1

Nie kiedykolwiek pracował z antlr z C#, ale po linku do API BaseTree jest wyraźnie nie interfejs - to class i ma właściwości publiczne: Type dostać rodzaj węzła, Text dostać (Zakładam) tekst źródłowy odpowiadający temu i Children, aby uzyskać węzły podrzędne. Czego jeszcze potrzebujesz?

Answer 2

Gdybym był zamiar zrobić C# kompilator dzisiaj, oto co bym zrobić spróbować jako pierwszą próbę:

1. start z ANTLR C# 3 cel (oczywiście jestem stronniczy tutaj - poważnie możesz użyć celu CSharp2 lub CSharp3).
2. Pobierz program Visual Studio 2010 z .NET Framework 4. Kluczem jest tutaj .NET 4 i jego nowe słodkie drzewa wyrażeń.
3. Utwórz podstawowy parser złożony. Umieść jak najmniej logiki w analizatorze składni jako absolutnie możliwe. Powinien mieć kilka (jeśli w ogóle) działań, a wyjście powinno być nieskażoną AST, którą można chodzić z LL (1) walkerem.
4. Zbuduj gramatykę drzewa, aby przejść drzewo i zidentyfikować wszystkie zadeklarowane typy. Powinien także zachować pod-drzewa member_declaration do późniejszego wykorzystania.
5. Zbuduj drzewo walker, który idzie jeden member_declaration i dodaje członka do TypeBuilder. Śledzić ciała metod, ale jeszcze ich nie chodź głęboko.
6. Zbuduj chodzik, który kroczy ciałem metody. Wygeneruj Expression<TDelegate> pasujące do metody i użyj własnego API (zobacz Pavel i moje komentarze), aby wygenerować kod IL.

Jeśli robić rzeczy, w tej kolejności, a następnie po pojawieniu się wreszcie parsowania wyrażeń (organy metoda, inicjalizatory pola), można użyć string Metody parametryzowane like this one w klasie Expression zapisać członkowie pracują rozwiązywania.

Answer 3

Można ustawić AST rodzaj drzewa w opcjach gramatycznych na początku pliku tak:

tree grammar CSharpTree; 
options { 
    ASTLabelType = CommonTree 
} 

Chciałbym zbudować 3rd gramatyki lub pracować go do istniejącej gramatyki parser, który zamienia drzewo w klasy, które tworzysz. Załóżmy na przykład, że masz regułę, która pasuje do operatora plus i ma 2 argumenty. Można zdefiniować reguły dopasowania to drzewo, które tworzy klasę które zostały napisane, nazwijmy to PlusExpression tak:

plusExpr returns [PlusExpression value] 
    : ^(PLUS left=expr right=expr) { $value = new PlusExpression($left.value, $right.value); } 

wyrażenie byłaby inna reguła w gramatykę dopasowywania wyrażeń. left i right są po prostu aliasami przypisanymi do wartości drzewiastych. Część pomiędzy {} jest prawie całkowicie zamieniona na kod C# dosłownie, z wyjątkiem zastąpienia odniesień zmiennych. Właściwość .value poza $ left i $ right pochodzi z powrotu określonego poza regułami, z których zostały utworzone.