X-Git-Url: http://git.draconx.ca/gitweb/cdecl99.git/blobdiff_plain/1964240454d93493ee68a75b171fdf7934332200..7516ec539764125f657a144cce32ce96df05bcf4:/tests/general.at

diff --git a/tests/general.at b/tests/general.at
index 38493ce..21261ed 100644
--- a/tests/general.at
+++ b/tests/general.at
@@ -1,4 +1,4 @@
-# Copyright © 2012, 2020 Nick Bowler
+# Copyright © 2012, 2020-2021, 2023 Nick Bowler
 #
 # This program is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -72,3 +72,143 @@ AT_CHECK([sed -n '$p' stdout], [0], [type int
 ])
 
 AT_CLEANUP
+
+AT_SETUP([cdecl99 --execute option])
+
+AT_CHECK([cdecl99 --execute 'explain int' --execute='declare x as int' \
+                  --execute='simplify int (x)()'], [0],
+[[type int
+int x
+int x()
+]])
+
+AT_CLEANUP
+
+AT_SETUP([cdecl99 --file error message])
+
+AT_CHECK([cdecl99 --file nonexistent || exit 42], [42], [], [stderr])
+AT_CHECK([grep -v nonexistent stderr || true])
+
+AT_CLEANUP
+
+AT_SETUP([cdecl99 command error messages])
+
+# Extract progname from --help usage message
+# This will only get the start of progname if it includes spaces;
+# so we won't worry too hard about the exact format later.
+AT_CHECK([LC_ALL=C cdecl99 --help], [0], [stdout])
+progname=`$AWK 'NR == 1 { print $2; }' stdout`dnl'
+
+# every line is erroneous
+AT_DATA([input],
+[[explain int a b c
+simplify int a b c
+declare a as b c
+bad command
+]])
+
+AT_DATA([check.awk],
+[[BEGIN { status=0; }
+$1 == progname || $1 == (progname ":") { next; }
+{ status=1; print "unprefixed message on line", NR ":", $0; }
+END { exit(status); }
+]])
+
+AT_CHECK([LC_ALL=C cdecl99 --file=input || exit 42], [42], [], [stderr])
+AT_CHECK([$AWK -v progname="$progname" -f check.awk stderr])
+
+exec 3<input
+set x; shift
+while read line <&3; do
+  set x "$@" "--execute=$line"; shift;
+done
+AT_CHECK([LC_ALL=C cdecl99 "$@" || exit 42], [42], [], [stderr])
+AT_CHECK([$AWK -v progname="$progname" -f check.awk stderr])
+
+AT_CLEANUP
+
+AT_SETUP([cdecl99 invalid character error messages])
+
+$AWK -f - >test.dat <<'EOF'
+BEGIN {
+  print "explain \1";
+  print "explain \377";
+  print "explain \a";
+  print "explain \b";
+  print "explain ?";
+}
+EOF
+
+AT_CHECK([LC_ALL=C cdecl99 -f test.dat || exit 42], [42], [], [stderr])
+AT_CHECK([$AWK '{ print $NF; }' stderr], [0],
+[['\001'
+'\377'
+'\a'
+'\b'
+'?'
+]])
+
+AT_CLEANUP
+
+dnl Ensure that parse error messages for misplaced keywords correctly
+dnl include the keyword itself.
+AT_SETUP([cdecl99 unexpected keyword error messages])
+
+# We use the English syntax to reliably force a syntax error where we want
+# it, as the "declare" form takes an identifier and not any other token,
+AT_DATA([test.dat],
+[[declare signed as int
+declare typedef as int
+declare volatile as int
+declare inline as int
+]])
+
+AT_DATA([test.awk],
+[[{
+  for (i = 1; i <= $NF; i++) {
+    if ($i == "unexpected") {
+      sub(/,$/, "", $(i+1));
+      print $(i+1);
+      break;
+    }
+  }
+}
+]])
+
+AT_CHECK([LC_ALL=C cdecl99 -f test.dat || exit 42], [42], [], [stderr])
+AT_CHECK([$AWK -f test.awk stderr], [0],
+[[signed
+typedef
+volatile
+inline
+]])
+
+AT_CLEANUP
+
+AT_SETUP([cdecl99 interactive mode])
+
+AT_DATA([test.dat],
+[[explain int () int
+explain int x;
+quit
+]])
+
+AT_CHECK([cdecl99 --quiet --interactive <test.dat], [0], [stdout], [ignore])
+
+# If built with readline support, then the input commands (including their
+# trailing newlines) will be captured by AT_CHECK.  Otherwise, they are not:
+# the output just directly follows the prompt, and the final prompt will
+# not end with a newline.  Attempt to paper over these differences.
+AT_DATA([check.sed],
+[[/> [eq]/d
+:loop
+s/^> //
+t loop
+/^$/d
+]])
+
+AT_CHECK([echo >>stdout; sed -f check.sed stdout], [0],
+[declare x as int
+])
+
+AT_CLEANUP