]> git.saurik.com Git - bison.git/blob - tests/headers.at
Use $accept and $end, as BYacc and BTYacc do, instead of $axiom and $.
[bison.git] / tests / headers.at
1 # Bison Parser Headers. -*- 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([[Parser Headers.]])
20
21
22 ## ---------------------- ##
23 ## %union and --defines. ##
24 ## ---------------------- ##
25
26
27 AT_SETUP([%union and --defines])
28
29 AT_DATA([input.y],
30 [%union
31 {
32 int integer;
33 char *string ;
34 }
35 %%
36 exp: {};
37 ])
38
39 AT_CHECK([bison --defines input.y])
40
41 AT_CLEANUP
42
43
44
45 ## --------------------- ##
46 ## Invalid CPP headers. ##
47 ## --------------------- ##
48
49 # AT_TEST_CPP_GUARD_H([INPUT-FILE-BASE)
50 # -------------------------------------
51 m4_define([AT_TEST_CPP_GUARD_H],
52 [AT_SETUP([Invalid CPP guards: $1])
53
54 # Possibly create inner directories.
55 dirname=`AS_DIRNAME([$1])`
56 AS_MKDIR_P([$dirname])
57
58 AT_DATA([$1.y],
59 [%%
60 dummy:;
61 ])
62
63 AT_CHECK([bison --defines=$1.h $1.y])
64
65 # CPP should be happy with it.
66 AT_CHECK([$CC -E $1.h], 0, [ignore])
67
68 AT_CLEANUP
69 ])
70
71 AT_TEST_CPP_GUARD_H([input/input])
72 AT_TEST_CPP_GUARD_H([9foo])
73
74
75
76 ## ---------------- ##
77 ## export YYLTYPE. ##
78 ## ---------------- ##
79
80
81 AT_SETUP([export YYLTYPE])
82
83 AT_DATA([input.y],
84 [%locations
85
86 %name-prefix="my_"
87 %{
88 #include <stdio.h>
89 #include <stdlib.h>
90
91 static int
92 my_lex (void)
93 {
94 return EOF;
95 }
96
97 static void
98 my_error (const char *msg)
99 {
100 fprintf (stderr, "%s\n", msg);
101 }
102
103 %}
104 %%
105 exp:;
106 ])
107
108 AT_CHECK([bison --defines input.y -o input.c])
109
110 # YYLTYPE should be defined, and MY_LLOC declared.
111 AT_DATA([caller.c],
112 [[#include "input.h"
113 YYLTYPE *my_llocp = &my_lloc;
114
115 int my_parse (void);
116
117 int
118 main (void)
119 {
120 return my_parse ();
121 }
122 ]])
123
124 # Link and execute, just to make sure everything is fine (and in
125 # particular, that MY_LLOC is indeed defined somewhere).
126 AT_COMPILE([caller], [caller.c input.c])
127 AT_PARSER_CHECK([./caller])
128
129 AT_CLEANUP