From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Parameterised 'Image Attributes
Date: Fri, 25 Aug 2023 15:02:58 +0200 [thread overview]
Message-ID: <uca8pu$1lse$1@dont-email.me> (raw)
In-Reply-To: <41ae24fb-793e-4bb7-9086-c8923ddc5d9dn@googlegroups.com>
On 2023-08-25 11:04, Stephen Davies wrote:
> On Friday, 25 August 2023 at 08:26:08 UTC+1, Dmitry A. Kazakov wrote:
>> On 2023-08-24 21:59, Stephen Davies wrote:
>>> How about an attribute called something like User_Image
>>> where programmers should make no assumption about the
>>> generated strings and implementations can provide
>>> OS-specific ways to customise things like leading
>>> space/plus/neither, decimal separator character, digit
>>> grouping character/spacing, exponential notation, enum
>>> casing, etc.
>> How anything can be implemented without making assumptions = specifications?
> The reason that the existing 'Image cannot be changed is that it would
> break existing software that replies upon knowledge about the generated
> string, e.g. Integer'Image(Year)(2..5).
The proposal was to add parameters defaulted to the existing behavior.
Year'Image (Plus=>None,Width=>4,Alignment=>Right,Padding=>'0')
> So the programmer could use 'User_Image to generate a display string
> that will be formatted to the users preferences without knowing
> (or being able to make assumptions about) those preferences,
> e.g. Put_Line ("The result is " & Result'User_Image)
This will be rejected on the same grounds as the original proposal. Read
Randy's response.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2023-08-25 13:02 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
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 [this message]
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