Determining value of record discriminant

[deadlyhead <deadlyhead@gmail.com>]

Say I have a discriminated record with the following definition


--  code begins
type Discrim_Val is (Int, Str);

type Discrim_Rec (D : Discrim_Val) is record
   case D is
      when Int =>
         Val_Int : Integer := 1_000_000;
      when Str =>
         Val_Str : String (1 .. 11) := "One million";
   end case;
end record;
--  code ends


Is there any way to determine what the discriminant value was on a
type later on, i.e. with a dynamically allocated Discrim_Rec object
created with user input for D?  A haven't found anything looking
through the RM about attributes or anything providing this
functionality.

Thanks!
-- deadlyhead