PR target/84336
[official-gcc.git] / gcc / testsuite / gnat.dg / lto1_pkg.ads
blob33c9bc9b53d6c981f3dcd1531a8e144e7c767c13
1 package Lto1_Pkg is
3 type Unsigned_64 is mod 2 ** 64;
5 type Associated_Report_T is (miss, radpr, radssr, radcmb);
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;
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;
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;
21 procedure Initialize (Radar : in Radar_T);
23 end Lto1_Pkg;