Ada.Calendar.Time変数をAdaでどのように印刷できますか？

Question

AdaでTime変数を印刷する方法を知る必要があります。 Timeは実装が定義されているので移植可能な方法はないと仮定します。私はすでにGNAT.Calendar.PatattingパッケージをGNATのもとで入手できました.VMEのGHSにも興味があります。

Answer 1

確かに、時間出力は移植可能で、Ada.Calendarには時間値の成分を抽出する標準関数が含まれているので、独自の変換パッケージを組み込むのは簡単です。

たとえば、ここにはoneがあります。特定のTime値（ガイダンスについてはパッケージのGet_Time（）関数を参照）の "Formatted_Time"レコードを作成するためのマイナーな追加を作成するか、パッケージ仕様でMain_Formatter（）を表示する必要があります。

Answer 2

私がしていることは、Calendar.Splitを使って、私が気にしている部分の画像を作成することです。

Answer 3

「Ada.Calendar.Formatting」機能「Image」Ada2005のパッケージを参照してください。 Ada95コンパイラがあり、このパッケージが利用できない場合は、私の実装を試してくださいhere

これはかなり古いGNAT 3.15pを使って書かれています。ここで

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