Re: List container strawman 1.2

["Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org>]

Lots of ways of handling that. I agree that there are cases where you want a
list to contain only one sample of a given element, but I'd prefer that the
instantiation doesn't force someone to make that decision and have to
provide parameters that may be unnecessary for the simple cases. It could
just as easily be done by providing a subprogram to set a flag in the List
object that disallows/allows duplicates. Or alternately, returning a flag on
insertion indicating there was a duplicate or providing a function to test
for a duplicate, or .... ? IOW, default behavior is "duplicates allowed"
unless you call "Disallow_Duplicates (My_List_Object) ;" or something
similar.

MDC
--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com
Enabling the digital revolution
e-Mail:    marin.condic@pacemicro.com
Web:      http://www.mcondic.com/


"Martin Dowie" <martin.dowie@nospam.baesystems.com> wrote in message
news:3bef920f@pull.gecm.com...
> "Ted Dennison" <dennison@telepath.com> wrote in message
> news:3BECA3B7.5020702@telepath.com...
> [snip]
>
> --------------------------------------------------------------------------
> -----
> > -- This file contains a proposal for a standard Ada list package.
> > --
> > -- version - Strawman 1.2
>
> --------------------------------------------------------------------------
> -----
> > generic
> >     type Element is private;
> > package Containers.Lists.Unbounded is
>
> Hmm, how about adding two lines to this to allow a list to be specified
> as having 'unique' items or not? e.g.
>
> generic
>     type Element is private;
>     Elements_Must_Be_Unique : Boolean;
>     function "=" (L, R : Element) return Boolean;
> package Containers.Lists.Unbounded is
>
> I have found this to be very useful in the past - but this may
> have just been the specifics of the problem domain I was working
> in.
>
>
>