java: rename YYMORE as YYPUSH_MORE for consistency with C

http://lists.gnu.org/archive/html/bison-patches/2013-06/msg00008.html

* data/lalr1.java, doc/bison.texi, tests/javapush.at:
s/YYMORE/YYPUSH_MORE.
This commit is contained in:
Akim Demaille
2013-06-24 09:32:22 +02:00
parent 58b465ae5f
commit 45c64fa627
3 changed files with 15 additions and 15 deletions

View File

@@ -11927,8 +11927,8 @@ parameters are available only if location tracking is active.
The value returned by the @code{push_parse} method is one of the following
four constants: @code{YYABORT}, @code{YYACCEPT}, @code{YYERROR}, or
@code{YYMORE}. This new value, @code{YYMORE}, may be returned if more input
is required to finish parsing the grammar.
@code{YYPUSH_MORE}. This new value, @code{YYPUSH_MORE}, may be returned if
more input is required to finish parsing the grammar.
If api.push-pull is declared as @code{both}, then the generated parser class
will also implement the @code{parse} method. This method's body is a loop