Przetłumaczyć kod C# na AST?

Question

Czy obecnie możliwe jest przetłumaczenie kodu C# na drzewo składni abstrakcyjnej?

Edytuj: niektóre wyjaśnienia; Niekoniecznie oczekuję, że kompilator wygeneruje dla mnie AST - parser będzie w porządku, chociaż chciałbym użyć czegoś "oficjalnego". Wyrażenia lambdy nie będą niestety wystarczające, ponieważ nie pozwalają mi na użycie ciał zdań, czego właśnie szukam.

Answer 1

Projekt Roslyn jest w Visual Studio 2010 i daje programowy dostęp do Syntax Tree, między innymi.

SyntaxTree tree = SyntaxTree.ParseCompilationUnit(
    @" C# code here "); 
var root = (CompilationUnitSyntax)tree.Root; 

Answer 2

Sprawdź obsługę .NET CodeDom. Istnieje stary artykuł na temat projektu kodu dla C# CodeDOM parser, ale nie będzie on obsługiwał nowych funkcji językowych.

Należy również obsługiwać w #develop do generowania drzewa CodeDom z kodu źródłowego C# zgodnie z tym posting.

Answer 3

Proszę zobaczyć projekt R # (przepraszam, że dokumenty są w języku rosyjskim, ale jest kilka przykładów kodu). Pozwala to na manipulacje AST przy użyciu kodu C#. SVN

http://www.rsdn.ru/projects/rsharp/article/rsharp_mag.xml

projektu jest here: (URL aktualizowane, dzięki derigel)

Także proszę zobaczyć języka Nemerle. Jest to język .Net z silnym wsparciem dla metaprogramowania.

Answer 4

Czy jest obecnie możliwe przetłumaczenie kodu C# na drzewo składni abstrakcyjnej?

Tak, trywialnie w szczególnych okolicznościach (= stosując nowy Expressions framework):

// Requires 'using System.Linq.Expressions;' 
Expression<Func<int, int>> f = x => x * 2; 

Stwarza to drzewa wyrażenie dla lambda, to znaczy funkcja bierze się int i powracający podwójne. Można zmodyfikować drzewa wyrażenie za pomocą ramy wyrażenia (= klas od w tej przestrzeni nazw), a następnie skompilować go w czasie wykonywania:

var newBody = Expression.Add(f.Body, Expression.Constant(1)); 
f = Expression.Lambda<Func<int, int>>(newBody, f.Parameters); 
var compiled = f.Compile(); 
Console.WriteLine(compiled(5)); // Result: 11 

Zauważ, że wszystkie wyrażenia są niezmienne więc muszą być budowane na nowo kompozycja. W tym przypadku dodałem 1.

Zauważ, że te drzewa wyrażeń działają tylko w przypadku wyrażeń rzeczywistych, czyli treści znalezionych w funkcji C#. Nie można uzyskać drzewek składni wyższych konstrukcji, takich jak klasy w ten sposób. Użyj do tego struktury CodeDom.

Answer 5

Wygląda na to, że tego rodzaju funkcjonalność będzie dołączona do wszystkiego, co pojawi się po C# 4, zgodnie z Anders Hejlsberg's 'Future of C#' PDC video.

Answer 6

Gramatura dla języka C# 3.0, która obejmuje wszystko oprócz składni LINQ.

Answer 7

Nasz C# front end for DMS parsuje pełne C# 3.0, w tym LINQ i produkuje AST. DMS w rzeczywistości jest ekosystemem do analizy/transformacji kodu źródłowego przy użyciu AST dla dostarczanych interfejsów front-end.

EDIT 10.03.2010: ... Teraz obsługuje pełny C# 4.0

EDIT: 27.06.2014: Uchwyty C# 5.0 od dość chwilę.

EDYCJA: 6/15/2016: Obsługuje C# 6.0. Zobacz https://stackoverflow.com/a/37847714/120163 dla próbki AST.

Answer 8

ANTLR nie jest zbyt przydatny. LINQ nie jest tym, czego potrzebujesz.

Wypróbuj Mono.Cecil! http://www.mono-project.com/Cecil

Jest używany w wielu projektach, w tym w NDepend! http://www.ndepend.com/

Answer 9

Właśnie odpowiedziało na innym wątku tutaj na StackOverflow rozwiązanie, gdzie wdrożył API create and manipulate AST from C# Source Code

Answer 10

Jest dużo mocniejszy niż R # projektu. Nemerle.Peg:

https://code.google.com/p/nemerle/source/browse/nemerle/trunk/snippets/peg-parser/

I ma C# parser Parser który cały kod C# i przekłada go do AST!

https://code.google.com/p/nemerle/source/browse/nemerle/trunk/snippets/csharp-parser/

instalator można pobrać tutaj: https://code.google.com/p/nemerle/

Answer 11

To dziwne, że nikt nie zaproponował hacking istniejącą Mono C# kompilator.

Answer 12

Osobiście używam NRefactory, który jest darmowy, open source i zyskuje popularność.