I want to parse a string which I give to the parser in the main function of yacc . I know that this could be done by using yy_scan_string but I don't know how to use it. I searched the web and the man pages but it is still not clear to me. Please help me.
6 Answers
This works for me. I have this code in the subroutines section (i.e. the third section) of my Bison file:
struct eq_tree_node *parse_equation(char *str_input)
{
struct eq_tree_node *result;
yy_scan_string(str_input);
yyparse();
/* to avoid leakage */
yylex_destroy();
/* disregard this. it is the function that I defined to get
the result of the parsing. */
result = symtab_get_parse_result();
return result;
}
This worked for me ... use yy_scan_string()
int main(int argc, char **argv)
{
char Command[509];
int ReturnVal;
char input[40] = "This is my input string";
/*Copy string into new buffer and Switch buffers*/
yy_scan_string (input);
/*Analyze the string*/
yylex();
/*Delete the new buffer*/
yy_delete_buffer(YY_CURRENT_BUFFER);
}
There's a few good answers here already. But for my purposes, I needed to repeatedly swap between string-buffers that were to be analysed. The problem here is that flex needs to clean-up after each processing run, and reset its internal parse-stuff/counters/etc. At the time of writing, none of the existing answers demonstrate this.
Essentially this amounts to keeping a YY_BUFFER_STATE yy_buffer_state; around somewhere, and calling yy_delete_buffer( yy_buffer_state ) when it's time to switch between strings. When flex is assigned a new string to scan ( with yy_scan_string() ), a new YY_BUFFER_STATE is generated, which you need to track.
I've tried to show a reasonably complete example, but the money-shot is setLexerBuffer() near the bottom ~
For example:
%{
#include "flex_tokens_and_yylval.h"
extern LexYYLVal yylval; // my custom yylval
extern YY_BUFFER_STATE yy_buffer_state;
%}
digit [0-9]
letter [a-zA-Z]
udderscore "_"
sign [+-]
period "."
real {sign}?({digit}*{period}{digit}+)
int {sign}?{digit}+
identifier ({letter}|{udderscore})+({letter}|{digit}|{udderscore})*
/* [...] rest of the scanner rules */
%%
<<EOF>> { return LEX_EOF; }
{real} {
yylval.data.val_real = strtod( yytext, NULL );
return LEX_REAL;
}
{int} {
yylval.data.val_integer = strtol( yytext, NULL, 10 );
return LEX_INTEGER;
}
{identifier} {
strncpy( yylval.data.val_string, yytext, MAX_IDENTIFIER_LENGTH );
yylval.data.val_string[MAX_IDENTIFIER_LENGTH-1]='\0';
return LEX_IDENTIFIER;
}
[ \t\n\r] { /* skip whitespace */ }
/* [...] rest the scanner outputs */
%%
// NOT THREAD SAFE, DON'T USE FROM MULTIPLE THREADS
LexYYLVal yylval;
int yy_first_ever_run = 1;
char LexEmptyBuffer[3] = { '\n', '\0', '\0' };
YY_BUFFER_STATE yy_buffer_state;
/*
* Point flex at a new string to process, resetting
* any old results from a previous parse.
*/
void setLexerBuffer( const char *expression_string )
{
/* out with the old (If any? How does flex know?) */
if ( !yy_first_ever_run )
{
// This doesn't cause any issues (according to valgrind)
// but I also don't see any reason to call it before the
// first lex-run.
yy_delete_buffer( yy_buffer_state );
}
else
{
yy_first_ever_run = 0;
}
/* just make sure we're pointing at something */
if ( expression_string == NULL )
{
expression_string = LexEmptyBuffer;
}
/* reset the scan */
yy_buffer_state = yy_scan_string( expression_string ); /* auto-resets lexer state */
}
So this lets you run a control-loop like:
int main( void )
{
LexResultToken token;
setLexerBuffer( "12.3 * 0.96" );
do
{
token = yylex();
printToken( token );
}
while( token != LEX_EOF );
setLexerBuffer( "( A + B ) < ( C * D )" );
do
{
token = yylex();
printToken( token );
}
while( token != LEX_EOF );
yylex_destroy();
return 0;
}
This example was run through valgrind to verify memory-correctness.