comp.lang.ada
 help / color / mirror / Atom feed
From: Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov>
Subject: Re: list strawman
Date: 09 Jan 2002 10:53:27 -0500
Date: 2002-01-09T15:57:08+00:00	[thread overview]
Message-ID: <uelkz1pxk.fsf@gsfc.nasa.gov> (raw)
In-Reply-To: 4519e058.0201090720.722afa78@posting.google.com

dennison@telepath.com (Ted Dennison) writes:

> Thomas Wolf <t_wolf@angelfire.com> wrote in message news:<MPG.16a629ebab6a7b63989682@news.ip-plus.net>...

> > 4. Removing from a list end
> > ---------------------------
> > You don't always want to get the old element when you remove an item
> > from the list. Hence I'd add the following:
> > 
> >       procedure Remove
> >         (Target   : in out List;
> >          List_End : in     Direction);
> 
> We are past the point where we can add routines on a whim. People are
> actually implementing it and writing code to work with it now. If a
> routine is going to be added or changed at this point, it will be only
> be for a very good reason (eg: A bug, or a very serious implementation
> or usability problem).

Well, as a (partial :) implementor, I don't mind this routine; filling
in little corners like this is fine. Adding major functionality is not.

> > 9. Equality
> > -----------
> > Is there any harm done by putting them explicitly in the public part?
> 
> One does not put things in the public part of a package that do not
> need to go there. So the proper question for putting things in the
> public part of a package is not "Does it do any harm there?", but
> rather, "Does it absolutely have to go there?" Again, I think the
> proper model here is package Standard, which put a commented-out
> version in the public part.

It needs to be explicit in either the public or private part of the
standard for this package, so that implementers are forced to provide
it.

If we adopt the rule that "the private part is _not_ specified by this
standard" (which makes sense), it _needs_ to be in the public part. 

Or we can draw a line in the private part and say "everything above
this line is defined by the standard". That would be simple.

-- 
-- Stephe



  reply	other threads:[~2002-01-09 15:53 UTC|newest]

Thread overview: 63+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-01-06 20:55 list strawman Stephen Leake
2002-01-07 15:56 ` Ted Dennison
2002-01-07 15:57   ` Ted Dennison
2002-01-07 16:33   ` Stephen Leake
2002-01-07 16:37     ` Stephen Leake
2002-01-07 19:31       ` Ted Dennison
2002-01-07 19:26     ` Ted Dennison
2002-01-07 22:05       ` Stephen Leake
2002-01-07 22:51         ` Ted Dennison
2002-01-08  0:48           ` Steven Deller
2002-01-08 15:32             ` Ted Dennison
2002-01-08 15:43               ` Jean-Marc Bourguet
2002-01-08 17:07                 ` Ted Dennison
2002-01-08 17:21                   ` Jean-Marc Bourguet
2002-01-08 19:12                     ` Ted Dennison
2002-01-09  8:09                       ` Jean-Marc Bourguet
2002-01-09 18:37                         ` Ted Dennison
2002-01-11  9:37                           ` Jean-Marc Bourguet
2002-01-11 17:03                             ` Ted Dennison
2002-01-11 17:47                               ` Jeffrey Carter
2002-01-12 15:10                               ` Jean-Marc Bourguet
2002-01-13 10:18                                 ` Jean-Marc Bourguet
2002-01-14 16:02                                 ` Ted Dennison
2002-01-14 16:22                                   ` Jean-Marc Bourguet
2002-01-08 19:57                     ` Steven Deller
2002-01-08 19:54                 ` Steven Deller
2002-01-08 19:54               ` Steven Deller
2002-01-08 20:46                 ` Ted Dennison
2002-01-08 21:21                   ` Stephen Leake
2002-01-08 21:49                     ` Ted Dennison
2002-01-09  9:21                       ` Thomas Wolf
2002-01-09 15:20                         ` Ted Dennison
2002-01-09 15:53                           ` Stephen Leake [this message]
2002-01-09 21:21                             ` Ted Dennison
2002-01-09 17:42                         ` Mark Lundquist
2002-01-09 21:02                           ` Jeffrey Carter
2002-01-10  8:47                             ` Thomas Wolf
2002-01-11 17:38                               ` Jeffrey Carter
2002-01-11 21:52                                 ` Chad Robert Meiners
2002-01-12  5:45                                   ` Jeffrey Carter
2002-01-12 22:20                                     ` Chad R. Meiners
2002-01-13 17:03                                       ` Jeffrey Carter
2002-01-13 23:47                                         ` Chad R. Meiners
2002-01-14  1:32                                           ` Ted Dennison
2002-01-14  5:12                                           ` Jeffrey Carter
2002-01-14  5:12                                           ` Jeffrey Carter
2002-01-10 14:39                           ` Ted Dennison
2002-01-11  5:34                             ` Mark Biggar
2002-01-12 12:20                               ` Simon Wright
2002-01-14 14:53                                 ` Matthew Heaney
2002-01-16  5:56                                   ` Simon Wright
2002-01-18  9:15                           ` Overridability of _private_ predefined "=" [was Re: list strawman] Vincent Marciante
2002-01-19 16:58                             ` Vincent Marciante
2002-01-19 22:42                               ` Nick Roberts
2002-01-09  3:10                     ` list strawman Ted Dennison
2002-01-09 19:09                       ` Ted Dennison
2002-01-08 21:26               ` Georg Bauhaus
2002-01-08 22:13                 ` Ted Dennison
2002-01-09 20:52               ` Jeffrey Carter
2002-02-17 15:04 ` Florian Weimer
2002-02-17 15:05 ` Florian Weimer
2002-02-18  1:43   ` Stephen Leake
2002-02-18  8:57     ` Florian Weimer
replies disabled

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