Enum parol::analysis::lalr1_parse_table::LRConflict

pub enum LRConflict {
    ReduceReduce {
        state: ItemSet,
        token: TerminalIndex,
        r1: ProductionIndex,
        r2: ProductionIndex,
    },
    ShiftReduce {
        state: ItemSet,
        token: TerminalIndex,
        rule: ProductionIndex,
    },
}

A LALR(1) parse table conflict. Duplicate of the lalr crate’s LR1Conflict type without the reference to the creating grammar.

Variants

ReduceReduce

A reduce-reduce conflict.

Fields

state: ItemSet

The LR(0) state in which the conflict occurs.

token: TerminalIndex

The token leading to the conflict, or None if the token is EOF.

r1: ProductionIndex

The first conflicting rule.

r2: ProductionIndex

The second conflicting rule.

ShiftReduce

A shift-reduce conflict.

Fields

state: ItemSet

The LR(0) state in which the conflict appears.

token: TerminalIndex

The token leading to the conflict, or None if the token is EOF.

rule: ProductionIndex

The reduce rule involved in the conflict.

Trait Implementations

impl Debug for LRConflict

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

Formats the value using the given formatter.

impl Display for LRConflict

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

Formats the value using the given formatter.

impl From<LR1Conflict<'_, u16, usize, usize>> for LRConflict

fn from( conflict: LR1Conflict<'_, TerminalIndex, NonTerminalIndex, ProductionIndex>, ) -> Self

Converts to this type from the input type.

impl From<LRConflict> for LRConflictError

fn from(conflict: LRConflict) -> Self

Converts to this type from the input type.