]> git.saurik.com Git - bison.git/blob - tests/headers.at
tests: show a use of %define lr.default-reductions "consistent"
[bison.git] / tests / headers.at
1 # Bison Parser Headers. -*- Autotest -*-
2 # Copyright (C) 2001, 2002, 2006, 2007, 2009 Free Software Foundation,
3 # Inc.
4
5 # This program is free software: you can redistribute it and/or modify
6 # it under the terms of the GNU General Public License as published by
7 # the Free Software Foundation, either version 3 of the License, or
8 # (at your option) any later version.
9 #
10 # This program is distributed in the hope that it will be useful,
11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 # GNU General Public License for more details.
14 #
15 # You should have received a copy of the GNU General Public License
16 # along with this program. If not, see <http://www.gnu.org/licenses/>.
17
18 AT_BANNER([[Parser Headers.]])
19
20
21 ## ---------------------- ##
22 ## %union and --defines. ##
23 ## ---------------------- ##
24
25
26 AT_SETUP([%union and --defines])
27
28 AT_DATA([input.y],
29 [%union
30 {
31 int integer;
32 char *string ;
33 }
34 %%
35 exp: {};
36 ])
37
38 AT_BISON_CHECK([--defines input.y])
39
40 AT_CLEANUP
41
42
43
44 ## --------------------- ##
45 ## Invalid CPP headers. ##
46 ## --------------------- ##
47
48 # AT_TEST_CPP_GUARD_H([INPUT-FILE-BASE)
49 # -------------------------------------
50 m4_define([AT_TEST_CPP_GUARD_H],
51 [AT_SETUP([Invalid CPP guards: $1])
52
53 # Possibly create inner directories.
54 dirname=`AS_DIRNAME([$1])`
55 AS_MKDIR_P([$dirname])
56
57 AT_DATA_GRAMMAR([$1.y],
58 [%{
59 #include <$1.h>
60 void yyerror (const char *);
61 int yylex (void);
62 %}
63 %%
64 dummy:;
65 %%
66 #include <$1.h>
67 ])
68
69 AT_BISON_CHECK([--defines=$1.h --output=y.tab.c $1.y])
70
71 AT_COMPILE([y.tab.o], [-I. -c y.tab.c])
72
73 AT_CLEANUP
74 ])
75
76 AT_TEST_CPP_GUARD_H([input/input])
77 AT_TEST_CPP_GUARD_H([9foo])
78
79
80
81 ## ---------------- ##
82 ## export YYLTYPE. ##
83 ## ---------------- ##
84
85
86 AT_SETUP([export YYLTYPE])
87
88 AT_DATA_GRAMMAR([input.y],
89 [%locations
90
91 %name-prefix "my_"
92 %{
93 #include <stdio.h>
94 #include <stdlib.h>
95
96 static int
97 my_lex (void)
98 {
99 return EOF;
100 }
101
102 static void
103 my_error (const char *msg)
104 {
105 fprintf (stderr, "%s\n", msg);
106 }
107
108 %}
109 %%
110 exp:;
111 ])
112
113 AT_BISON_CHECK([--defines -o input.c input.y])
114
115 # YYLTYPE should be defined, and MY_LLOC declared.
116 AT_DATA([caller.c],
117 [[#include "input.h"
118 YYLTYPE *my_llocp = &my_lloc;
119
120 int my_parse (void);
121
122 int
123 main (void)
124 {
125 return my_parse ();
126 }
127 ]])
128
129 # Link and execute, just to make sure everything is fine (and in
130 # particular, that MY_LLOC is indeed defined somewhere).
131 AT_COMPILE([caller.o], [-c caller.c])
132 AT_COMPILE([input.o], [-c input.c])
133 AT_COMPILE([caller], [caller.o input.o])
134 AT_PARSER_CHECK([./caller])
135
136 AT_CLEANUP