Enum DiagnosticKind 

pub enum DiagnosticKind {
    UndefinedNonTerminal {
        name: String,
        referenced_in: String,
    },
    LeftRecursion {
        cycle: Vec<String>,
    },
    UnreachableRule {
        name: String,
    },
    NullableRepetition {
        rule: String,
        detail: String,
    },
    DuplicateRule {
        name: String,
    },
    UnusedCapture {
        rule: String,
        label: String,
    },
}

Classes of authoring defects detected by validate.

Variants

UndefinedNonTerminal

A non-terminal reference whose name no rule defines.

Fields

name: String

Referenced rule name that is missing.

referenced_in: String

Rule containing the missing reference.

LeftRecursion

A rule can reach itself before consuming input.

Fields

cycle: Vec<String>

Rule chain proving the recursion, ending with the first rule again.

UnreachableRule

A rule is not reachable from the grammar start symbol.

Fields

name: String

Unreachable rule name.

NullableRepetition

A nullable repetition or suspicious nullable rule body was found.

Fields

rule: String

Rule containing the nullable construct.

detail: String

Human-readable detail about the nullable construct.

DuplicateRule

More than one rule uses the same name.

Fields

name: String

Duplicated rule name.

UnusedCapture

A labelled capture has no semantic consumer in the grammar IR.

Fields

rule: String

Rule containing the labelled capture.

label: String

Capture label.

Trait Implementations

impl Clone for DiagnosticKind

fn clone(&self) -> DiagnosticKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DiagnosticKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for DiagnosticKind

fn eq(&self, other: &DiagnosticKind) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for DiagnosticKind

impl StructuralPartialEq for DiagnosticKind