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

[mheaney@on2.com (Matthew Heaney)]

porton@ex-code.com (Victor Porton) wrote in message news:<3ddfa8b8$0$304$bed64819@news.gradwell.net>...
> I want something like a procedure with two class-wide operands,
> (of two different types) but only one of these controlling.
> 
> The solution I found is introducing new tagged record
> types which would refer to these two types and passing both
> operands as one operand in such the record. Other solutions?

No, you don't need two separate types.  Just declare the second
parameter as type T'Class, e.g.

   type T is tagged ...;

   procedure Op (O1 : T; O2 : T'Class);

Now procedure Op only dispatches according to the tag of O1.

If you want two separate types, then just do this:

   procedure Op (O1 : T; O2 : T2'Class);