public override TiposBases ValidateSemantic() { var identificador = Operando.ValidateSemantic(); var tipo = new YreferenciaTipo(); tipo.tipoReferencia = identificador; return(tipo); }
public override void ValidSemantic() { foreach (var stack in ContenidoStack.InstanceStack.Stack) { if (stack.VariableExist(identificador.identificador)) { throw new SintanticoException("variable " + identificador.identificador + " existe fila " + identificador._TOKEN.Fila + " colunma" + identificador._TOKEN.Columna); } } List <TiposBases> listaParametros = new List <TiposBases>(); if (paramentros != null) { foreach (var lista in paramentros) { if (lista is YporBitStamentNode) { Type fieldsType = typeof(YporBitStamentNode); FieldInfo[] fields = fieldsType.GetFields(BindingFlags.Public | BindingFlags.Instance); var identificadorNode = fields[1].GetValue(lista); var identificadorOperando = identificadorNode.GetType().GetFields(BindingFlags.Public | BindingFlags.Instance); var tipo = identificadorOperando[3].GetValue(identificadorNode); var referencia = new YreferenciaTipo(); referencia.tipoReferencia = obtenerTipo((string)tipo); listaParametros.Add(referencia); } if (lista is Identificador.IdentificadorStamNode) { Type fieldsType = typeof(Identificador.IdentificadorStamNode); FieldInfo[] fields = fieldsType.GetFields(BindingFlags.Public | BindingFlags.Instance); var tipo = fields[3].GetValue(lista); var referenciaApuntador = fields[1].GetValue(lista); if (referenciaApuntador != null) { var apuntador = new MulpilicadorOperdadorReferenciaTipo(); apuntador.tipoReferencia = obtenerTipo((string)tipo); listaParametros.Add(apuntador); } else { listaParametros.Add(obtenerTipo((string)tipo)); } } if (lista is Identificador.IdentificadorArrayNode) { Type fieldsType = typeof(Identificador.IdentificadorArrayNode); FieldInfo[] fields = fieldsType.GetFields(BindingFlags.Public | BindingFlags.Instance); var declaracion = fields[0].GetValue(lista); var tipo = declaracion.GetType().GetFields(BindingFlags.Public | BindingFlags.Instance); var puntero = tipo[1].GetValue(declaracion); var unidimesional = fields[1].GetValue(lista); var bidimesional = fields[2].GetValue(lista); var array = new ArrayTipo(); array.tipo = obtenerTipo((string)tipo[0].GetValue(declaracion)); array.unidimensional = (unidimesional != null)?true:false; array.bidimensional = (bidimesional != null) ? true : false; if (puntero != null) { var apuntador = new MulpilicadorOperdadorReferenciaTipo(); apuntador.tipoReferencia = array; listaParametros.Add(apuntador); } else { listaParametros.Add(array); } } } } if (identificador.tipo == "void") { var funcion = new VoidTipo(); if (paramentros != null) { funcion.listaParametros = listaParametros; } ContenidoStack.InstanceStack.Stack.Peek().DeclareVariable(identificador.identificador, funcion); } else { var funcion = new FuncionTipo(); if (paramentros != null) { funcion.listaParametros = listaParametros; } funcion.retorno = obtenerTipo(identificador.tipo); ContenidoStack.InstanceStack.Stack.Peek().DeclareVariable(identificador.identificador, funcion); } ContenidoStack.InstanceStack.Stack.Push(new TablaSimbolos()); if (paramentros != null) { foreach (var lista in paramentros) { lista.ValidSemantic(); } } if (declaracionDeFuncion.Count != 0) { foreach (var lista in declaracionDeFuncion) { if (identificador.tipo == "void") { if (lista is ReturnNode) { throw new SemanticoException("la funcion " + identificador.identificador + " es una funcion void y no es de retorno"); } } lista.ValidSemantic(); } if (!(declaracionDeFuncion.Last() is ReturnNode)) { throw new SemanticoException("la funcion " + identificador.identificador + " debe tener una funcion de retorno "); } } ContenidoStack.InstanceStack.Stack.Pop(); }
public override void ValidSemantic() { foreach (var stack in ContenidoStack.InstanceStack.Stack) { if (stack.VariableExist(identificador.identificador)) { throw new SintanticoException("variable " + identificador.identificador + " existe fila " + identificador._TOKEN.Fila + " colunma" + identificador._TOKEN.Columna); } } Dictionary <string, TiposBases> listaParametros = new Dictionary <string, TiposBases>(); if (paramentros != null) { foreach (var lista in paramentros) { if (lista is YporBitStamentNode) { var identificadorNode = (lista as YporBitStamentNode).OperandoStament; var tipo = (identificadorNode as IdentificadorStamNode).tipo; var referencia = new YreferenciaTipo(); referencia.tipoReferencia = obtenerTipo(tipo); listaParametros.Add((identificadorNode as IdentificadorStamNode).value, referencia); } if (lista is IdentificadorStamNode) { var tipo = (lista as IdentificadorStamNode).tipo; var referenciaApuntador = (lista as IdentificadorStamNode).pointer; if (referenciaApuntador != null) { var apuntador = new MulpilicadorOperdadorReferenciaTipo(); apuntador.tipoReferencia = obtenerTipo((string)tipo); listaParametros.Add((lista as IdentificadorStamNode).value, apuntador); } else { listaParametros.Add((lista as IdentificadorStamNode).value, obtenerTipo(tipo)); } } if (lista is IdentificadorArrayNode) { var declaracion = (lista as IdentificadorArrayNode).identificador; var tipo = (declaracion as GeneralDeclarationNode).tipo; var puntero = (declaracion as GeneralDeclarationNode).pointer; var unidimesional = (lista as IdentificadorArrayNode).unidimesionarioArray; var bidimesional = (lista as IdentificadorArrayNode).BidimesionarioArray; var array = new ArrayTipo(); array.tipo = obtenerTipo(tipo); array.unidimensional = (unidimesional != null)?true:false; array.bidimensional = (bidimesional != null) ? true : false; if (puntero != null) { var apuntador = new MulpilicadorOperdadorReferenciaTipo(); apuntador.tipoReferencia = array; listaParametros.Add((declaracion as GeneralDeclarationNode).identificador, apuntador); } else { listaParametros.Add((declaracion as GeneralDeclarationNode).identificador, array); } } } } if (identificador.tipo == "void") { var funcion = new VoidTipo(); if (paramentros != null) { funcion.listaParametros = listaParametros; } if (declaracionDeFuncion != null) { funcion.sentencias = declaracionDeFuncion; } ContenidoStack.InstanceStack.Stack.Peek().DeclareVariable(identificador.identificador, funcion); } else { var funcion = new FuncionTipo(); if (paramentros != null) { funcion.listaParametros = listaParametros; } funcion.retorno = obtenerTipo(identificador.tipo); funcion.sentencias = declaracionDeFuncion; ContenidoStack.InstanceStack.Stack.Peek().DeclareVariable(identificador.identificador, funcion); } ContenidoStack.InstanceStack.Stack.Push(new TablaSimbolos()); if (paramentros != null) { foreach (var lista in paramentros) { lista.ValidSemantic(); } } if (declaracionDeFuncion.Count != 0) { foreach (var lista in declaracionDeFuncion) { if (identificador.tipo == "void") { if (lista is ReturnNode) { throw new SemanticoException("la funcion " + identificador.identificador + " es una funcion void y no es de retorno"); } } lista.ValidSemantic(); } if (identificador.tipo != "void") { if (!(declaracionDeFuncion[declaracionDeFuncion.Count - 1] is ReturnNode)) { throw new SemanticoException("la funcion " + identificador.identificador + " debe tener una funcion de retorno "); } } } ContenidoStack.InstanceStack.Stack.Pop(); }