Re: Missing in Booch: range operations

[porton@ex-code.com (Victor Porton)]

In article <1ec946d1.0211081335.6b2ac730@posting.google.com>,
	mheaney@on2.com (Matthew Heaney) writes:
> porton@ex-code.com (Victor Porton) wrote in message news:<3dcb8eec$0$307$bed64819@news.gradwell.net>...
> Here's an analogy.  Suppose we have this:

Analogously to pool specific access types we can create container 
_instance_ specific iterators! It may be useful against mistakes.

generic
  For_Container: in out Containers_Library.Container_Type;
package Container_Instance is
  Container: Containers_Library.Container_Type renames For_Container;
  type Iterator is new Containers_Library.Iterator;
  function New_Iterator return Iterator;
end;

generic
  Container: in out Containers_Library.Container_Type;
package body Container_Instance is
  function New_Iterator return Iterator is
  begin
    return Containers_Library.New_Iterator(Container);
  end;
end;

I suggest you to put something such in your libraries:
at least no harm from it.

Well, Simon and Charles, are you likely to accept my
possible patches like this?