Aquí podría ser tu PUBLICIDAD


¿Cómo se puede imprimir una variable Ada.Calendar.Time en Ada?

votos
0

Necesita saber cómo imprimir una variable de tiempo en Ada. Supongo que no hay una forma portátil porque Time es la implementación definida. Ya he visto el paquete GNAT.Calendar.Formatting disponible bajo GNAT, también estaría interesado en un GHS para VME.

Publicado el 12/03/2009 a las 18:27
fuente por usuario paxos1977
En otros idiomas...        العربية       

4 respuestas

votos
2

Ver paquete "Ada.Calendar.Formatting" función "Imagen" para Ada2005. Si tiene un compilador Ada95 que podría y este paquete no está disponible, intente mi implementación desde aquí

Esto fue escrito usando GNAT 3.15p, muy viejo.

Respondida el 13/05/2009 a las 09:27
fuente por usuario YermoungDer


Aquí podría ser tu PUBLICIDAD


votos
1

En general, lo que hago es usar Calendar.Split y luego hacer una 'imagen en las partes que me importan.

Respondida el 18/03/2009 a las 07:14
fuente por usuario T.E.D.

votos
1

Claro, la salida del tiempo puede ser portátil, Ada.Calendar contiene funciones estándar que extraen los componentes de un valor de tiempo, por lo que es sencillo armar su propio paquete de conversión.

Por ejemplo, aquí hay uno . Solo se necesita crear una adición menor para crear un registro "Tiempo_formatado" para un valor de tiempo dado (ver la función Get_Time () del paquete como guía), o hacer que Main_Formatter () sea visible en la especificación del paquete.

Respondida el 12/03/2009 a las 07:41
fuente por usuario Marc C

votos
0

Aquí hay un ejemplo que muestra la fecha y la hora utilizando el paquete GNAT.Calendar.Time_IO:

with ada.calendar;
with gnat.calendar.time_io;

procedure display_time is
begin
  gnat.calendar.time_io.put_time(ada.calendar.clock, "Date: %Y/%m/%d Time: %H:%M:%S");
end display_time;

Fecha / hora opciones de formato están disponibles aquí: https://en.wikibooks.org/wiki/Ada_Programming/Libraries/GNAT.Calendar.Time_IO

Respondida el 19/11/2015 a las 04:50
fuente por usuario evilspacepirate