如何打印Ada。日历Ada中的时间变量?

请参阅Ada2005的“Ada.Calendar.Formatting”包函数“Image”。如果你有一个Ada95编译器,你可以,但这个包不可用,试试我的实现 here

这是用GNAT 3.15p写的,非常古老。

当然,时间输出可以随身携带,艾达。Calendar包含提取时间值组件的标准函数,因此很容易将自己的转换包组合在一起。

例如,以下是 one 。只需创建一个小的加法,为给定的时间值创建一个“格式化的_Time”记录(请参阅包的Get_Time()函数以获取指导),或者在包规范中显示Main_Formatter()。

通常我做的是使用日历。分割,然后在我关心的部分做一个“图像”。

下面是一个使用GNAT显示日期和时间的示例。日历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;

此处提供了日期/时间格式选项: https://en.wikibooks.org/wiki/Ada_Programming/Libraries/GNAT.Calendar.Time_IO