Reputation: 4959
I'm trying to expand the Jison calculator example with some simple functions. I'm rather new to parsing and bison/jison, but this is a bit of what I have so far:
/* lexical grammar */
%lex
%{
var funcs = {
pow: function(a, b) { return Math.pow(a, b); },
test: function(a) { return a*2; }
}
%}
%%
\s+ /* skip whitespace */
[0-9]+("."[0-9]+)?\b return 'NUMBER'
[a-zA-Z]+ return 'NAME'
"," return ','
"*" return '*'
"(" return '('
")" return ')'
<<EOF>> return 'EOF'
. return 'INVALID'
/lex
%start expressions
%% /* language grammar */
expressions
: e EOF
{ return $1; }
;
expression_list
: expression_list ',' e
| e
;
e
: e '*' e
{$$ = $1*$3;}
| '(' e ')'
{$$ = $2;}
| NUMBER
{$$ = Number(yytext);}
| NAME '(' expression_list ')'
{$$ = funcs[$NAME]($expression_list);}
;
The problem is that functions are only getting one argument passed to them. For example:
test(2) -> 4
pow(2,3) -> null
In fact, if you console.log
the arguments of pow
, it appears b
isn't even defined. Why isn't it parsing the whole expression list before sending it to the function?
Upvotes: 3
Views: 1098
Reputation: 151441
The following code does what you asked for. Salient points:
The rules for expression_list
now build an actual list of values to be used with the functions being called.
The list built by expression_list
are passed to apply
so that they become the arguments of the function being called (undefined
is there as the first argument to set the value of this
to undefined
).
I've added a console.log
instruction to the actions for expression
so that I'd see what is going on when I run the resulting parser at the command line.
I've moved the definition of funcs
to the very start. Where it was jison was just not putting it in the right place in the final file.
Here's the final file:
%{var funcs = {
pow: function(a, b) { return Math.pow(a, b); },
test: function(a) { return a*2; }
}
%}
/* lexical grammar */
%lex
%%
\s+ /* skip whitespace */
[0-9]+("."[0-9]+)?\b return 'NUMBER'
[a-zA-Z]+ return 'NAME'
"," return ','
"*" return '*'
"(" return '('
")" return ')'
<<EOF>> return 'EOF'
. return 'INVALID'
/lex
%start expressions
%% /* language grammar */
expressions
: e EOF
{ console.log($1); return $1; }
;
expression_list
: expression_list ',' e
{ $$ = $1.concat([$3]); }
| e
{ $$ = [$1]; }
;
e
: e '*' e
{$$ = $1*$3;}
| '(' e ')'
{$$ = $2;}
| NUMBER
{$$ = Number(yytext);}
| NAME '(' expression_list ')'
{$$ = funcs[$NAME].apply(undefined, $expression_list);}
;
Upvotes: 4
Reputation: 241861
You need an action in the first production for expression_list
. The default action just copies $1
to $$
, which means that the appended value is discarded.
Upvotes: 1