tests/types.at

   1 # Value type.                                     -*- Autotest -*-
   2
   3 # Copyright (C) 2013 Free Software Foundation, Inc.
   4
   5 # This program is free software: you can redistribute it and/or modify
   6 # it under the terms of the GNU General Public License as published by
   7 # the Free Software Foundation, either version 3 of the License, or
   8 # (at your option) any later version.
   9 #
  10 # This program is distributed in the hope that it will be useful,
  11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 # GNU General Public License for more details.
  14 #
  15 # You should have received a copy of the GNU General Public License
  16 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  17
  18 AT_BANNER([[Value type tests.]])
  19
  20
  21 ## ----------------------------------- ##
  22 ## %union vs. %define api.value.type.  ##
  23 ## ----------------------------------- ##
  24
  25 AT_SETUP([[%union vs. %define api.value.type]])
  26
  27 AT_DATA([[input.y]],
  28 [[%union { int ival; }
  29 %define api.value.type "%union"
  30 %%
  31 exp: %empty;
  32 ]])
  33
  34 AT_BISON_CHECK([[input.y]], [[1]], [[]],
  35 [[input.y:2.9-22: error: '%union' and '%define api.value.type' cannot be used together
  36 ]])
  37
  38 AT_CLEANUP
  39
  40 ## ---------------- ##
  41 ## api.value.type.  ##
  42 ## ---------------- ##
  43
  44 # AT_TEST($1: BISON-DIRECTIVES,
  45 #         $2: MORE-BISON-DIRECTIVES,
  46 #         $3: PARSER-ACTION,
  47 #         $4: INPUT, $5: SCANNER-ACTION,
  48 #         $6: RESULT)
  49 # --------------------------------------
  50 # Compile the grammar and check the expected result.
  51 # BISON-DIRECTIVES are passed to AT_SETUP, contrary to MORE-BISON-DIRECTIVES.
  52 m4_pushdef([AT_TEST],
  53 [
  54 AT_SETUP([$1])
  55 AT_KEYWORDS([api.value.type])
  56 AT_BISON_OPTION_PUSHDEFS([%debug $1 $2])
  57 AT_DATA_GRAMMAR([test.y],
  58 [[%debug
  59
  60 %code
  61 {
  62 # include <stdio.h>
  63 # include <stdlib.h>
  64 ]AT_YYERROR_DECLARE[
  65 ]AT_YYLEX_DECLARE[
  66 }
  67
  68 ]$1[
  69 ]$2[
  70
  71 %%
  72
  73 start: $3;
  74
  75 %%
  76 ]AT_YYERROR_DEFINE[
  77 ]AT_YYLEX_DEFINE([$4], [$5])[
  78 ]AT_MAIN_DEFINE[
  79 ]])
  80
  81 AT_FULL_COMPILE([[test]])
  82 AT_PARSER_CHECK([./test], 0, [$6
  83 ], [stderr])
  84 AT_BISON_OPTION_POPDEFS
  85 AT_CLEANUP
  86 ])
  87
  88 m4_foreach([b4_skel], [[yacc.c], [glr.c], [lalr1.cc], [glr.cc]],
  89  [# A built-in type.
  90   AT_TEST([%skeleton "]b4_skel["
  91            %define api.value.type double],
  92           [],
  93           ['1' '2' { printf ("%2.1f\n", $1 + $2); }],
  94           ["12"],
  95           [AT_VAL = (res - '0') / 10.0],
  96           [0.3])
  97
  98   # A user defined struct.
  99   AT_TEST([%skeleton "]b4_skel["
 100            %define api.value.type "struct foo"],
 101           [%code requires { struct foo { float fval; int ival; }; }],
 102           ['1' '2'
 103              { printf ("%d %2.1f\n", $1.ival + $2.ival, $1.fval + $2.fval); }],
 104           ["12"],
 105           [AT_VAL.ival = (res - '0') * 10;
 106            AT_VAL.fval = (res - '0') / 10.f],
 107           [30 0.3])
 108
 109   # A user defined struct that uses pointers.
 110   AT_TEST([%skeleton "]b4_skel["
 111            %define api.value.type "struct bar"],
 112           [%code requires
 113            {
 114              struct u
 115              {
 116                int ival;
 117              };
 118              struct bar
 119              {
 120                struct u *up;
 121              };
 122            }
 123            %token <up->ival> '1' '2'
 124            %printer { ]AT_SKEL_CC_IF([[yyoutput << $$]],
 125                                      [[fprintf (yyo, "%d", $$)]])[; } <up->ival>
 126            ],
 127           ['1' '2'
 128            {
 129              printf ("%d %d\n", $1, $<up->ival>2);
 130              free ($<up>1);
 131              free ($<up>2);
 132            }],
 133           ["12"],
 134           [AT_VAL.up = (struct u *) malloc (sizeof *AT_VAL.up);
 135            assert (AT_VAL.up);
 136            AT_VAL.up->ival = res - '0';],
 137           [1 2])
 138
 139   # A user defined union.
 140   AT_TEST([%skeleton "]b4_skel["
 141            %define api.value.type "union foo"],
 142           [%code requires { union foo { float fval; int ival; }; }],
 143           ['1' '2' { printf ("%d %2.1f\n", $1.ival, $2.fval); }],
 144           ["12"],
 145           [if (res == '1')
 146              AT_VAL.ival = 10;
 147            else
 148              AT_VAL.fval = .2f],
 149           [10 0.2])
 150
 151   # A %union.
 152   AT_TEST([%skeleton "]b4_skel["
 153            %union { float fval; int ival; };],
 154           [%token <ival> '1';
 155            %token <fval> '2';],
 156           ['1' '2' { printf ("%d %2.1f\n", $1, $2); }],
 157           ["12"],
 158           [if (res == '1')
 159              AT_VAL.ival = 10;
 160            else
 161              AT_VAL.fval = 0.2f],
 162           [10 0.2])
 163
 164   # A Bison-defined union.
 165   # The tokens names are not available directly in C++, we use their
 166   # user number to keep it simple between C and C++.
 167   AT_TEST([%skeleton "]b4_skel["
 168            %define api.value.type union],
 169           [%token <int> ONE 101;
 170            %token <float> TWO 102 THREE 103;
 171            %printer { ]AT_SKEL_CC_IF([[yyoutput << $$]],
 172                                      [[fprintf (yyo, "%d", $$)]])[; } <int>
 173            %printer { ]AT_SKEL_CC_IF([[yyoutput << $$]],
 174                                      [[fprintf (yyo, "%f", $$)]])[; } <float>
 175           ],
 176           [ONE TWO THREE { printf ("%d %2.1f %2.1f\n", $1, $2, $3); }],
 177           [{ 101, 102, 103, EOF }],
 178           [if (res == 101)
 179              AT_VAL.ONE = 10;
 180            else if (res == 102)
 181              AT_VAL.TWO = .2f;
 182            else if (res == 103)
 183              AT_VAL.THREE = 3.3f],
 184           [10 0.2 3.3])
 185
 186   # A Bison-defined variant, for lalr1.cc only.
 187   m4_if(b4_skel, [lalr1.cc], [
 188   AT_TEST([%skeleton "]b4_skel["
 189            %define api.value.type variant],
 190           [%token <int> '1';
 191            %token <std::string> '2';],
 192           ['1' '2' { std::cout << $1 << ", " << $2 << std::endl; }],
 193           ["12"],
 194           [if (res == '1')
 195              AT_VAL.build(10);
 196            else
 197              AT_VAL.build<std::string>("two");],
 198           [10, two])])
 199 ])
 200
 201 m4_popdef([AT_TEST])