reservation_system.ali

Ada 2005 Training Notes.

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}