calc_c.y

%{
    #include<stdlib.h>
    #include "include/def.h"
    #include <stdio.h>
    #include <math.h>
    extern int yylineno;
    extern FILE *yyin;
    extern char *yytext;
    int yylex(void);
    void yyerror(char* s, ...);
%}

%union{
    int         type_int;
    struct node * ptr;
    char        type_id[32];
};
//非终结符
%type <ptr> compunit decl constdecl constdef  constinitval vardecl  vardef funcdef initval eqexp
%type <ptr> funcfparams funcfparam block blockitem stmt exp cond lval  primaryexp 
%type <ptr> number unaryexp unaryop funcrparams mulexp addexp relexp landexp lorexp constexp
%type <ptr> constdecl_  constinitval_ block_   vardecl_ funcfparam_ constdef_ vardef_ lval_
%type <ptr> program btype defone defarray initvalarray initvalarraylist

%left TOK_OR TOK_AND TOK_ADD TOK_SUB TOK_MUL TOK_DIV TOK_MODULO 
%left TOK_LESS TOK_LESSEQ TOK_GREAT TOK_GREATEQ TOK_NOTEQ TOK_EQ 
%right TOK_ASSIGN TOK_NOT 

//终结符
%token <type_int> INTCONST
%token <type_id> IDENT 

//relop
%token <type_id> TOK_LESS TOK_LESSEQ TOK_GREAT TOK_GREATEQ TOK_NOTEQ TOK_EQ // < > >= <= == !=
//TYPE
%token <type_id> TOK_CONST
//标识符
%token TOK_LPAR TOK_RPAR TOK_LBRACKET TOK_RBRACKET TOK_LSQUARE TOK_RSQUARE TOK_COMMA TOK_SEMICOLON TOK_BREAK TOK_CONTINUE
%token TOK_ADD TOK_SUB TOK_MUL TOK_DIV TOK_ASSIGN
%token TOK_AND TOK_OR TOK_NOT TOK_IF TOK_ELSE TOK_WHILE TOK_RETURN TOK_INT TOK_VOID  TOK_FLOAT

%%
program: compunit                          {$$ = $1;Driver($1);}
        ;
compunit: decl compunit                     {$$ = mknode(COMPUNIT_LIST,$1,$2,NULL,yylineno);}       
        | funcdef compunit                  {$$ = mknode(COMPUNIT_LIST,$1,$2,NULL,yylineno);}        
        | decl                              {$$ = $1;} 
        | funcdef                           {$$ = $1;} 
        ;
decl: constdecl TOK_SEMICOLON                           {$$ = $1;}
    | vardecl TOK_SEMICOLON                             {$$ = $1;}
     ;
//常量声明
constdecl: TOK_CONST TOK_INT constdef constdecl_   {$3->type = CONST_INT;if($3->kind == ID)$3->kind = VAR_DECL;
                                                                if($4 != NULL)
                                                                {$$ = mknode(VAR_DECL_LIST,$3,$4,NULL,yylineno);}
                                                                else
                                                                {$$ = $3;}}
         ;
constdecl_: TOK_COMMA constdef constdecl_       {$2->type=CONST_INT;$2->kind = VAR_DEF;$$ = mknode(VAR_DECL_LIST,$2,$3,NULL,yylineno);} 
          |                                     {$$ = NULL;}
          ;
constdef: IDENT constdef_ TOK_ASSIGN constinitval          {struct node *temp;if($2 == NULL){temp=mknode(ID,NULL,NULL,NULL,yylineno);strcpy(temp->type_id,$1);}
                                                             else{temp = mkparray(ARRAY_DEC,$1,$2,yylineno);temp->type = TOK_INT;strcpy(temp->type_id,$1);}
                                                             temp->ptr[0]=$4;$$ = temp;}
        ;
constdef_: TOK_LSQUARE INTCONST TOK_RSQUARE constdef_      {struct node * temp = mknode(TOK_INT,$4,NULL,NULL,yylineno);temp->type_int = $2;$$ =temp;}
         |                                                 {$$ = NULL;}
         ;