1package body Lto1_Pkg is 2 3 procedure Initialize (Radar : in Radar_T) is 4 Antenna1 : Antenna_Type_T; 5 Antenna2 : Antenna_Type_T; 6 begin 7 case Radar.Sensor_Type is 8 when radpr | radssr => 9 Antenna1 := Radar.Sensor_Type; 10 Antenna2 := Radar.Sensor_Type; 11 when radcmb => 12 Antenna1 := radpr; 13 Antenna2 := radssr; 14 when others => 15 Antenna1 := radpr; 16 Antenna2 := radssr; 17 end case; 18 if Antenna1 /= radpr or Antenna2 /= radssr then 19 raise Program_Error; 20 end if; 21 end Initialize; 22 23end Lto1_Pkg; 24