java: check that parse.error custom|detailed work with push parsers

[Akim Demaille]

commit cdb42f77309167e7df7f37428fa782d45c6dc13a
Author: Akim Demaille <address@hidden>
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])