tests/headers.at

   1 # Bison Parser Headers.                               -*- Autotest -*-
   2
   3 # Copyright (C) 2001-2002, 2006-2007, 2009-2012 Free Software
   4 # Foundation, Inc.
   5
   6 # This program is free software: you can redistribute it and/or modify
   7 # it under the terms of the GNU General Public License as published by
   8 # the Free Software Foundation, either version 3 of the License, or
   9 # (at your option) any later version.
  10 #
  11 # This program is distributed in the hope that it will be useful,
  12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 # GNU General Public License for more details.
  15 #
  16 # You should have received a copy of the GNU General Public License
  17 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  18
  19 AT_BANNER([[Parser Headers.]])
  20
  21
  22 ## --------------------- ##
  23 ## Invalid CPP headers.  ##
  24 ## --------------------- ##
  25
  26 # AT_TEST_CPP_GUARD_H(BASE-NAME, [DIRECTIVES])
  27 # --------------------------------------------
  28 # FIXME: Much of this can be covered by calc.at.
  29 m4_define([AT_TEST_CPP_GUARD_H],
  30 [AT_SETUP([Invalid CPP guards: $2 --defines=$1.h])
  31 AT_BISON_OPTION_PUSHDEFS([$2])
  32 # Possibly create inner directories.
  33 dirname=`AS_DIRNAME([$1])`
  34 AS_MKDIR_P([$dirname])
  35
  36 AT_DATA_GRAMMAR([$1.y],
  37 [$2
  38 %{
  39 #include <$1.h>
  40 ]AT_YYERROR_DECLARE_EXTERN[
  41 ]AT_YYLEX_DECLARE_EXTERN[
  42 %}
  43 %%
  44 dummy:;
  45 %%
  46 #include <$1.h>
  47 ])
  48
  49 AT_BISON_CHECK([--defines=$1.h --output=$1.c $1.y])
  50
  51 AT_COMPILE([$1.o], [-I. -c $1.c])
  52
  53 AT_BISON_OPTION_POPDEFS
  54 AT_CLEANUP
  55 ])
  56
  57 AT_TEST_CPP_GUARD_H([input/input])
  58 AT_TEST_CPP_GUARD_H([9foo])
  59 AT_TEST_CPP_GUARD_H([input/input], [%glr-parser])
  60 AT_TEST_CPP_GUARD_H([9foo],        [%glr-parser])
  61
  62
  63
  64 ## ---------------- ##
  65 ## export YYLTYPE.  ##
  66 ## ---------------- ##
  67
  68
  69 AT_SETUP([export YYLTYPE])
  70
  71 AT_DATA_GRAMMAR([input.y],
  72 [%locations
  73
  74 %name-prefix "my_"
  75 %{
  76 #include <stdio.h>
  77 #include <stdlib.h>
  78
  79 static int
  80 my_lex (void)
  81 {
  82   return EOF;
  83 }
  84
  85 static void
  86 my_error (const char *msg)
  87 {
  88   fprintf (stderr, "%s\n", msg);
  89 }
  90
  91 %}
  92 %%
  93 exp:;
  94 ])
  95
  96 AT_BISON_CHECK([--defines -o input.c input.y])
  97
  98 # YYLTYPE should be defined, and MY_LLOC declared.
  99 AT_DATA([caller.c],
 100 [[#include "input.h"
 101 YYLTYPE *my_llocp = &my_lloc;
 102
 103 int my_parse (void);
 104
 105 int
 106 main (void)
 107 {
 108   return my_parse ();
 109 }
 110 ]])
 111
 112 # Link and execute, just to make sure everything is fine (and in
 113 # particular, that MY_LLOC is indeed defined somewhere).
 114 AT_COMPILE([caller.o])
 115 AT_COMPILE([input.o])
 116 AT_COMPILE([caller], [caller.o input.o])
 117 AT_PARSER_CHECK([./caller])
 118
 119 AT_CLEANUP
 120
 121 ## ----------------- ##
 122 ## Several parsers.  ##
 123 ## ----------------- ##
 124
 125 AT_SETUP([Several parsers])
 126
 127 # AT_TEST([PREFIX], [DIRECTIVES])
 128 # -------------------------------
 129 # Generate and compile to *.o.  Make sure there is no YY* nor yy* in
 130 # the header (but YYDEBUG and YYPARSE_PARAM).
 131 m4_pushdef([AT_TEST],
 132 [AT_BISON_OPTION_PUSHDEFS([%define api.prefix "$1_" $2])
 133 AT_DATA_GRAMMAR([$1.AT_SKEL_CC_IF([yy], [y])],
 134 [[%define api.prefix "$1_"
 135 $2
 136 %error-verbose
 137 %union
 138 {
 139   int integer;
 140 }
 141 %{
 142 #include <stdio.h>
 143   ]AT_YYERROR_DECLARE[
 144   ]AT_YYLEX_DECLARE[
 145 %}
 146 %%
 147 exp:
 148   'x' '1' { printf ("x1\n"); }
 149 | 'x' '2' { printf ("x2\n"); }
 150 | 'x' '3' { printf ("x3\n"); }
 151 | 'x' '4' { printf ("x4\n"); }
 152 | 'x' '5' { printf ("x5\n"); }
 153 | 'x' '6' { printf ("x6\n"); }
 154 | 'x' '7' { printf ("x7\n"); }
 155 | 'x' '8' { printf ("x8\n"); }
 156 ;
 157
 158 %%
 159 ]AT_YYERROR_DEFINE[
 160 ]AT_YYLEX_DEFINE(["$1"])[
 161 ]])
 162
 163 AT_BISON_CHECK([-d -o AT_SKEL_CC_IF([$1.cc $1.yy], [$1.c $1.y])])
 164 # C++ output relies on namespaces and still uses yy a lot.
 165 AT_SKEL_CC_IF([],
 166   [AT_CHECK([$EGREP yy $1.h], [1])])
 167
 168 # Ignore comments. Ignore YYPARSE_PARAM (obsolete) and
 169 # YYPUSH_MORE(_DEFINED)? (whose definition is constant).
 170 #
 171 # YYDEBUG (not renamed) can be read, but not changed.
 172 AT_CHECK([[sed -ne 's,/\*[^*]*\*/,,g;s,//.*,,' \
 173                 -e '/YY/p' ]$1.AT_SKEL_CC_IF([hh], [h])[ |
 174      $EGREP -wv 'YY(PARSE_PARAM|PUSH_MORE(_DEFINED)?)|(defined|if) YYDEBUG']],
 175          [1])
 176 AT_LANG_COMPILE([$1.o])
 177
 178 AT_CHECK([[echo "$1" >>expout]])
 179
 180 AT_BISON_OPTION_POPDEFS
 181 ])# AT_TEST
 182
 183 AT_DATA([main.cc],
 184 [AT_DATA_SOURCE_PROLOGUE
 185 [// If we are compiling with CC=$CXX, then do not load the C headers
 186 // inside extern "C", since they were _not_ compiled this way.
 187 #if ! CC_IS_CXX
 188 extern "C"
 189 {
 190 #endif
 191   #include "x1.h"
 192   #include "x2.h"
 193   #include "x3.h"
 194   #include "x4.h"
 195   #include "x6.h"
 196   #include "x7.h"
 197   #include "x8.h"
 198 #if ! CC_IS_CXX
 199 }
 200 #endif
 201 #include "x5.hh"
 202 //#include "x6.hh"
 203
 204 #define RUN(S)                                  \
 205   do {                                          \
 206     int res = S;                                \
 207     if (res)                                    \
 208       std::cerr << #S": " << res << std::endl;  \
 209   } while (false)
 210
 211 int
 212 main (void)
 213 {
 214   RUN(x1_parse());
 215   RUN(x2_parse());
 216   RUN(x3_parse());
 217   RUN(x4_parse());
 218   x5_::parser p5;
 219   RUN(p5.parse());
 220   RUN(x6_parse());
 221   RUN(x7_parse());
 222   RUN(x8_parse());
 223 //  x6_::parser p6;
 224 //  RUN(p6.parse());
 225   return 0;
 226 }
 227 ]])# main.cc
 228
 229 AT_TEST([x1], [])
 230 AT_TEST([x2], [%locations %debug])
 231 AT_TEST([x3], [%glr-parser])
 232 AT_TEST([x4], [%locations %debug %glr-parser])
 233 AT_TEST([x5], [%locations %debug %language "c++"])
 234 AT_TEST([x6], [%define api.pure])
 235 AT_TEST([x7], [%define api.push-pull both])
 236 AT_TEST([x8], [%define api.pure %define api.push-pull both])
 237 #AT_TEST([x5], [%locations %language "c++" %glr-parser])
 238
 239 AT_COMPILE_CXX([parser], [[x[1-8].o -DCC_IS_CXX=$CC_IS_CXX main.cc]])
 240 AT_CHECK([./parser], [0], [[expout]])
 241
 242 m4_popdef([AT_TEST])
 243
 244 AT_CLEANUP