plotnik_compiler/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//! - Predicate regex patterns (predicates)
8
9pub mod alt_kinds;
10pub mod anchors;
11pub mod empty_constructs;
12pub mod predicates;
13
14#[cfg(test)]
15mod alt_kinds_tests;
16#[cfg(test)]
17mod anchors_tests;
18#[cfg(test)]
19mod empty_constructs_tests;
20#[cfg(test)]
21mod predicates_tests;
22
23pub use alt_kinds::validate_alt_kinds;
24pub use anchors::validate_anchors;
25pub use empty_constructs::validate_empty_constructs;
26pub use predicates::validate_predicates;