[bison.git] / tests / skeletons.at

# Checking skeleton support.                     -*- Autotest -*-
# Copyright (C) 2007 Free Software Foundation, Inc.

# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.

AT_BANNER([[Skeleton Support.]])

## ------------------------------ ##
## Relative skeleton file names.  ##
## ------------------------------ ##

AT_SETUP([[Relative skeleton file names]])

AT_CHECK([[mkdir tmp]])

AT_DATA([[tmp/skel.c]],
[[m4@&t@_divert_push(0)d@&t@nl
@output(b4_parser_file_name@)d@&t@nl
b4_percent_define_get([[test]])
m4@&t@_divert_pop(0)
]])

AT_DATA([[skel.c]],
[[m4@&t@_divert_push(0)d@&t@nl
@output(b4_parser_file_name@)d@&t@nl
b4_percent_define_get([[test]]) -- Local
m4@&t@_divert_pop(0)
]])

AT_DATA([[tmp/input-gram.y]],
[[%skeleton "./skel.c"
%define test "Hello World"
%%
start: ;
]])

AT_DATA([[input-gram.y]],
[[%skeleton "./skel.c"
%define test "Hello World"
%%
start: ;
]])

AT_DATA([[tmp/input-cmd-line.y]],
[[%define test "Hello World"
%%
start: ;
]])

AT_CHECK([[bison tmp/input-gram.y]])
AT_CHECK([[cat input-gram.tab.c]], [[0]],
[[Hello World
]])

AT_CHECK([[bison input-gram.y]])
AT_CHECK([[cat input-gram.tab.c]], [[0]],
[[Hello World -- Local
]])

AT_CHECK([[bison --skeleton=tmp/skel.c tmp/input-cmd-line.y]])
AT_CHECK([[cat input-cmd-line.tab.c]], [[0]],
[[Hello World
]])

AT_CLEANUP


## ------------------------------- ##
## Installed skeleton file names.  ##
## ------------------------------- ##

AT_SETUP([[Installed skeleton file names]])

m4_pushdef([AT_GRAM],
[[%{
  #include <stdio.h>
  void yyerror (char const *msg);
  int yylex (void);
%}

%error-verbose
%token 'a'

%%

start: ;

%%

void
yyerror (char const *msg)
{
  fprintf (stderr, "%s\n", msg);
}

int
yylex (void)
{
  return 'a';
}

int
main (void)
{
  return yyparse ();
}
]])

AT_DATA([[input-cmd-line.y]],
[AT_GRAM])

AT_DATA([[input-gram.y]],
[[%skeleton "yacc.c"]
AT_GRAM])

AT_CHECK([[bison --skeleton=yacc.c -o input-cmd-line.c input-cmd-line.y]])
AT_COMPILE([[input-cmd-line]])
AT_PARSER_CHECK([[./input-cmd-line]], [[1]], [],
[[syntax error, unexpected 'a', expecting $end
]])

AT_CHECK([[bison -o input-gram.c input-gram.y]])
AT_COMPILE([[input-gram]])
AT_PARSER_CHECK([[./input-gram]], [[1]], [],
[[syntax error, unexpected 'a', expecting $end
]])

m4_popdef([AT_GRAM])

AT_CLEANUP


## ------------------------------------------------------ ##
## %define Boolean variables: invalid skeleton defaults.  ##
## ------------------------------------------------------ ##

AT_SETUP([[%define Boolean variables: invalid skeleton defaults]])

AT_DATA([[skel.c]],
[[b4_percent_define_default([[foo]], [[bogus value]])
b4_percent_define_flag_if([[foo]])
]])

AT_DATA([[input.y]],
[[%skeleton "./skel.c"
%%
start: ;
]])

AT_CHECK([[bison input.y]], [[1]], [[]],
[[[Bison:b4_percent_define_default]:1.0: invalid value for %define Boolean variable `foo'
]])

AT_CLEANUP


## --------------------------------------------- ##
## Complaining during macro argument expansion.  ##
## --------------------------------------------- ##

AT_SETUP([[Complaining during macro argument expansion]])

AT_DATA([[skel1.c]],
[[m4@&t@_define([foow], [b4_warn([[foow fubar]])])
m4@&t@_define([foowat], [b4_warn_at([[foow.y:2.3]],
                                    [[foow.y:5.4]], [[foowat fubar]])])
m4@&t@_define([fooc], [b4_complain([[fooc fubar]])])
m4@&t@_define([foocat], [b4_complain_at([[fooc.y:1.1]],
                                        [[fooc.y:10.6]], [[foocat fubar]])])
m4@&t@_define([foof], [b4_fatal([[foof fubar]])])
m4@&t@_if(foow, [1], [yes])
m4@&t@_if(foowat, [1], [yes])
m4@&t@_if(fooc, [1], [yes])
m4@&t@_if(foocat, [1], [yes])
m4@&t@_if(foof, [1], [yes])
]])

AT_DATA([[input1.y]],
[[%skeleton "./skel1.c"
%%
start: ;
]])

AT_CHECK([[bison input1.y]], [[1]], [[]],
[[input1.y: warning: foow fubar
foow.y:2.3-5.3: warning: foowat fubar
input1.y: fooc fubar
fooc.y:1.1-10.5: foocat fubar
input1.y: fatal error: foof fubar
]])

AT_DATA([[skel2.c]],
[[m4@&t@_define([foofat], [b4_fatal_at([[foof.y:12.11]],
                                       [[foof.y:100.123]], [[foofat fubar]])])
m4@&t@_if(foofat, [1], [yes])
]])

AT_DATA([[input2.y]],
[[%skeleton "./skel2.c"
%%
start: ;
]])

AT_CHECK([[bison input2.y]], [[1]], [[]],
[[foof.y:12.11-100.122: fatal error: foofat fubar
]])

AT_DATA([[skel3.c]],
[[b4_complain_at(b4_percent_define_get_loc([[bogus]]), [[bad value]])
]])

AT_DATA([[input3.y]],
[[%skeleton "./skel3.c"
%%
start: ;
]])

AT_CHECK([[bison input3.y]], [[1]], [[]],
[[input3.y: fatal error: undefined %define variable `bogus' passed to b4_percent_define_get_loc
]])

AT_DATA([[skel4.c]],
[[b4_warn_at(b4_percent_define_get_syncline([[bogus]]), [[bad value]])
]])

AT_DATA([[input4.y]],
[[%skeleton "./skel4.c"
%%
start: ;
]])

AT_CHECK([[bison input4.y]], [[1]], [[]],
[[input4.y: fatal error: undefined %define variable `bogus' passed to b4_percent_define_get_syncline
]])

AT_CLEANUP


## --------------------------------------- ##
## Fatal errors make M4 exit immediately.  ##
## --------------------------------------- ##

AT_SETUP([[Fatal errors make M4 exit immediately]])

AT_DATA([[skel1.c]],
[[b4_complain([[non-fatal error]])
b4_fatal([[M4 should exit immediately here]])
m4@&t@_fatal([this should never be evaluated])
]])

AT_DATA([[input1.y]],
[[%skeleton "./skel1.c"
%%
start: ;
]])

AT_CHECK([[bison input1.y]], [[1]], [[]],
[[input1.y: non-fatal error
input1.y: fatal error: M4 should exit immediately here
]])

AT_DATA([[skel2.c]],
[[b4_warn([[morning]])
b4_fatal_at([[foo.y:1.5]], [[foo.y:1.7]], [[M4 should exit immediately here]])
m4@&t@_fatal([this should never be evaluated])
]])

AT_DATA([[input2.y]],
[[%skeleton "./skel2.c"
%%
start: ;
]])

AT_CHECK([[bison input2.y]], [[1]], [[]],
[[input2.y: warning: morning
foo.y:1.5-6: fatal error: M4 should exit immediately here
]])

AT_CLEANUP
Commit	Line	Data
a7867f53 JD	1	# Checking skeleton support. -- Autotest --
	2	# Copyright (C) 2007 Free Software Foundation, Inc.
	3
f16b0819	4	# This program is free software: you can redistribute it and/or modify
a7867f53	5	# it under the terms of the GNU General Public License as published by
f16b0819 PE	6	# the Free Software Foundation, either version 3 of the License, or
	7	# (at your option) any later version.
	8	#
a7867f53 JD	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.
f16b0819	13	#
a7867f53	14	# You should have received a copy of the GNU General Public License
f16b0819	15	# along with this program. If not, see <http://www.gnu.org/licenses/>.
a7867f53	16
3eb82471	17	AT_BANNER([[Skeleton Support.]])
a7867f53 JD	18
a7867f53 JD	19	## ------------------------------ ##
9611cfa2	20	## Relative skeleton file names. ##
a7867f53 JD	21	## ------------------------------ ##
a7867f53 JD	22
9611cfa2	23	AT_SETUP([[Relative skeleton file names]])
a7867f53 JD	24
	25	AT_CHECK([[mkdir tmp]])
	26
	27	AT_DATA([[tmp/skel.c]],
	28	[[m4@&t@_divert_push(0)d@&t@nl
	29	@output(b4_parser_file_name@)d@&t@nl
	30	b4_percent_define_get([[test]])
	31	m4@&t@_divert_pop(0)
	32	]])
	33
	34	AT_DATA([[skel.c]],
	35	[[m4@&t@_divert_push(0)d@&t@nl
	36	@output(b4_parser_file_name@)d@&t@nl
	37	b4_percent_define_get([[test]]) -- Local
	38	m4@&t@_divert_pop(0)
	39	]])
	40
	41	AT_DATA([[tmp/input-gram.y]],
	42	[[%skeleton "./skel.c"
	43	%define test "Hello World"
	44	%%
	45	start: ;
	46	]])
	47
	48	AT_DATA([[input-gram.y]],
	49	[[%skeleton "./skel.c"
	50	%define test "Hello World"
	51	%%
	52	start: ;
	53	]])
	54
	55	AT_DATA([[tmp/input-cmd-line.y]],
	56	[[%define test "Hello World"
	57	%%
	58	start: ;
	59	]])
	60
	61	AT_CHECK([[bison tmp/input-gram.y]])
	62	AT_CHECK([[cat input-gram.tab.c]], [[0]],
	63	[[Hello World
	64	]])
	65
	66	AT_CHECK([[bison input-gram.y]])
	67	AT_CHECK([[cat input-gram.tab.c]], [[0]],
	68	[[Hello World -- Local
	69	]])
	70
	71	AT_CHECK([[bison --skeleton=tmp/skel.c tmp/input-cmd-line.y]])
	72	AT_CHECK([[cat input-cmd-line.tab.c]], [[0]],
	73	[[Hello World
	74	]])
	75
	76	AT_CLEANUP
	77
	78
3eb82471	79	## ------------------------------- ##
9611cfa2	80	## Installed skeleton file names. ##
3eb82471	81	## ------------------------------- ##
a7867f53	82
9611cfa2	83	AT_SETUP([[Installed skeleton file names]])
a7867f53 JD	84
	85	m4_pushdef([AT_GRAM],
	86	[[%{
	87	#include <stdio.h>
	88	void yyerror (char const *msg);
	89	int yylex (void);
	90	%}
	91
	92	%error-verbose
	93	%token 'a'
	94
	95	%%
	96
	97	start: ;
	98
	99	%%
	100
	101	void
	102	yyerror (char const *msg)
	103	{
	104	fprintf (stderr, "%s\n", msg);
	105	}
	106
	107	int
	108	yylex (void)
	109	{
	110	return 'a';
	111	}
	112
	113	int
	114	main (void)
	115	{
	116	return yyparse ();
	117	}
	118	]])
	119
	120	AT_DATA([[input-cmd-line.y]],
	121	[AT_GRAM])
	122
	123	AT_DATA([[input-gram.y]],
	124	[[%skeleton "yacc.c"]
	125	AT_GRAM])
	126
	127	AT_CHECK([[bison --skeleton=yacc.c -o input-cmd-line.c input-cmd-line.y]])
	128	AT_COMPILE([[input-cmd-line]])
	129	AT_PARSER_CHECK([[./input-cmd-line]], [[1]], [],
	130	[[syntax error, unexpected 'a', expecting $end
	131	]])
	132
	133	AT_CHECK([[bison -o input-gram.c input-gram.y]])
	134	AT_COMPILE([[input-gram]])
	135	AT_PARSER_CHECK([[./input-gram]], [[1]], [],
	136	[[syntax error, unexpected 'a', expecting $end
	137	]])
	138
	139	m4_popdef([AT_GRAM])
	140
	141	AT_CLEANUP
9611cfa2 JD	142
	143
	144	## ------------------------------------------------------ ##
922bdd7f	145	## %define Boolean variables: invalid skeleton defaults. ##
9611cfa2 JD	146	## ------------------------------------------------------ ##
9611cfa2 JD	147
922bdd7f	148	AT_SETUP([[%define Boolean variables: invalid skeleton defaults]])
9611cfa2	149
9611cfa2 JD	150	AT_DATA([[skel.c]],
	151	[[b4_percent_define_default([[foo]], [[bogus value]])
	152	b4_percent_define_flag_if([[foo]])
	153	]])
	154
	155	AT_DATA([[input.y]],
	156	[[%skeleton "./skel.c"
	157	%%
	158	start: ;
	159	]])
	160
	161	AT_CHECK([[bison input.y]], [[1]], [[]],
35b8730d	162	[[[Bison:b4_percent_define_default]:1.0: invalid value for %define Boolean variable `foo'
9611cfa2 JD	163	]])
	164
	165	AT_CLEANUP
	166
	167
7dc4a694 JD	168	## --------------------------------------------- ##
	169	## Complaining during macro argument expansion. ##
	170	## --------------------------------------------- ##
	171
	172	AT_SETUP([[Complaining during macro argument expansion]])
	173
	174	AT_DATA([[skel1.c]],
	175	[[m4@&t@_define([foow], [b4_warn([[foow fubar]])])
	176	m4@&t@_define([foowat], [b4_warn_at([[foow.y:2.3]],
	177	[[foow.y:5.4]], [[foowat fubar]])])
	178	m4@&t@_define([fooc], [b4_complain([[fooc fubar]])])
	179	m4@&t@_define([foocat], [b4_complain_at([[fooc.y:1.1]],
	180	[[fooc.y:10.6]], [[foocat fubar]])])
	181	m4@&t@_define([foof], [b4_fatal([[foof fubar]])])
	182	m4@&t@_if(foow, [1], [yes])
	183	m4@&t@_if(foowat, [1], [yes])
	184	m4@&t@_if(fooc, [1], [yes])
	185	m4@&t@_if(foocat, [1], [yes])
	186	m4@&t@_if(foof, [1], [yes])
	187	]])
	188
	189	AT_DATA([[input1.y]],
	190	[[%skeleton "./skel1.c"
	191	%%
	192	start: ;
	193	]])
	194
	195	AT_CHECK([[bison input1.y]], [[1]], [[]],
	196	[[input1.y: warning: foow fubar
	197	foow.y:2.3-5.3: warning: foowat fubar
	198	input1.y: fooc fubar
	199	fooc.y:1.1-10.5: foocat fubar
	200	input1.y: fatal error: foof fubar
	201	]])
	202
	203	AT_DATA([[skel2.c]],
	204	[[m4@&t@_define([foofat], [b4_fatal_at([[foof.y:12.11]],
	205	[[foof.y:100.123]], [[foofat fubar]])])
	206	m4@&t@_if(foofat, [1], [yes])
	207	]])
	208
	209	AT_DATA([[input2.y]],
	210	[[%skeleton "./skel2.c"
	211	%%
	212	start: ;
	213	]])
	214
	215	AT_CHECK([[bison input2.y]], [[1]], [[]],
	216	[[foof.y:12.11-100.122: fatal error: foofat fubar
	217	]])
	218
35b8730d JD	219	AT_DATA([[skel3.c]],
	220	[[b4_complain_at(b4_percent_define_get_loc([[bogus]]), [[bad value]])
	221	]])
	222
	223	AT_DATA([[input3.y]],
	224	[[%skeleton "./skel3.c"
	225	%%
	226	start: ;
	227	]])
	228
	229	AT_CHECK([[bison input3.y]], [[1]], [[]],
	230	[[input3.y: fatal error: undefined %define variable `bogus' passed to b4_percent_define_get_loc
	231	]])
	232
	233	AT_DATA([[skel4.c]],
	234	[[b4_warn_at(b4_percent_define_get_syncline([[bogus]]), [[bad value]])
	235	]])
	236
	237	AT_DATA([[input4.y]],
	238	[[%skeleton "./skel4.c"
	239	%%
	240	start: ;
	241	]])
	242
	243	AT_CHECK([[bison input4.y]], [[1]], [[]],
	244	[[input4.y: fatal error: undefined %define variable `bogus' passed to b4_percent_define_get_syncline
	245	]])
	246
7dc4a694 JD	247	AT_CLEANUP
	248
	249
	250	## --------------------------------------- ##
	251	## Fatal errors make M4 exit immediately. ##
	252	## --------------------------------------- ##
	253
	254	AT_SETUP([[Fatal errors make M4 exit immediately]])
	255
	256	AT_DATA([[skel1.c]],
	257	[[b4_complain([[non-fatal error]])
	258	b4_fatal([[M4 should exit immediately here]])
	259	m4@&t@_fatal([this should never be evaluated])
	260	]])
	261
	262	AT_DATA([[input1.y]],
	263	[[%skeleton "./skel1.c"
	264	%%
	265	start: ;
	266	]])
	267
	268	AT_CHECK([[bison input1.y]], [[1]], [[]],
	269	[[input1.y: non-fatal error
	270	input1.y: fatal error: M4 should exit immediately here
	271	]])
	272
	273	AT_DATA([[skel2.c]],
	274	[[b4_warn([[morning]])
	275	b4_fatal_at([[foo.y:1.5]], [[foo.y:1.7]], [[M4 should exit immediately here]])
	276	m4@&t@_fatal([this should never be evaluated])
	277	]])
	278
	279	AT_DATA([[input2.y]],
	280	[[%skeleton "./skel2.c"
	281	%%
	282	start: ;
	283	]])
	284
	285	AT_CHECK([[bison input2.y]], [[1]], [[]],
	286	[[input2.y: warning: morning
	287	foo.y:1.5-6: fatal error: M4 should exit immediately here
	288	]])
	289
	290	AT_CLEANUP