ada - 如何在 Ada 中打印 Ada.Calendar.Time 变量？

Question

需要知道如何在 Ada 中打印时间变量。我认为没有可移植的方式，因为 Time 是实现定义的。我已经看到 GNAT 下可用的 GNAT.Calendar.Formatting 包，我也对 VME 的 GHS 感兴趣。

Answer 1

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

这是使用 GNAT 3.15p 编写的，非常古老。

Answer 2

当然，时间输出是可移植的，Ada.Calendar 包含提取时间值组件的标准函数，因此很容易将自己的转换包放在一起。

例如，这是一个. 只需要创建一个小的添加来为给定的时间值创建一个“Formatted_Time”记录（请参阅包的 Get_Time() 函数以获取指导），或者使 Main_Formatter() 在包规范中可见。

Answer 3

通常我所做的是使用 Calendar.Split 然后在我关心的部分上做一个'图像。

Answer 4

这是一个使用 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;

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