Chandeliers-Syn

Lustre的语法。

在这个包中，我们描述了Lustre程序的解析AST。这个AST不打算直接使用，而是应该转换成更方便静态分析的AST。

如何获取解析AST以及如何使用它

模块ast的所有类型都实现了syn::parse::Parse，因此可以从任何符合syn预期结构的令牌流中解析。

在过程宏内部典型用法如下

use chandeliers_syn::ast::Prog;
use proc_macro::TokenStream;

#[proc_macro]
pub fn get_and_handle_ast(input: TokenStream) -> TokenStream {
    let prog: Prog = syn::parse_macro_input!(input as Prog);
    // now you have a `Prog`, you can e.g.
    // `Prog::translate` it to get something that can be used by
    // Chandeliers' sanitizer.
}

lib.rs:

Chandeliers套件过程宏的通用入口点，提供对所有Lustre结构的解析，并将其转换为chandeliers-san可分析的AST

AST的结构不稳定，因为Lustre可解析片段的语法可能会在以后扩展。