X-Git-Url: http://git.draconx.ca/gitweb/cdecl99.git/blobdiff_plain/24a138b38b11dcfc5f7c360d601244af14c5488a..72aedaedd7afa666f7c69dfe7ef4b7ec3dbc2458:/tests/general.at
diff --git a/tests/general.at b/tests/general.at
index 337afdd..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
@@ -29,3 +29,186 @@ AT_CHECK([$SHELL "$builddir/exported.sh" "$archive" || exit 99], [0], [stdout])
AT_CHECK([sed '/^cdecl_/d' stdout])
AT_CLEANUP
+
+dnl Verify that empty commands do nothing.
+AT_SETUP([cdecl99 empty command])
+
+AT_DATA([input], [[explain int x[42];
+
+declare x as array 42 of int
+
+explain int
+
+]])
+
+AT_CHECK([cdecl99 -f input], [0], [[declare x as array 42 of int
+int x[42]
+type int
+]])
+
+AT_CLEANUP
+
+dnl Verify that commands are not executed after "quit"
+AT_SETUP([cdecl99 quit command])
+
+AT_DATA([input], [[explain int;
+quit
+explain this is a syntax error
+]])
+
+AT_CHECK([cdecl99 -f input], [0], [type int
+])
+
+AT_CLEANUP
+
+AT_SETUP([cdecl99 help command])
+
+AT_DATA([input], [[help
+explain int
+]])
+
+AT_CHECK([cdecl99 -f input], [0], [stdout])
+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 3test.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 [eq]/d
+:loop
+s/^> //
+t loop
+/^$/d
+]])
+
+AT_CHECK([echo >>stdout; sed -f check.sed stdout], [0],
+[declare x as int
+])
+
+AT_CLEANUP