Как определить переменную в jison / bison - PullRequest
Новая
       66

Как определить переменную в jison / bison

0 голосов
/ 26 октября 2019

Мне нужно сохранить данные в моей переменной jison, а затем извлечь сохраненное значение и выполнить простую арифметическую операцию. Я пробовал, условная операция и выражение работают нормально, но после добавления правила переменной я получил ошибку.

Мой ввод:

myvar1 = 3 myvar2 = 4, затем myvar1 +myvar2

И я получаю эту ошибку: 

Parse error on line 1:
myvar=4
-----^
Expecting '=', 'EOF', '+', '-', '*', '/', '^', '<', '>', '==', '!=', '=<', '>=', got 'INVALID'

Вот мой код jison: 

/* description: Parses end executes mathematical expressions. */
/* lexical grammar */

%{

var sym={};
%}
%lex
%%

\s+                   /* skip whitespace */
[0-9]+("."[0-9]+)?\b  return 'NUMBER'
[a-zA-Z]+\b           return 'VARIABLE'
"*"                   return '*'
"/"                   return '/'
"-"                   return '-'
"+"                   return '+'
"^"                   return '^'
"("                   return '('
")"                   return ')'
"PI"                  return 'PI'
"E"                   return 'E'
"<"                    return "<"
"=<"                    return "=<"
">="                    return ">="
">"                    return ">"
"=="                    return "=="
"!="                    return "!="
"IF"                   return "IF"
"THEN"                   return "THEN"
"ELSE"                   return "ELSE"
<<EOF>>               return 'EOF'

.                     return 'INVALID'

/lex

/* operator associations and precedence */
%left '<' '>' '==' '!='  '>=' '=<' '&&'
%left '+' '-'
%left '*' '/'
%left '^'
%left UMINUS

%start statement

%% /* language grammar */

statement
        : expressions
        | VARIABLE '=' expressions{ sym[$1]=$3}
;

expressions
    : e EOF
        {return $1;}
    ;

e
:VARIABLE
{ $$=sym[$1]=$3}
    | e '+' e
        {$$ = $1+$3;}

    | e '-' e
        {
$$ =function(){

return $1-$3;
}($1,$3)}
    | e '*' e
        {$$ = $1*$3;}
    | e '/' e
        {$$ = $1/$3;}
    | e '^' e
        {$$ = Math.pow($1, $3);}
    | '-' e %prec UMINUS
        {$$ = -$2;}
    | '(' e ')'
        {$$ = $2;}
    | NUMBER
        {$$ = Number(yytext);}
    | E
        {$$ = Math.E;}
    | PI
        {$$ = Math.PI;}
| e '<' e
{
$$=function(){
return $1<$3?true:false;
}($1,$3)
}
| e '>' e
{
$$=function(){
return $1>$3?true:false;
}($1,$3)
}

| e '==' e
{
$$=function(){
return $1==$3?true:false;
}($1,$3)
}
| e '!=' e
{
$$=function(){
return $1!=$3?true:false;
}($1,$3)
}
| e '=<' e
{
$$=function(){
return $1==$3?true:false;
}($1,$3)
}
| e '>=' e
{
$$=function(){
return $1>=$3?true:false;
}($1,$3)
}

|'IF''('e')''THEN''('e')''ELSE''('e')' 
{
$$= $3?$7:$11;
}
   ;

1 Ответ

1 голос
/ 26 октября 2019

Ваш лексер никогда не производит = токенов. Если вы посмотрите на свой список правил токенов, то единственное, которое будет соответствовать одному =, это ., который производит INVALID токен.

Так как правило VARIABLE '=' expressions ожидает = токен, совпадение не удается, и вы получаете синтаксическую ошибку, сообщающую, что (помимо прочего) ожидалось бы =.

Как только вы это исправите, другой проблемой будет то, что ваш *Правило 1012 * (которое, по-видимому, неверно названо, так как соответствует только одному выражению) ожидает в конце EOF, поэтому ваш входной файл должен заканчиваться после первого присваивания. На самом деле, множественные назначения не будут поддерживаться в любом случае, потому что вы когда-либо будете соответствовать только одному утверждениюПоэтому, чтобы исправить это, вы должны удалить EOF из вашего правила expressions и вместо этого добавить правило, которое соответствует нескольким операторам, после которых следует конец файла (если вам вообще нужен токен EOF), а затем создайте это правило. ваше стартовое правило.

...