tests/cxx-type.at

   1 # Checking GLR Parsing.                         -*- Autotest -*-
   2 # Copyright (C) 2002, 2003 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([[C++ Type Syntax (GLR).]])
  20
  21 # _AT_TEST_GLR_CXXTYPES(DECL, RESOLVE1, RESOLVE2)
  22 # -----------------------------------------------
  23 # Store into types.y the calc program, with DECL inserted as a declaration,
  24 # and with RESOLVE1 and RESOLVE2 as annotations on the conflicted rule for
  25 # stmt.  Then compile the result.
  26 m4_define([_AT_TEST_GLR_CXXTYPES],
  27 [
  28 AT_BISON_OPTION_PUSHDEFS([$1])
  29
  30 AT_DATA_GRAMMAR([types.y],
  31 [[/* Simplified C++ Type and Expression Grammar.  */
  32
  33 $1
  34
  35 %{
  36   #include <stdio.h>
  37   #define YYSTYPE const char*
  38 ]m4_bmatch([$2], [stmtMerge],
  39 [ static YYSTYPE stmtMerge (YYSTYPE x0, YYSTYPE x1);])[
  40   #define YYINITDEPTH 10
  41   static char* format (const char*,  ...);
  42
  43   struct YYLTYPE;
  44 #if YYPURE
  45 # if YYLSP_NEEDED
  46 #  define LEX_PARAMETERS YYSTYPE *lvalp, struct YYLTYPE *llocp
  47 #  define ERROR_PARAMETERS struct YYLTYPE *llocp, char const *s
  48 # else
  49 #  define LEX_PARAMETERS YYSTYPE *lvalp
  50 # endif
  51 #endif
  52 #ifndef LEX_PARAMETERS
  53 # define LEX_PARAMETERS void
  54 #endif
  55 #ifndef ERROR_PARAMETERS
  56 # define ERROR_PARAMETERS char const *s
  57 #endif
  58   int yylex (LEX_PARAMETERS);
  59   int yyerror (ERROR_PARAMETERS);
  60 %}
  61
  62 %token TYPENAME ID
  63
  64 %right '='
  65 %left '+'
  66
  67 %glr-parser
  68
  69 %%
  70
  71 prog :
  72      | prog stmt   {
  73 ]AT_LOCATION_IF([
  74                         printf ("%d.%d-%d.%d: ",
  75                              @2.first_line, @2.first_column,
  76                              @2.last_line, @2.last_column);])[
  77                         printf ("%s\n", ]$[2);
  78                    }
  79      ;
  80
  81 stmt : expr ';'  $2     { $$ = ]$[1; }
  82      | decl      $3
  83      | error ';'        { $$ = "<error>"; }
  84      | '@'              { YYACCEPT; }
  85      ;
  86
  87 expr : ID
  88      | TYPENAME '(' expr ')'  { $$ = format ("<cast>(%s,%s)", ]$[3, ]$[1); }
  89      | expr '+' expr          { $$ = format ("+(%s,%s)", ]$[1, ]$[3); }
  90      | expr '=' expr          { $$ = format ("=(%s,%s)", ]$[1, ]$[3); }
  91      ;
  92
  93 decl : TYPENAME declarator ';'
  94                         { $$ = format ("<declare>(%s,%s)", ]$[1, ]$[2); }
  95      | TYPENAME declarator '=' expr ';'
  96                         { $$ = format ("<init-declare>(%s,%s,%s)", ]$[1, ]$[2, ]$[4); }
  97      ;
  98
  99 declarator : ID
 100      | '(' declarator ')' { $$ = ]$[2; }
 101      ;
 102
 103 %%
 104
 105 #include <ctype.h>
 106 #include <stdlib.h>
 107 #include <string.h>
 108 #include <stdarg.h>
 109
 110 int
 111 main (int argc, char** argv)
 112 {
 113   if (argc != 2)
 114     abort ();
 115   if (!freopen (argv[1], "r", stdin))
 116     abort ();
 117   exit (yyparse ());
 118 }
 119
 120 int
 121 yylex (LEX_PARAMETERS)
 122 {
 123   char buffer[256];
 124   int c;
 125   unsigned int i;
 126   static int lineNum = 1;
 127   static int colNum = 1;
 128
 129
 130 #if YYPURE
 131 # define yylloc (*llocp)
 132 # define yylval (*lvalp)
 133 #endif
 134
 135   while (1)
 136     {
 137       c = getchar ();
 138       switch (c)
 139         {
 140         case EOF:
 141           return 0;
 142         case '\t':
 143           colNum = 1 + ((colNum + 7) & ~7);
 144           break;
 145         case ' ': case '\f':
 146           colNum += 1;
 147           break;
 148         case '\n':
 149           lineNum += 1;
 150           colNum = 1;
 151           break;
 152         default:
 153           {
 154             int tok;
 155 #if YYLSP_NEEDED
 156             yylloc.first_line = yylloc.last_line = lineNum;
 157             yylloc.first_column = colNum;
 158 #endif
 159             if (isalpha (c))
 160               {
 161                 i = 0;
 162
 163                 do
 164                   {
 165                     buffer[i++] = c;
 166                     colNum += 1;
 167                     if (i == sizeof buffer - 1)
 168                       abort ();
 169                     c = getchar ();
 170                   }
 171                 while (isalnum (c) || c == '_');
 172
 173                 ungetc (c, stdin);
 174                 buffer[i++] = 0;
 175                 tok = isupper ((unsigned char) buffer[0]) ? TYPENAME : ID;
 176                 yylval = strcpy (malloc (i), buffer);
 177               }
 178             else
 179               {
 180                 colNum += 1;
 181                 tok = c;
 182                 yylval = "";
 183               }
 184 #if YYLSP_NEEDED
 185             yylloc.last_column = colNum-1;
 186 #endif
 187             return tok;
 188           }
 189         }
 190     }
 191 }
 192
 193 int
 194 yyerror (ERROR_PARAMETERS)
 195 {
 196 #if YYPURE && YYLSP_NEEDED
 197   /* Pacify GCC by using llocp.  */
 198   if (! llocp)
 199     abort ();
 200 #endif
 201   fprintf (stderr, "%s\n", s);
 202   return 0;
 203 }
 204
 205
 206 static char* format (const char* form, ...)
 207 {
 208    char buffer[1024];
 209    va_list args;
 210    va_start (args, form);
 211    vsprintf (buffer, form, args);
 212    va_end (args);
 213    return strcpy (malloc (strlen (buffer) + 1), buffer);
 214 }
 215
 216 ]]
 217 m4_bmatch([$2], [stmtMerge],
 218 [[static YYSTYPE
 219 stmtMerge (YYSTYPE x0, YYSTYPE x1)
 220 {
 221   return format ("<OR>(%s,%s)", x0, x1);
 222 }
 223 ]])
 224 )
 225
 226 AT_DATA([test-input],
 227 [[
 228
 229 z + q;
 230
 231 T x;
 232
 233 T x = y;
 234
 235 x = y;
 236
 237 T (x) + y;
 238
 239 T (x);
 240
 241 T (y) = z + q;
 242
 243 T (y y) = z + q;
 244
 245 z + q;
 246
 247 @
 248
 249 This is total garbage, but it should be ignored.
 250 ]])
 251
 252 AT_CHECK([bison -o types.c types.y], 0, [], ignore)
 253 AT_COMPILE([types])
 254 AT_BISON_OPTION_POPDEFS
 255 ])
 256
 257 m4_define([_AT_RESOLVED_GLR_OUTPUT],
 258 [[+(z,q)
 259 <declare>(T,x)
 260 <init-declare>(T,x,y)
 261 =(x,y)
 262 +(<cast>(x,T),y)
 263 <declare>(T,x)
 264 <init-declare>(T,y,+(z,q))
 265 <error>
 266 +(z,q)
 267 ]])
 268
 269 m4_define([_AT_RESOLVED_GLR_OUTPUT_WITH_LOC],
 270 [[3.1-3.6: +(z,q)
 271 5.1-5.4: <declare>(T,x)
 272 7.1-7.8: <init-declare>(T,x,y)
 273 9.1-9.6: =(x,y)
 274 11.1-11.10: +(<cast>(x,T),y)
 275 13.1-13.6: <declare>(T,x)
 276 15.1-15.14: <init-declare>(T,y,+(z,q))
 277 17.6-17.16: <error>
 278 19.1-19.6: +(z,q)
 279 ]])
 280
 281 m4_define([_AT_AMBIG_GLR_OUTPUT],
 282 [[+(z,q)
 283 <declare>(T,x)
 284 <init-declare>(T,x,y)
 285 =(x,y)
 286 +(<cast>(x,T),y)
 287 <OR>(<declare>(T,x),<cast>(x,T))
 288 <OR>(<init-declare>(T,y,+(z,q)),=(<cast>(y,T),+(z,q)))
 289 <error>
 290 +(z,q)
 291 ]])
 292
 293 m4_define([_AT_AMBIG_GLR_OUTPUT_WITH_LOC],
 294 [[3.1-3.6: +(z,q)
 295 5.1-5.4: <declare>(T,x)
 296 7.1-7.8: <init-declare>(T,x,y)
 297 9.1-9.6: =(x,y)
 298 11.1-11.10: +(<cast>(x,T),y)
 299 13.1-13.6: <OR>(<declare>(T,x),<cast>(x,T))
 300 15.1-15.14: <OR>(<init-declare>(T,y,+(z,q)),=(<cast>(y,T),+(z,q)))
 301 17.6-17.16: <error>
 302 19.1-19.6: +(z,q)
 303 ]])
 304
 305 m4_define([_AT_GLR_STDERR],
 306 [[syntax error
 307 ]])
 308
 309 m4_define([_AT_VERBOSE_GLR_STDERR],
 310 [[syntax error, unexpected ID, expecting '=' or '+' or ')'
 311 ]])
 312
 313 ## ---------------------------------------------------- ##
 314 ## Compile the grammar described in the documentation.  ##
 315 ## ---------------------------------------------------- ##
 316
 317 AT_SETUP([GLR: Resolve ambiguity, impure, no locations])
 318 _AT_TEST_GLR_CXXTYPES([],
 319                       [%dprec 1], [%dprec 2])
 320 AT_PARSER_CHECK([[./types test-input | sed 's/  *$//']], 0,
 321                 _AT_RESOLVED_GLR_OUTPUT, _AT_GLR_STDERR)
 322 AT_CLEANUP
 323
 324 AT_SETUP([GLR: Resolve ambiguity, impure, locations])
 325 _AT_TEST_GLR_CXXTYPES([%locations],[%dprec 1],[%dprec 2])
 326 AT_PARSER_CHECK([[./types test-input | sed 's/  *$//']], 0,
 327                 _AT_RESOLVED_GLR_OUTPUT_WITH_LOC, _AT_GLR_STDERR)
 328 AT_CLEANUP
 329
 330 AT_SETUP([GLR: Resolve ambiguity, pure, no locations])
 331 _AT_TEST_GLR_CXXTYPES([%pure-parser],
 332                       [%dprec 1], [%dprec 2])
 333 AT_PARSER_CHECK([[./types test-input | sed 's/  *$//']], 0,
 334                 _AT_RESOLVED_GLR_OUTPUT, _AT_GLR_STDERR)
 335 AT_CLEANUP
 336
 337 AT_SETUP([GLR: Resolve ambiguity, pure, locations])
 338 _AT_TEST_GLR_CXXTYPES([%pure-parser %locations],
 339                       [%dprec 1], [%dprec 2])
 340 AT_PARSER_CHECK([[./types test-input | sed 's/  *$//']], 0,
 341                 _AT_RESOLVED_GLR_OUTPUT_WITH_LOC, _AT_GLR_STDERR)
 342 AT_CLEANUP
 343
 344 AT_SETUP([GLR: Merge conflicting parses, impure, no locations])
 345 _AT_TEST_GLR_CXXTYPES([],
 346                       [%merge <stmtMerge>], [%merge <stmtMerge>])
 347 AT_PARSER_CHECK([[./types test-input | sed 's/  *$//']], 0,
 348                 _AT_AMBIG_GLR_OUTPUT, _AT_GLR_STDERR)
 349 AT_CLEANUP
 350
 351 AT_SETUP([GLR: Merge conflicting parses, impure, locations])
 352 _AT_TEST_GLR_CXXTYPES([%locations],
 353                       [%merge <stmtMerge>], [%merge <stmtMerge>])
 354 AT_PARSER_CHECK([[./types test-input | sed 's/  *$//']], 0,
 355                 _AT_AMBIG_GLR_OUTPUT_WITH_LOC, _AT_GLR_STDERR)
 356 AT_CLEANUP
 357
 358 AT_SETUP([GLR: Merge conflicting parses, pure, no locations])
 359 _AT_TEST_GLR_CXXTYPES([%pure-parser],
 360                       [%merge <stmtMerge>], [%merge <stmtMerge>])
 361 AT_PARSER_CHECK([[./types test-input | sed 's/  *$//']], 0,
 362                 _AT_AMBIG_GLR_OUTPUT, _AT_GLR_STDERR)
 363 AT_CLEANUP
 364 AT_SETUP([GLR: Merge conflicting parses, pure, locations])
 365 _AT_TEST_GLR_CXXTYPES([%pure-parser %locations],
 366                       [%merge <stmtMerge>],[%merge <stmtMerge>])
 367 AT_PARSER_CHECK([[./types test-input | sed 's/  *$//']], 0,
 368                 _AT_AMBIG_GLR_OUTPUT_WITH_LOC, _AT_GLR_STDERR)
 369 AT_CLEANUP
 370
 371 AT_SETUP([GLR: Verbose messages, resolve ambiguity, impure, no locations])
 372 _AT_TEST_GLR_CXXTYPES([%error-verbose],
 373                       [%merge <stmtMerge>], [%merge <stmtMerge>])
 374 AT_PARSER_CHECK([[./types test-input | sed 's/  *$//']], 0,
 375                 _AT_AMBIG_GLR_OUTPUT, _AT_VERBOSE_GLR_STDERR)
 376 AT_CLEANUP