[bison.git] / tests / reduce.at

# Exercising Bison Grammar Reduction.                      -*- Autotest -*-
# Copyright 2001 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 2, 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, write to the Free Software
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
# 02111-1307, USA.

AT_BANNER([[Grammar Reduction.]])


## ------------------- ##
## Useless Terminals.  ##
## ------------------- ##

AT_SETUP([Useless Terminals])

AT_DATA([[input.y]],
[[%verbose
%output="input.c"

%token useless1
%token useless2
%token useless3
%token useless4
%token useless5
%token useless6
%token useless7
%token useless8
%token useless9

%token useful
%%
exp: useful;
]])

AT_CHECK([[bison input.y]], 0, [],
[[input.y contains 9 useless nonterminals
]])

AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
[[Useless nonterminals:
   useless1
   useless2
   useless3
   useless4
   useless5
   useless6
   useless7
   useless8
   useless9
]])

AT_CLEANUP


## ---------------------- ##
## Useless Nonterminals.  ##
## ---------------------- ##

AT_SETUP([Useless Nonterminals])

AT_DATA([[input.y]],
[[%verbose
%output="input.c"

%nterm useless1
%nterm useless2
%nterm useless3
%nterm useless4
%nterm useless5
%nterm useless6
%nterm useless7
%nterm useless8
%nterm useless9

%token useful
%%
exp: useful;
]])

AT_CHECK([[bison input.y]], 0, [],
[[input.y contains 9 useless nonterminals
]])

AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
[[Useless nonterminals:
   useless1
   useless2
   useless3
   useless4
   useless5
   useless6
   useless7
   useless8
   useless9
]])

AT_CLEANUP
Commit	Line	Data
cb4956ee AD	1	# Exercising Bison Grammar Reduction. -- 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([[Grammar Reduction.]])
	20
	21
	22	## ------------------- ##
	23	## Useless Terminals. ##
	24	## ------------------- ##
	25
	26	AT_SETUP([Useless Terminals])
	27
	28	AT_DATA([[input.y]],
	29	[[%verbose
	30	%output="input.c"
	31
	32	%token useless1
	33	%token useless2
	34	%token useless3
	35	%token useless4
	36	%token useless5
	37	%token useless6
	38	%token useless7
	39	%token useless8
	40	%token useless9
	41
	42	%token useful
	43	%%
	44	exp: useful;
	45	]])
	46
d2d1b42b AD	47	AT_CHECK([[bison input.y]], 0, [],
	48	[[input.y contains 9 useless nonterminals
	49	]])
cb4956ee AD	50
cb4956ee AD	51	AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
d2d1b42b	52	[[Useless nonterminals:
cb4956ee AD	53	useless1
	54	useless2
	55	useless3
	56	useless4
	57	useless5
	58	useless6
	59	useless7
	60	useless8
	61	useless9
	62	]])
	63
	64	AT_CLEANUP
	65
	66
	67
	68	## ---------------------- ##
	69	## Useless Nonterminals. ##
	70	## ---------------------- ##
	71
	72	AT_SETUP([Useless Nonterminals])
	73
	74	AT_DATA([[input.y]],
	75	[[%verbose
	76	%output="input.c"
	77
	78	%nterm useless1
	79	%nterm useless2
	80	%nterm useless3
	81	%nterm useless4
	82	%nterm useless5
	83	%nterm useless6
	84	%nterm useless7
	85	%nterm useless8
	86	%nterm useless9
	87
	88	%token useful
	89	%%
	90	exp: useful;
	91	]])
	92
760b53a8 AD	93	AT_CHECK([[bison input.y]], 0, [],
	94	[[input.y contains 9 useless nonterminals
	95	]])
cb4956ee AD	96
cb4956ee AD	97	AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
760b53a8	98	[[Useless nonterminals:
cb4956ee AD	99	useless1
	100	useless2
	101	useless3
	102	useless4
	103	useless5
	104	useless6
	105	useless7
	106	useless8
	107	useless9
	108	]])
	109
	110	AT_CLEANUP