Re: Two class-wide operands, but only one controlling

[Pascal Obry <p.obry@wanadoo.fr>]

porton@ex-code.com (Victor Porton) writes:

> Not what I need. basically I have a container and an iterator.
> Both a derived (in my case I need this) from abstract container
> and abstract iterator. I need procedure like:
> 
> procedure Next
>   (C: Abstract_Container'Class; I: in out Abstract_Iterator'Class);
>   
> but this is an error as we have two controlling operands of
> different types :-( 

Certainly not. 'Class formal parameters are not controlling operands, your
Next procedure above is perfectly legal.

> It was simple in C++. Ada has disadvantages...

No, you misunderstood Ada :)

> > The actual parameter of a class-wide formal parameter cannot be a
> > controlling operand.
> 
> Samuel, di you meant vice versa?

No, we have be 2 of us saying the same thing but you did not listen :)

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|         http://perso.wanadoo.fr/pascal.obry
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595