reservation_system.adb

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

with Ada.Text_IO;	use Ada.Text_IO;
package body Reservation_System is

   procedure Make(R: in out Reservation) is
   begin
      Put_Line("Make Reservation ");
   end Make;

   procedure Select_Seat(R: in out Reservation) is
   begin
      Put_Line("Select_Seat Reservation");
   end Select_Seat;


   procedure Make(NR: in out Nice_Reservation) is
   begin
      Put_Line("Make Nice_Reservation");
   end Make;


   procedure Order_Meal(NR: in out Nice_Reservation) is
   begin
      Put_Line("Order_Meal Nice_Reservation");
   end Order_Meal;


   procedure Make(PR: in out Posh_Reservation) is
   begin
      Put_Line("Make Posch_Reservation");
   end Make;

   procedure Arrange_Limo(PR: in Posh_Reservation) is
   begin
      Put_Line("Arrange_Lime Posh_Reservation");
   end Arrange_Limo;

   procedure Process_Reservation_Request(Request: in out Reservation'Class) is
   begin
      --
      -- Request is dynamically dispatched according to the Request's class
      --
      Make(Request);
   end Process_Reservation_Request;

   --
   --
   --
   procedure Process_Reservation(RP: in Reservation_Ptr) is
   begin
      Make(RP.all);
   end Process_Reservation;


   procedure Process_Reservations(Reservations: access Cell) is
   begin
      while Reservations /= null loop
         Process_Reservation(RP => Reservations.Element);
      end loop;
   end Process_Reservations;



end Reservation_System;