rustlr 0.1.2

LR(1)/LALR(1) parser generator for rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49

# test grammar for slr generator with reduce-reduce conflict
# also tests computation of follow set

nonterminal S Integer
nonterminal T Integer
terminal x ( )
topsym S

left ) 50
left ( 900
left x 500

S --> x { return 1; }
T --> x { return 1; }
S --> T { return 3; }

EOF

Output of my SLR parser generator (the rr-conflict was resolved in favor of the
first rule listed in the grammar, which is S-->x)

!!! Reduce-reduce conflict detected.  Conflict state:
  S --> x .
  T --> x .
FSM with 5 states created
state 0:
  S --> .x 
  T --> .x 
  S --> .T 
  START --> .S EOF 
state 1:
  S --> x .
  T --> x .
state 2:
  S --> T .
state 3:
  START --> S .EOF 
state 4:
  START --> S EOF .
Nullible Nonterminals:

FIRST SETS:
S : x 
T : x 
START : x 
FOLLOW SETS:
S : EOF 
T : EOF 
START :