如何用赋值(=)和相等(==)操作数制作语法?

时间:2019-06-07 19:10:07

标签: c yacc lex

作为我要参加的“编译器理论”课程的一项作业,我必须用lex / yacc编码计算器。一些要求是:

  • 用户必须能够将数字或布尔值分配给变量
  • 计算器必须能够比较布尔语句

如果我尝试输入此内容:

a=5;
a; // Output: 5
a==5; // Syntax error

但是,如果我输入以下内容,它将起作用:

5==a; // Output: 1

我认为问题在于yacc正在将a==5读为<a> <=> <=5>而不是<a> <==> <5>形式的新赋值。我仍然不知道如何解决该问题。我尝试使用%prec批注,但这不能解决问题。

这是代码: calc.l

%{
#include "y.tab.h"
void yyerror(char* s);
%}

%%
"exit"      { return exit_command; }
[0-9]+      { yylval.num = atoi(yytext); return number; }
[a-zA-Z]    { yylval.id = yytext[0]; return identifier; }
[ \t\n]     ;
[-+*/()^%;] { return yytext[0]; }
[<>=!&|]    { return yytext[0]; }
.       { ECHO; yyerror("Unexpected character"); }
%%

int yywrap(void) { return 1; }

calc.y

%{
void yyerror(char *s);
int yylex();

#include <stdio.h>
#include <stdlib.h>
#include <ctype.h>
#include <math.h>

int yydebug = 1;

void print(int num);
int symbols[52];
int symbolVal(char symbol);
void updateSymbolVal(char symbol, int val);
%}

%union { int num; char id; }
%start line
%token exit_command
%token <num> number
%token <id> identifier
%type <num> line bool_exp arit_exp term factor 
%type <id> assignment

%%

line:   line bool_exp ';'   { print($2); }
    | bool_exp ';'      { print($1); }
    | line assignment ';'   {;}
    | assignment ';'    {;}
    | line equality ';' {;}
    | equality ';'      {;}
    | line exit_command { printf("Goodbye\n"); exit(EXIT_SUCCESS); }
    | exit_command      { printf("Goodbye\n"); exit(EXIT_SUCCESS); }
    ;

bool_exp:   arit_exp            { $$ = $1; }
        | bool_exp '<' arit_exp     { $$ = $1 < $3; }
        | bool_exp '>' '=' arit_exp { $$ = $1 >= $4; }
        | bool_exp '>' arit_exp     { $$ = $1 > $3; }
        | bool_exp '<' '=' arit_exp { $$ = $1 <= $4; }
        | bool_exp '=' '=' arit_exp { $$ = $1 == $4; }
        | bool_exp '!' '=' arit_exp { $$ = $1 != $4; }
        | '!' bool_exp          { $$ = !$2; }
        | bool_exp '&' '&' arit_exp { $$ = $1 && $4; }
        | bool_exp '|' '|' arit_exp { $$ = $1 || $4; }
        | '+' '+' identifier        { updateSymbolVal($3, symbolVal($3) + 1); $$ = symbolVal($3); }
        | '-' '-' identifier        { updateSymbolVal($3, symbolVal($3) - 1); $$ = symbolVal($3); }
        ;

arit_exp:   term            { $$ = $1; }
        | arit_exp '+' term { $$ = $1 + $3; }
        | arit_exp '-' term { $$ = $1 - $3; }
        ;

term:   factor          { $$ = $1;  }
        | term '*' factor   { $$ = $1 * $3;  }
        | term '/' factor   { $$ = $1 / $3;  }
    | term '^' factor   { $$ = pow($1, $3); }
    | term '%' factor   { $$ = $1 % $3; }
    | '-' factor        { $$ = $2 * -1; }
    ;

factor: number          { $$ = $1; }
    | identifier        { $$ = symbolVal($1); }
        | '(' bool_exp ')'  { $$ = $2; }
    ;

assignment: identifier '=' bool_exp { updateSymbolVal($1, $3); printf("> %c <- %i\n> ", $1, $3); } ;

%%

void print(int num) {
    printf("> Result: %i\n< ", num);
}

int computeSymbolIndex(char token) {
    int idx = -1;
    if (islower(token)) {
        idx = token - 'a' + 26;
    }
    else if (isupper(token)) {
        idx = token - 'A';
    }
    return idx;
}

/* Returns the value of a given symbol */
int symbolVal(char symbol) {
    int bucket = computeSymbolIndex(symbol);
    return symbols[bucket];
}

void updateSymbolVal(char symbol, int val) {
    int bucket = computeSymbolIndex(symbol);
    symbols[bucket] = val;
}

int main(void) {
    printf("Calculator made with lex and yacc\n");
    printf("Usage: <Arithmetic or boolean expression> <semicolon>\n");
    printf("e.g: 2+2;\n\n< ");
    return yyparse();
}

void yyerror(char *s) { fprintf(stderr, "Error: %s\n", s); }

1 个答案:

答案 0 :(得分:5)

运算符应为令牌。因此,您将获得具有以下功能的Lex扫描仪:

"=="   { return EQUAL; }

,依此类推。像现在使用'=' '='一样在解析器中形成令牌是错误的。

在Yacc文件中,您可以使用%left TOKEN%right TOKEN定义运算符的关联性。放置它们的顺序确定它们的优先级(请参阅this postyacc手册)。