From: Simon Wright <simon@pushface.org>
Subject: Re: Newbie question # 2
Date: Thu, 06 Aug 2020 22:10:49 +0100 [thread overview]
Message-ID: <lya6z7cwfa.fsf@pushface.org> (raw)
In-Reply-To: 746c7d77-cd86-4609-a6a3-37a9d586adb2o@googlegroups.com
Ian Douglas <ian@vionia.com> writes:
> Okay that's a new construct I haven't come across yet. Let me see what
> I can dig up on that.
ARM 18.14 The Generic Package Containers.Indefinite_Ordered_Maps
http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-A-18-14.html
which is like
A.18.6 The Generic Package Containers.Ordered_Maps
http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-A-18-6.html
where almost all the operations are defined; the reason for the
Indefinite version is that the key and element types can be indefinite,
whih you probably wouldn't need if it wasn't that the key in my
suggestion is of type String, which is indefinite (i.e. you can have key
strings, or in your case names, of different lengths).
There's a discussion of maps in the Rationale for Ada 2005 section 8.3.
https://www.adaic.org/resources/add_content/standards/05rat/html/Rat-8-3.html
next prev parent reply other threads:[~2020-08-06 21:10 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-08-06 18:40 Newbie question # 2 Ian Douglas
2020-08-06 18:56 ` Simon Wright
2020-08-06 19:41 ` Ian Douglas
2020-08-06 21:10 ` Simon Wright [this message]
2020-08-07 11:28 ` Ian Douglas
2020-08-06 19:20 ` Niklas Holsti
2020-08-06 19:45 ` Ian Douglas
2020-08-06 20:08 ` Niklas Holsti
2020-08-06 19:41 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox