diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-05-19 08:15:08 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-05-19 10:05:18 +0200 |
commit | de5207244b5cbcc496683ba903c090b67e77c24c (patch) | |
tree | 94d0c43e7c65c0d71ba0b03a1f4bd6f3a827d621 /doc | |
parent | cae813269066d0d7d8ae2fbc1df947fb568a6173 (diff) | |
download | bison-de5207244b5cbcc496683ba903c090b67e77c24c.tar.gz |
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.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/bison.texi | 4 |
1 files changed, 2 insertions, 2 deletions
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. |