如何将Ada.Real_TIme.Time转换为字符串?

Nat*_*tim 3 file-io real-time ada

我想在文件中写一个Ada.Real_Time.Time,

我怎样才能做到这一点?

谢谢

Sim*_*ght 5

您可以使用Ada.Real_Time.Split转换Ada.Real_Time.Time为(a)自纪元以来的秒数,类型Ada.Real_Time.Seconds_Count和(b)小数部分,类型(私有)Ada.Real_Time.Time_Span; 并且您可以使用Ada.Real_Time.To_Duration将小数部分转换为Duration.

然后Ada.Real_Time.Seconds_Count'Image,您可以使用和Duration'Image转换为String.

但你想要什么字符串?如果要在一次运行中比较发生的事情,那很好,但语言定义中没有任何内容可以说明这个时代; 例如,它可能是计算机上次启动的时间.