rumoca 0.7.28

Modelica compiler written in RUST
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

//! Analysis passes for the Modelica IR.
//!
//! This module contains read-only analysis passes that examine the IR
//! without modifying it, as well as supporting data structures.

pub mod check_visitor;
pub mod condition_finder;
pub mod reference_checker;
pub mod state_finder;
pub mod symbol_table;
pub mod symbol_trait;
pub mod symbols;
pub mod type_checker;
pub mod type_inference;
pub mod var_validator;

// Re-export the SymbolInfo trait for convenience
pub use symbol_trait::SymbolInfo;

// Re-export semantic checking utilities
pub use check_visitor::{CheckConfig, check_semantic, check_semantic_with_types};