Re: List Container Straw Man (NJR V5R1)

["Nick Roberts" <nickroberts@adaos.worldonline.co.uk>]

"Jeffrey Carter" <jeffrey.carter@boeing.com> wrote in message
news:3C07BCEB.86878310@boeing.com...
> Note that my comments on 7
>
> "[list elements must not be private] List elements must be limited
> private."
>
> are misleading, since they were made on the modified version
>
> "List elements must not be limited private"

Sorry. What, then, is your comment on the requirement:

List elements must be limited private.

please?

> As to mimicking Ada.Strings.*, abstract strings are a special case of
> unbounded arrays, not of lists, as they don't provide O(1) insertion and
> deletion.
>
> In order to be general, operations taking an array of elements would
> have to be generic, so that the client may specify the array type. These
> are easy enough for the client to implement with the basic operations,
> so I doubt if they're worth the trouble of providing.

I provided a specific array type, and corresponding insertion and
replacement operations, primarily for situations where it would be
particularly convenient for the programmer to construct an array aggregate.

Supposing one wanted to append a specific gene sequence (to concoct an
example) to a piece of DNA:

   Append( Seq_1, (Ad, Gu, Gu, Ad, Gu, Gu, Gu, Ad, Ad, Gu));

Doing this without the array type and operations would be less convenient,
possibly less readable, and probably less efficient.

An array of a different type (but with the same index and component types)
can be converted:

   type Gene_Array is (Positive range <>) of DNA_Gene_Marker;

   package Gene_Lists is new SCL.Lists.Unbounded(DNA_Gene_Marker);
   use Gene_Lists;

   ...

   Extra_1: constant Gene_Array :=
      (Ad, Gu, Gu, Ad, Gu, Gu, Gu, Ad, Ad, Gu);

   ...

   Append( Seq_1, Gene_Lists.Element_Array(Extra_1) );

Not pretty, but not too awful.

But certainly the array type and operations are only a convenience feature,
and could be removed without ruining the usefulness of the overall thing.

--
Best wishes,
Nick Roberts