Expand description
Semantic validation for authored grammar IR values.
Structs§
- Grammar
Diagnostic - One grammar validation finding.
- Rule
Span - Where a grammar diagnostic applies.
Enums§
- Diagnostic
Kind - Classes of authoring defects detected by
validate. - Severity
- Diagnostic severity.
Functions§
- validate
- Runs every grammar validation checker and returns deterministic diagnostics.