Chandeliers-Syn

Syntax of Lustre.

In this crate we describe the parsing AST of Lustre programs. This AST is not meant to be used directly, instead it should be translated into one that is more convenient for static analysis.

How to obtain a parsing AST and what to do with it

All types of the module ast implement syn::parse::Parse, so they can be parsed from any stream of tokens that conforms to the structure expected by syn.

The typical usage inside a proc macro would be like:

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:

Common entry point for the proc macros of the Chandeliers suite, provides parsing for all Lustre constructs and translation to the analysable AST of chandeliers-san

The structure of the AST is not stable because the grammar of the parseable fragment of Lustre could very well be extended later.