tests/general.at

   1 # Copyright © 2012, 2020-2021, 2023-2024 Nick Bowler
   2 #
   3 # This program is free software: you can redistribute it and/or modify
   4 # it under the terms of the GNU General Public License as published by
   5 # the Free Software Foundation, either version 3 of the License, or
   6 # (at your option) any later version.
   7 #
   8 # This program is distributed in the hope that it will be useful,
   9 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  11 # GNU General Public License for more details.
  12 #
  13 # You should have received a copy of the GNU General Public License
  14 # along with this program.  If not, see <https://www.gnu.org/licenses/>.
  15
  16 m4_define([LIBTOOL_VARS],
  17   [eval `sed -n[]m4_foreach([var], m4_cdr($@), [ -e '/^var='/p]) <$1`])
  18
  19 dnl Verify that all symbols in the static library are properly prefixed.
  20 AT_SETUP([libcdecl static symbol prefixes])
  21
  22 AT_CHECK([{ $LIBTOOL --config || exit 99; } >libtool.cfg])
  23 LIBTOOL_VARS([libtool.cfg], [objdir], [build_old_libs])
  24 AT_SKIP_IF([test x"$build_old_libs" = x"no"])
  25
  26 LIBTOOL_VARS([$builddir/libcdecl.la], [old_library])
  27 archive="$builddir/$objdir/$old_library"
  28 AT_CHECK([$SHELL "$builddir/exported.sh" "$archive" || exit 99], [0], [stdout])
  29 AT_CHECK([sed '/^cdecl_/d' stdout])
  30
  31 AT_CLEANUP
  32
  33 dnl Verify that empty commands do nothing.
  34 AT_SETUP([cdecl99 empty command])
  35
  36 AT_DATA([input], [[explain int x[42];
  37
  38 declare x as array 42 of int
  39
  40 explain int
  41
  42 ]])
  43
  44 AT_CHECK([cdecl99 -f input], [0], [[declare x as array 42 of int
  45 int x[42]
  46 type int
  47 ]])
  48
  49 AT_CLEANUP
  50
  51 dnl Verify that commands are not executed after "quit"
  52 AT_SETUP([cdecl99 quit command])
  53
  54 AT_DATA([input], [[explain int;
  55 quit
  56 explain this is a syntax error
  57 ]])
  58
  59 AT_CHECK([cdecl99 -f input], [0], [type int
  60 ])
  61
  62 AT_CLEANUP
  63
  64 AT_SETUP([cdecl99 help command])
  65
  66 AT_DATA([input],
  67 [[help
  68 explain int
  69 ]])
  70
  71 # Program to generate expected output based on src/execute.gperf
  72 AT_DATA([expout.sed],
  73 [[/^%%$/,/^%%$/ {
  74   s/^exit.*//
  75   s/,.*//p
  76 }
  77 $a\
  78 type int
  79 ]])
  80 sed -n -f expout.sed "$srcdir/src/execute.gperf" >expout
  81
  82 # Program to filter the help output to extract the command list from "help"
  83 # without any descriptions.
  84 AT_DATA([filter.sed],
  85 [[/^ /,$ !d
  86 /^          /d
  87 s/^  *\([^ ]*\).*/\1/
  88 ]])
  89
  90 AT_CHECK([LC_ALL=C cdecl99 -f input >stdout && sed -f filter.sed stdout],
  91   [0], [expout])
  92
  93 AT_CLEANUP
  94
  95 AT_SETUP([cdecl99 --execute option])
  96
  97 AT_CHECK([cdecl99 --execute 'explain int' --execute='declare x as int' \
  98                   --execute='simplify int (x)()'], [0],
  99 [[type int
 100 int x
 101 int x()
 102 ]])
 103
 104 AT_CLEANUP
 105
 106 AT_SETUP([cdecl99 --file error message])
 107
 108 AT_CHECK([cdecl99 --file nonexistent || exit 42], [42], [], [stderr])
 109 AT_CHECK([grep -v nonexistent stderr || true])
 110
 111 AT_CLEANUP
 112
 113 AT_SETUP([cdecl99 command error messages])
 114
 115 # Extract progname from --help usage message
 116 # This will only get the start of progname if it includes spaces;
 117 # so we won't worry too hard about the exact format later.
 118 AT_CHECK([LC_ALL=C cdecl99 --help], [0], [stdout])
 119 progname=`$AWK 'NR == 1 { print $2; }' stdout`dnl'
 120
 121 # every line is erroneous
 122 AT_DATA([input],
 123 [[explain int a b c
 124 simplify int a b c
 125 declare a as b c
 126 bad command
 127 ]])
 128
 129 AT_DATA([check.awk],
 130 [[BEGIN { status=0; }
 131 $1 == progname || $1 == (progname ":") { next; }
 132 { status=1; print "unprefixed message on line", NR ":", $0; }
 133 END { exit(status); }
 134 ]])
 135
 136 AT_CHECK([LC_ALL=C cdecl99 --file=input || exit 42], [42], [], [stderr])
 137 AT_CHECK([$AWK -f check.awk progname="$progname" stderr])
 138
 139 exec 3<input
 140 set x; shift
 141 while read line <&3; do
 142   set x "$@" "--execute=$line"; shift;
 143 done
 144 AT_CHECK([LC_ALL=C cdecl99 "$@" || exit 42], [42], [], [stderr])
 145 AT_CHECK([$AWK f check.awk progname="$progname" stderr])
 146
 147 AT_CLEANUP
 148
 149 AT_SETUP([cdecl99 invalid character error messages])
 150
 151 $AWK 'BEGIN {
 152   print "explain \1";
 153   print "explain \377";
 154   print "explain \a";
 155   print "explain \b";
 156   print "explain ?";
 157 }' >test.dat </dev/null
 158
 159 AT_CHECK([LC_ALL=C cdecl99 -f test.dat || exit 42], [42], [], [stderr])
 160 AT_CHECK([$AWK '{ print $NF; }' stderr], [0],
 161 [['\001'
 162 '\377'
 163 '\a'
 164 '\b'
 165 '?'
 166 ]])
 167
 168 AT_CLEANUP
 169
 170 dnl Ensure that parse error messages for misplaced keywords correctly
 171 dnl include the keyword itself.
 172 AT_SETUP([cdecl99 unexpected keyword error messages])
 173
 174 # We use the English syntax to reliably force a syntax error where we want
 175 # it, as the "declare" form takes an identifier and not any other token,
 176 AT_DATA([test.dat],
 177 [[declare signed as int
 178 declare typedef as int
 179 declare volatile as int
 180 declare inline as int
 181 ]])
 182
 183 AT_DATA([test.awk],
 184 [[{
 185   for (i = 1; i <= $NF; i++) {
 186     if ($i == "unexpected") {
 187       sub(/,$/, "", $(i+1));
 188       print $(i+1);
 189       break;
 190     }
 191   }
 192 }
 193 ]])
 194
 195 AT_CHECK([LC_ALL=C cdecl99 -f test.dat || exit 42], [42], [], [stderr])
 196 AT_CHECK([$AWK -f test.awk stderr], [0],
 197 [[signed
 198 typedef
 199 volatile
 200 inline
 201 ]])
 202
 203 AT_CLEANUP
 204
 205 AT_SETUP([cdecl99 interactive mode])
 206
 207 AT_DATA([test.dat],
 208 [[explain int () int
 209 explain int x;
 210 quit
 211 ]])
 212
 213 AT_CHECK([cdecl99 --quiet --interactive <test.dat], [0], [stdout], [ignore])
 214
 215 # If built with readline support, then the input commands (including their
 216 # trailing newlines) will be captured by AT_CHECK.  Otherwise, they are not:
 217 # the output just directly follows the prompt, and the final prompt will
 218 # not end with a newline.  Attempt to paper over these differences.
 219 AT_DATA([check.sed],
 220 [[/> [eq]/d
 221 :loop
 222 s/^> //
 223 t loop
 224 /^$/d
 225 ]])
 226
 227 AT_CHECK([echo >>stdout; sed -f check.sed stdout], [0],
 228 [declare x as int
 229 ])
 230
 231 AT_CLEANUP
 232
 233 AT_SETUP([cdecl99 EOF in batch mode])
 234
 235 AT_CHECK([AS_ECHO_N(["explain int"]) | cdecl99 --batch | head], [0],
 236 [[type int
 237 ]])
 238 AT_CHECK([cdecl99 --batch </dev/null])
 239
 240 AT_CLEANUP