Re: Ada.Calendar.Time_Zones

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Thu, 7 Aug 2008 17:47:41 -0500, Randy Brukardt wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
> news:61migfnkb0sm.8wytouvj8o4f.dlg@40tude.net...
> ...
>> But all that stuff like Time_Of etc is not really needed with UTC_Time. 
>> The package should provide Clock, +, -, <, <=, >, >=:
> 
> I don't see how that could work. How would you display or create a UTC time?

No problem:

   T : Ada.UTC_Time.Time := ...;
   P : Ada.Calendar.Time := To_Calendar_Time (T);

P is the political time corresponding to T, it is well-defined for each T.
P can be used in Ada.Calendar.Split to display T as:

   August 08, 2008 10:18 (Berlin time)

When used in Ada.Calendar.Formatting.Split with

   Time_Zone => UTC_Time_Offset (T)

the display could be:
   
   August 08, 2008 09:18 (UTC time)

Creating UTC time from UTC's Y/M/D/S should go as follows:

   To_UTC_Time  (Ada.Calendar.Formatting.Time_Of (Y/M/D/S, 0), 0);

> Anyway, we should have this discussion on Ada-Comment, where it will get 
> recorded and attached to the eventual AI on the topic.

Has the proposal any chance to made it?

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de