]> git.saurik.com Git - bison.git/blob - tests/existing.at
projects / bison.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
As in semantic actions, make @$ in %initial-action, %destructor, and
[bison.git] / tests / existing.at
1 # Exercising Bison on actual grammars. -*- Autotest -*-
2
3 # Copyright (C) 1989, 1990, 1991, 1992, 2000, 2001, 2002, 2003, 2004, 2005
4 # Free Software Foundation, Inc.
5
6 # This program is free software; you can redistribute it and/or modify
7 # it under the terms of the GNU General Public License as published by
8 # the Free Software Foundation; either version 2, or (at your option)
9 # any later version.
10
11 # This program is distributed in the hope that it will be useful,
12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 # GNU General Public License for more details.
15
16 # You should have received a copy of the GNU General Public License
17 # along with this program; if not, write to the Free Software
18 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
19 # 02110-1301, USA.
20
21 AT_BANNER([[Existing Grammars.]])
22 ## ----------------- ##
23 ## GNU AWK Grammar. ##
24 ## ----------------- ##
25
26 AT_SETUP([GNU AWK Grammar])
27
28 # We have been careful to strip all the actions excepts the
29 # mid-rule actions. We rely on %expect to check that there are
30 # indeed 65 SR conflicts.
31 #
32 # Bison was once wrong, due to an incorrect computation of nullable.
33 # It reported 485 SR conflicts!
34
35 AT_DATA([[input.y]],
36 [[%expect 65
37
38 %token FUNC_CALL NAME REGEXP
39 %token ERROR
40 %token YNUMBER YSTRING
41 %token RELOP APPEND_OP
42 %token ASSIGNOP MATCHOP NEWLINE CONCAT_OP
43 %token LEX_BEGIN LEX_END LEX_IF LEX_ELSE LEX_RETURN LEX_DELETE
44 %token LEX_WHILE LEX_DO LEX_FOR LEX_BREAK LEX_CONTINUE
45 %token LEX_PRINT LEX_PRINTF LEX_NEXT LEX_EXIT LEX_FUNCTION
46 %token LEX_GETLINE LEX_NEXTFILE
47 %token LEX_IN
48 %token LEX_AND LEX_OR INCREMENT DECREMENT
49 %token LEX_BUILTIN LEX_LENGTH
50
51 /* Lowest to highest */
52 %right ASSIGNOP
53 %right '?' ':'
54 %left LEX_OR
55 %left LEX_AND
56 %left LEX_GETLINE
57 %nonassoc LEX_IN
58 %left FUNC_CALL LEX_BUILTIN LEX_LENGTH
59 %nonassoc ','
60 %nonassoc MATCHOP
61 %nonassoc RELOP '<' '>' '|' APPEND_OP TWOWAYIO
62 %left CONCAT_OP
63 %left YSTRING YNUMBER
64 %left '+' '-'
65 %left '*' '/' '%'
66 %right '!' UNARY
67 %right '^'
68 %left INCREMENT DECREMENT
69 %left '$'
70 %left '(' ')'
71 %%
72
73 start
74 : opt_nls program opt_nls
75 ;
76
77 program
78 : rule
79 | program rule
80 | error
81 | program error
82 | /* empty */
83 ;
84
85 rule
86 : LEX_BEGIN {} action
87 | LEX_END {} action
88 | LEX_BEGIN statement_term
89 | LEX_END statement_term
90 | pattern action
91 | action
92 | pattern statement_term
93 | function_prologue function_body
94 ;
95
96 func_name
97 : NAME
98 | FUNC_CALL
99 | lex_builtin
100 ;
101
102 lex_builtin
103 : LEX_BUILTIN
104 | LEX_LENGTH
105 ;
106
107 function_prologue
108 : LEX_FUNCTION {} func_name '(' opt_param_list r_paren opt_nls
109 ;
110
111 function_body
112 : l_brace statements r_brace opt_semi opt_nls
113 | l_brace r_brace opt_semi opt_nls
114 ;
115
116 pattern
117 : exp
118 | exp ',' exp
119 ;
120
121 regexp
122 /*
123 * In this rule, want_regexp tells yylex that the next thing
124 * is a regexp so it should read up to the closing slash.
125 */
126 : '/' {} REGEXP '/'
127 ;
128
129 action
130 : l_brace statements r_brace opt_semi opt_nls
131 | l_brace r_brace opt_semi opt_nls
132 ;
133
134 statements
135 : statement
136 | statements statement
137 | error
138 | statements error
139 ;
140
141 statement_term
142 : nls
143 | semi opt_nls
144 ;
145
146 statement
147 : semi opt_nls
148 | l_brace r_brace
149 | l_brace statements r_brace
150 | if_statement
151 | LEX_WHILE '(' exp r_paren opt_nls statement
152 | LEX_DO opt_nls statement LEX_WHILE '(' exp r_paren opt_nls
153 | LEX_FOR '(' NAME LEX_IN NAME r_paren opt_nls statement
154 | LEX_FOR '(' opt_exp semi opt_nls exp semi opt_nls opt_exp r_paren opt_nls statement
155 | LEX_FOR '(' opt_exp semi opt_nls semi opt_nls opt_exp r_paren opt_nls statement
156 | LEX_BREAK statement_term
157 | LEX_CONTINUE statement_term
158 | print '(' expression_list r_paren output_redir statement_term
159 | print opt_rexpression_list output_redir statement_term
160 | LEX_NEXT statement_term
161 | LEX_NEXTFILE statement_term
162 | LEX_EXIT opt_exp statement_term
163 | LEX_RETURN {} opt_exp statement_term
164 | LEX_DELETE NAME '[' expression_list ']' statement_term
165 | LEX_DELETE NAME statement_term
166 | exp statement_term
167 ;
168
169 print
170 : LEX_PRINT
171 | LEX_PRINTF
172 ;
173
174 if_statement
175 : LEX_IF '(' exp r_paren opt_nls statement
176 | LEX_IF '(' exp r_paren opt_nls statement
177 LEX_ELSE opt_nls statement
178 ;
179
180 nls
181 : NEWLINE
182 | nls NEWLINE
183 ;
184
185 opt_nls
186 : /* empty */
187 | nls
188 ;
189
190 input_redir
191 : /* empty */
192 | '<' simp_exp
193 ;
194
195 output_redir
196 : /* empty */
197 | '>' exp
198 | APPEND_OP exp
199 | '|' exp
200 | TWOWAYIO exp
201 ;
202
203 opt_param_list
204 : /* empty */
205 | param_list
206 ;
207
208 param_list
209 : NAME
210 | param_list comma NAME
211 | error
212 | param_list error
213 | param_list comma error
214 ;
215
216 /* optional expression, as in for loop */
217 opt_exp
218 : /* empty */
219 | exp
220 ;
221
222 opt_rexpression_list
223 : /* empty */
224 | rexpression_list
225 ;
226
227 rexpression_list
228 : rexp
229 | rexpression_list comma rexp
230 | error
231 | rexpression_list error
232 | rexpression_list error rexp
233 | rexpression_list comma error
234 ;
235
236 opt_expression_list
237 : /* empty */
238 | expression_list
239 ;
240
241 expression_list
242 : exp
243 | expression_list comma exp
244 | error
245 | expression_list error
246 | expression_list error exp
247 | expression_list comma error
248 ;
249
250 /* Expressions, not including the comma operator. */
251 exp : variable ASSIGNOP {} exp
252 | '(' expression_list r_paren LEX_IN NAME
253 | exp '|' LEX_GETLINE opt_variable
254 | exp TWOWAYIO LEX_GETLINE opt_variable
255 | LEX_GETLINE opt_variable input_redir
256 | exp LEX_AND exp
257 | exp LEX_OR exp
258 | exp MATCHOP exp
259 | regexp
260 | '!' regexp %prec UNARY
261 | exp LEX_IN NAME
262 | exp RELOP exp
263 | exp '<' exp
264 | exp '>' exp
265 | exp '?' exp ':' exp
266 | simp_exp
267 | exp simp_exp %prec CONCAT_OP
268 ;
269
270 rexp
271 : variable ASSIGNOP {} rexp
272 | rexp LEX_AND rexp
273 | rexp LEX_OR rexp
274 | LEX_GETLINE opt_variable input_redir
275 | regexp
276 | '!' regexp %prec UNARY
277 | rexp MATCHOP rexp
278 | rexp LEX_IN NAME
279 | rexp RELOP rexp
280 | rexp '?' rexp ':' rexp
281 | simp_exp
282 | rexp simp_exp %prec CONCAT_OP
283 ;
284
285 simp_exp
286 : non_post_simp_exp
287 /* Binary operators in order of decreasing precedence. */
288 | simp_exp '^' simp_exp
289 | simp_exp '*' simp_exp
290 | simp_exp '/' simp_exp
291 | simp_exp '%' simp_exp
292 | simp_exp '+' simp_exp
293 | simp_exp '-' simp_exp
294 | variable INCREMENT
295 | variable DECREMENT
296 ;
297
298 non_post_simp_exp
299 : '!' simp_exp %prec UNARY
300 | '(' exp r_paren
301 | LEX_BUILTIN
302 '(' opt_expression_list r_paren
303 | LEX_LENGTH '(' opt_expression_list r_paren
304 | LEX_LENGTH
305 | FUNC_CALL '(' opt_expression_list r_paren
306 | variable
307 | INCREMENT variable
308 | DECREMENT variable
309 | YNUMBER
310 | YSTRING
311 | '-' simp_exp %prec UNARY
312 | '+' simp_exp %prec UNARY
313 ;
314
315 opt_variable
316 : /* empty */
317 | variable
318 ;
319
320 variable
321 : NAME
322 | NAME '[' expression_list ']'
323 | '$' non_post_simp_exp
324 ;
325
326 l_brace
327 : '{' opt_nls
328 ;
329
330 r_brace
331 : '}' opt_nls
332 ;
333
334 r_paren
335 : ')'
336 ;
337
338 opt_semi
339 : /* empty */
340 | semi
341 ;
342
343 semi
344 : ';'
345 ;
346
347 comma : ',' opt_nls
348 ;
349
350 %%
351 ]])
352
353 # Pass plenty of options, to exercise plenty of code, even if we
354 # don't actually check the output. But SEGV is watching us, and
355 # so might do dmalloc.
356 AT_CHECK([[bison --verbose --defines input.y]])
357
358 AT_CLEANUP
359
360 ## ----------------- ##
361 ## GNU Cim Grammar. ##
362 ## ----------------- ##
363
364 AT_SETUP([GNU Cim Grammar])
365
366 # GNU Cim, the GNU Simula 87 Compiler.
367
368 # Bison was once wrong, due to an incorrect computation of the RR conflicts.
369 # It reported 80 SR && 99 RR conflicts instead of 78/10!!!
370
371 AT_DATA([[input.y]],
372 [[%union {}
373
374 %token
375 HACTIVATE HAFTER /*HAND*/ HARRAY HAT
376 HBEFORE HBEGIN HBOOLEAN
377 HCHARACTER HCLASS /*HCOMMENT*/ HCONC
378 HDELAY HDO
379 HELSE HEND HEQ /*HEQV*/ HEXTERNAL
380 HFOR
381 HGE HGO HGOTO HGT
382 HHIDDEN
383 HIF /*HIMP*/ HIN HINNER HINSPECT HINTEGER HIS
384 HLABEL HLE HLONG HLT
385 HNAME HNE HNEW HNONE /*HNOT*/ HNOTEXT
386 /*HOR*/ HOTHERWISE
387 HPRIOR HPROCEDURE HPROTECTED
388 HQUA
389 HREACTIVATE HREAL HREF
390 HSHORT HSTEP HSWITCH
391 HTEXT HTHEN HTHIS HTO
392 HUNTIL
393 HVALUE HVAR HVIRTUAL
394 HWHEN HWHILE
395
396 HASSIGNVALUE HASSIGNREF
397 /*HDOT*/ HPAREXPSEPARATOR HLABELSEPARATOR HSTATEMENTSEPARATOR
398 HBEGPAR HENDPAR
399 HEQR HNER
400 HADD HSUB HMUL HDIV HINTDIV HEXP
401 HDOTDOTDOT
402
403 %token HIDENTIFIER
404 %token HBOOLEANKONST HINTEGERKONST HCHARACTERKONST
405 %token HREALKONST
406 %token HTEXTKONST
407
408
409 %right HASSIGN
410 %left HORELSE
411 %left HANDTHEN
412 %left HEQV
413 %left HIMP
414 %left HOR
415 %left HAND
416
417 %left HNOT
418
419 %left HVALRELOPERATOR HREFRELOPERATOR HOBJRELOPERATOR
420
421 %left HCONC
422
423 %left HTERMOPERATOR
424 %left UNEAR
425 %left HFACTOROPERATOR
426 %left HPRIMARYOPERATOR
427
428 %left HQUA
429
430 %left HDOT
431
432 %start MAIN_MODULE
433 %%
434 /* GRAMATIKK FOR PROGRAM MODULES */
435 MAIN_MODULE : {}
436 MODULS
437 | error HSTATEMENTSEPARATOR MBEE_DECLSTMS
438 ;
439 EXT_DECLARATION : HEXTERNAL
440 MBEE_TYPE
441 HPROCEDURE
442 {}
443 EXT_LIST
444 |
445 HEXTERNAL
446 HIDENTIFIER
447 HPROCEDURE
448 {}
449 HIDENTIFIER {}
450 EXTERNAL_KIND_ITEM
451 | HEXTERNAL
452 HCLASS
453 {}
454 EXT_LIST
455
456 ;
457 EXTERNAL_KIND_ITEM: EXT_IDENT
458 HOBJRELOPERATOR
459 {}
460 MBEE_TYPE HPROCEDURE
461 HIDENTIFIER
462 {}
463 HEADING EMPTY_BLOCK
464 {}
465 /* |
466 EXT_IDENT
467 {}
468 MBEE_REST_EXT_LIST
469 ;
470 MBEE_REST_EXT_LIST: /* EMPTY
471 | HPAREXPSEPARATOR EXT_KIND_LIST
472 ;
473 EXT_KIND_LIST : EXT_KIND_ITEM
474 | EXT_KIND_LIST HPAREXPSEPARATOR EXT_KIND_ITEM
475 ;
476 EXT_KIND_ITEM : HIDENTIFIER
477 EXT_IDENT
478 {}*/
479 ;
480 EMPTY_BLOCK : /*EMPT*/
481 | HBEGIN HEND
482 ;
483 EXT_LIST : EXT_ITEM
484 | EXT_LIST HPAREXPSEPARATOR EXT_ITEM
485 ;
486 EXT_ITEM : HIDENTIFIER
487 EXT_IDENT
488 ;
489 EXT_IDENT : /* EMPTY */
490 | HVALRELOPERATOR {}
491 HTEXTKONST
492 ;
493 /* GRAMATIKK FOR TYPER */
494 NO_TYPE : /*EMPT*/
495 ;
496 MBEE_TYPE : NO_TYPE
497 | TYPE
498 ;
499 TYPE : HREF HBEGPAR
500 HIDENTIFIER
501 {}
502 HENDPAR
503 | HTEXT
504 | HBOOLEAN
505 | HCHARACTER
506 | HSHORT HINTEGER
507 | HINTEGER
508 | HREAL
509 | HLONG HREAL
510 ;
511
512 /* GRAMATIKK FOR DEL AV SETNINGER */
513 MBEE_ELSE_PART : /*EMPT*/
514 /* | HELSE
515 HIF
516 EXPRESSION
517 HTHEN {}
518 BLOCK {}
519 MBEE_ELSE_PART {}*/
520 | HELSE {}
521 BLOCK
522 ;
523 FOR_LIST : FOR_LIST_ELEMENT
524 | FOR_LIST_ELEMENT
525 HPAREXPSEPARATOR
526 FOR_LIST
527 ;
528 FOR_LIST_ELEMENT: EXPRESSION
529 MBEE_F_L_EL_R_PT
530 ;
531 MBEE_F_L_EL_R_PT: /*EMPT*/
532 | HWHILE
533 EXPRESSION
534 | HSTEP
535 EXPRESSION
536 HUNTIL
537 EXPRESSION
538 ;
539 GOTO : HGO
540 HTO
541 | HGOTO
542 ;
543 CONN_STATE_R_PT : WHEN_CLAUSE_LIST
544 | HDO {}
545 BLOCK
546 ;
547 WHEN_CLAUSE_LIST: HWHEN
548 HIDENTIFIER
549 HDO {}
550 BLOCK
551 | WHEN_CLAUSE_LIST
552 HWHEN
553 HIDENTIFIER
554 HDO {}
555 BLOCK
556 ;
557 MBEE_OTWI_CLAUS : /*EMPT*/
558 | HOTHERWISE {}
559
560 BLOCK
561 ;
562 ACTIVATOR : HACTIVATE
563 | HREACTIVATE
564 ;
565 SCHEDULE : /*EMPT*/
566 | ATDELAY EXPRESSION {}
567 PRIOR
568 | BEFOREAFTER {}
569 EXPRESSION
570 ;
571 ATDELAY : HAT
572 | HDELAY
573 ;
574 BEFOREAFTER : HBEFORE
575 | HAFTER
576 ;
577 PRIOR : /*EMPT*/
578 | HPRIOR
579 ;
580 /* GRAMATIKK FOR SETNINGER OG DEKLARASJONER */
581 MODULSTATEMENT : HWHILE
582 EXPRESSION
583 HDO {}
584 BLOCK
585 | HIF
586 EXPRESSION
587 HTHEN {}
588 BLOCK {}
589 MBEE_ELSE_PART
590 | HFOR
591 HIDENTIFIER
592 HASSIGN {}
593 FOR_LIST
594 HDO {}
595 BLOCK
596 | GOTO
597 EXPRESSION
598 | HINSPECT
599 EXPRESSION {}
600 CONN_STATE_R_PT
601 {}
602 MBEE_OTWI_CLAUS
603 | HINNER
604 | HIDENTIFIER
605 HLABELSEPARATOR
606 {}
607 DECLSTATEMENT
608 | EXPRESSION_SIMP
609 HBEGIN
610 {}
611 IMPORT_SPEC_MODULE
612 {}
613 MBEE_DECLSTMS
614 HEND
615 | EXPRESSION_SIMP HBEGIN error HSTATEMENTSEPARATOR
616 MBEE_DECLSTMS HEND
617 | EXPRESSION_SIMP HBEGIN error HEND
618 | EXPRESSION_SIMP
619 | ACTIVATOR EXPRESSION SCHEDULE
620 | HBEGIN
621 {}
622 MBEE_DECLSTMS
623 HEND
624 | MBEE_TYPE HPROCEDURE
625 HIDENTIFIER
626 {}
627 HEADING BLOCK
628 | HIDENTIFIER
629 HCLASS
630 NO_TYPE
631 {}
632 IMPORT_SPEC_MODULE
633 HIDENTIFIER
634 {}
635 HEADING
636 BLOCK
637 | HCLASS
638 NO_TYPE
639 HIDENTIFIER
640 {}
641 HEADING
642 BLOCK
643 | EXT_DECLARATION
644 | /*EMPT*/
645 ;
646 IMPORT_SPEC_MODULE:
647 ;
648 DECLSTATEMENT : MODULSTATEMENT
649 | TYPE
650 HIDENTIFIER
651 MBEE_CONSTANT
652 HPAREXPSEPARATOR
653 {}
654 IDENTIFIER_LISTC
655 | TYPE
656 HIDENTIFIER
657 MBEE_CONSTANT
658 | MBEE_TYPE
659 HARRAY {}
660 ARR_SEGMENT_LIST
661 | HSWITCH
662 HIDENTIFIER
663 HASSIGN {}
664 SWITCH_LIST
665 ;
666 BLOCK : DECLSTATEMENT
667 | HBEGIN MBEE_DECLSTMS HEND
668 | HBEGIN error HSTATEMENTSEPARATOR MBEE_DECLSTMS HEND
669 | HBEGIN error HEND
670 ;
671 MBEE_DECLSTMS : MBEE_DECLSTMSU
672 ;
673 MBEE_DECLSTMSU : DECLSTATEMENT
674 | MBEE_DECLSTMSU
675 HSTATEMENTSEPARATOR
676 DECLSTATEMENT
677 ;
678 MODULS : MODULSTATEMENT
679 | MODULS HSTATEMENTSEPARATOR MODULSTATEMENT
680 ;
681 /* GRAMATIKK FOR DEL AV DEKLARASJONER */
682 ARR_SEGMENT_LIST: ARR_SEGMENT
683 | ARR_SEGMENT_LIST
684 HPAREXPSEPARATOR
685 ARR_SEGMENT
686 ;
687 ARR_SEGMENT : ARRAY_SEGMENT
688 HBEGPAR
689 BAUND_PAIR_LIST HENDPAR
690 ;
691 ARRAY_SEGMENT : ARRAY_SEGMENT_EL {}
692
693 | ARRAY_SEGMENT_EL
694 HPAREXPSEPARATOR
695 ARRAY_SEGMENT
696 ;
697 ARRAY_SEGMENT_EL: HIDENTIFIER
698 ;
699 BAUND_PAIR_LIST : BAUND_PAIR
700 | BAUND_PAIR
701 HPAREXPSEPARATOR
702 BAUND_PAIR_LIST
703 ;
704 BAUND_PAIR : EXPRESSION
705 HLABELSEPARATOR
706 EXPRESSION
707 ;
708 SWITCH_LIST : EXPRESSION
709 | EXPRESSION
710 HPAREXPSEPARATOR
711 SWITCH_LIST
712 ;
713 HEADING : MBEE_FMAL_PAR_P HSTATEMENTSEPARATOR {}
714 MBEE_MODE_PART {}
715 MBEE_SPEC_PART {}
716 MBEE_PROT_PART {}
717 MBEE_VIRT_PART
718 ;
719 MBEE_FMAL_PAR_P : /*EMPT*/
720 | FMAL_PAR_PART
721 ;
722 FMAL_PAR_PART : HBEGPAR NO_TYPE
723 MBEE_LISTV HENDPAR
724 ;
725 MBEE_LISTV : /*EMPT*/
726 | LISTV
727 ;
728 LISTV : HIDENTIFIER
729 | FPP_CATEG HDOTDOTDOT
730 | HIDENTIFIER {}
731 HPAREXPSEPARATOR LISTV
732 | FPP_SPEC
733 | FPP_SPEC
734 HPAREXPSEPARATOR LISTV
735 ;
736 FPP_HEADING : HBEGPAR NO_TYPE
737 FPP_MBEE_LISTV HENDPAR
738 ;
739 FPP_MBEE_LISTV : /*EMPT*/
740 | FPP_LISTV
741 ;
742 FPP_LISTV : FPP_CATEG HDOTDOTDOT
743 | FPP_SPEC
744 | FPP_SPEC
745 HPAREXPSEPARATOR LISTV
746 ;
747 FPP_SPEC : FPP_CATEG SPECIFIER HIDENTIFIER
748 | FPP_CATEG FPP_PROC_DECL_IN_SPEC
749 ;
750 FPP_CATEG : HNAME HLABELSEPARATOR
751 | HVALUE HLABELSEPARATOR
752 | HVAR HLABELSEPARATOR
753 | /*EMPT*/
754 ;
755 FPP_PROC_DECL_IN_SPEC: MBEE_TYPE HPROCEDURE
756 HIDENTIFIER
757 {}
758 FPP_HEADING {} { /* Yes, two "final" actions. */ }
759 ;
760 IDENTIFIER_LISTV: HIDENTIFIER
761 | HDOTDOTDOT
762 | HIDENTIFIER {}
763 HPAREXPSEPARATOR IDENTIFIER_LISTV
764 ;
765 MBEE_MODE_PART : /*EMPT*/
766 | MODE_PART
767 ;
768 MODE_PART : NAME_PART
769 | VALUE_PART
770 | VAR_PART
771 | NAME_PART VALUE_PART
772 | VALUE_PART NAME_PART
773 | NAME_PART VAR_PART
774 | VAR_PART NAME_PART
775 | VALUE_PART VAR_PART
776 | VAR_PART VALUE_PART
777 | VAR_PART NAME_PART VALUE_PART
778 | NAME_PART VAR_PART VALUE_PART
779 | NAME_PART VALUE_PART VAR_PART
780 | VAR_PART VALUE_PART NAME_PART
781 | VALUE_PART VAR_PART NAME_PART
782 | VALUE_PART NAME_PART VAR_PART
783 ;
784 NAME_PART : HNAME {}
785 IDENTIFIER_LISTV
786 HSTATEMENTSEPARATOR
787 ;
788 VAR_PART : HVAR {}
789 IDENTIFIER_LISTV
790 HSTATEMENTSEPARATOR
791 ;
792 VALUE_PART : HVALUE {}
793 IDENTIFIER_LISTV HSTATEMENTSEPARATOR
794 ;
795 MBEE_SPEC_PART : /*EMPT*/
796 | SPEC_PART
797 ;
798 SPEC_PART : ONE_SPEC
799 | SPEC_PART ONE_SPEC
800 ;
801 ONE_SPEC : SPECIFIER IDENTIFIER_LIST HSTATEMENTSEPARATOR
802 | NO_TYPE HPROCEDURE HIDENTIFIER HOBJRELOPERATOR
803 {}
804 PROC_DECL_IN_SPEC HSTATEMENTSEPARATOR
805 | FPP_PROC_DECL_IN_SPEC HSTATEMENTSEPARATOR
806 | MBEE_TYPE HPROCEDURE HIDENTIFIER HSTATEMENTSEPARATOR
807 | MBEE_TYPE HPROCEDURE HIDENTIFIER HPAREXPSEPARATOR
808 IDENTIFIER_LIST HSTATEMENTSEPARATOR
809 ;
810 SPECIFIER : TYPE
811 | MBEE_TYPE
812 HARRAY
813 | HLABEL
814 | HSWITCH
815 ;
816 PROC_DECL_IN_SPEC: MBEE_TYPE HPROCEDURE
817 HIDENTIFIER
818 {}
819 HEADING
820 {}
821 MBEE_BEGIN_END
822 ;
823 MBEE_BEGIN_END : /* EMPTY */
824 | HBEGIN HEND
825 ;
826 MBEE_PROT_PART : /*EMPT*/
827 | PROTECTION_PART
828 ;
829 PROTECTION_PART : PROT_SPECIFIER IDENTIFIER_LIST
830 HSTATEMENTSEPARATOR
831 | PROTECTION_PART PROT_SPECIFIER
832 IDENTIFIER_LIST HSTATEMENTSEPARATOR
833 ;
834 PROT_SPECIFIER : HHIDDEN
835 | HPROTECTED
836 | HHIDDEN
837 HPROTECTED
838 | HPROTECTED
839 HHIDDEN
840 ;
841 MBEE_VIRT_PART : /*EMPT*/
842 | VIRTUAL_PART
843 ;
844 VIRTUAL_PART : HVIRTUAL
845 HLABELSEPARATOR
846 MBEE_SPEC_PART
847 ;
848 IDENTIFIER_LIST : HIDENTIFIER
849 | IDENTIFIER_LIST HPAREXPSEPARATOR
850 HIDENTIFIER
851 ;
852 IDENTIFIER_LISTC: HIDENTIFIER
853 MBEE_CONSTANT
854 | IDENTIFIER_LISTC HPAREXPSEPARATOR
855 HIDENTIFIER
856 MBEE_CONSTANT
857 ;
858 MBEE_CONSTANT : /* EMPTY */
859 | HVALRELOPERATOR
860 {}
861 EXPRESSION
862 ;
863
864 /* GRAMATIKK FOR UTTRYKK */
865 EXPRESSION : EXPRESSION_SIMP
866 | HIF
867 EXPRESSION
868 HTHEN
869 EXPRESSION
870 HELSE
871 EXPRESSION
872 ;
873 EXPRESSION_SIMP : EXPRESSION_SIMP
874 HASSIGN
875 EXPRESSION
876 |
877
878 EXPRESSION_SIMP
879 HCONC
880 EXPRESSION_SIMP
881 | EXPRESSION_SIMP HOR
882 HELSE
883 EXPRESSION_SIMP
884 %prec HORELSE
885 | EXPRESSION_SIMP HAND
886 HTHEN
887 EXPRESSION_SIMP
888 %prec HANDTHEN
889 | EXPRESSION_SIMP
890 HEQV EXPRESSION_SIMP
891 | EXPRESSION_SIMP
892 HIMP EXPRESSION_SIMP
893 | EXPRESSION_SIMP
894 HOR EXPRESSION_SIMP
895 | EXPRESSION_SIMP
896 HAND EXPRESSION_SIMP
897 | HNOT EXPRESSION_SIMP
898 | EXPRESSION_SIMP
899 HVALRELOPERATOR
900 EXPRESSION_SIMP
901 | EXPRESSION_SIMP
902 HREFRELOPERATOR
903 EXPRESSION_SIMP
904 | EXPRESSION_SIMP
905 HOBJRELOPERATOR
906 EXPRESSION_SIMP
907 | HTERMOPERATOR
908 EXPRESSION_SIMP %prec UNEAR
909 | EXPRESSION_SIMP
910 HTERMOPERATOR
911 EXPRESSION_SIMP
912 | EXPRESSION_SIMP
913 HFACTOROPERATOR
914 EXPRESSION_SIMP
915 | EXPRESSION_SIMP
916 HPRIMARYOPERATOR
917 EXPRESSION_SIMP
918 | HBEGPAR
919 EXPRESSION HENDPAR
920 | HTEXTKONST
921 | HCHARACTERKONST
922 | HREALKONST
923 | HINTEGERKONST
924 | HBOOLEANKONST
925 | HNONE
926 | HIDENTIFIER
927 {}
928 MBEE_ARG_R_PT
929 | HTHIS HIDENTIFIER
930 | HNEW
931 HIDENTIFIER
932 ARG_R_PT
933 | EXPRESSION_SIMP
934 HDOT
935 EXPRESSION_SIMP
936 | EXPRESSION_SIMP
937 HQUA HIDENTIFIER
938 ;
939 ARG_R_PT : /*EMPTY*/
940 | HBEGPAR
941 ARGUMENT_LIST HENDPAR
942 ;
943 MBEE_ARG_R_PT : /*EMPTY*/
944 | HBEGPAR
945 ARGUMENT_LIST HENDPAR
946 ;
947 ARGUMENT_LIST : EXPRESSION
948 | EXPRESSION
949 HPAREXPSEPARATOR
950 ARGUMENT_LIST
951 ;
952 %%
953 ]])
954
955 # Pass plenty of options, to exercise plenty of code, even if we
956 # don't actually check the output. But SEGV is watching us, and
957 # so might do dmalloc.
958 AT_CHECK([[bison --verbose --defines input.y]], 0, [],
959 [[input.y: conflicts: 78 shift/reduce, 10 reduce/reduce
960 ]])
961
962 AT_CHECK([[grep '^State.*conflicts:' input.output]], 0,
963 [[State 64 conflicts: 14 shift/reduce
964 State 164 conflicts: 1 shift/reduce
965 State 201 conflicts: 33 shift/reduce, 4 reduce/reduce
966 State 206 conflicts: 1 shift/reduce
967 State 240 conflicts: 1 shift/reduce
968 State 335 conflicts: 9 shift/reduce, 2 reduce/reduce
969 State 356 conflicts: 1 shift/reduce
970 State 360 conflicts: 9 shift/reduce, 2 reduce/reduce
971 State 427 conflicts: 9 shift/reduce, 2 reduce/reduce
972 ]])
973
974 AT_CLEANUP
975
976 ## ----------------- ##
977 ## GNU pic Grammar. ##
978 ## ----------------- ##
979
980 AT_SETUP([GNU pic Grammar])
981
982 # GNU pic, part of groff.
983
984 # Bison once reported shift/reduce conflicts that it shouldn't have.
985
986 AT_DATA([[input.y]],
987 [[%union {}
988
989 %token LABEL
990 %token VARIABLE
991 %token NUMBER
992 %token TEXT
993 %token COMMAND_LINE
994 %token DELIMITED
995 %token ORDINAL
996 %token TH
997 %token LEFT_ARROW_HEAD
998 %token RIGHT_ARROW_HEAD
999 %token DOUBLE_ARROW_HEAD
1000 %token LAST
1001 %token UP
1002 %token DOWN
1003 %token LEFT
1004 %token RIGHT
1005 %token BOX
1006 %token CIRCLE
1007 %token ELLIPSE
1008 %token ARC
1009 %token LINE
1010 %token ARROW
1011 %token MOVE
1012 %token SPLINE
1013 %token HEIGHT
1014 %token RADIUS
1015 %token WIDTH
1016 %token DIAMETER
1017 %token FROM
1018 %token TO
1019 %token AT
1020 %token WITH
1021 %token BY
1022 %token THEN
1023 %token SOLID
1024 %token DOTTED
1025 %token DASHED
1026 %token CHOP
1027 %token SAME
1028 %token INVISIBLE
1029 %token LJUST
1030 %token RJUST
1031 %token ABOVE
1032 %token BELOW
1033 %token OF
1034 %token THE
1035 %token WAY
1036 %token BETWEEN
1037 %token AND
1038 %token HERE
1039 %token DOT_N
1040 %token DOT_E
1041 %token DOT_W
1042 %token DOT_S
1043 %token DOT_NE
1044 %token DOT_SE
1045 %token DOT_NW
1046 %token DOT_SW
1047 %token DOT_C
1048 %token DOT_START
1049 %token DOT_END
1050 %token DOT_X
1051 %token DOT_Y
1052 %token DOT_HT
1053 %token DOT_WID
1054 %token DOT_RAD
1055 %token SIN
1056 %token COS
1057 %token ATAN2
1058 %token LOG
1059 %token EXP
1060 %token SQRT
1061 %token K_MAX
1062 %token K_MIN
1063 %token INT
1064 %token RAND
1065 %token SRAND
1066 %token COPY
1067 %token THRU
1068 %token TOP
1069 %token BOTTOM
1070 %token UPPER
1071 %token LOWER
1072 %token SH
1073 %token PRINT
1074 %token CW
1075 %token CCW
1076 %token FOR
1077 %token DO
1078 %token IF
1079 %token ELSE
1080 %token ANDAND
1081 %token OROR
1082 %token NOTEQUAL
1083 %token EQUALEQUAL
1084 %token LESSEQUAL
1085 %token GREATEREQUAL
1086 %token LEFT_CORNER
1087 %token RIGHT_CORNER
1088 %token NORTH
1089 %token SOUTH
1090 %token EAST
1091 %token WEST
1092 %token CENTER
1093 %token END
1094 %token START
1095 %token RESET
1096 %token UNTIL
1097 %token PLOT
1098 %token THICKNESS
1099 %token FILL
1100 %token COLORED
1101 %token OUTLINED
1102 %token SHADED
1103 %token ALIGNED
1104 %token SPRINTF
1105 %token COMMAND
1106
1107 %left '.'
1108
1109 /* this ensures that plot 17 "%g" parses as (plot 17 "%g") */
1110 %left PLOT
1111 %left TEXT SPRINTF
1112
1113 /* give text adjustments higher precedence than TEXT, so that
1114 box "foo" above ljust == box ("foo" above ljust)
1115 */
1116
1117 %left LJUST RJUST ABOVE BELOW
1118
1119 %left LEFT RIGHT
1120 /* Give attributes that take an optional expression a higher
1121 precedence than left and right, so that eg `line chop left'
1122 parses properly. */
1123 %left CHOP SOLID DASHED DOTTED UP DOWN FILL COLORED OUTLINED
1124 %left LABEL
1125
1126 %left VARIABLE NUMBER '(' SIN COS ATAN2 LOG EXP SQRT K_MAX K_MIN INT RAND SRAND LAST
1127 %left ORDINAL HERE '`'
1128
1129 %left BOX CIRCLE ELLIPSE ARC LINE ARROW SPLINE '[' /* ] */
1130
1131 /* these need to be lower than '-' */
1132 %left HEIGHT RADIUS WIDTH DIAMETER FROM TO AT THICKNESS
1133
1134 /* these must have higher precedence than CHOP so that `label %prec CHOP'
1135 works */
1136 %left DOT_N DOT_E DOT_W DOT_S DOT_NE DOT_SE DOT_NW DOT_SW DOT_C
1137 %left DOT_START DOT_END TOP BOTTOM LEFT_CORNER RIGHT_CORNER
1138 %left UPPER LOWER NORTH SOUTH EAST WEST CENTER START END
1139
1140 %left ','
1141 %left OROR
1142 %left ANDAND
1143 %left EQUALEQUAL NOTEQUAL
1144 %left '<' '>' LESSEQUAL GREATEREQUAL
1145
1146 %left BETWEEN OF
1147 %left AND
1148
1149 %left '+' '-'
1150 %left '*' '/' '%'
1151 %right '!'
1152 %right '^'
1153
1154 %%
1155
1156 top:
1157 optional_separator
1158 | element_list
1159 ;
1160
1161 element_list:
1162 optional_separator middle_element_list optional_separator
1163 ;
1164
1165 middle_element_list:
1166 element
1167 | middle_element_list separator element
1168 ;
1169
1170 optional_separator:
1171 /* empty */
1172 | separator
1173 ;
1174
1175 separator:
1176 ';'
1177 | separator ';'
1178 ;
1179
1180 placeless_element:
1181 VARIABLE '=' any_expr
1182 | VARIABLE ':' '=' any_expr
1183 | UP
1184 | DOWN
1185 | LEFT
1186 | RIGHT
1187 | COMMAND_LINE
1188 | COMMAND print_args
1189 | PRINT print_args
1190 | SH
1191 {}
1192 DELIMITED
1193 | COPY TEXT
1194 | COPY TEXT THRU
1195 {}
1196 DELIMITED
1197 {}
1198 until
1199 | COPY THRU
1200 {}
1201 DELIMITED
1202 {}
1203 until
1204 | FOR VARIABLE '=' expr TO expr optional_by DO
1205 {}
1206 DELIMITED
1207 | simple_if
1208 | simple_if ELSE
1209 {}
1210 DELIMITED
1211 | reset_variables
1212 | RESET
1213 ;
1214
1215 reset_variables:
1216 RESET VARIABLE
1217 | reset_variables VARIABLE
1218 | reset_variables ',' VARIABLE
1219 ;
1220
1221 print_args:
1222 print_arg
1223 | print_args print_arg
1224 ;
1225
1226 print_arg:
1227 expr %prec ','
1228 | text
1229 | position %prec ','
1230 ;
1231
1232 simple_if:
1233 IF any_expr THEN
1234 {}
1235 DELIMITED
1236 ;
1237
1238 until:
1239 /* empty */
1240 | UNTIL TEXT
1241 ;
1242
1243 any_expr:
1244 expr
1245 | text_expr
1246 ;
1247
1248 text_expr:
1249 text EQUALEQUAL text
1250 | text NOTEQUAL text
1251 | text_expr ANDAND text_expr
1252 | text_expr ANDAND expr
1253 | expr ANDAND text_expr
1254 | text_expr OROR text_expr
1255 | text_expr OROR expr
1256 | expr OROR text_expr
1257 | '!' text_expr
1258 ;
1259
1260 optional_by:
1261 /* empty */
1262 | BY expr
1263 | BY '*' expr
1264 ;
1265
1266 element:
1267 object_spec
1268 | LABEL ':' optional_separator element
1269 | LABEL ':' optional_separator position_not_place
1270 | LABEL ':' optional_separator place
1271 | '{}'
1272 {}
1273 optional_element
1274 | placeless_element
1275 ;
1276
1277 optional_element:
1278 /* empty */
1279 | element
1280 ;
1281
1282 object_spec:
1283 BOX
1284 | CIRCLE
1285 | ELLIPSE
1286 | ARC
1287 | LINE
1288 | ARROW
1289 | MOVE
1290 | SPLINE
1291 | text %prec TEXT
1292 | PLOT expr
1293 | PLOT expr text
1294 | '['
1295 {}
1296 element_list ']'
1297 | object_spec HEIGHT expr
1298 | object_spec RADIUS expr
1299 | object_spec WIDTH expr
1300 | object_spec DIAMETER expr
1301 | object_spec expr %prec HEIGHT
1302 | object_spec UP
1303 | object_spec UP expr
1304 | object_spec DOWN
1305 | object_spec DOWN expr
1306 | object_spec RIGHT
1307 | object_spec RIGHT expr
1308 | object_spec LEFT
1309 | object_spec LEFT expr
1310 | object_spec FROM position
1311 | object_spec TO position
1312 | object_spec AT position
1313 | object_spec WITH path
1314 | object_spec WITH position %prec ','
1315 | object_spec BY expr_pair
1316 | object_spec THEN
1317 | object_spec SOLID
1318 | object_spec DOTTED
1319 | object_spec DOTTED expr
1320 | object_spec DASHED
1321 | object_spec DASHED expr
1322 | object_spec FILL
1323 | object_spec FILL expr
1324 | object_spec SHADED text
1325 | object_spec COLORED text
1326 | object_spec OUTLINED text
1327 | object_spec CHOP
1328 | object_spec CHOP expr
1329 | object_spec SAME
1330 | object_spec INVISIBLE
1331 | object_spec LEFT_ARROW_HEAD
1332 | object_spec RIGHT_ARROW_HEAD
1333 | object_spec DOUBLE_ARROW_HEAD
1334 | object_spec CW
1335 | object_spec CCW
1336 | object_spec text %prec TEXT
1337 | object_spec LJUST
1338 | object_spec RJUST
1339 | object_spec ABOVE
1340 | object_spec BELOW
1341 | object_spec THICKNESS expr
1342 | object_spec ALIGNED
1343 ;
1344
1345 text:
1346 TEXT
1347 | SPRINTF '(' TEXT sprintf_args ')'
1348 ;
1349
1350 sprintf_args:
1351 /* empty */
1352 | sprintf_args ',' expr
1353 ;
1354
1355 position:
1356 position_not_place
1357 | place
1358 ;
1359
1360 position_not_place:
1361 expr_pair
1362 | position '+' expr_pair
1363 | position '-' expr_pair
1364 | '(' position ',' position ')'
1365 | expr between position AND position
1366 | expr '<' position ',' position '>'
1367 ;
1368
1369 between:
1370 BETWEEN
1371 | OF THE WAY BETWEEN
1372 ;
1373
1374 expr_pair:
1375 expr ',' expr
1376 | '(' expr_pair ')'
1377 ;
1378
1379 place:
1380 /* line at A left == line (at A) left */
1381 label %prec CHOP
1382 | label corner
1383 | corner label
1384 | corner OF label
1385 | HERE
1386 ;
1387
1388 label:
1389 LABEL
1390 | nth_primitive
1391 | label '.' LABEL
1392 ;
1393
1394 ordinal:
1395 ORDINAL
1396 | '`' any_expr TH
1397 ;
1398
1399 optional_ordinal_last:
1400 LAST
1401 | ordinal LAST
1402 ;
1403
1404 nth_primitive:
1405 ordinal object_type
1406 | optional_ordinal_last object_type
1407 ;
1408
1409 object_type:
1410 BOX
1411 | CIRCLE
1412 | ELLIPSE
1413 | ARC
1414 | LINE
1415 | ARROW
1416 | SPLINE
1417 | '[' ']'
1418 | TEXT
1419 ;
1420
1421 label_path:
1422 '.' LABEL
1423 | label_path '.' LABEL
1424 ;
1425
1426 relative_path:
1427 corner %prec CHOP
1428 /* give this a lower precedence than LEFT and RIGHT so that
1429 [A: box] with .A left == [A: box] with (.A left) */
1430 | label_path %prec TEXT
1431 | label_path corner
1432 ;
1433
1434 path:
1435 relative_path
1436 | '(' relative_path ',' relative_path ')'
1437 {}
1438 /* The rest of these rules are a compatibility sop. */
1439 | ORDINAL LAST object_type relative_path
1440 | LAST object_type relative_path
1441 | ORDINAL object_type relative_path
1442 | LABEL relative_path
1443 ;
1444
1445 corner:
1446 DOT_N
1447 | DOT_E
1448 | DOT_W
1449 | DOT_S
1450 | DOT_NE
1451 | DOT_SE
1452 | DOT_NW
1453 | DOT_SW
1454 | DOT_C
1455 | DOT_START
1456 | DOT_END
1457 | TOP
1458 | BOTTOM
1459 | LEFT
1460 | RIGHT
1461 | UPPER LEFT
1462 | LOWER LEFT
1463 | UPPER RIGHT
1464 | LOWER RIGHT
1465 | LEFT_CORNER
1466 | RIGHT_CORNER
1467 | UPPER LEFT_CORNER
1468 | LOWER LEFT_CORNER
1469 | UPPER RIGHT_CORNER
1470 | LOWER RIGHT_CORNER
1471 | NORTH
1472 | SOUTH
1473 | EAST
1474 | WEST
1475 | CENTER
1476 | START
1477 | END
1478 ;
1479
1480 expr:
1481 VARIABLE
1482 | NUMBER
1483 | place DOT_X
1484 | place DOT_Y
1485 | place DOT_HT
1486 | place DOT_WID
1487 | place DOT_RAD
1488 | expr '+' expr
1489 | expr '-' expr
1490 | expr '*' expr
1491 | expr '/' expr
1492 | expr '%' expr
1493 | expr '^' expr
1494 | '-' expr %prec '!'
1495 | '(' any_expr ')'
1496 | SIN '(' any_expr ')'
1497 | COS '(' any_expr ')'
1498 | ATAN2 '(' any_expr ',' any_expr ')'
1499 | LOG '(' any_expr ')'
1500 | EXP '(' any_expr ')'
1501 | SQRT '(' any_expr ')'
1502 | K_MAX '(' any_expr ',' any_expr ')'
1503 | K_MIN '(' any_expr ',' any_expr ')'
1504 | INT '(' any_expr ')'
1505 | RAND '(' any_expr ')'
1506 | RAND '(' ')'
1507 | SRAND '(' any_expr ')'
1508 | expr '<' expr
1509 | expr LESSEQUAL expr
1510 | expr '>' expr
1511 | expr GREATEREQUAL expr
1512 | expr EQUALEQUAL expr
1513 | expr NOTEQUAL expr
1514 | expr ANDAND expr
1515 | expr OROR expr
1516 | '!' expr
1517 ;
1518 ]])
1519
1520 # Pass plenty of options, to exercise plenty of code, even if we
1521 # don't actually check the output. But SEGV is watching us, and
1522 # so might do dmalloc.
1523 AT_CHECK([[bison --verbose --defines input.y]], 0, [], [])
1524
1525 AT_CLEANUP
bison