lr_rust.parser

This file was generated by lr_rust. It enumerates the entire parsing dfa (prior to lalr compression).
States are of the form:
-- STATE {state_id} --
  state rules:
    // note that "|" represents the position within the rule (what has already been parsed)
    // | being before the first symbol indicates that nothing has been parsed
    // likewise, "|" being after the last symbol indicates that a reduce action is possible 
    {output_nonterminal} => Symbol1 Symbol2 | Symbol3 ... [Lookahead1, Lookahead2, Lookahead3, ...]
    ...
  transitions:
    // if there are no transitions, this just says "None"
    Symbol1 => NextState1
    Symbol2 => NextState2
    Symbol3 => NextState3
    ...

-- STATE 0 --
  state rules
    Expr => | Term Plus Expr [EOF],
    Expr => | Term [EOF],
  transitions
    Term => 24
    Factor => 25
    Literal => 26
    LeftParen => 27

-- STATE 1 --
  state rules
    Term => | Factor Multiply Term [EOF],
    Term => | Factor [EOF],
  transitions
    Factor => 17
    Literal => 18
    LeftParen => 19

-- STATE 2 --
  state rules
    Factor => | Literal [EOF],
    Factor => | LeftParen Expr RightParen [EOF],
  transitions
    Literal => 3
    LeftParen => 4

-- STATE 3 --
  state rules
    Factor => Literal | [EOF],
  transitions
    None

-- STATE 4 --
  state rules
    Factor => LeftParen | Expr RightParen [EOF],
  transitions
    Expr => 5
    Term => 6
    Factor => 7
    Literal => 8
    LeftParen => 9

-- STATE 5 --
  state rules
    Factor => LeftParen Expr | RightParen [EOF],
  transitions
    RightParen => 16

-- STATE 6 --
  state rules
    Expr => Term | Plus Expr [RightParen],
    Expr => Term | [RightParen],
  transitions
    Plus => 14

-- STATE 7 --
  state rules
    Term => Factor | Multiply Term [Plus, RightParen],
    Term => Factor | [Plus, RightParen],
  transitions
    Multiply => 12

-- STATE 8 --
  state rules
    Factor => Literal | [Multiply, Plus, RightParen],
  transitions
    None

-- STATE 9 --
  state rules
    Factor => LeftParen | Expr RightParen [Multiply, Plus, RightParen],
  transitions
    Expr => 10
    Term => 6
    Factor => 7
    Literal => 8
    LeftParen => 9

-- STATE 10 --
  state rules
    Factor => LeftParen Expr | RightParen [Multiply, Plus, RightParen],
  transitions
    RightParen => 11

-- STATE 11 --
  state rules
    Factor => LeftParen Expr RightParen | [Multiply, Plus, RightParen],
  transitions
    None

-- STATE 12 --
  state rules
    Term => Factor Multiply | Term [Plus, RightParen],
  transitions
    Term => 13
    Factor => 7
    Literal => 8
    LeftParen => 9

-- STATE 13 --
  state rules
    Term => Factor Multiply Term | [Plus, RightParen],
  transitions
    None

-- STATE 14 --
  state rules
    Expr => Term Plus | Expr [RightParen],
  transitions
    Expr => 15
    Term => 6
    Factor => 7
    Literal => 8
    LeftParen => 9

-- STATE 15 --
  state rules
    Expr => Term Plus Expr | [RightParen],
  transitions
    None

-- STATE 16 --
  state rules
    Factor => LeftParen Expr RightParen | [EOF],
  transitions
    None

-- STATE 17 --
  state rules
    Term => Factor | Multiply Term [EOF],
    Term => Factor | [EOF],
  transitions
    Multiply => 22

-- STATE 18 --
  state rules
    Factor => Literal | [Multiply, EOF],
  transitions
    None

-- STATE 19 --
  state rules
    Factor => LeftParen | Expr RightParen [Multiply, EOF],
  transitions
    Expr => 20
    Term => 6
    Factor => 7
    Literal => 8
    LeftParen => 9

-- STATE 20 --
  state rules
    Factor => LeftParen Expr | RightParen [Multiply, EOF],
  transitions
    RightParen => 21

-- STATE 21 --
  state rules
    Factor => LeftParen Expr RightParen | [Multiply, EOF],
  transitions
    None

-- STATE 22 --
  state rules
    Term => Factor Multiply | Term [EOF],
  transitions
    Term => 23
    Factor => 17
    Literal => 18
    LeftParen => 19

-- STATE 23 --
  state rules
    Term => Factor Multiply Term | [EOF],
  transitions
    None

-- STATE 24 --
  state rules
    Expr => Term | Plus Expr [EOF],
    Expr => Term | [EOF],
  transitions
    Plus => 32

-- STATE 25 --
  state rules
    Term => Factor | Multiply Term [Plus, EOF],
    Term => Factor | [Plus, EOF],
  transitions
    Multiply => 30

-- STATE 26 --
  state rules
    Factor => Literal | [Multiply, Plus, EOF],
  transitions
    None

-- STATE 27 --
  state rules
    Factor => LeftParen | Expr RightParen [Multiply, Plus, EOF],
  transitions
    Expr => 28
    Term => 6
    Factor => 7
    Literal => 8
    LeftParen => 9

-- STATE 28 --
  state rules
    Factor => LeftParen Expr | RightParen [Multiply, Plus, EOF],
  transitions
    RightParen => 29

-- STATE 29 --
  state rules
    Factor => LeftParen Expr RightParen | [Multiply, Plus, EOF],
  transitions
    None

-- STATE 30 --
  state rules
    Term => Factor Multiply | Term [Plus, EOF],
  transitions
    Term => 31
    Factor => 25
    Literal => 26
    LeftParen => 27

-- STATE 31 --
  state rules
    Term => Factor Multiply Term | [Plus, EOF],
  transitions
    None

-- STATE 32 --
  state rules
    Expr => Term Plus | Expr [EOF],
  transitions
    Expr => 33
    Term => 24
    Factor => 25
    Literal => 26
    LeftParen => 27

-- STATE 33 --
  state rules
    Expr => Term Plus Expr | [EOF],
  transitions
    None