reservation.adb

来自「Ada 2005 Training Notes.」· ADB 代码 · 共 28 行

with Ada.Text_IO;	use Ada.Text_IO;
with Reservation_System;	use Reservation_System;
with Reservation_System.Super_Reservation_System;

procedure Reservation is
   R: Reservation_System.Reservation := Reservation_System.Reservation'(
                                  Flight_Number => 111,
                                  Data_Of_Travel => 222,
                                  Seat_Number => "A12");

   BR: Reservation_System.Basic_Reservation := Reservation_System.Basic_Reservation'(
                                  Flight_Number => 111,
                                  Data_Of_Travel => 222,
                                  Seat_Number => "A12");

   NR: Nice_Reservation := Nice_Reservation'(R with
                                             Seat_Sort=> Aisle,
                                             Food=> Green);

   PR: Posh_Reservation := Posh_Reservation'(NR with Destination=> 333);

begin
   Process_Reservation_Request(Request => PR);
   Process_Reservation_Request(Request => NR);
   Process_Reservation_Request(Request => BR);
   Process_Reservation_Request(Request => R);
end Reservation;