comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Two approaches of iterators for the key-value pairs
Date: Sat, 28 Nov 2015 23:34:40 +0000
Date: 2015-11-28T23:34:40+00:00	[thread overview]
Message-ID: <lyzixx1ywf.fsf@pushface.org> (raw)
In-Reply-To: 247bcf0b-af39-4e78-abe9-aa4810042f98@googlegroups.com

Brad Moore <bmoore.ada@gmail.com> writes:

> My comment was about having to create an extra declaration in the
> packages Ada.Directories and Ada.Environment_Variables to define a
> container type.

Yes, I got that. I'm just saying that we call this extra type a
container type because it was invented in the context of Ada.Containers;
ARM 5.5.2(3) says

   "For the second form of iterator_specification [that is, the form
   that uses 'of'], the expected type for the iterable_name is any array
   or iterable container type. If the iterable_name denotes an array
   object, the iterator_specification is called an array component
   iterator; otherwise it is called a container element iterator."

but we are now discovering that we don't just want to use it for
containers, rather for anything we might want to iterate over, such as
directory entries, prime numbers, ...

I suspect we could delete the word 'container' throughout the existing
5.5.2 (and 4.1.6) without losing anything significant. There'd have to
be a hint about the point of it all, of course!


  reply	other threads:[~2015-11-28 23:34 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-11-27 15:25 Two approaches of iterators for the key-value pairs ytomino
2015-11-27 16:30 ` Dmitry A. Kazakov
2015-11-27 18:08   ` ytomino
2015-11-27 20:50     ` Dmitry A. Kazakov
2015-11-27 22:52     ` bj.mooremr
2015-11-27 17:00 ` Pascal Obry
2015-11-27 18:25   ` ytomino
2015-11-27 17:43 ` Brad Moore
2015-11-27 19:38   ` ytomino
2015-11-27 19:46     ` ytomino
2015-11-27 23:11     ` Brad Moore
2015-11-28  8:58       ` Simon Wright
2015-11-28 19:54         ` Brad Moore
2015-11-28 23:34           ` Simon Wright [this message]
2015-11-29 21:17             ` Bob Duff
2015-11-29 16:17         ` Simon Wright
2015-11-29 17:55       ` ytomino
replies disabled

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