/// <summary>Verifica una linea de código.</summary>
        /// <param name="linea">La linea a verificar.</param>
        /// <param name="etiquetasUsadas">La lista de etiquetas usadas.
        /// </param>
        /// <param name="l_fichero">La linea en la que se encuentra la
        /// instrucción</param>
        /// <exception cref="gSimple2.Ensamblador.ErrorCodigoException">
        /// Si la instrucción no es correcta.</exception>

        public void Verificar(String linea,
                              Hashtable etiquetasUsadas,
                              int l_fichero)
        {
            String[] op = EnsambladorSimple2.SepararOperandos(linea);
            if (op.Length != 2)
            {
                throw new ErrorCodigoException(String.Format(
                                                   TextManager.GetText("Ens_err_parame1"), op[0]));
            }
            int direccion = 0;

            try
            {
                direccion = Int32.Parse(op[1]);
                if ((direccion > 2047) || (direccion < 0))
                {
                    throw new ErrorCodigoException
                              (TextManager.GetText("Ens_err_parame_fr"));
                }
            }
            catch (ErrorCodigoException)
            {
                throw;
            }
            catch (Exception)
            {
                //Entonces es que usamos una etiqueta
                //Comprobamos que la etiqueta sea correcta.
                EnsambladorSimple2.ComprobarFormatoEtiqueta(op[1]);
                ArrayList l = (ArrayList)etiquetasUsadas[op[1]];
                if (l == null)
                {
                    l = new ArrayList();
                    l.Add(l_fichero);
                    etiquetasUsadas.Add(op[1], l);
                }
                else
                {
                    l.Add(l_fichero);
                }
            }
        }