Update parser.y

Sprint 3 — Suporte Sintático Essencial

Author: marcomarquesdc

src/parser.y

@@ -5,77 +5,158 @@
 
 int yylex(void);
 void yyerror(const char *s);
-
 %}
 
+/* ---------- União de valores ---------- */
 %union {
     int intValue;
     float floatValue;
-    char *strValue;  // Manipula strings corretamente
     char *id;
 }
 
-%type <intValue> expr
+/* ---------- Tokens ---------- */
 %token <intValue> NUM
 %token <floatValue> FLOAT
 %token <id> IDENT
-%token SEMI
+
+%token INT FLOAT_TYPE BOOL CHAR
 %token TRUE FALSE
-%token PLUS MINUS TIMES DIVIDE MOD
+%token IF ELSE WHILE FOR RETURN PRINT
 %token EQ NEQ LT LEQ GT GEQ
 %token AND OR NOT
-%token IF ELSE WHILE DO RETURN PRINT
-%token LPAREN RPAREN
-%token END
+%token ASSIGN
+%token PLUS MINUS TIMES DIVIDE MOD
+%token LBRACE RBRACE LPAREN RPAREN
+%token SEMICOLON COMMA
 
+/* ---------- Precedência ---------- */
+%left OR
+%left AND
+%left EQ NEQ
+%left LT LEQ GT GEQ
 %left PLUS MINUS
 %left TIMES DIVIDE MOD
-%left POW
-%left AND OR
 %right NOT
+%right UMINUS
 
-%start input
+/* ---------- Tipos ---------- */
+%type <intValue> expr
+%type <intValue> stmt
 
 %%
 
-input:
-      /* vazio */
-    | expr SEMI                   { /* Trata a expressão seguida de ponto e vírgula */ }
-    | PRINT expr SEMI             { /* Trata o comando print */ }
-    | IF LPAREN expr RPAREN input ELSE input { /* Condicional if/else */ }
-    | WHILE LPAREN expr RPAREN DO input END { /* Loop while com do...end */ }
-    | RETURN expr SEMI            { /* Comando return */ }
-    | error SEMI                  { yyerror("Erro sintático: Esperado expressão após ';'"); }
+/* ---------- Programa e estrutura ---------- */
+program:
+      stmt_list
+    ;
+
+/* Lista de comandos */
+stmt_list:
+      stmt_list stmt
+    | /* vazio */
+    ;
+
+/* ---------- Comandos principais ---------- */
+stmt:
+      decl_stmt
+    | assign_stmt
+    | if_stmt
+    | while_stmt
+    | for_stmt
+    | print_stmt
+    | block
+    | RETURN expr SEMICOLON
+    ;
+
+/* Declarações */
+decl_stmt:
+      type IDENT ASSIGN expr SEMICOLON
+        { printf("Declaração: %s = %d\n", $2, $4); }
+    | type IDENT SEMICOLON
+        { printf("Declaração: %s\n", $2); }
+    ;
+
+/* Atribuição */
+assign_stmt:
+      IDENT ASSIGN expr SEMICOLON
+        { printf("Atribuição: %s = %d\n", $1, $3); }
     ;
 
+/* If / Else */
+if_stmt:
+      IF LPAREN expr RPAREN stmt
+        { printf("If condicional simples\n"); }
+    | IF LPAREN expr RPAREN stmt ELSE stmt
+        { printf("If/Else condicional\n"); }
+    ;
+
+/* While */
+while_stmt:
+      WHILE LPAREN expr RPAREN stmt
+        { printf("Loop While\n"); }
+    ;
+
+/* For */
+for_stmt:
+      FOR LPAREN assign_stmt expr SEMICOLON assign_stmt RPAREN stmt
+        { printf("Loop For\n"); }
+    ;
+
+/* Print */
+print_stmt:
+      PRINT LPAREN expr RPAREN SEMICOLON
+        { printf("Print encontrado\n"); }
+    ;
+
+/* Blocos */
+block:
+      LBRACE stmt_list RBRACE
+        { printf("Bloco de comandos\n"); }
+    ;
+
+/* Tipos */
+type:
+      INT
+    | FLOAT_TYPE
+    | BOOL
+    | CHAR
+    ;
+
+/* ---------- Expressões ---------- */
 expr:
-      expr PLUS expr             { $$ = $1 + $3; }
-    | expr MINUS expr            { $$ = $1 - $3; }
-    | expr TIMES expr            { $$ = $1 * $3; }
-    | expr DIVIDE expr           { 
-                                    if ($3 == 0) {
-                                        yyerror("Erro semântico: Divisão por zero");
-                                    }
-                                    $$ = $1 / $3; 
-                                  }
-    | expr MOD expr              { $$ = $1 % $3; }
-    | LPAREN expr RPAREN         { $$ = $2; }
-    | NUM                        { $$ = $1; }
-    | FLOAT                      { $$ = $1; }
-    | TRUE                       { $$ = 1; }
-    | FALSE                      { $$ = 0; }
-    | IDENT                      { $$ = 0; }
-    | NOT expr                   { $$ = !$2; }
-    | expr EQ expr               { $$ = $1 == $3; }
-    | expr NEQ expr              { $$ = $1 != $3; }
-    | expr LT expr               { $$ = $1 < $3; }
-    | expr LEQ expr              { $$ = $1 <= $3; }
-    | expr GT expr               { $$ = $1 > $3; }
-    | expr GEQ expr              { $$ = $1 >= $3; }
+      expr PLUS expr        { $$ = $1 + $3; }
+    | expr MINUS expr       { $$ = $1 - $3; }
+    | expr TIMES expr       { $$ = $1 * $3; }
+    | expr DIVIDE expr      { $$ = $1 / $3; }
+    | expr MOD expr         { $$ = $1 % $3; }
+    | expr EQ expr          { $$ = ($1 == $3); }
+    | expr NEQ expr         { $$ = ($1 != $3); }
+    | expr LT expr          { $$ = ($1 < $3); }
+    | expr LEQ expr         { $$ = ($1 <= $3); }
+    | expr GT expr          { $$ = ($1 > $3); }
+    | expr GEQ expr         { $$ = ($1 >= $3); }
+    | expr AND expr         { $$ = ($1 && $3); }
+    | expr OR expr          { $$ = ($1 || $3); }
+    | NOT expr              { $$ = !$2; }
+    | MINUS expr %prec UMINUS { $$ = -$2; }
+    | LPAREN expr RPAREN    { $$ = $2; }
+    | NUM                   { $$ = $1; }
+    | FLOAT                 { $$ = (int)$1; }
+    | TRUE                  { $$ = 1; }
+    | FALSE                 { $$ = 0; }
+    | IDENT                 { printf("Uso de variável: %s\n", $1); $$ = 0; }
     ;
 
 %%
 
+/* ---------- Funções auxiliares ---------- */
+int main(void) {
+    printf("Iniciando análise sintática...\n");
+    yyparse();
+    printf("Análise concluída.\n");
+    return 0;
+}
+
 void yyerror(const char *s) {
     fprintf(stderr, "Erro sintático: %s\n", s);
 }