From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Better way to fill Storage_IO?
Date: Wed, 19 May 2021 21:58:25 +0200 [thread overview]
Message-ID: <s83qkt$1ovh$1@gioia.aioe.org> (raw)
In-Reply-To: s83oo3$s2s$1@dont-email.me
On 2021-05-19 21:25, J-P. Rosen wrote:
> Le 19/05/2021 à 10:26, Björn Lundin a écrit :
>> Given the above I do prefer
>>
>>
>> Text_IO.Put_Line ("Next is " & Next_Location'Image);
>>
>> over
>>
>> Text_IO.Put_Line ("Next is " &
>> Coded_Values.WCS_Next_Location_Type_Type'Image(Next_Location));
>
> Interesting example. When I define a type that I want to be able to
> print, I define also (in the same place) an instantiation of
> Integer_IO/Enumeration_IO, and I would write:
> Put ("Next is "); Put (Next_Location); New_Line;
>
> 'Image was not intended for regular IO.
Maybe it was so in 1983. These days immediate I/O is impractical. Most
of use cases is about formatting strings and very rarely writing the
result into some file, usually stream. So 'Image is far more frequently
used than Integer_IO, Enumeration_IO etc. I did not use any of that for
decades. A programmer would not even care about them, because he will
not suddenly change the programming technique universally used with GUI
widgets, streams, database interfaces, for some obscure generic packages
when Text_IO gets involved.
So let's modify the example to:
Dialog.Message.Set_Text ("Next is " &
Coded_Values.WCS_Next_Location_Type_Type'Image(Next_Location));
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2021-05-19 19:58 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-05-17 18:44 Better way to fill Storage_IO? Michael Hardeman
2021-05-17 19:14 ` Simon Wright
2021-05-17 19:23 ` Michael Hardeman
2021-05-18 20:39 ` Simon Wright
2021-05-19 6:24 ` Dmitry A. Kazakov
2021-05-19 7:17 ` J-P. Rosen
2021-05-19 8:26 ` Björn Lundin
2021-05-19 19:25 ` J-P. Rosen
2021-05-19 19:58 ` Dmitry A. Kazakov [this message]
2021-05-19 20:18 ` Björn Lundin
2021-05-20 5:38 ` Niklas Holsti
2021-05-20 6:50 ` J-P. Rosen
2021-05-20 22:24 ` Randy Brukardt
2021-05-19 15:39 ` Simon Wright
2021-05-17 20:20 ` Dmitry A. Kazakov
2021-05-17 20:48 ` Michael Hardeman
2021-05-18 14:00 ` Per Sandberg
2021-05-18 9:08 ` J-P. Rosen
2021-05-18 10:10 ` Jeffrey R. Carter
2021-05-18 16:50 ` Shark8
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox