1package Nested_Float_Packed is 2 3 type Float_Type is record 4 Value : Float; 5 Valid : Boolean; 6 end record; 7 8 type Data_Type is record 9 Data : Float_Type; 10 end record; 11 12 Default_Data : constant Data_Type := 13 (Data => (Value => 1.0, Valid => False)); 14 15 type Range_Type is (RV1, RV2, RV3); 16 for Range_Type use (1, 2, 3); 17 18 Data_Block : array (Range_Type) 19 of Data_Type := (others => Default_Data); 20end; 21