From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-65-14.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,FREEMAIL_FROM, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Received: by 2002:ad4:4f4d:0:b0:649:e869:ec71 with SMTP id eu13-20020ad44f4d000000b00649e869ec71mr392982qvb.1.1692954281554; Fri, 25 Aug 2023 02:04:41 -0700 (PDT) X-Received: by 2002:a25:e757:0:b0:d0b:c67:de3b with SMTP id e84-20020a25e757000000b00d0b0c67de3bmr387085ybh.13.1692954281305; Fri, 25 Aug 2023 02:04:41 -0700 (PDT) Path: eternal-september.org!news.eternal-september.org!2.eu.feeder.erje.net!feeder.erje.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 25 Aug 2023 02:04:41 -0700 (PDT) In-Reply-To: Injection-Info: google-groups.googlegroups.com; posting-host=205.239.40.3; posting-account=YRfoYAoAAADhSEO2nLYx10QUUvp8akYl NNTP-Posting-Host: 205.239.40.3 References: <4c861cba-9ad6-429d-b530-a40c45dfc176n@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <41ae24fb-793e-4bb7-9086-c8923ddc5d9dn@googlegroups.com> Subject: Re: Parameterised 'Image Attributes From: Stephen Davies Injection-Date: Fri, 25 Aug 2023 09:04:41 +0000 Content-Type: text/plain; charset="UTF-8" Xref: news.eternal-september.org comp.lang.ada:65561 List-Id: 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). 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)