doc: fixes in the C++ part

Reported by Askar Safin.

http://lists.gnu.org/archive/html/bug-bison/2015-02/msg00018.html
http://lists.gnu.org/archive/html/bug-bison/2015-02/msg00019.html

* doc/bison.texi (Split Symbols): Fix access to token types.
yylval is a pointer, so use ->.
Fix coding style issues: space before paren.
This commit is contained in:
Akim Demaille
2015-03-03 16:10:30 +01:00
parent a668f48631
commit 75fbe357c8
2 changed files with 29 additions and 30 deletions

1
THANKS
View File

@@ -15,6 +15,7 @@ Anthony Heading ajrh@ajrh.net
Antonio Silva Correia amsilvacorreia@hotmail.com
Arnold Robbins arnold@skeeve.com
Art Haas ahaas@neosoft.com
Askar Safin safinaskar@mail.ru
Baron Schwartz baron@sequent.org
Ben Pfaff blp@cs.stanford.edu
Benoit Perrot benoit.perrot@epita.fr

View File

@@ -10901,12 +10901,12 @@ Regular union-based code in Lex scanner typically look like:
@example
[0-9]+ @{
yylval.ival = text_to_int (yytext);
return yy::parser::INTEGER;
yylval->ival = text_to_int (yytext);
return yy::parser::token::INTEGER;
@}
[a-z]+ @{
yylval.sval = new std::string (yytext);
return yy::parser::IDENTIFIER;
yylval->sval = new std::string (yytext);
return yy::parser::token::IDENTIFIER;
@}
@end example
@@ -10915,12 +10915,12 @@ initialized. So the code would look like:
@example
[0-9]+ @{
yylval.build<int>() = text_to_int (yytext);
return yy::parser::INTEGER;
yylval->build<int> () = text_to_int (yytext);
return yy::parser::token::INTEGER;
@}
[a-z]+ @{
yylval.build<std::string> = yytext;
return yy::parser::IDENTIFIER;
yylval->build<std::string> () = yytext;
return yy::parser::token::IDENTIFIER;
@}
@end example
@@ -10929,12 +10929,12 @@ or
@example
[0-9]+ @{
yylval.build(text_to_int (yytext));
return yy::parser::INTEGER;
yylval->build (text_to_int (yytext));
return yy::parser::token::INTEGER;
@}
[a-z]+ @{
yylval.build(yytext);
return yy::parser::IDENTIFIER;
yylval->build (yytext);
return yy::parser::token::IDENTIFIER;
@}
@end example
@@ -10983,20 +10983,18 @@ For instance, given the following declarations:
Bison generates the following functions:
@example
symbol_type make_IDENTIFIER(const std::string& v,
const location_type& l);
symbol_type make_INTEGER(const int& v,
const location_type& loc);
symbol_type make_COLON(const location_type& loc);
symbol_type make_IDENTIFIER (const std::string& v, const location_type& loc);
symbol_type make_INTEGER (const int& v, const location_type& loc);
symbol_type make_COLON (const location_type& loc);
@end example
@noindent
which should be used in a Lex-scanner as follows.
@example
[0-9]+ return yy::parser::make_INTEGER(text_to_int (yytext), loc);
[a-z]+ return yy::parser::make_IDENTIFIER(yytext, loc);
":" return yy::parser::make_COLON(loc);
[0-9]+ return yy::parser::make_INTEGER (text_to_int (yytext), loc);
[a-z]+ return yy::parser::make_IDENTIFIER (yytext, loc);
":" return yy::parser::make_COLON (loc);
@end example
Tokens that do not have an identifier are not accessible: you cannot simply
@@ -11461,13 +11459,13 @@ The rules are simple. The driver is used to report errors.
@comment file: calc++-scanner.ll
@example
"-" return yy::calcxx_parser::make_MINUS(loc);
"+" return yy::calcxx_parser::make_PLUS(loc);
"*" return yy::calcxx_parser::make_STAR(loc);
"/" return yy::calcxx_parser::make_SLASH(loc);
"(" return yy::calcxx_parser::make_LPAREN(loc);
")" return yy::calcxx_parser::make_RPAREN(loc);
":=" return yy::calcxx_parser::make_ASSIGN(loc);
"-" return yy::calcxx_parser::make_MINUS (loc);
"+" return yy::calcxx_parser::make_PLUS (loc);
"*" return yy::calcxx_parser::make_STAR (loc);
"/" return yy::calcxx_parser::make_SLASH (loc);
"(" return yy::calcxx_parser::make_LPAREN (loc);
")" return yy::calcxx_parser::make_RPAREN (loc);
":=" return yy::calcxx_parser::make_ASSIGN (loc);
@group
@{int@} @{
@@ -11475,12 +11473,12 @@ The rules are simple. The driver is used to report errors.
long n = strtol (yytext, NULL, 10);
if (! (INT_MIN <= n && n <= INT_MAX && errno != ERANGE))
driver.error (loc, "integer is out of range");
return yy::calcxx_parser::make_NUMBER(n, loc);
return yy::calcxx_parser::make_NUMBER (n, loc);
@}
@end group
@{id@} return yy::calcxx_parser::make_IDENTIFIER(yytext, loc);
@{id@} return yy::calcxx_parser::make_IDENTIFIER (yytext, loc);
. driver.error (loc, "invalid character");
<<EOF>> return yy::calcxx_parser::make_END(loc);
<<EOF>> return yy::calcxx_parser::make_END (loc);
%%
@end example