Module validation

Module validation 

Source
Expand description

Semantic validation passes.

Validates semantic constraints that aren’t captured by parsing or type checking:

  • Alternation kind consistency (alt_kinds)
  • Anchor placement rules (anchors)
  • Empty constructs (empty_constructs)
  • Predicate regex patterns (predicates)

Re-exports§

pub use alt_kinds::validate_alt_kinds;
pub use anchors::validate_anchors;
pub use empty_constructs::validate_empty_constructs;
pub use predicates::validate_predicates;

Modules§

alt_kinds
Semantic validation for the typed AST.
anchors
Semantic validation for anchor placement.
empty_constructs
Semantic validation for empty constructs.
predicates
Predicate validation.