3 procedure Default_Variants
is
5 type Variant_Kind
is (A
, B
);
7 function Get_Default_Value
(Kind
: in Variant_Kind
) return Natural is (10);
9 type Variant_Type
(Kind
: Variant_Kind
:= A
) is
11 Common
: Natural := Get_Default_Value
(Kind
);
14 A_Value
: Integer := Integer'First;
16 B_Value
: Natural := Natural'First;
20 type Containing_Type
is tagged
22 Variant_Data
: Variant_Type
:=
23 (Kind
=> B
, Common
=> <>, B_Value
=> 1);