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,a327d56b3d5e9a4,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-11-08 05:12:18 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!kibo.news.demon.net!demon!caladan!news-peer-lilac.gradwell.net!news-peer.gradwell.net!not-for-mail
Newsgroups: comp.lang.ada
From: porton@ex-code.com (Victor Porton)
Date: Fri, 08 Nov 2002 17:51:59 +0500
Subject: Booch: iterator invalidation
Mime-Version: 1.0
X-Newsreader: knews 1.0b.1
Content-Type: text/plain; charset=us-ascii
Message-ID: <3dcbb4e4$0$299$bed64819@news.gradwell.net>
NNTP-Posting-Date: 08 Nov 2002 12:58:13 GMT
NNTP-Posting-Host: 195.149.39.13
X-Trace: 1036760293 news.gradwell.net 299 mail2news/195.149.39.13
X-Complaints-To: news-abuse@gradwell.net
Xref: archiver1.google.com comp.lang.ada:30583
Date: 2002-11-08T12:58:13+00:00
List-Id: <comp.lang.ada>

What are conditions when Booch iterators are invalidated?
It is missing in the documentation.

It also would be great to have the debug version of Booch, checking
validity of iterators and raising an exception. With GNAT it can be
done as in C by #ifdef/#endif preprocessor directives (assigning a
long (may be 64, 128, or 256 bytes) counter incrementing on each
invalidation to each container and analogous counters to iterators
and comparing these counters).