# 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
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program.  If not, see <https://www.gnu.org/licenses/>.

m4_define([LIBTOOL_VARS],
  [eval `sed -n[]m4_foreach([var], m4_cdr($@), [ -e '/^var='/p]) <$1`])

dnl Verify that all symbols in the static library are properly prefixed.
AT_SETUP([libcdecl static symbol prefixes])

AT_CHECK([{ $LIBTOOL --config || exit 99; } >libtool.cfg])
LIBTOOL_VARS([libtool.cfg], [objdir], [build_old_libs])
AT_SKIP_IF([test x"$build_old_libs" = x"no"])

LIBTOOL_VARS([$builddir/libcdecl.la], [old_library])
archive="$builddir/$objdir/$old_library"
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 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