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)

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.

Functions§

validate_alt_kinds
validate_anchors
validate_empty_constructs
validate_predicates