modality_lang/
lib.rs

1pub mod ast;
2pub mod lexer;
3pub mod lalrpop_parser;
4pub mod mermaid;
5pub mod wasm;
6pub mod model_checker;
7
8// Include the generated parser
9use lalrpop_util::lalrpop_mod;
10lalrpop_mod!(pub grammar);
11
12pub use lalrpop_parser::{parse_file_lalrpop, parse_content_lalrpop, parse_all_models_lalrpop, parse_all_models_content_lalrpop, parse_all_formulas_content_lalrpop};
13pub use ast::{Model, Graph, Transition, Property, PropertySign, Formula, FormulaExpr, GraphState};
14pub use mermaid::{generate_mermaid_diagram, generate_mermaid_diagrams, generate_mermaid_diagram_with_styling, generate_mermaid_diagram_with_state};
15pub use model_checker::{ModelChecker, State, ModelCheckResult};
16
17// Re-export the generated parser
18pub use grammar::ModelParser;
19pub use grammar::FormulaParser;
20pub use grammar::TopLevelParser;