OOD in Ada?

["David Crocker" <dcrocker@eschertech.com>]

I know that Ada95 tries to support O-O development, but from my perspective
as an OO developer but Ada novice, it appears to me that any attempt to
implement a large OO design in Ada will run into the following problems:

1. The infamous "withing" problem (i.e. it is not possible to declare 2
classes A and B, each in its own package, such that A has a method taking a
paremeter of type "access B", and B has a method with a parameter of type
"access A"); and

2. The lack of a "dot" notation (or anything similar) for calling a member
method, making the code hard to read and hard to determine where dynamic
binding may be taking place.

So: is there anyone on this list who does serious object-oriented
development in Ada and would like to comment?

--
David Crocker
Escher Technologies Ltd.
www.eschertech.com