tests/reduce.at

   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
  47 AT_CHECK([[bison input.y]])
  48
  49 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
  50 [[Terminals which are not used:
  51    useless1
  52    useless2
  53    useless3
  54    useless4
  55    useless5
  56    useless6
  57    useless7
  58    useless8
  59    useless9
  60 ]])
  61
  62 AT_CLEANUP
  63
  64
  65
  66 ## ---------------------- ##
  67 ## Useless Nonterminals.  ##
  68 ## ---------------------- ##
  69
  70 AT_SETUP([Useless Nonterminals])
  71
  72 AT_DATA([[input.y]],
  73 [[%verbose
  74 %output="input.c"
  75
  76 %nterm useless1
  77 %nterm useless2
  78 %nterm useless3
  79 %nterm useless4
  80 %nterm useless5
  81 %nterm useless6
  82 %nterm useless7
  83 %nterm useless8
  84 %nterm useless9
  85
  86 %token useful
  87 %%
  88 exp: useful;
  89 ]])
  90
  91 AT_CHECK([[bison input.y]], 0, [],
  92 [[input.y contains 9 useless nonterminals
  93 ]])
  94
  95 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
  96 [[Useless nonterminals:
  97    useless1
  98    useless2
  99    useless3
 100    useless4
 101    useless5
 102    useless6
 103    useless7
 104    useless8
 105    useless9
 106 ]])
 107
 108 AT_CLEANUP
 109
 110
 111
 112 ## --------------- ##
 113 ## Useless Rules.  ##
 114 ## --------------- ##
 115
 116 AT_SETUP([Useless Rules])
 117
 118 AT_DATA([[input.y]],
 119 [[%verbose
 120 %output="input.c"
 121 %token useful
 122 %%
 123 exp: useful;
 124 useless1: '1';
 125 useless2: '2';
 126 useless3: '3';
 127 useless4: '4';
 128 useless5: '5';
 129 useless6: '6';
 130 useless7: '7';
 131 useless8: '8';
 132 useless9: '9';
 133 ]])
 134
 135 AT_CHECK([[bison input.y]], 0, [],
 136 [[input.y contains 9 useless nonterminals and 9 useless rules
 137 ]])
 138
 139 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
 140 [[Useless nonterminals:
 141    useless1
 142    useless2
 143    useless3
 144    useless4
 145    useless5
 146    useless6
 147    useless7
 148    useless8
 149    useless9
 150 Terminals which are not used:
 151    '1'
 152    '2'
 153    '3'
 154    '4'
 155    '5'
 156    '6'
 157    '7'
 158    '8'
 159    '9'
 160 Useless rules:
 161 #2     useless1: '1';
 162 #3     useless2: '2';
 163 #4     useless3: '3';
 164 #5     useless4: '4';
 165 #6     useless5: '5';
 166 #7     useless6: '6';
 167 #8     useless7: '7';
 168 #9     useless8: '8';
 169 #10    useless9: '9';
 170 ]])
 171
 172 AT_CLEANUP
 173
 174
 175
 176 ## ------------------- ##
 177 ## Underivable Rules.  ##
 178 ## ------------------- ##
 179
 180 AT_SETUP([Underivable Rules])
 181
 182 AT_DATA([[input.y]],
 183 [[%verbose
 184 %output="input.c"
 185 %token useful
 186 %%
 187 exp: useful | underivable;
 188 underivable: indirection;
 189 indirection: underivable;
 190 ]])
 191
 192 AT_CHECK([[bison input.y]], 0, [],
 193 [[input.y contains 2 useless nonterminals and 3 useless rules
 194 ]])
 195
 196 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
 197 [[Useless nonterminals:
 198    underivable
 199    indirection
 200 Useless rules:
 201 #2     exp: underivable;
 202 #3     underivable: indirection;
 203 #4     indirection: underivable;
 204 ]])
 205
 206 AT_CLEANUP