From cdb42f77309167e7df7f37428fa782d45c6dc13a Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Tue, 11 Feb 2020 08:24:54 +0100 Subject: [PATCH] java: check that parse.error custom|detailed work with push parsers * tests/calc.at: here. --- tests/calc.at | 3 +++ 1 file changed, 3 insertions(+) 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])