Enum ValidationError 

pub enum ValidationError {
    UndefinedSymbol {
        symbol: SymbolId,
        location: String,
    },
    UnreachableSymbol {
        symbol: SymbolId,
        name: String,
    },
    NonProductiveSymbol {
        symbol: SymbolId,
        name: String,
    },
    CyclicRule {
        symbols: Vec<SymbolId>,
    },
    DuplicateRule {
        symbol: SymbolId,
        existing_count: usize,
    },
    InvalidField {
        field_id: FieldId,
        rule_symbol: SymbolId,
    },
    EmptyGrammar,
    NoExplicitStartRule,
    ConflictingPrecedence {
        symbol: SymbolId,
        precedences: Vec<i16>,
    },
    InvalidRegex {
        token: SymbolId,
        pattern: String,
        error: String,
    },
    ExternalTokenConflict {
        token1: String,
        token2: String,
    },
}

Grammar validation errors

Variants

UndefinedSymbol

Undefined symbol referenced

Fields

symbol: SymbolId

The undefined symbol

location: String

Where it was referenced

UnreachableSymbol

Unreachable symbol (not reachable from start)

Fields

symbol: SymbolId

The unreachable symbol

name: String

Symbol name

NonProductiveSymbol

Non-productive symbol (can’t derive terminal strings)

Fields

symbol: SymbolId

The non-productive symbol

name: String

Symbol name

CyclicRule

Cyclic rule without base case

Fields

symbols: Vec<SymbolId>

Symbols involved in the cycle

DuplicateRule

Duplicate rule definition

Fields

symbol: SymbolId

Symbol with duplicate rules

existing_count: usize

Number of existing definitions

InvalidField

Invalid field mapping

Fields

field_id: FieldId

Invalid field ID

rule_symbol: SymbolId

Symbol containing the invalid field

EmptyGrammar

Empty grammar

NoExplicitStartRule

Grammar has no explicit start rule

ConflictingPrecedence

Conflicting precedence declarations

Fields

symbol: SymbolId

Symbol with conflicting precedences

precedences: Vec<i16>

Conflicting precedence values

InvalidRegex

Invalid regex pattern

Fields

token: SymbolId

Token with invalid regex

pattern: String

The invalid pattern

error: String

Error message

ExternalTokenConflict

External token conflict

Fields

token1: String

First conflicting token

token2: String

Second conflicting token

Trait Implementations

impl Clone for ValidationError

fn clone(&self) -> ValidationError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidationError

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

Formats the value using the given formatter.

impl Display for ValidationError

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

Formats the value using the given formatter.

impl PartialEq for ValidationError

fn eq(&self, other: &ValidationError) -> 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 ValidationError

impl StructuralPartialEq for ValidationError