⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 reservation_system.adb

📁 Ada 2005 Training Notes.
💻 ADB
字号:
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;

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -