Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse code

What why was that still there

  • Loading branch information...
commit 85d09411feece38e5708f97d2f7a4ae5853b6918 1 parent 78bce92
Brendon Hogger authored March 30, 2011
6,561  veracity/ridiculous/abnf.erl
0 additions, 6561 deletions not shown
968  veracity/ridiculous/abnf.yrl
... ...
@@ -1,968 +0,0 @@
1  
-Nonterminals 
2  
-alpha bit char cr lf crlf ctl digit dquote hexdig htab sp wsp anywsp lwsp octet vchar
3  
-prose_val prose_inner prose_char
4  
-hex_val hex_digits hex_concats hex_concat hex_range
5  
-dec_val dec_digits dec_concats dec_concat dec_range
6  
-bin_val bin_digits bin_concats bin_concat bin_range
7  
-num_val
8  
-char_val char_inner char_char
9  
-rulename rulename_tail rulename_inner
10  
-comment comment_tail comment_char
11  
-c_nl c_wsp
12  
-defined_as
13  
-element elements
14  
-repeat digits repetition
15  
-concatenation concatenation_tail concatenation_inner
16  
-alternation alternation_tail alternation_tail2
17  
-group option rule 
18  
-rulelist rulelist_tail rulelist_inner.
19  
-
20  
-Terminals 0 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 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255.
21  
-
22  
-Rootsymbol rulelist.
23  
-
24  
-
25  
-prose_val -> 60 prose_inner 62 : {prose, '$2'}.
26  
-prose_inner -> prose_char : ['$1'].
27  
-prose_inner -> prose_char prose_inner : ['$1' | '$2'].
28  
-
29  
-hex_val -> 120 hex_digits : hexval('$2').
30  
-hex_val -> 120 hex_digits hex_concats : {seq, [hexval(X) || X <- ['$2' | '$3']]}.
31  
-hex_val -> 120 hex_digits hex_range : {range, hexval('$2'), hexval('$3')}.
32  
-
33  
-hex_digits -> hexdig : ['$1'].
34  
-hex_digits -> hexdig hex_digits : ['$1' | '$2'].
35  
-
36  
-hex_concats -> hex_concat : ['$1'].
37  
-hex_concats -> hex_concat hex_concats : ['$1' | '$2'].
38  
-
39  
-hex_concat -> 46 hex_digits : '$2'.
40  
-
41  
-hex_range -> 45 hex_digits : '$2'.
42  
-
43  
-
44  
-dec_val -> 100 dec_digits : decval('$2').
45  
-dec_val -> 100 dec_digits dec_concats : {seq, [decval(X) || X <- ['$2' | '$3']]}.
46  
-dec_val -> 100 dec_digits dec_range : {range, decval('$2'), decval('$3')}.
47  
-
48  
-dec_digits -> digit : ['$1'].
49  
-dec_digits -> digit dec_digits : ['$1' | '$2'].
50  
-
51  
-dec_concats -> dec_concat : ['$1'].
52  
-dec_concats -> dec_concat dec_concats : ['$1' | '$2'].
53  
-
54  
-dec_concat -> 46 dec_digits : '$2'.
55  
-
56  
-dec_range -> 45 dec_digits : '$2'.
57  
-
58  
-
59  
-bin_val -> 98 bin_digits : binval('$2').
60  
-bin_val -> 98 bin_digits bin_concats : {seq, [binval(X) || X <- ['$2' | '$3']]}.
61  
-bin_val -> 98 bin_digits bin_range : {range, binval('$2'), binval('$3')}.
62  
-
63  
-bin_digits -> bit : ['$1'].
64  
-bin_digits -> bit bin_digits : ['$1' | '$2'].
65  
-
66  
-bin_concats -> bin_concat : ['$1'].
67  
-bin_concats -> bin_concat bin_concats : ['$1' | '$2'].
68  
-
69  
-bin_concat -> 46 bin_digits : '$2'.
70  
-
71  
-bin_range -> 45 bin_digits : '$2'.
72  
-
73  
-
74  
-num_val -> 37 hex_val : '$2'.
75  
-num_val -> 37 dec_val : '$2'.
76  
-num_val -> 37 bin_val : '$2'.
77  
-
78  
-
79  
-char_val -> 34 char_inner 34 : {char, '$2'}.
80  
-
81  
-char_inner -> char_char : ['$1'].
82  
-char_inner -> char_char char_inner : ['$1' | '$2'].
83  
-
84  
-
85  
-rulename -> alpha rulename_tail : {rulename, ['$1' | '$2']}.
86  
-
87  
-rulename_tail -> rulename_inner : ['$1'].
88  
-rulename_tail -> rulename_inner rulename_tail : ['$1' | '$2'].
89  
-
90  
-rulename_inner -> alpha : '$1'.
91  
-rulename_inner -> digit : '$1'.
92  
-rulename_inner -> 45 : 45.
93  
-
94  
-comment -> 59 comment_tail crlf : {comment, '$2'}.
95  
-
96  
-comment_tail -> comment_char : ['$1'].
97  
-comment_tail -> comment_char comment_tail : ['$1' | '$2'].
98  
-
99  
-comment_char -> wsp : '$1'.
100  
-comment_char -> vchar : '$1'.
101  
-
102  
-c_nl -> comment : '$1'.
103  
-c_nl -> crlf : '$1'.
104  
-
105  
-c_wsp -> wsp : '$1'.
106  
-c_wsp -> c_nl wsp : '$1'.
107  
-
108  
-defined_as -> 61 : eq.
109  
-defined_as -> 61 47 : alt.
110  
-
111  
-
112  
-element -> rulename : '$1'.
113  
-element -> char_val : '$1'.
114  
-element -> num_val : '$1'.
115  
-element -> prose_val : '$1'.
116  
-element -> group : '$1'.
117  
-element -> option : '$1'.
118  
-
119  
-repeat -> digits : {repeat, '$1'}.
120  
-repeat -> 42 : {repeat, any}.
121  
-repeat -> digits 42 : {repeat, from, '$1'}.
122  
-repeat -> 42 digits : {repeat, to, '$2'}.
123  
-repeat -> digits 42 digits : {repeat, '$1', '$3'}.
124  
-
125  
-digits -> digit : ['$1'].
126  
-digits -> digit digits : ['$1' | '$2'].
127  
-
128  
-
129  
-repetition -> element : '$1'.
130  
-repetition -> repeat element : {'$1', '$2'}.
131  
-
132  
-
133  
-concatenation -> repetition : '$1'.
134  
-concatenation -> repetition concatenation_tail : {concatenation, ['$1' | '$2']}.
135  
-
136  
-concatenation_tail -> concatenation_inner : ['$1'].
137  
-concatenation_tail -> concatenation_inner concatenation_tail : ['$1' | '$2'].
138  
-
139  
-concatenation_inner -> wsp repetition : '$2'.
140  
-
141  
-
142  
-alternation -> concatenation : '$1'.
143  
-alternation -> concatenation alternation_tail : {alternation, ['$1'|'$2']}.
144  
-
145  
-alternation_tail -> 47 concatenation : ['$2'].
146  
-alternation_tail -> 47 concatenation alternation_tail : ['$2'|'$3'].
147  
-
148  
-group -> 40 alternation 41 : '$2'.
149  
-option -> 91 alternation 93 : {option, '$2'}.
150  
-
151  
-elements -> alternation : '$1'.
152  
-
153  
-rule -> rulename defined_as elements : {rule, '$1', '$3'}.
154  
-
155  
-rulelist -> rule : ['$1'].
156  
-rulelist -> rule rulelist_tail : {rules, ['$1' | '$2']}.
157  
-
158  
-rulelist_tail -> rulelist_inner : ['$1'].
159  
-rulelist_tail -> rulelist_inner rulelist_tail: ['$1' | '$2'].
160  
-
161  
-rulelist_inner -> lf rule : '$2'.
162  
-
163  
-
164  
-char_char -> 32 : 32.
165  
-char_char -> 33 : 33.
166  
-char_char -> 35 : 35.
167  
-char_char -> 36 : 36.
168  
-char_char -> 37 : 37.
169  
-char_char -> 38 : 38.
170  
-char_char -> 39 : 39.
171  
-char_char -> 40 : 40.
172  
-char_char -> 41 : 41.
173  
-char_char -> 42 : 42.
174  
-char_char -> 43 : 43.
175  
-char_char -> 44 : 44.
176  
-char_char -> 45 : 45.
177  
-char_char -> 46 : 46.
178  
-char_char -> 47 : 47.
179  
-char_char -> 48 : 48.
180  
-char_char -> 49 : 49.
181  
-char_char -> 50 : 50.
182  
-char_char -> 51 : 51.
183  
-char_char -> 52 : 52.
184  
-char_char -> 53 : 53.
185  
-char_char -> 54 : 54.
186  
-char_char -> 55 : 55.
187  
-char_char -> 56 : 56.
188  
-char_char -> 57 : 57.
189  
-char_char -> 58 : 58.
190  
-char_char -> 59 : 59.
191  
-char_char -> 60 : 60.
192  
-char_char -> 61 : 61.
193  
-char_char -> 62 : 62.
194  
-char_char -> 63 : 63.
195  
-char_char -> 64 : 64.
196  
-char_char -> 65 : 65.
197  
-char_char -> 66 : 66.
198  
-char_char -> 67 : 67.
199  
-char_char -> 68 : 68.
200  
-char_char -> 69 : 69.
201  
-char_char -> 70 : 70.
202  
-char_char -> 71 : 71.
203  
-char_char -> 72 : 72.
204  
-char_char -> 73 : 73.
205  
-char_char -> 74 : 74.
206  
-char_char -> 75 : 75.
207  
-char_char -> 76 : 76.
208  
-char_char -> 77 : 77.
209  
-char_char -> 78 : 78.
210  
-char_char -> 79 : 79.
211  
-char_char -> 80 : 80.
212  
-char_char -> 81 : 81.
213  
-char_char -> 82 : 82.
214  
-char_char -> 83 : 83.
215  
-char_char -> 84 : 84.
216  
-char_char -> 85 : 85.
217  
-char_char -> 86 : 86.
218  
-char_char -> 87 : 87.
219  
-char_char -> 88 : 88.
220  
-char_char -> 89 : 89.
221  
-char_char -> 90 : 90.
222  
-char_char -> 91 : 91.
223  
-char_char -> 92 : 92.
224  
-char_char -> 93 : 93.
225  
-char_char -> 94 : 94.
226  
-char_char -> 95 : 95.
227  
-char_char -> 96 : 96.
228  
-char_char -> 97 : 97.
229  
-char_char -> 98 : 98.
230  
-char_char -> 99 : 99.
231  
-char_char -> 100 : 100.
232  
-char_char -> 101 : 101.
233  
-char_char -> 102 : 102.
234  
-char_char -> 103 : 103.
235  
-char_char -> 104 : 104.
236  
-char_char -> 105 : 105.
237  
-char_char -> 106 : 106.
238  
-char_char -> 107 : 107.
239  
-char_char -> 108 : 108.
240  
-char_char -> 109 : 109.
241  
-char_char -> 110 : 110.
242  
-char_char -> 111 : 111.
243  
-char_char -> 112 : 112.
244  
-char_char -> 113 : 113.
245  
-char_char -> 114 : 114.
246  
-char_char -> 115 : 115.
247  
-char_char -> 116 : 116.
248  
-char_char -> 117 : 117.
249  
-char_char -> 118 : 118.
250  
-char_char -> 119 : 119.
251  
-char_char -> 120 : 120.
252  
-char_char -> 121 : 121.
253  
-char_char -> 122 : 122.
254  
-char_char -> 123 : 123.
255  
-char_char -> 124 : 124.
256  
-char_char -> 125 : 125.
257  
-char_char -> 126 : 126.
258  
-
259  
-
260  
-prose_char -> 32 : 32.
261  
-prose_char -> 33 : 33.
262  
-prose_char -> 34 : 34.
263  
-prose_char -> 35 : 35.
264  
-prose_char -> 36 : 36.
265  
-prose_char -> 37 : 37.
266  
-prose_char -> 38 : 38.
267  
-prose_char -> 39 : 39.
268  
-prose_char -> 40 : 40.
269  
-prose_char -> 41 : 41.
270  
-prose_char -> 42 : 42.
271  
-prose_char -> 43 : 43.
272  
-prose_char -> 44 : 44.
273  
-prose_char -> 45 : 45.
274  
-prose_char -> 46 : 46.
275  
-prose_char -> 47 : 47.
276  
-prose_char -> 48 : 48.
277  
-prose_char -> 49 : 49.
278  
-prose_char -> 50 : 50.
279  
-prose_char -> 51 : 51.
280  
-prose_char -> 52 : 52.
281  
-prose_char -> 53 : 53.
282  
-prose_char -> 54 : 54.
283  
-prose_char -> 55 : 55.
284  
-prose_char -> 56 : 56.
285  
-prose_char -> 57 : 57.
286  
-prose_char -> 58 : 58.
287  
-prose_char -> 59 : 59.
288  
-prose_char -> 60 : 60.
289  
-prose_char -> 61 : 61.
290  
-prose_char -> 63 : 63.
291  
-prose_char -> 64 : 64.
292  
-prose_char -> 65 : 65.
293  
-prose_char -> 66 : 66.
294  
-prose_char -> 67 : 67.
295  
-prose_char -> 68 : 68.
296  
-prose_char -> 69 : 69.
297  
-prose_char -> 70 : 70.
298  
-prose_char -> 71 : 71.
299  
-prose_char -> 72 : 72.
300  
-prose_char -> 73 : 73.
301  
-prose_char -> 74 : 74.
302  
-prose_char -> 75 : 75.
303  
-prose_char -> 76 : 76.
304  
-prose_char -> 77 : 77.
305  
-prose_char -> 78 : 78.
306  
-prose_char -> 79 : 79.
307  
-prose_char -> 80 : 80.
308  
-prose_char -> 81 : 81.
309  
-prose_char -> 82 : 82.
310  
-prose_char -> 83 : 83.
311  
-prose_char -> 84 : 84.
312  
-prose_char -> 85 : 85.
313  
-prose_char -> 86 : 86.
314  
-prose_char -> 87 : 87.
315  
-prose_char -> 88 : 88.
316  
-prose_char -> 89 : 89.
317  
-prose_char -> 90 : 90.
318  
-prose_char -> 91 : 91.
319  
-prose_char -> 92 : 92.
320  
-prose_char -> 93 : 93.
321  
-prose_char -> 94 : 94.
322  
-prose_char -> 95 : 95.
323  
-prose_char -> 96 : 96.
324  
-prose_char -> 97 : 97.
325  
-prose_char -> 98 : 98.
326  
-prose_char -> 99 : 99.
327  
-prose_char -> 100 : 100.
328  
-prose_char -> 101 : 101.
329  
-prose_char -> 102 : 102.
330  
-prose_char -> 103 : 103.
331  
-prose_char -> 104 : 104.
332  
-prose_char -> 105 : 105.
333  
-prose_char -> 106 : 106.
334  
-prose_char -> 107 : 107.
335  
-prose_char -> 108 : 108.
336  
-prose_char -> 109 : 109.
337  
-prose_char -> 110 : 110.
338  
-prose_char -> 111 : 111.
339  
-prose_char -> 112 : 112.
340  
-prose_char -> 113 : 113.
341  
-prose_char -> 114 : 114.
342  
-prose_char -> 115 : 115.
343  
-prose_char -> 116 : 116.
344  
-prose_char -> 117 : 117.
345  
-prose_char -> 118 : 118.
346  
-prose_char -> 119 : 119.
347  
-prose_char -> 120 : 120.
348  
-prose_char -> 121 : 121.
349  
-prose_char -> 122 : 122.
350  
-prose_char -> 123 : 123.
351  
-prose_char -> 124 : 124.
352  
-prose_char -> 125 : 125.
353  
-prose_char -> 126 : 126.
354  
-
355  
-% A - Z
356  
-alpha -> 65 : 65.
357  
-alpha -> 66 : 66.
358  
-alpha -> 67 : 67.
359  
-alpha -> 68 : 68.
360  
-alpha -> 69 : 69.
361  
-alpha -> 70 : 70.
362  
-alpha -> 71 : 71.
363  
-alpha -> 72 : 72.
364  
-alpha -> 73 : 73.
365  
-alpha -> 74 : 74.
366  
-alpha -> 75 : 75.
367  
-alpha -> 76 : 76.
368  
-alpha -> 77 : 77.
369  
-alpha -> 78 : 78.
370  
-alpha -> 79 : 79.
371  
-alpha -> 80 : 80.
372  
-alpha -> 81 : 81.
373  
-alpha -> 82 : 82.
374  
-alpha -> 83 : 83.
375  
-alpha -> 84 : 84.
376  
-alpha -> 85 : 85.
377  
-alpha -> 86 : 86.
378  
-alpha -> 87 : 87.
379  
-alpha -> 88 : 88.
380  
-alpha -> 89 : 89.
381  
-
382  
-% a - z
383  
-alpha -> 97 : 97.
384  
-alpha -> 98 : 98.
385  
-alpha -> 99 : 99.
386  
-alpha -> 100 : 100.
387  
-alpha -> 101 : 101.
388  
-alpha -> 102 : 102.
389  
-alpha -> 103 : 103.
390  
-alpha -> 104 : 104.
391  
-alpha -> 105 : 105.
392  
-alpha -> 106 : 106.
393  
-alpha -> 107 : 107.
394  
-alpha -> 108 : 108.
395  
-alpha -> 109 : 109.
396  
-alpha -> 110 : 110.
397  
-alpha -> 111 : 111.
398  
-alpha -> 112 : 112.
399  
-alpha -> 113 : 113.
400  
-alpha -> 114 : 114.
401  
-alpha -> 115 : 115.
402  
-alpha -> 116 : 116.
403  
-alpha -> 117 : 117.
404  
-alpha -> 118 : 118.
405  
-alpha -> 119 : 119.
406  
-alpha -> 120 : 120.
407  
-alpha -> 121 : 121.
408  
-
409  
-bit -> 48 : 48.
410  
-bit -> 49 : 49.
411  
-
412  
-char -> 1 : 1.
413  
-char -> 2 : 2.
414  
-char -> 3 : 3.
415  
-char -> 4 : 4.
416  
-char -> 5 : 5.
417  
-char -> 6 : 6.
418  
-char -> 7 : 7.
419  
-char -> 8 : 8.
420  
-char -> 9 : 9.
421  
-char -> 10 : 10.
422  
-char -> 11 : 11.
423  
-char -> 12 : 12.
424  
-char -> 13 : 13.
425  
-char -> 14 : 14.
426  
-char -> 15 : 15.
427  
-char -> 16 : 16.
428  
-char -> 17 : 17.
429  
-char -> 18 : 18.
430  
-char -> 19 : 19.
431  
-char -> 20 : 20.
432  
-char -> 21 : 21.
433  
-char -> 22 : 22.
434  
-char -> 23 : 23.
435  
-char -> 24 : 24.
436  
-char -> 25 : 25.
437  
-char -> 26 : 26.
438  
-char -> 27 : 27.
439  
-char -> 28 : 28.
440  
-char -> 29 : 29.
441  
-char -> 30 : 30.
442  
-char -> 31 : 31.
443  
-char -> 32 : 32.
444  
-char -> 33 : 33.
445  
-char -> 34 : 34.
446  
-char -> 35 : 35.
447  
-char -> 36 : 36.
448  
-char -> 37 : 37.
449  
-char -> 38 : 38.
450  
-char -> 39 : 39.
451  
-char -> 40 : 40.
452  
-char -> 41 : 41.
453  
-char -> 42 : 42.
454  
-char -> 43 : 43.
455  
-char -> 44 : 44.
456  
-char -> 45 : 45.
457  
-char -> 46 : 46.
458  
-char -> 47 : 47.
459  
-char -> 48 : 48.
460  
-char -> 49 : 49.
461  
-char -> 50 : 50.
462  
-char -> 51 : 51.
463  
-char -> 52 : 52.
464  
-char -> 53 : 53.
465  
-char -> 54 : 54.
466  
-char -> 55 : 55.
467  
-char -> 56 : 56.
468  
-char -> 57 : 57.
469  
-char -> 58 : 58.
470  
-char -> 59 : 59.
471  
-char -> 60 : 60.
472  
-char -> 61 : 61.
473  
-char -> 62 : 62.
474  
-char -> 63 : 63.
475  
-char -> 64 : 64.
476  
-char -> 65 : 65.
477  
-char -> 66 : 66.
478  
-char -> 67 : 67.
479  
-char -> 68 : 68.
480  
-char -> 69 : 69.
481  
-char -> 70 : 70.
482  
-char -> 71 : 71.
483  
-char -> 72 : 72.
484  
-char -> 73 : 73.
485  
-char -> 74 : 74.
486  
-char -> 75 : 75.
487  
-char -> 76 : 76.
488  
-char -> 77 : 77.
489  
-char -> 78 : 78.
490  
-char -> 79 : 79.
491  
-char -> 80 : 80.
492  
-char -> 81 : 81.
493  
-char -> 82 : 82.
494  
-char -> 83 : 83.
495  
-char -> 84 : 84.
496  
-char -> 85 : 85.
497  
-char -> 86 : 86.
498  
-char -> 87 : 87.
499  
-char -> 88 : 88.
500  
-char -> 89 : 89.
501  
-char -> 90 : 90.
502  
-char -> 91 : 91.
503  
-char -> 92 : 92.
504  
-char -> 93 : 93.
505  
-char -> 94 : 94.
506  
-char -> 95 : 95.
507  
-char -> 96 : 96.
508  
-char -> 97 : 97.
509  
-char -> 98 : 98.
510  
-char -> 99 : 99.
511  
-char -> 100 : 100.
512  
-char -> 101 : 101.
513  
-char -> 102 : 102.
514  
-char -> 103 : 103.
515  
-char -> 104 : 104.
516  
-char -> 105 : 105.
517  
-char -> 106 : 106.
518  
-char -> 107 : 107.
519  
-char -> 108 : 108.
520  
-char -> 109 : 109.
521  
-char -> 110 : 110.
522  
-char -> 111 : 111.
523  
-char -> 112 : 112.
524  
-char -> 113 : 113.
525  
-char -> 114 : 114.
526  
-char -> 115 : 115.
527  
-char -> 116 : 116.
528  
-char -> 117 : 117.
529  
-char -> 118 : 118.
530  
-char -> 119 : 119.
531  
-char -> 120 : 120.
532  
-char -> 121 : 121.
533  
-char -> 122 : 122.
534  
-char -> 123 : 123.
535  
-char -> 124 : 124.
536  
-char -> 125 : 125.
537  
-char -> 126 : 126.
538  
-char -> 127 : 127.
539  
-
540  
-cr -> 13 : 13.
541  
-
542  
-lf -> 10 : 10.
543  
-
544  
-crlf -> cr lf : 'crlf'.
545  
-
546  
-ctl -> 0 : 0.
547  
-ctl -> 1 : 1.
548  
-ctl -> 2 : 2.
549  
-ctl -> 3 : 3.
550  
-ctl -> 4 : 4.
551  
-ctl -> 5 : 5.
552  
-ctl -> 6 : 6.
553  
-ctl -> 7 : 7.
554  
-ctl -> 8 : 8.
555  
-ctl -> 9 : 9.
556  
-ctl -> 10 : 10.
557  
-ctl -> 11 : 11.
558  
-ctl -> 12 : 12.
559  
-ctl -> 13 : 13.
560  
-ctl -> 14 : 14.
561  
-ctl -> 15 : 15.
562  
-ctl -> 16 : 16.
563  
-ctl -> 17 : 17.
564  
-ctl -> 18 : 18.
565  
-ctl -> 19 : 19.
566  
-ctl -> 20 : 20.
567  
-ctl -> 21 : 21.
568  
-ctl -> 22 : 22.
569  
-ctl -> 23 : 23.
570  
-ctl -> 24 : 24.
571  
-ctl -> 25 : 25.
572  
-ctl -> 26 : 26.
573  
-ctl -> 27 : 27.
574  
-ctl -> 28 : 28.
575  
-ctl -> 29 : 29.
576  
-ctl -> 30 : 30.
577  
-ctl -> 127 : 127.
578  
-
579  
-digit -> 48 : 48.
580  
-digit -> 49 : 49.
581  
-digit -> 50 : 50.
582  
-digit -> 51 : 51.
583  
-digit -> 52 : 52.
584  
-digit -> 53 : 53.
585  
-digit -> 54 : 54.
586  
-digit -> 55 : 55.
587  
-digit -> 56 : 56.
588  
-digit -> 57 : 57.
589  
-
590  
-dquote -> 34 : 34.
591  
-
592  
-hexdig -> digit : '$1'.
593  
-hexdig -> 65 : 65.
594  
-hexdig -> 66 : 66.
595  
-hexdig -> 67 : 67.
596  
-hexdig -> 68 : 68.
597  
-hexdig -> 69 : 69.
598  
-hexdig -> 70 : 70.
599  
-
600  
-htab -> 9 : 9.
601  
-
602  
-sp -> 32 : 32.
603  
-
604  
-wsp -> sp : '$1'.
605  
-wsp -> htab : '$1'.
606  
-
607  
-anywsp -> wsp : '$1'.
608  
-anywsp -> crlf : '$1'.
609  
-lwsp -> anywsp : ['$1'].
610  
-lwsp -> anywsp lwsp : ['$1' | '$2'].
611  
-
612  
-octet -> 0 : 0.
613  
-octet -> 1 : 1.
614  
-octet -> 2 : 2.
615  
-octet -> 3 : 3.
616  
-octet -> 4 : 4.
617  
-octet -> 5 : 5.
618  
-octet -> 6 : 6.
619  
-octet -> 7 : 7.
620  
-octet -> 8 : 8.
621  
-octet -> 9 : 9.
622  
-octet -> 10 : 10.
623  
-octet -> 11 : 11.
624  
-octet -> 12 : 12.
625  
-octet -> 13 : 13.
626  
-octet -> 14 : 14.
627  
-octet -> 15 : 15.
628  
-octet -> 16 : 16.
629  
-octet -> 17 : 17.
630  
-octet -> 18 : 18.
631  
-octet -> 19 : 19.
632  
-octet -> 20 : 20.
633  
-octet -> 21 : 21.
634  
-octet -> 22 : 22.
635  
-octet -> 23 : 23.
636  
-octet -> 24 : 24.
637  
-octet -> 25 : 25.
638  
-octet -> 26 : 26.
639  
-octet -> 27 : 27.
640  
-octet -> 28 : 28.
641  
-octet -> 29 : 29.
642  
-octet -> 30 : 30.
643  
-octet -> 31 : 31.
644  
-octet -> 32 : 32.
645  
-octet -> 33 : 33.
646  
-octet -> 34 : 34.
647  
-octet -> 35 : 35.
648  
-octet -> 36 : 36.
649  
-octet -> 37 : 37.
650  
-octet -> 38 : 38.
651  
-octet -> 39 : 39.
652  
-octet -> 40 : 40.
653  
-octet -> 41 : 41.
654  
-octet -> 42 : 42.
655  
-octet -> 43 : 43.
656  
-octet -> 44 : 44.
657  
-octet -> 45 : 45.
658  
-octet -> 46 : 46.
659  
-octet -> 47 : 47.
660  
-octet -> 48 : 48.
661  
-octet -> 49 : 49.
662  
-octet -> 50 : 50.
663  
-octet -> 51 : 51.
664  
-octet -> 52 : 52.
665  
-octet -> 53 : 53.
666  
-octet -> 54 : 54.
667  
-octet -> 55 : 55.
668  
-octet -> 56 : 56.
669  
-octet -> 57 : 57.
670  
-octet -> 58 : 58.
671  
-octet -> 59 : 59.
672  
-octet -> 60 : 60.
673  
-octet -> 61 : 61.
674  
-octet -> 62 : 62.
675  
-octet -> 63 : 63.
676  
-octet -> 64 : 64.
677  
-octet -> 65 : 65.
678  
-octet -> 66 : 66.
679  
-octet -> 67 : 67.
680  
-octet -> 68 : 68.
681  
-octet -> 69 : 69.
682  
-octet -> 70 : 70.
683  
-octet -> 71 : 71.
684  
-octet -> 72 : 72.
685  
-octet -> 73 : 73.
686  
-octet -> 74 : 74.
687  
-octet -> 75 : 75.
688  
-octet -> 76 : 76.
689  
-octet -> 77 : 77.
690  
-octet -> 78 : 78.
691  
-octet -> 79 : 79.
692  
-octet -> 80 : 80.
693  
-octet -> 81 : 81.
694  
-octet -> 82 : 82.
695  
-octet -> 83 : 83.
696  
-octet -> 84 : 84.
697  
-octet -> 85 : 85.
698  
-octet -> 86 : 86.
699  
-octet -> 87 : 87.
700  
-octet -> 88 : 88.
701  
-octet -> 89 : 89.
702  
-octet -> 90 : 90.
703  
-octet -> 91 : 91.
704  
-octet -> 92 : 92.
705  
-octet -> 93 : 93.
706  
-octet -> 94 : 94.
707  
-octet -> 95 : 95.
708  
-octet -> 96 : 96.
709  
-octet -> 97 : 97.
710  
-octet -> 98 : 98.
711  
-octet -> 99 : 99.
712  
-octet -> 100 : 100.
713  
-octet -> 101 : 101.
714  
-octet -> 102 : 102.
715  
-octet -> 103 : 103.
716  
-octet -> 104 : 104.
717  
-octet -> 105 : 105.
718  
-octet -> 106 : 106.
719  
-octet -> 107 : 107.
720  
-octet -> 108 : 108.
721  
-octet -> 109 : 109.
722  
-octet -> 110 : 110.
723  
-octet -> 111 : 111.
724  
-octet -> 112 : 112.
725  
-octet -> 113 : 113.
726  
-octet -> 114 : 114.
727  
-octet -> 115 : 115.
728  
-octet -> 116 : 116.
729  
-octet -> 117 : 117.
730  
-octet -> 118 : 118.
731  
-octet -> 119 : 119.
732  
-octet -> 120 : 120.
733  
-octet -> 121 : 121.
734  
-octet -> 122 : 122.
735  
-octet -> 123 : 123.
736  
-octet -> 124 : 124.
737  
-octet -> 125 : 125.
738  
-octet -> 126 : 126.
739  
-octet -> 127 : 127.
740  
-octet -> 128 : 128.
741  
-octet -> 129 : 129.
742  
-octet -> 130 : 130.
743  
-octet -> 131 : 131.
744  
-octet -> 132 : 132.
745  
-octet -> 133 : 133.
746  
-octet -> 134 : 134.
747  
-octet -> 135 : 135.
748  
-octet -> 136 : 136.
749  
-octet -> 137 : 137.
750  
-octet -> 138 : 138.
751  
-octet -> 139 : 139.
752  
-octet -> 140 : 140.
753  
-octet -> 141 : 141.
754  
-octet -> 142 : 142.
755  
-octet -> 143 : 143.
756  
-octet -> 144 : 144.
757  
-octet -> 145 : 145.
758  
-octet -> 146 : 146.
759  
-octet -> 147 : 147.
760  
-octet -> 148 : 148.
761  
-octet -> 149 : 149.
762  
-octet -> 150 : 150.
763  
-octet -> 151 : 151.
764  
-octet -> 152 : 152.
765  
-octet -> 153 : 153.
766  
-octet -> 154 : 154.
767  
-octet -> 155 : 155.
768  
-octet -> 156 : 156.
769  
-octet -> 157 : 157.
770  
-octet -> 158 : 158.
771  
-octet -> 159 : 159.
772  
-octet -> 160 : 160.
773  
-octet -> 161 : 161.
774  
-octet -> 162 : 162.
775  
-octet -> 163 : 163.
776  
-octet -> 164 : 164.
777  
-octet -> 165 : 165.
778  
-octet -> 166 : 166.
779  
-octet -> 167 : 167.
780  
-octet -> 168 : 168.
781  
-octet -> 169 : 169.
782  
-octet -> 170 : 170.
783  
-octet -> 171 : 171.
784  
-octet -> 172 : 172.
785  
-octet -> 173 : 173.
786  
-octet -> 174 : 174.
787  
-octet -> 175 : 175.
788  
-octet -> 176 : 176.
789  
-octet -> 177 : 177.
790  
-octet -> 178 : 178.
791  
-octet -> 179 : 179.
792  
-octet -> 180 : 180.
793  
-octet -> 181 : 181.
794  
-octet -> 182 : 182.
795  
-octet -> 183 : 183.
796  
-octet -> 184 : 184.
797  
-octet -> 185 : 185.
798  
-octet -> 186 : 186.
799  
-octet -> 187 : 187.
800  
-octet -> 188 : 188.
801  
-octet -> 189 : 189.
802  
-octet -> 190 : 190.
803  
-octet -> 191 : 191.
804  
-octet -> 192 : 192.
805  
-octet -> 193 : 193.
806  
-octet -> 194 : 194.
807  
-octet -> 195 : 195.
808  
-octet -> 196 : 196.
809  
-octet -> 197 : 197.
810  
-octet -> 198 : 198.
811  
-octet -> 199 : 199.
812  
-octet -> 200 : 200.
813  
-octet -> 201 : 201.
814  
-octet -> 202 : 202.
815  
-octet -> 203 : 203.
816  
-octet -> 204 : 204.
817  
-octet -> 205 : 205.
818  
-octet -> 206 : 206.
819  
-octet -> 207 : 207.
820  
-octet -> 208 : 208.
821  
-octet -> 209 : 209.
822  
-octet -> 210 : 210.
823  
-octet -> 211 : 211.
824  
-octet -> 212 : 212.
825  
-octet -> 213 : 213.
826  
-octet -> 214 : 214.
827  
-octet -> 215 : 215.
828  
-octet -> 216 : 216.
829  
-octet -> 217 : 217.
830  
-octet -> 218 : 218.
831  
-octet -> 219 : 219.
832  
-octet -> 220 : 220.
833  
-octet -> 221 : 221.
834  
-octet -> 222 : 222.
835  
-octet -> 223 : 223.
836  
-octet -> 224 : 224.
837  
-octet -> 225 : 225.
838  
-octet -> 226 : 226.
839  
-octet -> 227 : 227.
840  
-octet -> 228 : 228.
841  
-octet -> 229 : 229.
842  
-octet -> 230 : 230.
843  
-octet -> 231 : 231.
844  
-octet -> 232 : 232.
845  
-octet -> 233 : 233.
846  
-octet -> 234 : 234.
847  
-octet -> 235 : 235.
848  
-octet -> 236 : 236.
849  
-octet -> 237 : 237.
850  
-octet -> 238 : 238.
851  
-octet -> 239 : 239.
852  
-octet -> 240 : 240.
853  
-octet -> 241 : 241.
854  
-octet -> 242 : 242.
855  
-octet -> 243 : 243.
856  
-octet -> 244 : 244.
857  
-octet -> 245 : 245.
858  
-octet -> 246 : 246.
859  
-octet -> 247 : 247.
860  
-octet -> 248 : 248.
861  
-octet -> 249 : 249.
862  
-octet -> 250 : 250.
863  
-octet -> 251 : 251.
864  
-octet -> 252 : 252.
865  
-octet -> 253 : 253.
866  
-octet -> 254 : 254.
867  
-octet -> 255 : 255.
868  
-
869  
-vchar -> 33 : 33.
870  
-vchar -> 34 : 34.
871  
-vchar -> 35 : 35.
872  
-vchar -> 36 : 36.
873  
-vchar -> 37 : 37.
874  
-vchar -> 38 : 38.
875  
-vchar -> 39 : 39.
876  
-vchar -> 40 : 40.
877  
-vchar -> 41 : 41.
878  
-vchar -> 42 : 42.
879  
-vchar -> 43 : 43.
880  
-vchar -> 44 : 44.
881  
-vchar -> 45 : 45.
882  
-vchar -> 46 : 46.
883  
-vchar -> 47 : 47.
884  
-vchar -> 48 : 48.
885  
-vchar -> 49 : 49.
886  
-vchar -> 50 : 50.
887  
-vchar -> 51 : 51.
888  
-vchar -> 52 : 52.
889  
-vchar -> 53 : 53.
890  
-vchar -> 54 : 54.
891  
-vchar -> 55 : 55.
892  
-vchar -> 56 : 56.
893  
-vchar -> 57 : 57.
894  
-vchar -> 58 : 58.
895  
-vchar -> 59 : 59.
896  
-vchar -> 60 : 60.
897  
-vchar -> 61 : 61.
898  
-vchar -> 62 : 62.
899  
-vchar -> 63 : 63.
900  
-vchar -> 64 : 64.
901  
-vchar -> 65 : 65.
902  
-vchar -> 66 : 66.
903  
-vchar -> 67 : 67.
904  
-vchar -> 68 : 68.
905  
-vchar -> 69 : 69.
906  
-vchar -> 70 : 70.
907  
-vchar -> 71 : 71.
908  
-vchar -> 72 : 72.
909  
-vchar -> 73 : 73.
910  
-vchar -> 74 : 74.
911  
-vchar -> 75 : 75.
912  
-vchar -> 76 : 76.
913  
-vchar -> 77 : 77.
914  
-vchar -> 78 : 78.
915  
-vchar -> 79 : 79.
916  
-vchar -> 80 : 80.
917  
-vchar -> 81 : 81.
918  
-vchar -> 82 : 82.
919  
-vchar -> 83 : 83.
920  
-vchar -> 84 : 84.
921  
-vchar -> 85 : 85.
922  
-vchar -> 86 : 86.
923  
-vchar -> 87 : 87.
924  
-vchar -> 88 : 88.
925  
-vchar -> 89 : 89.
926  
-vchar -> 90 : 90.
927  
-vchar -> 91 : 91.
928  
-vchar -> 92 : 92.
929  
-vchar -> 93 : 93.
930  
-vchar -> 94 : 94.
931  
-vchar -> 95 : 95.
932  
-vchar -> 96 : 96.
933  
-vchar -> 97 : 97.
934  
-vchar -> 98 : 98.
935  
-vchar -> 99 : 99.
936  
-vchar -> 100 : 100.
937  
-vchar -> 101 : 101.
938  
-vchar -> 102 : 102.
939  
-vchar -> 103 : 103.
940  
-vchar -> 104 : 104.
941  
-vchar -> 105 : 105.
942  
-vchar -> 106 : 106.
943  
-vchar -> 107 : 107.
944  
-vchar -> 108 : 108.
945  
-vchar -> 109 : 109.
946  
-vchar -> 110 : 110.
947  
-vchar -> 111 : 111.
948  
-vchar -> 112 : 112.
949  
-vchar -> 113 : 113.
950  
-vchar -> 114 : 114.
951  
-vchar -> 115 : 115.
952  
-vchar -> 116 : 116.
953  
-vchar -> 117 : 117.
954  
-vchar -> 118 : 118.
955  
-vchar -> 119 : 119.
956  
-vchar -> 120 : 120.
957  
-vchar -> 121 : 121.
958  
-vchar -> 122 : 122.
959  
-vchar -> 123 : 123.
960  
-vchar -> 124 : 124.
961  
-vchar -> 125 : 125.
962  
-vchar -> 126 : 126.
963  
-
964  
-Erlang code.
965  
-hexval(X) -> erlang:list_to_integer(X, 16).
966  
-decval(X) -> list_to_integer(X).
967  
-binval(X) -> erlang:list_to_integer(X, 2).
968  
-
619  veracity/ridiculous/abnf2.yrl
... ...
@@ -1,619 +0,0 @@
1  
-Nonterminals 
2  
-alpha bit char cr lf crlf ctl digit dquote hexdig htab sp wsp anywsp lwsp octet vchar
3  
-prose_val.
4  
-
5  
-Terminals 0 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 $" $# $$ $% $& $' $( $) $* $+ $, $- $. $/ $0 $1 $2 $3 $4 $5 $6 $7 $8 $9 $: $; $< $= $> $? $@ $A $B $C $D $E $F $G $H $I $J $K $L $M $N $O $P $Q $R $S $T $U $V $W $X $Y $Z $[ 92 $] $^ $_ $` $a $b $c $d $e $f $g $h $i $j $k $l $m $n $o $p $q $r $s $t $u $v $w $x $y $z ${ $| $} $~ 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255.
6  
-
7  
-Rootsymbol alpha.
8  
-
9  
-
10  
-prose_val -> $< prose_inner $>.
11  
-
12  
-
13  
-% A - Z
14  
-alpha -> $A : $A.
15  
-alpha -> $B : $B.
16  
-alpha -> $C : $C.
17  
-alpha -> $D : $D.
18  
-alpha -> $E : $E.
19  
-alpha -> $F : $F.
20  
-alpha -> $G : $G.
21  
-alpha -> $H : $H.
22  
-alpha -> $I : $I.
23  
-alpha -> $J : $J.
24  
-alpha -> $K : $K.
25  
-alpha -> $L : $L.
26  
-alpha -> $M : $M.
27  
-alpha -> $N : $N.
28  
-alpha -> $O : $O.
29  
-alpha -> $P : $P.
30  
-alpha -> $Q : $Q.
31  
-alpha -> $R : $R.
32  
-alpha -> $S : $S.
33  
-alpha -> $T : $T.
34  
-alpha -> $U : $U.
35  
-alpha -> $V : $V.
36  
-alpha -> $W : $W.
37  
-alpha -> $X : $X.
38  
-alpha -> $Y : $Y.
39  
-
40  
-% a - z
41  
-alpha -> $a : $a.
42  
-alpha -> $b : $b.
43  
-alpha -> $c : $c.
44  
-alpha -> $d : $d.
45  
-alpha -> $e : $e.
46  
-alpha -> $f : $f.
47  
-alpha -> $g : $g.
48  
-alpha -> $h : $h.
49  
-alpha -> $i : $i.
50  
-alpha -> $j : $j.
51  
-alpha -> $k : $k.
52  
-alpha -> $l : $l.
53  
-alpha -> $m : $m.
54  
-alpha -> $n : $n.
55  
-alpha -> $o : $o.
56  
-alpha -> $p : $p.
57  
-alpha -> $q : $q.
58  
-alpha -> $r : $r.
59  
-alpha -> $s : $s.
60  
-alpha -> $t : $t.
61  
-alpha -> $u : $u.
62  
-alpha -> $v : $v.
63  
-alpha -> $w : $w.
64  
-alpha -> $x : $x.
65  
-alpha -> $y : $y.
66  
-
67  
-bit -> 0 : 0.
68  
-bit -> 1 : 1.
69  
-
70  
-char -> 1 : 1.
71  
-char -> 2 : 2.
72  
-char -> 3 : 3.
73  
-char -> 4 : 4.
74  
-char -> 5 : 5.
75  
-char -> 6 : 6.
76  
-char -> 7 : 7.
77  
-char -> 8 : 8.
78  
-char -> 9 : 9.
79  
-char -> 10 : 10.
80  
-char -> 11 : 11.
81  
-char -> 12 : 12.
82  
-char -> 13 : 13.
83  
-char -> 14 : 14.
84  
-char -> 15 : 15.
85  
-char -> 16 : 16.
86  
-char -> 17 : 17.
87  
-char -> 18 : 18.
88  
-char -> 19 : 19.
89  
-char -> 20 : 20.
90  
-char -> 21 : 21.
91  
-char -> 22 : 22.
92  
-char -> 23 : 23.
93  
-char -> 24 : 24.
94  
-char -> 25 : 25.
95  
-char -> 26 : 26.
96  
-char -> 27 : 27.
97  
-char -> 28 : 28.
98  
-char -> 29 : 29.
99  
-char -> 30 : 30.
100  
-char -> 31 : 31.
101  
-char -> 32 : 32.
102  
-char -> $! : $!.
103  
-char -> $" : $".
104  
-char -> $# : $#.
105  
-char -> $$ : $$.
106  
-char -> $% : $%.
107  
-char -> $& : $&.
108  
-char -> $' : $'.
109  
-char -> $( : $(.
110  
-char -> $) : $).
111  
-char -> $* : $*.
112  
-char -> $+ : $+.
113  
-char -> $, : $,.
114  
-char -> $- : $-.
115  
-char -> $. : $..
116  
-char -> $/ : $/.
117  
-char -> $0 : $0.
118  
-char -> $1 : $1.
119  
-char -> $2 : $2.
120  
-char -> $3 : $3.
121  
-char -> $4 : $4.
122  
-char -> $5 : $5.
123  
-char -> $6 : $6.
124  
-char -> $7 : $7.
125  
-char -> $8 : $8.
126  
-char -> $9 : $9.
127  
-char -> $: : $:.
128  
-char -> $; : $;.
129  
-char -> $< : $<.
130  
-char -> $= : $=.
131  
-char -> $> : $>.
132  
-char -> $? : $?.
133  
-char -> $@ : $@.
134  
-char -> $A : $A.
135  
-char -> $B : $B.
136  
-char -> $C : $C.
137  
-char -> $D : $D.
138  
-char -> $E : $E.
139  
-char -> $F : $F.
140  
-char -> $G : $G.
141  
-char -> $H : $H.
142  
-char -> $I : $I.
143  
-char -> $J : $J.
144  
-char -> $K : $K.
145  
-char -> $L : $L.
146  
-char -> $M : $M.
147  
-char -> $N : $N.
148  
-char -> $O : $O.
149  
-char -> $P : $P.
150  
-char -> $Q : $Q.
151  
-char -> $R : $R.
152  
-char -> $S : $S.
153  
-char -> $T : $T.
154  
-char -> $U : $U.
155  
-char -> $V : $V.
156  
-char -> $W : $W.
157  
-char -> $X : $X.
158  
-char -> $Y : $Y.
159  
-char -> $Z : $Z.
160  
-char -> $[ : $[.
161  
-char -> 92 : 92.
162  
-char -> $] : $].
163  
-char -> $^ : $^.
164  
-char -> $_ : $_.
165  
-char -> $` : $`.
166  
-char -> $a : $a.
167  
-char -> $b : $b.
168  
-char -> $c : $c.
169  
-char -> $d : $d.
170  
-char -> $e : $e.
171  
-char -> $f : $f.
172  
-char -> $g : $g.
173  
-char -> $h : $h.
174  
-char -> $i : $i.
175  
-char -> $j : $j.
176  
-char -> $k : $k.
177  
-char -> $l : $l.
178  
-char -> $m : $m.
179  
-char -> $n : $n.
180  
-char -> $o : $o.
181  
-char -> $p : $p.
182  
-char -> $q : $q.
183  
-char -> $r : $r.
184  
-char -> $s : $s.
185  
-char -> $t : $t.
186  
-char -> $u : $u.
187  
-char -> $v : $v.
188  
-char -> $w : $w.
189  
-char -> $x : $x.
190  
-char -> $y : $y.
191  
-char -> $z : $z.
192  
-char -> ${ : ${.
193  
-char -> $| : $|.
194  
-char -> $} : $}.
195  
-char -> $~ : $~.
196  
-char -> 127 : 127.
197  
-
198  
-cr -> 13 : 13.
199