tests/general.at

   1 # Copyright © 2012, 2020-2021, 2023 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 [[#n
  74 /^%%$/,/^%%$/ {
  75   s/^exit.*//
  76   s/,.*//p
  77 }
  78 $a\
  79 type int
  80 ]])
  81 sed -f expout.sed "$srcdir/src/execute.gperf" >expout
  82
  83 # Program to filter the help output to extract the command list from "help"
  84 # without any descriptions.
  85 AT_DATA([filter.sed],
  86 [[/^ /,$ !d
  87 /^          /d
  88 s/^  *\([^ ]*\).*/\1/
  89 ]])
  90
  91 AT_CHECK([LC_ALL=C cdecl99 -f input >stdout && sed -f filter.sed stdout],
  92   [0], [expout])
  93
  94 AT_CLEANUP
  95
  96 AT_SETUP([cdecl99 --execute option])
  97
  98 AT_CHECK([cdecl99 --execute 'explain int' --execute='declare x as int' \
  99                   --execute='simplify int (x)()'], [0],
 100 [[type int
 101 int x
 102 int x()
 103 ]])
 104
 105 AT_CLEANUP
 106
 107 AT_SETUP([cdecl99 --file error message])
 108
 109 AT_CHECK([cdecl99 --file nonexistent || exit 42], [42], [], [stderr])
 110 AT_CHECK([grep -v nonexistent stderr || true])
 111
 112 AT_CLEANUP
 113
 114 AT_SETUP([cdecl99 command error messages])
 115
 116 # Extract progname from --help usage message
 117 # This will only get the start of progname if it includes spaces;
 118 # so we won't worry too hard about the exact format later.
 119 AT_CHECK([LC_ALL=C cdecl99 --help], [0], [stdout])
 120 progname=`$AWK 'NR == 1 { print $2; }' stdout`dnl'
 121
 122 # every line is erroneous
 123 AT_DATA([input],
 124 [[explain int a b c
 125 simplify int a b c
 126 declare a as b c
 127 bad command
 128 ]])
 129
 130 AT_DATA([check.awk],
 131 [[BEGIN { status=0; }
 132 $1 == progname || $1 == (progname ":") { next; }
 133 { status=1; print "unprefixed message on line", NR ":", $0; }
 134 END { exit(status); }
 135 ]])
 136
 137 AT_CHECK([LC_ALL=C cdecl99 --file=input || exit 42], [42], [], [stderr])
 138 AT_CHECK([$AWK -f check.awk progname="$progname" stderr])
 139
 140 exec 3<input
 141 set x; shift
 142 while read line <&3; do
 143   set x "$@" "--execute=$line"; shift;
 144 done
 145 AT_CHECK([LC_ALL=C cdecl99 "$@" || exit 42], [42], [], [stderr])
 146 AT_CHECK([$AWK f check.awk progname="$progname" stderr])
 147
 148 AT_CLEANUP
 149
 150 AT_SETUP([cdecl99 invalid character error messages])
 151
 152 $AWK -f - >test.dat <<'EOF'
 153 BEGIN {
 154   print "explain \1";
 155   print "explain \377";
 156   print "explain \a";
 157   print "explain \b";
 158   print "explain ?";
 159 }
 160 EOF
 161
 162 AT_CHECK([LC_ALL=C cdecl99 -f test.dat || exit 42], [42], [], [stderr])
 163 AT_CHECK([$AWK '{ print $NF; }' stderr], [0],
 164 [['\001'
 165 '\377'
 166 '\a'
 167 '\b'
 168 '?'
 169 ]])
 170
 171 AT_CLEANUP
 172
 173 dnl Ensure that parse error messages for misplaced keywords correctly
 174 dnl include the keyword itself.
 175 AT_SETUP([cdecl99 unexpected keyword error messages])
 176
 177 # We use the English syntax to reliably force a syntax error where we want
 178 # it, as the "declare" form takes an identifier and not any other token,
 179 AT_DATA([test.dat],
 180 [[declare signed as int
 181 declare typedef as int
 182 declare volatile as int
 183 declare inline as int
 184 ]])
 185
 186 AT_DATA([test.awk],
 187 [[{
 188   for (i = 1; i <= $NF; i++) {
 189     if ($i == "unexpected") {
 190       sub(/,$/, "", $(i+1));
 191       print $(i+1);
 192       break;
 193     }
 194   }
 195 }
 196 ]])
 197
 198 AT_CHECK([LC_ALL=C cdecl99 -f test.dat || exit 42], [42], [], [stderr])
 199 AT_CHECK([$AWK -f test.awk stderr], [0],
 200 [[signed
 201 typedef
 202 volatile
 203 inline
 204 ]])
 205
 206 AT_CLEANUP
 207
 208 AT_SETUP([cdecl99 interactive mode])
 209
 210 AT_DATA([test.dat],
 211 [[explain int () int
 212 explain int x;
 213 quit
 214 ]])
 215
 216 AT_CHECK([cdecl99 --quiet --interactive <test.dat], [0], [stdout], [ignore])
 217
 218 # If built with readline support, then the input commands (including their
 219 # trailing newlines) will be captured by AT_CHECK.  Otherwise, they are not:
 220 # the output just directly follows the prompt, and the final prompt will
 221 # not end with a newline.  Attempt to paper over these differences.
 222 AT_DATA([check.sed],
 223 [[/> [eq]/d
 224 :loop
 225 s/^> //
 226 t loop
 227 /^$/d
 228 ]])
 229
 230 AT_CHECK([echo >>stdout; sed -f check.sed stdout], [0],
 231 [declare x as int
 232 ])
 233
 234 AT_CLEANUP