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., 51 Franklin Street, Fifth Floor, Boston, MA
  17 # 02110-1301, 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_GRAMMAR([$1.y],
  59 [%{
  60 #include "$1.h"
  61 %}
  62 %%
  63 dummy:;
  64 %%
  65 #include "$1.h"
  66 ])
  67
  68 AT_CHECK([bison --defines=$1.h --output=y.tab.c $1.y])
  69
  70 # CPP should be happy with it.
  71 AT_CHECK([$CC -E -I. y.tab.c], 0, [ignore])
  72
  73 AT_CLEANUP
  74 ])
  75
  76 AT_TEST_CPP_GUARD_H([input/input])
  77 AT_TEST_CPP_GUARD_H([9foo])
  78
  79
  80
  81 ## ---------------- ##
  82 ## export YYLTYPE.  ##
  83 ## ---------------- ##
  84
  85
  86 AT_SETUP([export YYLTYPE])
  87
  88 AT_DATA_GRAMMAR([input.y],
  89 [%locations
  90
  91 %name-prefix="my_"
  92 %{
  93 #include <stdio.h>
  94 #include <stdlib.h>
  95
  96 static int
  97 my_lex (void)
  98 {
  99   return EOF;
 100 }
 101
 102 static void
 103 my_error (const char *msg)
 104 {
 105   fprintf (stderr, "%s\n", msg);
 106 }
 107
 108 %}
 109 %%
 110 exp:;
 111 ])
 112
 113 AT_CHECK([bison --defines -o input.c input.y])
 114
 115 # YYLTYPE should be defined, and MY_LLOC declared.
 116 AT_DATA([caller.c],
 117 [[#include "input.h"
 118 YYLTYPE *my_llocp = &my_lloc;
 119
 120 int my_parse (void);
 121
 122 int
 123 main (void)
 124 {
 125   return my_parse ();
 126 }
 127 ]])
 128
 129 # Link and execute, just to make sure everything is fine (and in
 130 # particular, that MY_LLOC is indeed defined somewhere).
 131 AT_COMPILE([caller.o], [-c caller.c])
 132 AT_COMPILE([input.o], [-c input.c])
 133 AT_COMPILE([caller], [caller.o input.o])
 134 AT_PARSER_CHECK([./caller])
 135
 136 AT_CLEANUP