Skip to main content

Module validate

meta_language::grammar

Module validate

Expand description

Semantic validation for authored grammar IR values.

Structs§

GrammarDiagnostic: One grammar validation finding.
RuleSpan: Where a grammar diagnostic applies.

Enums§

DiagnosticKind: Classes of authoring defects detected by validate.
Severity: Diagnostic severity.

Constants§

GRAMMAR_DIAGNOSTIC_KINDS: The name of every diagnostic kind, in the order validate reports kinds that share a rule, as the JavaScript GRAMMAR_DIAGNOSTIC_KINDS.

Functions§

display_grammar_expression: Renders a grammar expression the way diagnostics quote it, as the JavaScript displayGrammarExpression does.
validate: Runs every grammar validation checker and returns deterministic diagnostics.