From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: Parameterised 'Image Attributes
Date: Sat, 19 Aug 2023 11:14:34 +0200 [thread overview]
Message-ID: <ubq15l$oa8i$1@dont-email.me> (raw)
In-Reply-To: <ubn9u8$6fup$1@dont-email.me>
Le 18/08/2023 à 10:25, Luke A. Guest a écrit :
> On 18/08/2023 08:18, Rod Kay wrote:
>> Hello.all,
>> There has been some recent discussion on #ada irc regarding
>> formatted output.
>>
>> Would it be possible/desirable to allow the 'Image attribute to
>> have formatting parameters ? Something along the lines of ...
>>
>> put_Line (some_Integer'Image (Width => 5, Padding => '0'));
>>
>> ... and similar 'Image attribute parameters for other types.
>>
>> If the parameters have defaults, then there should not be any
>> backwards compatibility issues (I think).
>
> I wanted them for ages, but there was a conversation ages ago where
> someone on here said attributes were for "debugging only," yet that's
> not what the arm says.
>
The intent of the 'Image attribute is to have a quick representation,
mainly for debugging purposes. If you want nice formatted output, use
the Put procedure on String from Text_IO.
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
https://www.adalog.fr https://www.adacontrol.fr
next prev parent reply other threads:[~2023-08-19 9:14 UTC|newest]
Thread overview: 38+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-08-18 7:18 Parameterised 'Image Attributes Rod Kay
2023-08-18 8:25 ` Luke A. Guest
2023-08-19 9:14 ` J-P. Rosen [this message]
2023-08-19 10:03 ` Dmitry A. Kazakov
2023-08-19 11:45 ` Luke A. Guest
2023-08-19 11:56 ` J-P. Rosen
2023-08-19 13:01 ` Dmitry A. Kazakov
2023-08-19 15:27 ` Jeffrey R.Carter
2023-08-20 7:53 ` G.B.
2023-08-20 9:27 ` Dmitry A. Kazakov
2023-08-21 23:11 ` Randy Brukardt
2023-08-21 23:37 ` Randy Brukardt
2023-08-22 7:38 ` Dmitry A. Kazakov
2023-08-19 16:49 ` moi
2023-08-20 7:25 ` Randy Brukardt
2023-08-20 9:43 ` Dmitry A. Kazakov
2023-08-21 23:34 ` Randy Brukardt
2023-08-22 8:13 ` Dmitry A. Kazakov
2023-08-23 10:20 ` Stephen Davies
2023-08-23 16:16 ` Dmitry A. Kazakov
2023-08-24 19:59 ` Stephen Davies
2023-08-25 7:26 ` Dmitry A. Kazakov
2023-08-25 9:04 ` Stephen Davies
2023-08-25 13:02 ` Dmitry A. Kazakov
2023-08-28 9:18 ` Stephen Davies
2023-08-28 10:58 ` Dmitry A. Kazakov
2023-08-28 15:42 ` Stephen Davies
2023-08-28 16:09 ` Dmitry A. Kazakov
2023-08-28 17:33 ` G.B.
2023-08-28 19:08 ` Dmitry A. Kazakov
2023-08-28 17:58 ` Niklas Holsti
2023-08-28 19:08 ` Dmitry A. Kazakov
2023-09-07 1:04 ` Randy Brukardt
2023-09-07 9:01 ` Dmitry A. Kazakov
2023-08-18 18:53 ` Keith Thompson
2023-09-23 10:00 ` Rod Kay
2023-09-26 5:47 ` Vadim Godunko
2023-09-26 10:15 ` Rod Kay
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox