// **************************************************** 
// ********************* NUMEROS **********************
// ****************************************************

// ---------------------------------------------------------------------- //
//                                VARIABLES                               //
// ---------------------------------------------------------------------- //
// listas de caracteres
var digits = "0123456789";


// ---------------------------------------------------------------------- //
//                          isInteger                                     //
// s es un numero entero (con o sin signo)
// ---------------------------------------------------------------------- //
function isInteger (s)
{   var i;
    if (isempty(s)) 
       if (isInteger.arguments.length == 1) return defaultEmptyOK;
       else return (isInteger.arguments[1] == true);
    
    for (i = 0; i < s.length; i++)
    {   
        var c = s.charAt(i);
        if( i != 0 ) {
            if (!esDigito(c)) return false;
        } else { 
            if (!esDigito(c) && (c != "-") || (c == "+")) return false;
        }
    }
    return true;
}

// ---------------------------------------------------------------------- //
//                          isNumber                                      //
// s es un numero (entero o flotante, con o sin signo)
// ---------------------------------------------------------------------- //
function isNumber (s)
{   var i;
    var dotAppeared;
    dotAppeared = false;
    if (isempty(s)) 
       if (isNumber.arguments.length == 1) return defaultEmptyOK;
       else return (isNumber.arguments[1] == true);
    
    for (i = 0; i < s.length; i++)
    {   
        var c = s.charAt(i);
        if( i != 0 ) {
            if ( c == "." ) {
                if( !dotAppeared )
                    dotAppeared = true;
                else
                    return false;
            } else     
                if (!esDigito(c)) return false;
        } else { 
            if ( c == "." ) {
                if( !dotAppeared )
                    dotAppeared = true;
                else
                    return false;
            } else     
                if (!esDigito(c) && (c != "-") || (c == "+")) return false;
        }
    }
    return true;
}

// **************************************************** 
// ************** FIN RUTINAS DE VALIDACIONES *********
// ****************************************************