commit cdb42f77309167e7df7f37428fa782d45c6dc13a
Author: Akim Demaille <[email protected]>
Date: Tue Feb 11 08:24:54 2020 +0100
java: check that parse.error custom|detailed work with push parsers
* tests/calc.at: here.
diff --git a/tests/calc.at b/tests/calc.at
index 23dd2133..5c443d03 100644
--- a/tests/calc.at
+++ b/tests/calc.at
@@ -1194,8 +1194,11 @@ AT_CHECK_CALC_LALR1_JAVA([%define parse.trace %define
parse.error verbose])
AT_CHECK_CALC_LALR1_JAVA([%define parse.trace %define parse.error verbose
%locations %lex-param {InputStream is}])
AT_CHECK_CALC_LALR1_JAVA([%define api.push-pull both])
+AT_CHECK_CALC_LALR1_JAVA([%define api.push-pull both %define parse.error
detailed %locations])
+AT_CHECK_CALC_LALR1_JAVA([%define parse.trace %define parse.error custom
%locations %lex-param {InputStream is} %define api.push-pull both])
AT_CHECK_CALC_LALR1_JAVA([%define parse.trace %define parse.error verbose
%locations %lex-param {InputStream is} %define api.push-pull both])
+
m4_popdef([AT_TOKEN_TRANSLATE_IF])
m4_popdef([AT_CALC_MAIN])
m4_popdef([AT_CALC_YYLEX])
