† Util (jC Standard Library)

ƒ

• public int size(any[] vector)
  
  • Retorna el tamaño de un vector de cualquier tipo.
  • Returns the size of a given vector of any type.
    
  • »
    
    • vector: El vector
    • The vector
  • «
  • El tamaño, como un entero.
  • The size, as an int




• public boolean isEmpty(any[] vector)
  
  • Decide si el tamaño de un vector es cero.
  • Decides whether the size of a vector is zero
  • »
    
    • vector: El vector
    • The vector
  • «
  • True si el tamaño es cero, falso en otro caso.
  • True if size equals 0, false otherwise




• public void verify(boolean expr, char[] msg)
  
  • Verifica una condición, mostrando un mensaje de error por consola si no es cierta.
  • Assert a condition, show a message on console if not true.
  • »
    
    • expr: La condición a comprobar
    • The condition to check.
    • msg: El mensaje a visualizar.
    • The message to show.




• public int[] getDate()
  
  • Devuelve la fecha actual en el sistema.
  • Returns the current date in the system.
  • «
  • Devuelve la fecha actual como un vector de enteros de tres elementos con posiciones: 0 año, 1 mes, 2 día.
    
  • The current date as a vector of three int's, of positions: 0=year, 1=month, 2=day




• public char[] getStrDate()
  
  • Retorna la fecha actual en el formato "año-mes-día", según el formato ISO 6801.
  • Returns the current date in the format "year-month-day", as in ISO 8601 format.
  • «
  • La fecha actual, como una cadena de texto legible por un ser humano.
  • The current date as a human readable vector of char.




• public int[] getTime()
  
  • Devuelve la hora actual en el sistema.
  • Returns the current time in the system.
  • «
  • La hora actual en un vector de enteros de tres elementos, con posiciones: 0=horas, 1=minutos, 2=segundos
  • The current time as a vector of three ints: 0=hours,1=minutes, 2=seconds




• public char[] getStrTime()
  
  • Retorna la hora actual en el formato "hora:minutio:segundo".
  • Returns the current time in the format "hour:minute:second".
  • «
  • La hora actual, como una cadena de texto legible por un ser humano.
  • The current time, as a human readable vector of char.




• public int getSecondsToDate(int y, int m, int d)
  
  • Calcula los segundos transcurridos desde el comienzo del año de la fecha dada hasta dicha fecha.
  • Calculates the number of seconds from a given date to the beginning of the year of that date.
  • »
    
    • y: El año
    • The year
    • m: El mes
    • The month
    • d: El día
    • The day
  • «
  • El número de segundos, como número entero.
  • The number of seconds, as an integer number.
    




• public int getSecondsToNow()
  
  • Calcula los segundos transcurridos desde el comienzo del año de la fecha actual hasta dicha fecha.
  • Calculates the number of seconds from the current date to the beginning of the year of that date.
  • »
    
    • y: El año
    • The year
    • m: El mes
    • The month
    • d: El día
    • The day
  • «
  • El número de segundos, como número entero.
  • The number of seconds, as an integer number.




• public int dblToInt(double x)
  
  • Convierte un número real en un número entero, truncando la parte decimal.
  • Converts a real number to an inteher number, truncing the decimal part.
    
  • »
    
    • x: El número real.
    • The real number.
  • «
  • El número, como entero.
  • The same number, as an integer.
    




• public double intToDbl(int x)
  • Convierte un número entero en un número real.
  • Converts an integer number in a real one.
    
  • »
    
    • x: El número entero
    • The integer number.
  • «
  • El número, como número real.
  • The same number, as a real number.
    




• public int chrToInt(char x)
  • Convierte un carácter en su codificación como número entero.
  • Converts a char as its coding as an integer number.
    
  • »
    
    • x: El carácter.
    • The char.
  • «
  • La codificación del carácter según la codificación del sistema.
  • The char code, following the system encoding.
    




• public char intToChr(int x)
  • Convierte un número a un carácter, según la codificación de caracteres del sistema.
  • Converts a number to a char, following the character encoding of the system.
    
  • »
    
    • x: El número.
    • The number.
  • «
  • El carácter correspondiente a la posición dada por x en la codificación de caracteres del sistema.
  • The char corresponding to the position x in the character encoding of the system.




• public void sleep(int s)
  • Hace que el programa duerma ("se pare") durante un tiempo determinado.
  • Makes this program to sleep ("to stop") for a given time.
    
  • »
    
    • s: El número de milisegundos a parar (1000 milis. = 1 s.)
    • The number of miliseconds to stop the program for (1000 milis. = 1 s.)

jC