Dịch mã C# sang AST?

Question

Hiện tại, có thể dịch mã C# thành một cây cú pháp trừu tượng không?

Chỉnh sửa: một số làm rõ; Tôi không nhất thiết mong đợi trình biên dịch tạo ra AST cho tôi - một trình phân tích cú pháp sẽ ổn, mặc dù tôi muốn sử dụng một cái gì đó "chính thức". Lambda biểu hiện là tiếc là sẽ không đủ cho họ không cho phép tôi sử dụng các cơ quan tuyên bố, đó là những gì tôi đang tìm kiếm.

Answer 1

Dự án Roslyn nằm trong Visual Studio 2010 và cung cấp cho bạn quyền truy cập có lập trình vào Syntax Tree, trong số những thứ khác.

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

Answer 2

Kiểm tra hỗ trợ .NET CodeDom. Có một bài viết cũ về dự án mã cho một C# CodeDOM parser, nhưng nó sẽ không hỗ trợ các tính năng ngôn ngữ mới.

Cũng có nghĩa vụ phải hỗ trợ trong #develop để tạo cây CodeDom từ mã nguồn C# theo số posting này.

Answer 3

Vui lòng xem dự án R # (xin lỗi tài liệu bằng tiếng Nga, nhưng có một số ví dụ về mã). Nó cho phép các thao tác AST trên mã C#. SVN

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

dự án là here: (URL cập nhật, cảm ơn, derigel)

Cũng xin vui lòng xem ngôn ngữ Nemerle. Nó là một ngôn ngữ .Net với sự hỗ trợ mạnh mẽ cho lập trình meta.

Answer 4

Hiện tại, bạn có thể dịch mã C# thành Cây cú pháp trừu tượng không?

Vâng, trivially trong những hoàn cảnh đặc biệt (= bằng cách sử dụng mới Expressions framework):

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

Điều này tạo ra một cây biểu thức lambda, tức là một chức năng thực thi một int và trả lại gấp đôi. Bạn có thể sửa đổi các cây biểu hiện bằng cách sử dụng khuôn khổ Expressions (= các lớp từ trong không gian tên đó) và sau đó biên dịch nó ở thời gian chạy:

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 

Chú ý rằng tất cả các biểu thức là không thay đổi nên họ phải được xây dựng một lần nữa bởi thành phần. Trong trường hợp này, tôi đã thêm vào trước một bổ sung 1.

Lưu ý rằng các cây biểu thức này chỉ hoạt động trên các biểu thức thực tế tức là nội dung được tìm thấy trong hàm C#. Bạn không thể nhận được các cây cú pháp cho các cấu trúc cao hơn như các lớp theo cách này. Sử dụng khung công tác CodeDom cho chúng.

Answer 5

Dường như loại chức năng này sẽ được bao gồm với bất kỳ điều gì đến sau C# 4, theo số Anders Hejlsberg's 'Future of C#' PDC video.

Answer 6

ANTLR Parser Generator có ngữ pháp cho C# 3.0 bao gồm mọi thứ ngoại trừ cú pháp LINQ.

Answer 7

C# front end for DMS phân tích cú pháp đầy đủ C# 3.0 của chúng tôi bao gồm LINQ và tạo AST. DMS trên thực tế là một hệ sinh thái để phân tích/chuyển đổi mã nguồn bằng cách sử dụng AST cho các langauges được cung cấp trước.

EDIT 3/10/2010: ... Bây giờ xử lý đầy đủ C# 4.0

EDIT: 2014/06/27: Xử lý C# 5.0 từ khá sớm.

CHỈNH SỬA: 15/6/2016: Xử lý C# 6.0. Xem https://stackoverflow.com/a/37847714/120163 để biết mẫu AST.

Answer 8

ANTLR không hữu ích. LINQ không phải là những gì bạn muốn.

Hãy thử Mono.Cecil! http://www.mono-project.com/Cecil

Nó được sử dụng trong nhiều dự án, bao gồm NDepend! http://www.ndepend.com/

Answer 9

Tôi vừa trả lời trên thread khác ở đây tại StackOverflow một giải pháp mà tôi đã thực hiện một API để create and manipulate AST from C# Source Code

Answer 10

Có rất nhiều mạnh mẽ hơn R # dự án. Nemerle.Peg:

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

Và nó có C# Parser mà parsers tất cả các mã C# và chuyển nó thành AST!

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

Bạn có thể tải về cài đặt ở đây: https://code.google.com/p/nemerle/

Answer 11

Đó là kỳ lạ mà không ai gợi ý hack Mono biên dịch C# hiện có.

Answer 12

Cá nhân, tôi sẽ sử dụng NRefactory, đây là nguồn mở, miễn phí và phổ biến.