plotnik_lib/analyze/validation/
mod.rs

1//! Semantic validation passes.
2//!
3//! Validates semantic constraints that aren't captured by parsing or type checking:
4//! - Alternation kind consistency (alt_kinds)
5//! - Anchor placement rules (anchors)
6//! - Empty constructs (empty_constructs)
7
8pub mod alt_kinds;
9pub mod anchors;
10pub mod empty_constructs;
11
12#[cfg(test)]
13mod alt_kinds_tests;
14#[cfg(test)]
15mod anchors_tests;
16#[cfg(test)]
17mod empty_constructs_tests;
18
19pub use alt_kinds::validate_alt_kinds;
20pub use anchors::validate_anchors;
21pub use empty_constructs::validate_empty_constructs;