[Ada] Time_IO.Image: Allow printing the time zone
authorBob Duff <duff@adacore.com>
Sun, 10 May 2020 15:29:27 +0000 (11:29 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 6 Jul 2020 11:35:33 +0000 (07:35 -0400)
commit90a1abf304ff076f2e96a5d039f549e99124a606
tree1362a2b4b47e4b0ffad8032ac8acc5bfa74ccc65
parentd868231706cf9a43ce1d6b474e8c1aa1535c4736
[Ada] Time_IO.Image: Allow printing the time zone

gcc/ada/

* libgnat/g-catiio.ads: Document newly supported format.  Add
ISO_Time constant, for convenience.
* libgnat/g-catiio.adb (Image_Helper): New helper function to do
all the formatting work, called by the two exported Image
functions.  Add support for "%:::z" here. Add a Time_Zone
parameter used by the "%:::z" processing. This parameter is not
used for the actual time zone computations; local time is always
used for that, for ease of implementation reasons.  It would
make sense to use Append throughout this function, but that's a
cleanup for another day.
(Image): Modify these to pass the local time zone, or the
specified time zone, as appropriate.
gcc/ada/libgnat/g-catiio.adb
gcc/ada/libgnat/g-catiio.ads