📄 reservation_system.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 + -