Commit | Line | Data |
---|---|---|
78adbf9c CY |
1 | ;;; semantic-grammar.wy -- LALR grammar of Semantic input grammars |
2 | ;; | |
acaf905b | 3 | ;; Copyright (C) 2002-2012 Free Software Foundation, Inc. |
78adbf9c CY |
4 | ;; |
5 | ;; Author: David Ponce <david@dponce.com> | |
6 | ;; Maintainer: David Ponce <david@dponce.com> | |
7 | ;; Created: 26 Aug 2002 | |
8 | ;; Keywords: syntax | |
9 | ;; X-RCS: $Id: semantic-grammar.wy,v 1.16 2005/09/30 20:20:27 zappo Exp $ | |
10 | ||
11 | ;; This file is part of GNU Emacs. | |
12 | ||
13 | ;; GNU Emacs is free software: you can redistribute it and/or modify | |
14 | ;; it under the terms of the GNU General Public License as published by | |
15 | ;; the Free Software Foundation, either version 3 of the License, or | |
16 | ;; (at your option) any later version. | |
17 | ||
18 | ;; GNU Emacs is distributed in the hope that it will be useful, | |
19 | ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
20 | ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
21 | ;; GNU General Public License for more details. | |
22 | ||
23 | ;; You should have received a copy of the GNU General Public License | |
24 | ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. | |
25 | ||
26 | %{ | |
27 | (defvar semantic-grammar-lex-c-char-re) | |
28 | ||
29 | ;; Current parsed nonterminal name. | |
30 | (defvar semantic-grammar-wy--nterm nil) | |
31 | ;; Index of rule in a nonterminal clause. | |
32 | (defvar semantic-grammar-wy--rindx nil) | |
33 | } | |
34 | ||
35 | %package semantic-grammar-wy | |
36 | ||
37 | %languagemode wy-mode | |
38 | ||
39 | ;; Main | |
40 | %start grammar | |
41 | ;; Reparse | |
42 | %start prologue epilogue declaration nonterminal rule | |
43 | ;; EXPANDFULL | |
44 | %start put_names put_values use_names | |
45 | ||
46 | ;; Keywords | |
47 | %type <keyword> | |
48 | %keyword DEFAULT-PREC "%default-prec" | |
49 | %keyword NO-DEFAULT-PREC "%no-default-prec" | |
50 | %keyword KEYWORD "%keyword" | |
51 | %keyword LANGUAGEMODE "%languagemode" | |
52 | %keyword LEFT "%left" | |
53 | %keyword NONASSOC "%nonassoc" | |
54 | %keyword PACKAGE "%package" | |
55 | %keyword PREC "%prec" | |
56 | %keyword PUT "%put" | |
57 | %keyword QUOTEMODE "%quotemode" | |
58 | %keyword RIGHT "%right" | |
59 | %keyword SCOPESTART "%scopestart" | |
60 | %keyword START "%start" | |
61 | %keyword TOKEN "%token" | |
62 | %keyword TYPE "%type" | |
63 | %keyword USE-MACROS "%use-macros" | |
64 | ||
65 | ;; Literals | |
66 | %type <string> | |
67 | %token <string> STRING | |
68 | ||
69 | %type <symbol> syntax ":?\\(\\sw\\|\\s_\\)+" | |
70 | %token <symbol> SYMBOL | |
71 | %token <symbol> PERCENT_PERCENT "\\`%%\\'" | |
72 | ||
73 | %type <char> syntax semantic-grammar-lex-c-char-re | |
74 | %token <char> CHARACTER | |
75 | ||
76 | %type <qlist> matchdatatype sexp syntax "\\s'\\s-*(" | |
77 | %token <qlist> PREFIXED_LIST | |
78 | ||
79 | %type <sexp> matchdatatype sexp syntax "\\=" | |
80 | %token <sexp> SEXP | |
81 | ||
82 | ;; Don't generate these analyzers which needs special handling code. | |
83 | %token <code> PROLOGUE "%{...%}" | |
84 | %token <code> EPILOGUE "%%...EOF" | |
85 | ||
86 | ;; Blocks & Parenthesis | |
87 | %type <block> | |
88 | %token <block> PAREN_BLOCK "(LPAREN RPAREN)" | |
89 | %token <block> BRACE_BLOCK "(LBRACE RBRACE)" | |
90 | %token <open-paren> LPAREN "(" | |
91 | %token <close-paren> RPAREN ")" | |
92 | %token <open-paren> LBRACE "{" | |
93 | %token <close-paren> RBRACE "}" | |
94 | ||
95 | ;; Punctuations | |
96 | %type <punctuation> | |
97 | %token <punctuation> COLON ":" | |
98 | %token <punctuation> SEMI ";" | |
99 | %token <punctuation> OR "|" | |
100 | %token <punctuation> LT "<" | |
101 | %token <punctuation> GT ">" | |
102 | ||
103 | %% | |
104 | ||
105 | grammar: | |
106 | prologue | |
107 | | epilogue | |
108 | | declaration | |
109 | | nonterminal | |
110 | | PERCENT_PERCENT | |
111 | ; | |
112 | ||
113 | ;;; Prologue/Epilogue | |
114 | ;; | |
115 | prologue: | |
116 | PROLOGUE | |
117 | (CODE-TAG "prologue" nil) | |
118 | ; | |
119 | ||
120 | epilogue: | |
121 | EPILOGUE | |
122 | (CODE-TAG "epilogue" nil) | |
123 | ; | |
124 | ||
125 | ;;; Declarations | |
126 | ;; | |
127 | declaration: | |
128 | decl | |
129 | (eval $1) | |
130 | ; | |
131 | ||
132 | decl: | |
133 | default_prec_decl | |
134 | | no_default_prec_decl | |
135 | | languagemode_decl | |
136 | | package_decl | |
137 | | precedence_decl | |
138 | | put_decl | |
139 | | quotemode_decl | |
140 | | scopestart_decl | |
141 | | start_decl | |
142 | | keyword_decl | |
143 | | token_decl | |
144 | | type_decl | |
145 | | use_macros_decl | |
146 | ; | |
147 | ||
148 | default_prec_decl: | |
149 | DEFAULT-PREC | |
150 | `(TAG "default-prec" 'assoc :value '("t")) | |
151 | ; | |
152 | ||
153 | no_default_prec_decl: | |
154 | NO-DEFAULT-PREC | |
155 | `(TAG "default-prec" 'assoc :value '("nil")) | |
156 | ; | |
157 | ||
158 | languagemode_decl: | |
159 | LANGUAGEMODE symbols | |
160 | `(TAG ',(car $2) 'languagemode :rest ',(cdr $2)) | |
161 | ; | |
162 | ||
163 | package_decl: | |
164 | PACKAGE SYMBOL | |
165 | `(PACKAGE-TAG ',$2 nil) | |
166 | ; | |
167 | ||
168 | precedence_decl: | |
169 | associativity token_type_opt items | |
170 | `(TAG ',$1 'assoc :type ',$2 :value ',$3) | |
171 | ; | |
172 | ||
173 | associativity: | |
174 | LEFT | |
175 | (progn "left") | |
176 | | RIGHT | |
177 | (progn "right") | |
178 | | NONASSOC | |
179 | (progn "nonassoc") | |
180 | ; | |
181 | ||
182 | put_decl: | |
183 | PUT put_name put_value | |
184 | `(TAG ',$2 'put :value ',(list $3)) | |
185 | | PUT put_name put_value_list | |
186 | `(TAG ',$2 'put :value ',$3) | |
187 | | PUT put_name_list put_value | |
188 | `(TAG ',(car $2) 'put :rest ',(cdr $2) :value ',(list $3)) | |
189 | | PUT put_name_list put_value_list | |
190 | `(TAG ',(car $2) 'put :rest ',(cdr $2) :value ',$3) | |
191 | ; | |
192 | ||
193 | put_name_list: | |
194 | BRACE_BLOCK | |
195 | (mapcar 'semantic-tag-name (EXPANDFULL $1 put_names)) | |
196 | ; | |
197 | ||
198 | put_names: | |
199 | LBRACE | |
200 | () | |
201 | | RBRACE | |
202 | () | |
203 | | put_name | |
204 | ;; Must return a list of Semantic tags to EXPANDFULL! | |
205 | (TAG $1 'put-name) | |
206 | ; | |
207 | ||
208 | put_name: | |
209 | SYMBOL | |
210 | | token_type | |
211 | ; | |
212 | ||
213 | put_value_list: | |
214 | BRACE_BLOCK | |
215 | (mapcar 'semantic-tag-code-detail (EXPANDFULL $1 put_values)) | |
216 | ; | |
217 | ||
218 | put_values: | |
219 | LBRACE | |
220 | () | |
221 | | RBRACE | |
222 | () | |
223 | | put_value | |
224 | ;; Must return a list of Semantic tags to EXPANDFULL! | |
225 | (CODE-TAG "put-value" $1) | |
226 | ; | |
227 | ||
228 | put_value: | |
229 | SYMBOL any_value | |
230 | (cons $1 $2) | |
231 | ; | |
232 | ||
233 | scopestart_decl: | |
234 | SCOPESTART SYMBOL | |
235 | `(TAG ',$2 'scopestart) | |
236 | ; | |
237 | ||
238 | quotemode_decl: | |
239 | QUOTEMODE SYMBOL | |
240 | `(TAG ',$2 'quotemode) | |
241 | ; | |
242 | ||
243 | start_decl: | |
244 | START symbols | |
245 | `(TAG ',(car $2) 'start :rest ',(cdr $2)) | |
246 | ; | |
247 | ||
248 | keyword_decl: | |
249 | KEYWORD SYMBOL string_value | |
250 | `(TAG ',$2 'keyword :value ',$3) | |
251 | ; | |
252 | ||
253 | token_decl: | |
254 | TOKEN token_type_opt SYMBOL string_value | |
255 | `(TAG ',$3 ',(if $2 'token 'keyword) :type ',$2 :value ',$4) | |
256 | | TOKEN token_type_opt symbols | |
257 | `(TAG ',(car $3) 'token :type ',$2 :rest ',(cdr $3)) | |
258 | ; | |
259 | ||
260 | token_type_opt: | |
261 | ;; EMPTY | |
262 | | token_type | |
263 | ; | |
264 | ||
265 | token_type: | |
266 | LT SYMBOL GT | |
267 | (progn $2) | |
268 | ; | |
269 | ||
270 | type_decl: | |
271 | TYPE token_type plist_opt | |
272 | `(TAG ',$2 'type :value ',$3) | |
273 | ; | |
274 | ||
275 | plist_opt: | |
276 | ;;EMPTY | |
277 | | plist | |
278 | ; | |
279 | ||
280 | plist: | |
281 | plist put_value | |
282 | (append (list $2) $1) | |
283 | | put_value | |
284 | (list $1) | |
285 | ; | |
286 | ||
287 | use_name_list: | |
288 | BRACE_BLOCK | |
289 | (mapcar 'semantic-tag-name (EXPANDFULL $1 use_names)) | |
290 | ; | |
291 | ||
292 | use_names: | |
293 | LBRACE | |
294 | () | |
295 | | RBRACE | |
296 | () | |
297 | | SYMBOL | |
298 | ;; Must return a list of Semantic tags to EXPANDFULL! | |
299 | (TAG $1 'use-name) | |
300 | ; | |
301 | ||
302 | use_macros_decl: | |
303 | USE-MACROS SYMBOL use_name_list | |
304 | `(TAG "macro" 'macro :type ',$2 :value ',$3) | |
305 | ; | |
306 | ||
307 | string_value: | |
308 | STRING | |
309 | (read $1) | |
310 | ; | |
311 | ||
312 | ;; Return a Lisp readable form | |
313 | any_value: | |
314 | SYMBOL | |
315 | | STRING | |
316 | | PAREN_BLOCK | |
317 | | PREFIXED_LIST | |
318 | | SEXP | |
319 | ; | |
320 | ||
321 | symbols: | |
322 | lifo_symbols | |
323 | (nreverse $1) | |
324 | ; | |
325 | ||
326 | lifo_symbols: | |
327 | lifo_symbols SYMBOL | |
328 | (cons $2 $1) | |
329 | | SYMBOL | |
330 | (list $1) | |
331 | ; | |
332 | ||
333 | ;;; Grammar rules | |
334 | ;; | |
335 | nonterminal: | |
336 | SYMBOL | |
337 | (setq semantic-grammar-wy--nterm $1 | |
338 | semantic-grammar-wy--rindx 0) | |
339 | COLON rules SEMI | |
340 | (TAG $1 'nonterminal :children $4) | |
341 | ; | |
342 | ||
343 | rules: | |
344 | lifo_rules | |
345 | (apply 'nconc (nreverse $1)) | |
346 | ; | |
347 | ||
348 | lifo_rules: | |
349 | lifo_rules OR rule | |
350 | (cons $3 $1) | |
351 | | rule | |
352 | (list $1) | |
353 | ; | |
354 | ||
355 | rule: | |
356 | rhs | |
357 | (let* ((nterm semantic-grammar-wy--nterm) | |
358 | (rindx semantic-grammar-wy--rindx) | |
359 | (rhs $1) | |
360 | comps prec action elt) | |
361 | (setq semantic-grammar-wy--rindx (1+ semantic-grammar-wy--rindx)) | |
362 | (while rhs | |
363 | (setq elt (car rhs) | |
364 | rhs (cdr rhs)) | |
365 | (cond | |
366 | ;; precedence level | |
367 | ((vectorp elt) | |
368 | (if prec | |
369 | (error "Duplicate %%prec in `%s:%d' rule" nterm rindx)) | |
370 | (setq prec (aref elt 0))) | |
371 | ;; action | |
372 | ((consp elt) | |
373 | ;; don't forget that rhs items are in reverse order, so | |
374 | ;; the end-of-rule semantic action is the first item. | |
375 | (if (or action comps) | |
376 | ;; a mid-rule action | |
377 | (setq comps (cons elt comps) | |
378 | ;; keep rule and action index synchronized | |
379 | semantic-grammar-wy--rindx | |
380 | (1+ semantic-grammar-wy--rindx)) | |
381 | ;; the end-of-rule action | |
382 | (setq action (car elt)))) | |
383 | ;; item | |
384 | (t | |
385 | (setq comps (cons elt comps))))) | |
386 | (EXPANDTAG | |
387 | (TAG (format "%s:%d" nterm rindx) 'rule | |
388 | :type (if comps "group" "empty") | |
389 | :value comps :prec prec :expr action))) | |
390 | ; | |
391 | ||
392 | rhs: | |
393 | ;; EMPTY | |
394 | | rhs item | |
395 | (cons $2 $1) | |
396 | | rhs action | |
397 | (cons (list $2) $1) | |
398 | | rhs PREC item | |
399 | (cons (vector $3) $1) | |
400 | ; | |
401 | ||
402 | action: | |
403 | PAREN_BLOCK | |
404 | | PREFIXED_LIST | |
405 | | BRACE_BLOCK | |
406 | (format "(progn\n%s)" | |
407 | (let ((s $1)) | |
408 | (if (string-match "^{[\r\n\t ]*" s) | |
409 | (setq s (substring s (match-end 0)))) | |
410 | (if (string-match "[\r\n\t ]*}$" s) | |
411 | (setq s (substring s 0 (match-beginning 0)))) | |
412 | s)) | |
413 | ; | |
414 | ||
415 | items: | |
416 | lifo_items | |
417 | (nreverse $1) | |
418 | ; | |
419 | ||
420 | lifo_items: | |
421 | lifo_items item | |
422 | (cons $2 $1) | |
423 | | item | |
424 | (list $1) | |
425 | ; | |
426 | ||
427 | item: | |
428 | SYMBOL | |
429 | | CHARACTER | |
430 | ; | |
431 | ||
432 | %% | |
433 | ||
434 | ;;; grammar.wy ends here |