From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,29b1b6650a74a211,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-11-09 04:35:00 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.tele.dk!news.tele.dk!small.news.tele.dk!peer1.news.newnet.co.uk!news-peer.gradwell.net!not-for-mail
Newsgroups: comp.lang.ada
From: porton@ex-code.com (Victor Porton)
Date: Sat, 09 Nov 2002 17:28:57 +0500
Subject: Problem with Booch iterators
Mime-Version: 1.0
X-Newsreader: knews 1.0b.1
Content-Type: text/plain; charset=us-ascii
Message-ID: <3dcd00f3$0$307$bed64819@news.gradwell.net>
NNTP-Posting-Date: 09 Nov 2002 12:35:00 GMT
NNTP-Posting-Host: 195.149.39.13
X-Trace: 1036845300 news.gradwell.net 307 mail2news/195.149.39.13
X-Complaints-To: news-abuse@gradwell.net
Xref: archiver1.google.com comp.lang.ada:30634
Date: 2002-11-09T12:35:00+00:00
List-Id: <comp.lang.ada>

There are a serious misdesign of Booch iterators:

Declaring a record component of type Iterator'Class,
I get error "unconstrained subtype in component declaration".

So for every non-abstract collection type, a concrete iterator
type should be visibly declared. It also suggests that types of
arguments of subrountines should be changed from Iterator'Class
to the appropriate concrete types.

Simon, why you've used Iterator'Class everywhere?