modality-lang 0.1.6

Modality language lib
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

pub mod ast;
pub mod lexer;
pub mod lalrpop_parser;
pub mod mermaid;
pub mod wasm;
pub mod model_checker;

// Include the generated parser
use lalrpop_util::lalrpop_mod;
lalrpop_mod!(pub grammar);

pub use lalrpop_parser::{parse_file_lalrpop, parse_content_lalrpop, parse_all_models_lalrpop, parse_all_models_content_lalrpop, parse_all_formulas_content_lalrpop};
pub use ast::{Model, Graph, Transition, Property, PropertySign, Formula, FormulaExpr, GraphState};
pub use mermaid::{generate_mermaid_diagram, generate_mermaid_diagrams, generate_mermaid_diagram_with_styling, generate_mermaid_diagram_with_state};
pub use model_checker::{ModelChecker, State, ModelCheckResult};

// Re-export the generated parser
pub use grammar::ModelParser;
pub use grammar::FormulaParser;
pub use grammar::TopLevelParser;