Bloques de sentencias.

a.l

@@ -48,33 +48,23 @@ LETTER		([_a-zA-Z])
 DIGIT		([0-9])
 NUMBER		({DIGIT}+)
 
- /*Exponente de float*/
-EXP		([eE][-+]?{NUMBER})
-
- /*Distintas formas de representacion de constantes tipo float*/
-FLOAT_DOT	({NUMBER}"."{NUMBER})
-FLOAT_EXP	({NUMBER}{EXP})
-FLOAT_DE	({NUMBER}"."{NUMBER}{EXP})	
- 
  /*Representacion tipo float*/
-FLOAT     	({FLOAT_DOT}|{FLOAT_EXP}|{FLOAT_DE})
+FLOAT     	(({NUMBER}"."{DIGIT}*)({DIGIT}*"."{NUMBER})
 
  /*Identificador*/
 ID		({LETTER}({LETTER}|{DIGIT})*)
 
- /*Separador de sentencias*/
-SEPAR		([\n])	
-
  /*Delimitador de bloques*/	
-DEL_BL_A		([{])	
-DEL_BL_C		([}])			
+DEL_BL_A		(["{"{WSPC}*"\n"])
+DEL_BL_C		(["}"{WSPC}*"\n"])
+ /* DEL_BL_C_2????? */	
 
  /*Espacios en blanco*/
 WSPC		([ \t\f\r])
 WSCPS		({WSPC}+)
 
 /*Operadores aritmeticos*/
-OP_AR		([-+/*%=()^])
+OP_AR		([+*-/%=()^])
 
  /*Operadores logicos*/
 OP_LOG		("=="|"!="|"<"|">")
@@ -211,23 +201,3 @@ static char *readStr(void)
 	} while(1);
 	return buff;
 }
-
-/*
- ______
-<      \
-<.     .\ O
-|  \______
-<\O____/
- /     \
->       <
-
-
-TODO
-Donehre ASCII
-
-
-*/
-
-
-
-

a.y

@@ -45,39 +45,60 @@ static ast_t ast = NULL;
 %term PRINT READ SIN COS TAN LN
 %token <S> FLOAT
 %token <s> STR
+%term WHILE IF ELSE
 
-%term WHILE 
-%type <s> PROGRAM PROGRAM_ELEMENT SENTENCE EXPR
-%type <s> BLOCK
+%type <s> PROGRAM PROGRAM_ELEMENT SENTENCE EXPR BLOCK
 
 %%
 
  /* Producciones de un programa */
 PROGRAM
-	/* Un único elemento de programa */
-	: PROGRAM_ELEMENT
+	/* Un único bloque de programa */
+	: BLOCK
 	{
-		ast = newRoot('l', ast, $1.u.node);
+		ast = newRoot('r', ast, $1.u.node);
 	}
-	/* Varios elementos de programa */
-	| PROGRAM PROGRAM_ELEMENT
+	/* Varios bloques de programa */
+	| PROGRAM BLOCK
 	{
-		ast = newRoot('l', ast, $2.u.node);
+		ast = newRoot('r', ast, $2.u.node);
 	};
 
- /* Elementos de un programa */
-PROGRAM_ELEMENT
-	/* Sentencia */
+ /* Bloque de programa */
+BLOCK
+	/* Una sentencia */
 	: SENTENCE '\n'
 	{
-		$$ = $1;
+		$$.type = AST_NODE_id;
+		$$.u.node = newNode('s', NULL, $1.u.node);
 	}
 	/* Sentencia vacía */
 	| '\n'
 	{
 		$$.type = AST_NODE_id;
 		$$.u.node = NULL;
-	};
+	}
+	/* Grupo de sentencias entre corchetes */
+	| DEL_BL_A SENTENCE_GROUP DEL_BL_C
+	{
+		$$ = $2;
+	}
+	;
+
+ /* Grupo de sentencias */
+SENTENCE_GROUP
+	/* Bloque de sentencias */
+	: BLOCK
+	{
+		$$ = $1;
+	}
+	/* Grupo de sentencias y una sentencia (recursivo) */
+	| SENTENCE_GROUP SENTECE '\n'
+	{
+		$$.type = AST_NODE_id;
+		$$.U.node = newNode('s', NULL, $2.u.node);
+	}
+	;
 
  /* Sentencias */
 SENTENCE
@@ -117,24 +138,23 @@ SENTENCE
 		$$.type = AST_NODE_id;
 		$$.u.node = newNode(READ, newLeafString(STR, $2.u.string), newLeafString(ID, $3.u.string))
 	}
-	| WHILE EXPR DEL_BL_A BLOCK DEL_BL_C '\n'
+	| WHILE '(' EXPR ')' BLOCK
 	{
 		$$.type = AST_NODE_id;
-	$$.u.node = newNode(WHILE, $2.u.node, $4.u.node);
+		$$.u.node = newNode(WHILE, $3.u.node, $5.u.node);
 	}
-	| IF EXPR DEL_BL_A BLOCK DEL_BL_C ELSE DEL_BL_A BLOCK DEL_BL_C '\n'
+	| IF '(' EXPR ')' BLOCK ELSE BLOCK
 	{
 		$$.type = AST_NODE_id;
-	$$.u.node = newNode(IF, $2.u.node, $4.u.node);
-	$$.u.node = newNode(ELSE, $2.u.node, $8.u.node);
+		$$.u.node = newNode(IF, $3.u.node, $5.u.node);
+		$$.u.node = newNode(ELSE, $3.u.node, $7.u.node);
 	}
-	| IF EXPR DEL_BL_A BLOCK DEL_BL_C '\n'
+	| IF '(' EXPR ')' BLOCK
 	{
 		$$.type = AST_NODE_id;
-	$$.u.node = newNode(IF, $2.u.node, $4.u.node);
+		$$.u.node = newNode(IF, $3.u.node, $5.u.node);
 	};
 
-
 EXPR
 	: EXPR EQ EXPR
 	{
@@ -235,29 +255,6 @@ EXPR
 	  	$$.u.node = newNode(LN, $3.u.node, NULL);
 	}
 	;
-BLOCK
-	: SENTENCE '\n'
-		{
-			$$.type = AST_NODE_id;
-			$$.u.node = newRoot(';', NULL, $1.u.ast);
-		}
-	| '\n'
-		{
-			$$.type = AST_NODE_id;
-			$$.u.node = NULL;
-		}
-	| BODY SENTENCE '\n'
-		{
-			$$.type = AST_NODE_id;
-			$$.u.node = newRoot(';', $1.u.ast, $2.u.ast);
-		}
-	| BODY '\n'
-		{
-			$$ = $1;
-		}
-	;
-	
-	
 
 %%
 
@@ -306,8 +303,3 @@ int main(int argc, char *argv[])
 
 	return 0;
 }
-
-
-
-
-

ast.c

@@ -228,25 +228,21 @@ static void proc(ast_t *root)
 		break;
 
 	case IF:
-		
 		if(expr(left(root)))
 		{
 			evaluate(right(root));
 		}	
-	
 		break;
-	case ELSE:
 
+	case ELSE:
 		if(!(expr(left(root))))
 		{
 			evaluate(right(root));
 		}	
-	
 		break;
 
 	default:
-
-			fprintf(stderr, "%s(%d): error - Etiqueta desconocida en expresión AST %u\n", programName, lnum(root), tag(root));
+		fprintf(stderr, "%s(%d): error -- Etiqueta desconocida en expresión AST %u\n", programName, lnum(root), tag(root));
 	break;
 	}
 }

symtab.h

@@ -4,11 +4,8 @@
  * Curso 2019-2020
  */
 
-enum symbolType { VOID, REAL };	// TODO: tipos en función de los lexemas.
-typedef enum symbolType symbol_t;
-
 typedef struct symbol_s {
-	symbol_t type;
+	int type;
 	union {
 		double real;
 	} value;