📄 reservation_system.ali
字号:
V "GNAT Lib v2007"
A -gnato
A -gnatA
P SS ZX
R nnnnnnnnvvnnnnnnnnnnnnvvnnvnnnnnnnnnnnnvnnnnnnnnnnnnnnvnvnnnnnnnnnnnnnnnn
U reservation_system%b reservation_system.adb e294b4db NE PK
W ada%s ada.ads ada.ali
W ada.text_io%s a-textio.adb a-textio.ali
U reservation_system%s reservation_system.ads dbf545a6 EE PK
W ada.exceptions%s a-except.adb a-except.ali
W ada.finalization.list_controller%s a-filico.adb a-filico.ali
W ada.streams%s a-stream.ads a-stream.ali
W ada.tags%s a-tags.adb a-tags.ali
W system%s system.ads system.ali
W system.finalization_implementation%s s-finimp.adb s-finimp.ali
W system.finalization_root%s s-finroo.adb s-finroo.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
W system.soft_links%s s-soflin.adb s-soflin.ali
W system.storage_elements%s s-stoele.adb s-stoele.ali
W system.stream_attributes%s s-stratt.adb s-stratt.ali
D ada.ads 20070410115640 9c7dd3ea
D a-except.ads 20070410115654 ba3e26e2
D a-finali.ads 20070410115642 9eaacebd
D a-filico.ads 20070410115642 9299732a
D a-ioexce.ads 20070410115642 be0900a0
D a-stream.ads 20070410115644 34aca5be
D a-tags.ads 20070410115644 3f34dc46
D a-tags.adb 20070410115642 0ac00caa
D a-textio.ads 20070410115644 9b97971e
D a-unccon.ads 20070410115644 51e09df2
D interfac.ads 20070410115640 a69cad5c
D i-cstrea.ads 20070410115644 e1e064a9
D reservation_system.ads 20080502211608 dbf545a6
D reservation_system.adb 20080502203234 a2f66663
D system.ads 20070410115654 06d20eea
D s-crtl.ads 20070410115646 ef997abb
D s-exctab.ads 20070410115646 e14b1567
D s-ficobl.ads 20070410115646 1a25058f
D s-finimp.ads 20070410115646 9449f4cb
D s-finroo.ads 20070410115646 6a351e03
D s-htable.ads 20070410115646 9598cfa4
D s-parame.ads 20070410115646 f32e56e9
D s-secsta.ads 20070410115646 db466d0c
D s-soflin.ads 20070410115646 677820d8
D s-stache.ads 20070410115646 07e06d0a
D s-stalib.ads 20070410115646 26598c1c
D s-stoele.ads 20070410115646 25ef1e94
D s-stoele.adb 20070410115644 0b6bda98
D s-stratt.ads 20070410115646 b4bf338e
D s-traent.ads 20070410115646 9950c76b
D s-unstyp.ads 20070410115646 77bf8976
D s-valuns.ads 20070410115646 e13f4d3e
D s-wchcon.ads 20070410115646 a5170e96
D s-wchstw.ads 20070410115646 6b782940
X 1 ada.ads
16K9*Ada 19e8 14|1r6 1r29
X 9 a-textio.ads
49K13*Text_IO 451e16 14|1w10 1r33
264U14*Put_Line 14|6r7 11r7 17r7 23r7 29r7 34r7
X 13 reservation_system.ads
1K9*Reservation_System 78l5 78e23 14|2b14 63l5 63t23
2E9*Position 2e36 21r21
2n22*Aisle{2E9}
2n29*Window{2E9}
3E9*Meal_Type 3e40 22r16
3n22*Green{3E9}
3n29*White{3E9}
3n36*Red{3E9}
5R9*Reservation 10e17 12p14 12r29 13p14 13r36 16r34 19r33 43r58 50r35 14|4r29
. 9r36 37r58
7i10*Flight_Number{integer}
8i10*Data_Of_Travel{integer}
9a10*Seat_Number{string}
12U14*Make 12=19 14|4b14 7l8 7t12 42r7 50r7
12r19 R{5R9} 14|4b19
13U14*Select_Seat 13=26 14|9b14 12l8 12t19
13r26 R{5R9} 14|9b26
16R9*Basic_Reservation<5R9> 12p14 13p14 16e62
19R9*Nice_Reservation<5R9> 13p14 23e17 26P14 26r30 27p14 27r36 29r33 14|15r30
. 21r36
21e10*Seat_Sort{2E9}
22e10*Food{3E9}
26U14*Make<12p14> 26=19 14|15b14 18l8 18t12
26r19 NR{19R9} 14|15b19
27U14*Order_Meal 27=25 14|21b14 24l8 24t18
27r25 NR{19R9} 14|21b25
29R9*Posh_Reservation<19R9> 13p14 27p14 32e17 40P14 40r30 41p14 41r34 14|27r30
. 32r34
31i10*Destination{integer}
40U14*Make<26p14> 40=19 14|27b14 30l8 30t12
40r19 PR{29R9} 14|27b19
41U14*Arrange_Limo 41>27 14|32b14 35l8 35t20
41r27 PR{29R9} 14|32b27
43U14*Process_Reservation_Request 43=42 14|37b14 43l8 43t35
43c42 Request<5R9> 14|37b42 42m12
50P9*Reservation_Ptr(5R9) 55r19 60r41 14|48r41
52R9*Cell 56e17
55p10*Element{50P9} 14|57r49
60U14*Process_Reservation 60>34 14|48b14 51l8 51t27 57r10
60p34 RP{50P9} 14|48b34 50r12 57r30
62U14*Process_Reservations 62^35 14|54b14 59l8 59t28
62p35 Reservations(52R9) 14|54b35 56r13 57r36
68H9*T 71e17 73p14 73r19
70i10*I{integer}
73x14*Op 73>17
73r17 X{68R9}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -