from enum import Enum from tabla import LexToken, TablaLex, tokens from arbol import Arbol, Nodo from shared import Control from pprint import pprint from errors import Error valores = ['IDENT', 'BOOLEAN_LIT', 'CHAR_LIT', 'INT_LIT', 'STRING_LIT'] operadores = [ '>=', '<=', '==', '!=', '&&', '||', '++', '--', '=', '+', '-', '&', '|', '!', '<', '>' ] class Selector(Enum): NINGUNO = 0 DEF_VARIABLE = 1 DIRECTIVA = 2 EXPRESION = 3 IF = 4 FOR = 5 WHILE = 6 FUNCION = 7 class Parser: def __init__(self, tabla): self.arbol = Arbol() self.pila_selector = [ [Selector.NINGUNO, []] # selector, recolector ] self.pila_arbol = [self.arbol.raiz] self.expresion = None self.tabla = tabla def inicio (self): for t in self.tabla.tabla: r = self.procesar(t) if r == Control.ERROR: exit(1) while r != Control.SIGUIENTE: r = self.procesar(t) if r == Control.ERROR: exit(1) print(str(self.arbol)) def procesar (self, t: LexToken): if len(self.pila_selector) == 0: return Control.SIGUIENTE pprint (self.pila_selector[-1]) cima = self.pila_selector[-1] if cima[0] == Selector.NINGUNO: # Entrada a definición de variable (o función) if t.tipo in ['BOOLEAN', 'CHAR', 'INT', 'VOID']: self.pila_selector.pop() self.pila_selector.append([Selector.DEF_VARIABLE, [t]]) return Control.SIGUIENTE # Entrada a directiva del lenguaje elif t.tipo in ['PRINT', 'READ', 'RETURN']: self.pila_selector.pop() self.pila_selector.append([Selector.DIRECTIVA, [t]]) return Control.SIGUIENTE # Entrada a expresión elif t.tipo in valores: self.pila_selector.pop() self.pila_selector.append([Selector.EXPRESION, [t]]) return Control.SIGUIENTE # Entrada a if elif t.tipo == 'IF': self.pila_selector.pop() self.pila_selector.append([Selector.IF, []]) return Control.SIGUIENTE # Entrada a for elif t.tipo == 'FOR': self.pila_selector.pop() self.pila_selector.append([Selector.FOR, []]) return Control.SIGUIENTE # Entrada a while elif t.tipo == 'WHILE': self.pila_selector.pop() self.pila_selector.append([Selector.WHILE, []]) return Control.SIGUIENTE if cima[0] == Selector.DEF_VARIABLE: return self.procesar_def_variable(t) if cima[0] == Selector.DIRECTIVA: return self.procesar_directiva(t) if cima[0] == Selector.EXPRESION: return self.procesar_expresion(t) if cima[0] == Selector.IF: return self.procesar_if(t) if cima[0] == Selector.FOR: return self.procesar_for(t) if cima[0] == Selector.WHILE: return self.procesar_while(t) if cima[0] == Selector.FUNCION: return self.procesar_funcion(t) return Control.SIGUIENTE def procesar_def_variable(self, t): recol = self.pila_selector[-1][1] # tipo if len(recol) == 1: if t.tipo != 'IDENT': Error('S_ESPERA_IDENT', t.numlinea) return Control.ERROR recol.append(t) return Control.SIGUIENTE # tipo + ident if len(recol) == 2: if t.tipo == ';': self.pila_arbol[-1].hijos.append(Nodo({ 'selector': Selector.DEF_VARIABLE, 'tipo': recol[0].tipo, 'nombre': recol[1].nombre })) self.pila_selector.pop() self.pila_selector.append([Selector.NINGUNO, []]) elif t.tipo == '=': recol.append(t) else: Error('S_ESPERA_PC_O_IGUAL', t.numlinea) return Control.ERROR return Control.SIGUIENTE # tipo + ident + = if len(recol) == 3: if t.tipo in valores: self.pila_selector.append([Selector.EXPRESION, [t]]) recol.append(t) else: Error('S_ESPERA_EXPR', t.numlinea) return Control.ERROR return Control.SIGUIENTE # tipo + ident + = + expr if len(recol) == 4: if t.tipo == ';': self.pila_arbol[-1].hijos.append(Nodo({ 'selector': Selector.DEF_VARIABLE, 'tipo': recol[0].tipo, 'nombre': recol[1].nombre, 'valor': self.expresion })) self.expresion = None self.pila_selector.pop() self.pila_selector.append([Selector.NINGUNO, []]) else: Error('S_ESPERA_PC', t.numlinea) return Control.ERROR return Control.SIGUIENTE def procesar_directiva(self, t): recol = self.pila_selector[-1][1] # directiva if len(recol) == 1: if t.tipo in valores: self.pila_selector.append([Selector.EXPRESION, [t]]) recol.append(t) else: Error('S_ESPERA_EXPR', t.numlinea) return Control.ERROR return Control.SIGUIENTE # directiva + expr if len(recol) == 2: if t.tipo == ';': self.pila_arbol[-1].hijos.append(Nodo({ 'selector': Selector.DIRECTIVA, 'expresion': self.expresion })) self.expresion = None self.pila_selector.pop() self.pila_selector.append([Selector.NINGUNO, []]) else: Error('S_ESPERA_EXPR', t.numlinea) return Control.ERROR return Control.SIGUIENTE def procesar_expresion(self, t): recol = self.pila_selector[-1][1] tipo_ultimo = recol[-1].tipo if len(recol) == 1: if tipo_ultimo in valores: recol.append(recol[-1]) else: Error('S_ESPERA_IDENT_O_LIT', t.numlinea) return Control.ERROR if tipo_ultimo in valores and t.tipo in operadores: recol.append(t) elif tipo_ultimo in operadores and t.tipo in valores: recol.append(t) elif tipo_ultimo in valores and t.tipo in valores: Error('S_ESPERA_OPER', t.numlinea) return Control.ERROR elif tipo_ultimo in operadores and t.tipo in operadores: Error('S_ESPERA_IDENT_O_LIT', t.numlinea) return Control.ERROR else: self.expresion = recol[1:] self.pila_selector.pop() return Control.REPETIR return Control.SIGUIENTE def procesar_if(self, t): return def procesar_for(self, t): return def procesar_while(self, t): return def procesar_funcion(self, t): return