RE: Run-Time Type Assignment

["Robert C. Leif" <rleif@rleif.com>]

From: Bob Leif
To: SK et al.
How does your solution work, if the variants are:
case Num_Parameters  is
  when 1 =>
    Parameter_1: Parameter_1_Type;
  when 2 =>
    Parameter_1: Parameter_1_Type;
    Parameter_2: Parameter_2_Type;
  when 3 =>
    Parameter_1: Parameter_1_Type;
    Parameter_2: Parameter_2_Type;
    Parameter_3: Parameter_3_Type;
end case;
This is the equivalent of a tagged type. Each succeeding variant
includes all of its predecessor and one new element. I have made it work
by defining new record types that include the elements for each variant.
However, this is cumbersome. I will be testing the other suggestions.
Thank you.
-----Original Message-----
From: comp.lang.ada-admin@ada.eu.org
[mailto:comp.lang.ada-admin@ada.eu.org] On Behalf Of sk
Sent: Wednesday, August 28, 2002 4:33 AM
To: comp.lang.ada@ada.eu.org
Subject: Re: Run-Time Type Assignment

Hi, 

> type Parameter_Rec_Psuedo_Tagged_Type (Num_Parameters :
Num_Parameters_Type) is --range 1..2
>   record
>      case Num_Parameters  is
>         when 1 =>
>            Parameter_1: Parameter_1_Type;
>         when 2 =>
>            Parameter_1: Parameter_1_Type;
>                --Parameter_1 conflicts with declaration 2 lines above.
>            --Can not have the same signature as the one above.
>            Parameter_2: Parameter_2_Type;         
>      end case;
>   end record;

type Disc_Rec ( Disc : Disc_Type) is record 

    Parm1 : Parm1_Type;

    case Disc is
        when 1 => null;
        when 2 => 
            Parm2 L Parm2_Type;
    end case;

end record;

Put common parameters in "common" area of record.

-- 
-------------------------------------
-- Merge vertically for real address
-------------------------------------
s n p @ t . o
 k i e k c c m
-------------------------------------