From de5207244b5cbcc496683ba903c090b67e77c24c Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Sun, 19 May 2019 08:15:08 +0200 Subject: diagnostics: %pure-parser is obsolete Reported by Uxio Prego. http://lists.gnu.org/archive/html/bug-bison/2018-12/msg00029.html * src/scan-gram.l, src/parse-gram.y (PERCENT_PURE_PARSER) (handle_pure_parser): New. Issue a deprecation/update notice for %pure-parser. * doc/bison.texi (Java Bison Interface): Don't mention %pure-parser. * tests/actions.at, tests/input.at: Adjust. --- doc/bison.texi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc') diff --git a/doc/bison.texi b/doc/bison.texi index 821a5b4c..d5913e8f 100644 --- a/doc/bison.texi +++ b/doc/bison.texi @@ -12416,8 +12416,8 @@ You can create documentation for generated parsers using Javadoc. Contrary to C parsers, Java parsers do not use global variables; the state of the parser is always local to an instance of the parser class. -Therefore, all Java parsers are ``pure'', and the @code{%pure-parser} and -@code{%define api.pure} directives do nothing when used in Java. +Therefore, all Java parsers are ``pure'', and the @code{%define api.pure} +directive does nothing when used in Java. Push parsers are currently unsupported in Java and @code{%define api.push-pull} have no effect. -- cgit v1.2.1