Пример #1
0
        public static void InsertarId(Nodo n)
        {
            if (n.getTipoToken() == token.Type.ID)
            {
                if (!Symtab.BuscarVariable(n))
                {
                    Symtab.AñadirVariable(n);
                }
                else
                {
                    Symtab.Variable dato = Symtab.GetVariable(n);
                    n.setTipoDato(dato.tipo);
                    Symtab.ActualizarVariable(n);
                }
            }

            if (n.hijos[0] != null)
            {
                InsertarId(n.hijos[0]);
            }
            if (n.hijos[1] != null)
            {
                InsertarId(n.hijos[1]);
            }
            if (n.hijos[2] != null)
            {
                InsertarId(n.hijos[2]);
            }
            if (n.hermano != null)
            {
                InsertarId(n.hermano);
            }
        }
Пример #2
0
        public Nodo listaId(token.DataType tipo)
        {
            Nodo inicio = new Nodo(tokenActual);

            inicio.setTipoDato(tipo);

            Symtab.AñadirVariable(inicio);

            Nodo sig = inicio;

            comprobar(token.Type.ID);
            while (tokenActual.getTipoToken() == token.Type.COMA)
            {
                comprobar(token.Type.COMA);
                Nodo nuevo = new Nodo(tokenActual);
                nuevo.setTipoDato(tipo);

                Symtab.AñadirVariable(nuevo);

                comprobar(token.Type.ID);

                sig.hermano = nuevo;
                sig         = nuevo;
            }
            comprobar(token.Type.SEMI);

            return(inicio);
        }
Пример #3
0
        public static void TypeCheck(Nodo n)
        {
            if (n.getTipoToken() == token.Type.ID)
            {
                n = ActualizarNodo(n);
            }
            if (n.hijos[0] != null)
            {
                TypeCheck(n.hijos[0]);
            }
            if (n.hijos[1] != null)
            {
                TypeCheck(n.hijos[1]);
            }
            if (n.hijos[2] != null)
            {
                TypeCheck(n.hijos[2]);
            }

            if (n.getTipoToken() == token.Type.ASIGNACION)
            {
                if (n.hijos[0].getTipoToken() != token.Type.ID)
                {
                    TypeError(n, "Asignacion no valida");
                }
                else if (n.hijos[0].getTipoDato() != n.hijos[1].getTipoDato())
                {
                    TypeError(n, "Tipos de dato no coinciden");
                    n.setTipoDato(token.DataType.ERROR);
                    n.hijos[0].setTipoDato(token.DataType.ERROR);
                    if (Symtab.BuscarVariable(n.hijos[0]))
                    {
                        Symtab.ActualizarVariable(n.hijos[0]);
                    }
                    else
                    {
                        Symtab.AñadirVariable(n.hijos[0]);
                    }
                }
                else
                {
                    n.setTipoDato(n.hijos[0].getTipoDato());
                    if (Symtab.BuscarVariable(n.hijos[0]))
                    {
                        Symtab.ActualizarVariable(n.hijos[0]);
                    }
                    else
                    {
                        Symtab.AñadirVariable(n.hijos[0]);
                    }
                }
            }

            if (n.getTipoToken() == token.Type.WRITE || n.getTipoToken() == token.Type.READ)
            {
                //n.setTipoDato(n.hijos[0].getTipoDato());
                bandera = true;
                temporal.Clear();
                Recursivo(n);
                if (temporal.Contains("REAL") || temporal.Contains("/"))
                {
                    n.setTipoDato(token.DataType.REAL);
                }
                else
                {
                    n.setTipoDato(token.DataType.INTEGER);
                }
                if (n.hijos[0].getTipoToken() == token.Type.ID)
                {
                    if (Symtab.BuscarVariable(n.hijos[0]))
                    {
                        Symtab.ActualizarVariable(n.hijos[0]);
                    }
                    else
                    {
                        Symtab.AñadirVariable(n.hijos[0]);
                    }
                }
            }

            if (n.getTipoToken() == token.Type.SUMA || n.getTipoToken() == token.Type.RESTA ||
                n.getTipoToken() == token.Type.MULTIPLICACION || n.getTipoToken() == token.Type.DIVISION)
            {
                if (!(n.hijos[0].getTipoDato() == token.DataType.INTEGER || n.hijos[0].getTipoDato() == token.DataType.REAL &&
                      n.hijos[1].getTipoDato() == token.DataType.INTEGER || n.hijos[1].getTipoDato() == token.DataType.REAL))
                {
                    TypeError(n, "Operacion no valida");
                    n.setTipoDato(token.DataType.ERROR);
                }
                else if (n.hijos[0].getTipoDato() != n.hijos[1].getTipoDato())
                {
                    TypeError(n, "Tipos de dato no coinciden");
                    n.setTipoDato(token.DataType.REAL);
                    //n.setTipoDato(token.DataType.ERROR);
                }
                else
                {
                    n.setTipoDato(n.hijos[0].getTipoDato());
                }
            }

            if (n.getTipoToken() == token.Type.MAYOR_IGUAL || n.getTipoToken() == token.Type.MAYOR_QUE ||
                n.getTipoToken() == token.Type.MENOR_IGUAL || n.getTipoToken() == token.Type.MENOR_QUE ||
                n.getTipoToken() == token.Type.IGUALDAD || n.getTipoToken() == token.Type.DESIGUALDAD)
            {
                if (!(n.hijos[0].getTipoDato() == token.DataType.INTEGER || n.hijos[0].getTipoDato() == token.DataType.REAL &&
                      n.hijos[1].getTipoDato() == token.DataType.INTEGER || n.hijos[1].getTipoDato() == token.DataType.REAL))
                {
                    TypeError(n, "Operacion no valida");
                    n.setTipoDato(token.DataType.ERROR);
                }
                else if (n.hijos[0].getTipoDato() != n.hijos[1].getTipoDato())
                {
                    TypeError(n, "Tipos de dato no coinciden");
                    n.setTipoDato(token.DataType.ERROR);
                }
                else
                {
                    n.setTipoDato(token.DataType.BOOLEAN);
                }
            }

            if (n.getTipoToken() == token.Type.AND || n.getTipoToken() == token.Type.OR)
            {
                if (n.hijos[0].getTipoDato() != token.DataType.BOOLEAN || n.hijos[1].getTipoDato() != token.DataType.BOOLEAN)
                {
                    TypeError(n, "Operacion no valida");
                    n.setTipoDato(token.DataType.ERROR);
                }
                else
                {
                    n.setTipoDato(token.DataType.BOOLEAN);
                }
            }

            if (n.getTipoToken() == token.Type.NOT)
            {
                if (n.hijos[0].getTipoDato() != token.DataType.BOOLEAN)
                {
                    TypeError(n, "Operacion no valida");
                    n.setTipoDato(token.DataType.ERROR);
                }
                else
                {
                    n.setTipoDato(token.DataType.BOOLEAN);
                }
            }

            if (n.hermano != null)
            {
                TypeCheck(n.hermano);
            }
        }