Merge branch 'master' of https://github.com/pacien/upem-compil-tpc

1 files changed, 127 insertions, 111 deletions

diff --git a/src/tpc.y b/src/tpc.y
index 11635f9..a44a9aa 100644
--- a/src/tpc.y
+++ b/src/tpc.y
@@ -12,127 +12,143 @@ void yyerror(char *);
 
 %}
 
-%union {
-  char caractere;
-  int num;
-  char ident[64];
-  char type[16];
-  char comp[3];
-  char addsub;
-  char divstar;
-}
-
-%token <caractere> CARACTERE
-%token <num> NUM
-%token <ident> IDENT
-%token <comp> ORDER EQ
-%token <addsub> ADDSUB
-%token <divstar> DIVSTAR
-%token OR AND CONST IF WHILE RETURN VOID
-%token <type> TYPE
+%token CARACTERE NUM IDENT
+%token ADDSUB DIVSTAR
+%token ORDER EQ OR AND
+%token IF WHILE RETURN
+%token CONST VOID TYPE
+%token PRINT READC READE
 
 %left ','
 %precedence ')'
 %precedence ELSE
 
 %%
-Prog         : DeclConsts DeclVars DeclFoncts
-             ;
-DeclConsts   : DeclConsts CONST ListConst ';'
-             |
-             ;
-ListConst    : ListConst ',' IDENT '=' Litteral
-             | IDENT '=' Litteral
-             ;
-Litteral     : NombreSigne
-             | CARACTERE
-             ;
-NombreSigne  : NUM
-             | ADDSUB NUM
-             ;
-DeclVars     : DeclVars TYPE Declarateurs ';'
-             |
-             ;
-Declarateurs : Declarateurs ',' Declarateur
-             | Declarateur
-             ;
-Declarateur  : IDENT
-             | IDENT '[' NUM ']'
-             ;
-DeclFoncts   : DeclFoncts DeclFonct
-             | DeclFonct
-             ;
-DeclFonct    : EnTeteFonct Corps
-             ;
-EnTeteFonct  : TYPE IDENT '(' Parametres ')'
-             | VOID IDENT '(' Parametres ')'
-             ;
-Parametres   : VOID
-             | ListTypVar
-             ;
-ListTypVar   : ListTypVar ',' TYPE IDENT
-             | TYPE IDENT
-             ;
-Corps        : '{' DeclConsts DeclVars SuiteInstr '}'
-             ;
-SuiteInstr   : SuiteInstr Instr
-             |
-             ;
-Instr        : Exp ';'
-             | RETURN Exp ';'
-             | RETURN ';'
-             | ';'
-             | IF '(' Exp ')' Instr
-             | IF '(' Exp ')' Instr ELSE Instr
-             | WHILE '(' Exp ')' Instr
-             | '{' SuiteInstr '}'
-             ;
-Exp          : LValue '=' Exp
-             | EB
-             ;
-EB           : EB OR TB
-             | TB
-             ;
-TB           : TB AND FB
-             | FB
-             ;
-FB           : FB EQ M
-             | M
-             ;
-M            : M ORDER E
-             | E
-             ;
-E            : E ADDSUB T
-             | T
-             ;
-T            : T DIVSTAR F
-             | F
-             ;
-F            : ADDSUB F
-             | '!' F
-             | '(' Exp ')'
-             | LValue
-             | NUM
-             | CARACTERE
-             | IDENT '(' Arguments ')'
-             ;
-LValue       : IDENT
-             | IDENT  '[' Exp ']'
-             ;
-Arguments    : ListExp
-             |
-             ;
-ListExp      : ListExp ',' ListExp
-             | Exp
-             ;
+Prog:
+     DeclConsts DeclVars DeclFoncts
+  ;
+DeclConsts:
+     DeclConsts CONST ListConst ';'
+  |
+  ;
+ListConst:
+     ListConst ',' IDENT '=' Litteral
+  |  IDENT '=' Litteral
+  ;
+Litteral:
+     NombreSigne
+  |  CARACTERE
+  ;
+NombreSigne:
+     NUM
+  |  ADDSUB NUM
+  ;
+DeclVars:
+     DeclVars TYPE Declarateurs ';'
+  |
+  ;
+Declarateurs:
+     Declarateurs ',' Declarateur
+  |  Declarateur
+  ;
+Declarateur:
+     IDENT
+  |  IDENT '[' NUM ']'
+  ;
+DeclFoncts:
+     DeclFoncts DeclFonct
+  |  DeclFonct
+  ;
+DeclFonct:
+     EnTeteFonct Corps
+  ;
+EnTeteFonct:
+     TYPE IDENT '(' Parametres ')'
+  |  VOID IDENT '(' Parametres ')'
+  ;
+Parametres:
+     VOID
+  |  ListTypVar
+  ;
+ListTypVar:
+     ListTypVar ',' TYPE IDENT
+  |  TYPE IDENT
+  ;
+Corps:
+     '{' DeclConsts DeclVars SuiteInstr '}'
+  ;
+SuiteInstr:
+     SuiteInstr Instr
+  |  ;
+Instr:
+     Exp ';'
+  |  ';'
+  |  RETURN Exp ';'
+  |  RETURN ';'
+  |  READE '(' IDENT ')' ';'
+  |  READC '(' IDENT ')' ';'
+  |  PRINT '(' Exp ')' ';'
+  |  IF '(' Exp ')' Instr
+  |  IF '(' Exp ')' Instr ELSE Instr
+  |  WHILE '(' Exp ')' Instr
+  |  '{' SuiteInstr '}'
+  ;
+Exp:
+     LValue '=' Exp
+  |  EB
+  ;
+EB:
+     EB OR TB
+  |  TB
+  ;
+TB:
+     TB AND FB
+  |  FB
+  ;
+FB:
+     FB EQ M
+  |  M
+  ;
+M:
+     M ORDER E
+  |  E
+  ;
+E:
+     E ADDSUB T
+  |  T
+  ;
+T:
+     T DIVSTAR F
+  |  F
+  ;
+F:
+     ADDSUB F
+  |  '!' F
+  |  '(' Exp ')'
+  |  LValue
+  |  NUM
+  |  CARACTERE
+  |  IDENT '(' Arguments  ')'
+  ;
+LValue:
+     IDENT
+  |  IDENT  '[' Exp  ']'
+  ;
+Arguments:
+     ListExp
+  |
+  ;
+ListExp:
+     ListExp ',' Exp
+  |  Exp
+  ;
 %%
 
-void yyerror(char *s){
-  fprintf(stderr, "Line no%d: %s\n", lineno, s);
+void yyerror(char *msg){
+  fprintf(stderr, "%s at line %d\n", msg, lineno);
 }
 
 int main(int argc, char **argv) {
-  yyparse();
-  return 0;
+  return yyparse();
 }