Base'Class is instance of Der1?

Base'Class is instance of Der1?

[R]

Hello.

I've got function which has a parameter of type Base'Class.

well I have 3 derived tagged records and depending of what exactly is
the parameter I have to cast it to a proper function.

How can I figure out whether or not given object is der1 or der2 or
der3 type?

thanks in advance

best regards
R

Re: Base'Class is instance of Der1?

[Martin Krischik]

Hi R

R wrote:

> Hello.
> 
> I've got function which has a parameter of type Base'Class.
> 
> well I have 3 derived tagged records and depending of what exactly is
> the parameter I have to cast it to a proper function.

Maybe you want a view rename instead of a cast:

http://en.wikibooks.org/wiki/Programming:Ada:Subtypes#Rename_View

> How can I figure out whether or not given object is der1 or der2 or
> der3 type?

You should rename to Base'Class.

Martin
-- 
mailto://krischik@users.sourceforge.net
http://www.ada.krischik.com

Re: Base'Class is instance of Der1?

[Ludovic Brenta]

"R" writes:
> Hello.
>
> I've got function which has a parameter of type Base'Class.
>
> well I have 3 derived tagged records and depending of what exactly is
> the parameter I have to cast it to a proper function.
>
> How can I figure out whether or not given object is der1 or der2 or
> der3 type?
>
> thanks in advance
>
> best regards
> R

This is called "dispatching", and Ada 95 supports it directly in the
language.  There is no need for you to explicitly check the actual
type:

package P is
   type Base is tagged abstract null record;
   procedure Proc (B : in Base) is abstract;

   type Der1 is new Base with null record;
   procedure Proc (D : in Der1);

   type Der2 is new Base with null record;
   procedure Proc (D : in Der2);

   type Der3 is new Base with null record;
   procedure Proc (D : in Der3);
end P;

with P;
procedure Dispatch (B : in P.Base'Class) is
begin
   P.Proc (B); -- dispatches to the appropriate Proc
end Dispatch;

To make this work, you must make sure that each instance of Proc is a
"primitive operation" of the appropriate type.  A "primitive
operation" is:

- declared in the same package as the type
- has at least one parameter or return value of the type

Primitive operations are defined in detail in ARM 3.2.3.

And you have to make sure that the point where you call P.Proc is a
"dispatching call".  For the call to be dispatching, the actual
parameter must be of a class-wide type, here Base'Class.

The precise rules for dispatching calls are in ARM 3.9.2.

Now, if you really insist on checking the actual type yourself:

with P;
procedure Dispatch (B : in P.Base'Class) is
begin
   if B in P.Der1'Class then
      -- dispatch
   elsif B in P.Der2'Class then
      -- dispatch
   ...
end Dispatch;

This is much more error-prone and less maintainable than
language-assisted dispatching.  I do not recommend this way.

-- 
Ludovic Brenta.

Re: Base'Class is instance of Der1?

[Dreni]

tung

Re: Base'Class is instance of Der1?

[Martin Dowie]

Martin Krischik wrote:
> Hi R
> 
> R wrote:
> 
> 
>>Hello.
>>
>>I've got function which has a parameter of type Base'Class.
>>
>>well I have 3 derived tagged records and depending of what exactly is
>>the parameter I have to cast it to a proper function.
> 
> 
> Maybe you want a view rename instead of a cast:
> 
> http://en.wikibooks.org/wiki/Programming:Ada:Subtypes#Rename_View

Surely:

type Parent_Type is tagged null record;
type Child_Type is tagged null record;

Child_Instance : Child_Type;
Parent_View : Parent_Type'Class renames Parent_Type'Class (Child_Type);

Should be:

type Parent_Type is tagged null record;
type Child_Type is new Parent_Type with null record;

Child_Instance : Child_Type;
Parent_View : Parent_Type'Class renames Parent_Type'Class (Child_Instance);


Cheers

-- Martin

Re: Base'Class is instance of Der1?

[Martin Krischik]

Martin Dowie wrote:

> Martin Krischik wrote:
>> Hi R
>> 
>> R wrote:
>> 
>> 
>>>Hello.
>>>
>>>I've got function which has a parameter of type Base'Class.
>>>
>>>well I have 3 derived tagged records and depending of what exactly is
>>>the parameter I have to cast it to a proper function.
>> 
>> 
>> Maybe you want a view rename instead of a cast:
>> 
>> http://en.wikibooks.org/wiki/Programming:Ada:Subtypes#Rename_View
> 
> Surely:
> 
> type Parent_Type is tagged null record;
> type Child_Type is tagged null record;
> 
> Child_Instance : Child_Type;
> Parent_View : Parent_Type'Class renames Parent_Type'Class (Child_Type);
> 
> Should be:
> 
> type Parent_Type is tagged null record;
> type Child_Type is new Parent_Type with null record;
> 
> Child_Instance : Child_Type;
> Parent_View : Parent_Type'Class renames Parent_Type'Class
> (Child_Instance);

Ups, you are right! But why did you not hit the [edit] button and corrected
it?

Martin
-- 
mailto://krischik@users.sourceforge.net
http://www.ada.krischik.com

Re: Base'Class is instance of Der1?

[Martin Dowie]

Martin Krischik wrote:
> Ups, you are right! But why did you not hit the [edit] button and
> corrected it?

I'm too shy! ;-)

I did correct a few English-isms though...

Cheers

-- Martin