Skip to main content

Crate oak_csharp

Crate oak_csharp 

Source
Expand description

ยง๐Ÿ› ๏ธ C# Parser Developer Guide

C# support for the Oak language framework.

This crate provides lexing, parsing, and AST building for the C# language, integrated into the Oak ecosystem. It supports modern C# features including namespaces, classes, structs, records, and more.

This guide is designed to help you quickly get started with developing and integrating oak-csharp.

ยง๐Ÿšฆ Quick Start

Add the dependency to your Cargo.toml:

[dependencies]
oak-csharp = { path = "..." }

ยงBasic Parsing Example

The following is a standard workflow for parsing modern C# with records, LINQ, and primary constructors:

use oak_csharp::{CsharpParser, SourceText, CsharpLanguage};

fn main() {
    // 1. Prepare source code
    let code = r#"
        using System;
        using System.Linq;

        namespace Oak.Core;

        public record User(string Id, string Name);

        public class UserService(ILogger logger) {
            private readonly List<User> _users = [];

            public async Task<User?> GetUserAsync(string id) {
                logger.LogInformation("Getting user {Id}", id);
                return _users.FirstOrDefault(u => u.Id == id);
            }
        }
    "#;
    let source = SourceText::new(code);

    // 2. Initialize parser
    let config = CsharpLanguage::new();
    let parser = CsharpParser::new(&config);

    // 3. Execute parsing
    let result = parser.parse(&source);

    // 4. Handle results
    if result.is_success() {
        println!("Parsing successful! AST node count: {}", result.node_count());
    } else {
        eprintln!("Errors found during parsing.");
        for diag in result.diagnostics() {
            println!("[{}:{}] {}", diag.line, diag.column, diag.message);
        }
    }
}

ยง๐Ÿ” Core API Usage

ยง1. Syntax Tree Traversal

After a successful parse, you can use the built-in visitor pattern or manually traverse the Green/Red Tree to extract C# specific constructs like records, primary constructors, async methods, LINQ expressions, and attributes.

ยง2. Incremental Parsing

C# solutions can contain thousands of files. oak-csharp supports sub-millisecond incremental updates:

// Re-parse only the modified section
let new_result = parser.reparse(&new_source, &old_result);

ยง3. Roslyn Compatibility

While built in Rust, the architecture is inspired by Roslyn (Green/Red Trees), making it familiar for developers coming from the .NET ecosystem and enabling high-performance analysis tools.

ยง๐Ÿ—๏ธ Architecture Overview

  • Lexer: Tokenizes C# source text, supporting verbatim strings, interpolated strings, raw string literals, and various numeric formats.
  • Parser: A high-performance syntax analyzer that handles C#โ€™s complex grammar, including modern 12.0+ features and legacy constructs.
  • AST: A strongly-typed, lossless syntax tree that preserves all trivia (comments/whitespace) for refactoring and formatting tools.

ยง๐Ÿ”— Advanced Resources

  • Full Examples: Check the examples/ folder in the project root.
  • API Documentation: Run cargo doc --open for detailed type definitions.
  • Test Cases: See tests/readme.md for handling of various C# versions and edge cases.

Re-exportsยง

pub use ast::CSharpRoot;
pub use builder::CSharpBuilder;
pub use language::CSharpLanguage;
pub use lexer::CSharpLexer;
pub use lexer::token_type::CSharpTokenType;
pub use parser::CSharpParser;
pub use parser::element_type::CSharpElementType;

Modulesยง

ast
AST module containing high-level C# syntax tree definitions.
builder
Builder module for converting green trees into high-level AST nodes. Builder implementation for C# that converts the green tree into a high-level AST.
language
Language definition and configuration for C#.
lexer
Lexer implementation for C#.
parser
Parser implementation for C#. Parser implementation for the C# language.

Functionsยง

parse
Parses C# source code into a CSharpRoot AST.