forked from potassco/guide
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathguide.rao
116 lines (116 loc) · 2.14 KB
/
guide.rao
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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
% This file was generated by 'rail' from 'guide.rai'
\rail@t {rusc}
\rail@t {rlsc}
\rail@t {any}
\rail@t {bs}
\rail@t {esc}
\rail@i {1}{ term : simpleterm | function | tuple; simpleterm : (integer | constant | string | variable | rusc | '\#sup' | '\#inf'); constant : (rusc*) '[a-z]' (rlsc*); string : '"' ((any | (bs esc))*) '"'; variable : (rusc*) '[A-Z]' (rlsc*); function : constant '(' term (',' term*) ')'; tuple : '(' (term (',' | ',' term+))? ')'; }
\rail@o {1}{
\rail@begin{3}{term}
\rail@bar
\rail@nont{simpleterm}[]
\rail@nextbar{1}
\rail@nont{function}[]
\rail@nextbar{2}
\rail@nont{tuple}[]
\rail@endbar
\rail@end
\rail@begin{7}{simpleterm}
\rail@bar
\rail@nont{integer}[]
\rail@nextbar{1}
\rail@nont{constant}[]
\rail@nextbar{2}
\rail@nont{string}[]
\rail@nextbar{3}
\rail@nont{variable}[]
\rail@nextbar{4}
\rail@token{rusc}[]
\rail@nextbar{5}
\rail@term{\#sup}[]
\rail@nextbar{6}
\rail@term{\#inf}[]
\rail@endbar
\rail@end
\rail@begin{3}{constant}
\rail@bar
\rail@nextbar{1}
\rail@plus
\rail@token{rusc}[]
\rail@nextplus{2}
\rail@endplus
\rail@endbar
\rail@term{[a-z]}[]
\rail@bar
\rail@nextbar{1}
\rail@plus
\rail@token{rlsc}[]
\rail@nextplus{2}
\rail@endplus
\rail@endbar
\rail@end
\rail@begin{4}{string}
\rail@term{"}[]
\rail@bar
\rail@nextbar{1}
\rail@plus
\rail@bar
\rail@token{any}[]
\rail@nextbar{2}
\rail@token{bs}[]
\rail@token{esc}[]
\rail@endbar
\rail@nextplus{3}
\rail@endplus
\rail@endbar
\rail@term{"}[]
\rail@end
\rail@begin{3}{variable}
\rail@bar
\rail@nextbar{1}
\rail@plus
\rail@token{rusc}[]
\rail@nextplus{2}
\rail@endplus
\rail@endbar
\rail@term{[A-Z]}[]
\rail@bar
\rail@nextbar{1}
\rail@plus
\rail@token{rlsc}[]
\rail@nextplus{2}
\rail@endplus
\rail@endbar
\rail@end
\rail@begin{3}{function}
\rail@nont{constant}[]
\rail@term{(}[]
\rail@nont{term}[]
\rail@bar
\rail@nextbar{1}
\rail@plus
\rail@term{,}[]
\rail@nont{term}[]
\rail@nextplus{2}
\rail@endplus
\rail@endbar
\rail@term{)}[]
\rail@end
\rail@begin{4}{tuple}
\rail@term{(}[]
\rail@bar
\rail@nextbar{1}
\rail@nont{term}[]
\rail@bar
\rail@term{,}[]
\rail@nextbar{2}
\rail@plus
\rail@term{,}[]
\rail@nont{term}[]
\rail@nextplus{3}
\rail@endplus
\rail@endbar
\rail@endbar
\rail@term{)}[]
\rail@end
}