Re: Run-Time Type Assignment

["Björn Lundin" <bjorn.lundin@swipnet.se>]

<cut>

> The variant record approach possibly
> would have worked in Pascal; however, it did not compile in the
> cost-free GNAT compiler.
> ---------------------------------------------------
> --Variant Record Approach
> --Does not work
>    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;
> 
</cut>

this compiles under gnat 3.13p under Linux

/Bj�rn


procedure tst_34 is

   type Num_Parameters_Type is range 1..2;
   type Parameter_1_Type is range 1..56;
   type Parameter_2_Type is range 1..52;


   type Parameter_Rec_Psuedo_Tagged_Type (Num_Parameters : 
Num_Parameters_Type) is --range 1..2
   record
      Parameter_1: Parameter_1_Type;

      case Num_Parameters  is
         when 2 =>
            Parameter_2: Parameter_2_Type;
         when others => null;
      end case;
   end record;


   the_test_1 : Parameter_Rec_Psuedo_Tagged_Type (1);
   the_test_2 : Parameter_Rec_Psuedo_Tagged_Type (2);

begin
  null;
end tst_34;