comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: String_Access in unbounded string handling?
Date: Sun, 14 Jan 2024 16:12:31 +0100	[thread overview]
Message-ID: <uo0tkt$g6av$1@dont-email.me> (raw)
In-Reply-To: <uo0fs5$dja6$1@dont-email.me>

On 2024-01-14 12:17, Jeffrey R.Carter wrote:
> On 2024-01-14 12:05, Blady wrote:
>>
>> String_Access is defined in A.4.5 Unbounded-Length String Handling:
>> 7          type String_Access is access all String;
>>
>> and note:
>> 75  The type String_Access provides a (nonprivate) access type for 
>> explicit processing of unbounded-length strings.
>>
>> I wonder what String_Access is for and what could be "explicit 
>> processing"?
> 
> String_Access is a mistake that should not exist.

Well, from one point of view, surely.

However I frequently need such a type because I in general refrain from 
using Unbounded_String. Now, would be no problem to declare it as 
needed, except for generics! If you have generic packages like:

generic
    type Object_Type (<>) is private;
    type Object_Access_Type is access all Object_Type;

You want all instances to share the same String_Access. So it is 
conflicting. One is true, it has no place there. It should have been the 
package Standard or none.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

  reply	other threads:[~2024-01-14 15:12 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-01-14 11:05 String_Access in unbounded string handling? Blady
2024-01-14 11:17 ` Jeffrey R.Carter
2024-01-14 15:12   ` Dmitry A. Kazakov [this message]
2024-01-17  1:30     ` Randy Brukardt
2024-01-17  1:24   ` Randy Brukardt
2024-01-17  9:54     ` Blady
2024-01-17 13:34 ` Tucker Taft
2024-01-19  1:36   ` Randy Brukardt
2024-01-30 15:53     ` Blady
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox