Update semantico.py

semantico.py

@@ -13,34 +13,65 @@ class AnalizadorSemantico:
         }
 
     def analizar_instruccion(self, nodo):
-        if nodo["type"] == "assign":
+        tipo = nodo["type"]
+        if tipo == "assign":
             tipo_valor = self.analizar_expresion(nodo["value"])
             self.tabla_simbolos[nodo["var"]] = tipo_valor
-        elif nodo["type"] == "if":
-            tipo_condicion = self.analizar_expresion(nodo["condition"])
-            if tipo_condicion != "int":
+        elif tipo == "if" or tipo == "while":
+            tipo_cond = self.analizar_expresion(nodo["condition"])
+            if tipo_cond != "boolean":
                 self.errores.append(
-                    f"Condición del IF debe ser de tipo int, pero se encontró '{tipo_condicion}'"
+                    f"La condición de '{tipo}' debe ser tipo boolean, no '{tipo_cond}'"
                 )
             for instr in nodo["body"]:
                 self.analizar_instruccion(instr)
+        elif tipo == "function":
+            self.validar_funcion(nodo["name"], nodo["arg"])
+        else:
+            self.errores.append(f"Instrucción no reconocida: {nodo}")
 
     def analizar_expresion(self, expr):
-        if expr["type"] == "num":
+        tipo = expr["type"]
+        if tipo == "num":
             return "float" if "." in expr["value"] else "int"
-        elif expr["type"] == "var":
+        elif tipo == "var":
             nombre = expr["value"]
             if nombre not in self.tabla_simbolos:
-                self.errores.append(f"Variable '{nombre}' usada sin ser declarada.")
+                self.errores.append(f"Variable '{nombre}' usada sin declarar.")
                 return "error"
             return self.tabla_simbolos[nombre]
-        elif expr["type"] == "binop":
+        elif tipo == "binop":
             tipo_izq = self.analizar_expresion(expr["left"])
             tipo_der = self.analizar_expresion(expr["right"])
             if tipo_izq != tipo_der:
                 self.errores.append(f"Tipos incompatibles: {tipo_izq} y {tipo_der}")
                 return "error"
-            return tipo_izq
+            return tipo_izq if expr["op"] not in ("EQUAL", "NOT_EQUAL", "GREATER", "LESS") else "boolean"
+        elif tipo == "bool":
+            return "boolean"
+        elif tipo == "string":
+            return "string"
+        else:
+            self.errores.append(f"Expresión no válida: {expr}")
+            return "error"
+
+    def validar_funcion(self, nombre, arg):
+        funciones_sin_argumento = {
+            "START", "REBOOT", "SHUTDOWN"
+        }
+        funciones_con_argumento = {
+            "MOVE_FORWARD", "MOVE_BACKWARD", "PRINT", "SET",
+            "TOGGLE_LIGHT", "CALIBRATE", "ROTATE", "WAIT",
+            "TURN_LEFT", "TURN_RIGHT", "ACTIVATE_SENSOR", "DEACTIVATE_SENSOR"
+        }
+
+        if nombre in funciones_sin_argumento:
+            if arg is not None:
+                self.errores.append(f"La función '{nombre}' no debe tener argumentos.")
+        elif nombre in funciones_con_argumento:
+            if arg is None:
+                self.errores.append(f"La función '{nombre}' requiere un argumento.")
+            else:
+                self.analizar_expresion(arg)
         else:
-            self.errores.append(f"Expresión no reconocida: {expr}")
-            return "error"
+            self.errores.append(f"Función '{nombre}' no reconocida.")