Re: Delegating operations to parent (generic formal type)

[Tucker Taft <stt@averstar.com>]

Simon Wright wrote:
> 
> (This is a repost, in the hope someone can help!!)
> 
> The code below is accepted by GNAT (3.13a1, 3.12p at least) but not by
> APEX 3.2.0b (Solaris) or the OA special edition (7.2).
> 
> The problem arises in the body of Containers.Maps.Synchronized.
> 
> APEX says it can't resolve the call Initialize (Map_Base (M)) in
> Containers.Maps.Synchronized.Initialize.
> 
> OA ditto, followed by a fatal assertion error (or was it a bad memory
> access?) in the instantiation.
> 
> This is a pretty common idiom in Smalltalk (super bind, super
> initialize) -- is there an Ada equivalent that would help here? I
> can't see why the compilers don't see the Initialize(Map_Base)
> operation, we're in a child package and should be able to see the
> private operations of Map_Base -- which include those of Controlled.

The use of Initialize is legal.  This looks like an old-fashioned
bug in APEX and ObjectAda 7.2.  The current AdaMagic front end has no
problem "seeing" the Initialize operation.

-Tuck
-- 
-Tucker Taft   stt@averstar.com   http://www.averstar.com/~stt/
Technical Director, Commercial Division, AverStar (formerly Intermetrics)
(http://www.averstar.com/services/IT_consulting.html)  Burlington, MA  USA