1 |
|
# Exercising Bison Grammar Sets. -*- Autotest -*- |
2 |
|
# Copyright 2001 Free Software Foundation, Inc. |
3 |
|
|
4 |
|
# This program is free software; you can redistribute it and/or modify |
5 |
|
# it under the terms of the GNU General Public License as published by |
6 |
|
# the Free Software Foundation; either version 2, or (at your option) |
7 |
|
# any later version. |
8 |
|
|
9 |
|
# This program is distributed in the hope that it will be useful, |
10 |
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of |
11 |
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
12 |
|
# GNU General Public License for more details. |
13 |
|
|
14 |
|
# You should have received a copy of the GNU General Public License |
15 |
|
# along with this program; if not, write to the Free Software |
16 |
|
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA |
17 |
|
# 02111-1307, USA. |
18 |
|
|
19 |
|
AT_BANNER([[Grammar Sets (Firsts etc.).]]) |
20 |
|
|
21 |
|
|
22 |
|
## ---------- ## |
23 |
|
## Nullable. ## |
24 |
|
## ---------- ## |
25 |
|
|
26 |
|
AT_SETUP([Nullable]) |
27 |
|
|
28 |
|
# At some point, nullable had been smoking grass, and managed to say: |
29 |
|
# |
30 |
|
# Entering set_nullable |
31 |
|
# NULLABLE |
32 |
|
# 'e': yes |
33 |
|
# (null): no |
34 |
|
# ... |
35 |
|
|
36 |
|
AT_DATA([[input.y]], |
37 |
|
[[%% |
38 |
|
e: 'e' | /* Nothing */; |
39 |
|
]]) |
40 |
|
|
41 |
|
AT_CHECK([[bison --trace input.y]], [], [], |
42 |
|
[[RITEM |
43 |
|
'e' (rule 1) |
44 |
|
(rule 2) |
45 |
|
|
46 |
|
|
47 |
|
DERIVES |
48 |
|
e derives |
49 |
|
1: 'e' (rule 1) |
50 |
|
2: (rule 2) |
51 |
|
|
52 |
|
|
53 |
|
Entering set_nullable |
54 |
|
NULLABLE |
55 |
|
e: yes |
56 |
|
|
57 |
|
|
58 |
|
TC: Input BEGIN |
59 |
|
@&t@ |
60 |
|
0 |
61 |
|
.-. |
62 |
|
0| | |
63 |
|
`-' |
64 |
|
TC: Input END |
65 |
|
|
66 |
|
TC: Output BEGIN |
67 |
|
@&t@ |
68 |
|
0 |
69 |
|
.-. |
70 |
|
0| | |
71 |
|
`-' |
72 |
|
TC: Output END |
73 |
|
|
74 |
|
FIRSTS |
75 |
|
e firsts |
76 |
|
4 (e) |
77 |
|
|
78 |
|
|
79 |
|
FDERIVES |
80 |
|
e derives |
81 |
|
1: 'e' |
82 |
|
2: |
83 |
|
|
84 |
|
|
85 |
|
Processing state 0 (reached by $) |
86 |
|
Closure: input |
87 |
|
|
88 |
|
|
89 |
|
Closure: output |
90 |
|
0: . 'e' (rule 1) |
91 |
|
2: . (rule 2) |
92 |
|
|
93 |
|
|
94 |
|
Entering new_itemsets, state = 0 |
95 |
|
Entering append_states, state = 0 |
96 |
|
Entering get_state, state = 0, symbol = 3 ('e') |
97 |
|
Entering new_state, state = 0, symbol = 3 ('e') |
98 |
|
Exiting get_state => 1 |
99 |
|
Processing state 1 (reached by 'e') |
100 |
|
Closure: input |
101 |
|
1: . (rule 1) |
102 |
|
|
103 |
|
|
104 |
|
Closure: output |
105 |
|
1: . (rule 1) |
106 |
|
|
107 |
|
|
108 |
|
Entering new_itemsets, state = 1 |
109 |
|
Entering append_states, state = 1 |
110 |
|
transpose: input |
111 |
|
0: @&t@ |
112 |
|
|
113 |
|
transpose: output |
114 |
|
0: @&t@ |
115 |
|
|
116 |
|
]]) |
117 |
|
|
118 |
|
AT_CLEANUP |
119 |
|
|
120 |
|
|
121 |
|
## ---------------- ## |
122 |
|
## Broken Closure. ## |
123 |
|
## ---------------- ## |
124 |
|
|
125 |
|
# TC was once broken during a massive `simplification' of the code. |
126 |
|
# It resulted in bison dumping core on the following grammar (the |
127 |
|
# computation of FIRSTS uses TC). It managed to produce a pretty |
128 |
|
# exotic closure: |
129 |
|
# |
130 |
|
# TC: Input |
131 |
|
# |
132 |
|
# 01234567 |
133 |
|
# +--------+ |
134 |
|
# 0| 1 | |
135 |
|
# 1| 1 | |
136 |
|
# 2| 1 | |
137 |
|
# 3| 1 | |
138 |
|
# 4| 1 | |
139 |
|
# 5| 1 | |
140 |
|
# 6| 1| |
141 |
|
# 7| | |
142 |
|
# +--------+ |
143 |
|
# |
144 |
|
# TC: Output |
145 |
|
# |
146 |
|
# 01234567 |
147 |
|
# +--------+ |
148 |
|
# 0| 1 | |
149 |
|
# 1| 111 | |
150 |
|
# 2| 111 | |
151 |
|
# 3| 1111 | |
152 |
|
# 4| 111 1 | |
153 |
|
# 5| 111 1 | |
154 |
|
# 6| 111 1| |
155 |
|
# 7| 111 | |
156 |
|
# +--------+ |
157 |
|
# |
158 |
|
# instead of that below. |
159 |
|
|
160 |
|
AT_SETUP([Broken Closure]) |
161 |
|
|
162 |
|
AT_DATA([input.y], |
163 |
|
[[%% |
164 |
|
a: b |
165 |
|
b: c |
166 |
|
c: d |
167 |
|
d: e |
168 |
|
e: f |
169 |
|
f: g |
170 |
|
g: h |
171 |
|
h: 'h' |
172 |
|
]]) |
173 |
|
|
174 |
|
AT_CHECK([bison --trace input.y 2>&1 | |
175 |
|
sed -n '/^TC: Output BEGIN/,/^TC: Output END/p'], |
176 |
|
[0], |
177 |
|
[[TC: Output BEGIN |
178 |
|
@&t@ |
179 |
|
01234567 |
180 |
|
.--------. |
181 |
|
0| 1111111| |
182 |
|
1| 111111| |
183 |
|
2| 11111| |
184 |
|
3| 1111| |
185 |
|
4| 111| |
186 |
|
5| 11| |
187 |
|
6| 1| |
188 |
|
7| | |
189 |
|
`--------' |
190 |
|
TC: Output END |
191 |
|
]]) |
192 |
|
|
193 |
|
AT_CLEANUP |