gcc/testsuite/gnat.dg/case_optimization_pkg2.ads

   1 package Case_Optimization_Pkg2 is
   2
   3    type Unsigned_64 is mod 2 ** 64;
   4
   5    type Associated_Report_T is (miss, radpr, radssr, radcmb);
   6
   7    -- sensor type : primary, secondary, co-rotating (combined)
   8    subtype Sensor_Type_T is Associated_Report_T; -- range radpr .. radcmb;
   9    subtype Antenna_Type_T is Sensor_Type_T range radpr .. radssr;
  10
  11    type Filtering_Level_T is (none, pr_in_clutter, ssr_plots, pr_plots);
  12    type Filtering_Levels_T is array (Filtering_Level_T) of boolean;
  13
  14    type Radar_T is record
  15       External_Sensor_ID : Unsigned_64;
  16       Dual_Radar_Index : Integer;
  17       Compatible_Filtering_Levels : Filtering_Levels_T;
  18       Sensor_Type : Sensor_Type_T;
  19    end record;
  20
  21    procedure Initialize (Radar : in Radar_T);
  22
  23 end Case_Optimization_Pkg2;