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
50
51
|
Nonterminals
root
statement
statements
expr
.
Terminals
int
atom
'+'
'-'
'*'
'/'
'='
'('
')'
';;'
.
Rootsymbol
root
.
Right 100 '='.
Left 300 '+'.
Left 300 '-'.
Left 400 '*'.
Left 400 '/'.
Left 600 '('.
root -> statements : '$1'.
statements -> statement : ['$1'].
statements -> statement statements : ['$1'|'$2'].
statements -> statement ';;' statements : ['$1'|'$3'].
statement -> atom '=' expr : {assign, '$1', '$3'}.
statement -> expr : {eval, '$1'}.
expr -> int : unwrap('$1').
expr -> atom : '$1'.
expr -> expr '+' expr : {add_op, '$1', '$3'}.
expr -> expr '-' expr : {sub_op, '$1', '$3'}.
expr -> expr '*' expr : {mul_op, '$1', '$3'}.
expr -> expr '/' expr : {div_op, '$1', '$3'}.
expr -> '(' expr ')' : '$2'.
Erlang code.
unwrap({int, Line, Value}) -> {int, Line, list_to_integer(Value)}.
|
