chandeliers_syn/
lib.rs

1//! Common entry point for the proc macros of the Chandeliers suite,
2//! provides parsing for all Lustre constructs and translation to the
3//! analysable AST of `chandeliers-san`
4//!
5//! The structure of the AST is not stable because the grammar of
6//! the parseable fragment of Lustre could very well be extended later.
7
8#![feature(lint_reasons)]
9#![warn(
10    missing_docs,
11    unused_crate_dependencies,
12    unused_macro_rules,
13    variant_size_differences,
14    clippy::allow_attributes,
15    clippy::allow_attributes_without_reason,
16    clippy::expect_used,
17    clippy::indexing_slicing,
18    clippy::missing_docs_in_private_items,
19    clippy::multiple_inherent_impl,
20    clippy::panic,
21    clippy::pedantic,
22    clippy::str_to_string,
23    clippy::unreachable,
24    clippy::unwrap_used,
25    clippy::use_debug
26)]
27
28pub(crate) mod ast;
29pub use ast::Prog;
30
31pub mod translate;
32
33mod test;