V "GNAT Lib v4.9"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=pentium
A -march=pentium
P

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_ALLOCATORS
RV NO_DISPATCH
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_FINALIZATION
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_RECURSION
RV NO_STANDARD_STORAGE_POOLS
RV NO_STREAMS
RV NO_UNCHECKED_ACCESS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_IMPLICIT_ALIASING
RV SPARK_05

U ada.containers.ordered_maps%b  a-coorma.adb	521c3bf0 NE OL PK GE
W ada%s			ada.ads			ada.ali
W ada.containers%s	a-contai.ads		a-contai.ali
W ada.containers.red_black_trees%s  a-crbltr.ads  a-crbltr.ali
W ada.containers.red_black_trees.generic_keys%s
W ada.containers.red_black_trees.generic_operations%s
Z ada.streams%s		a-stream.adb		a-stream.ali
W ada.unchecked_deallocation%s
W system%s		system.ads		system.ali

U ada.containers.ordered_maps%s  a-coorma.ads	1ba62425 BN NE OL PR RT PK GE
W ada%s			ada.ads			ada.ali
W ada.containers%s	a-contai.ads		a-contai.ali
W ada.containers.red_black_trees%s  a-crbltr.ads  a-crbltr.ali
W ada.finalization%s	a-finali.adb		a-finali.ali
W ada.iterator_interfaces%s
W ada.streams%s		a-stream.adb		a-stream.ali

D ada.ads		20070406121342 3ffc8e18
D a-contai.ads		20101025165030 61e5e089
D a-coorma.ads		20130411163354 f6e6861b
D a-coorma.adb		20140127184330 3c7e7c60
D a-crbltr.ads		20110831120720 b8a2dc05
D a-crbtgk.ads		20090409180020 18ae3fab
D a-crbtgk.adb		20140220154616 62191c0e
D a-crbtgo.ads		20090409180020 375f6f61
D a-crbtgo.adb		20140220154616 885f84ae
D a-except.ads		20140129181954 f86a4103
D a-finali.ads		20111121133556 52ecdc1b
D a-iteint.ads		20110906122602 7c7305e9
D a-stream.ads		20140122184720 1a984740
D a-tags.ads		20111212135430 6c0509d0
D a-unccon.ads		20070406121342 f9eb8f06
D a-uncdea.ads		20070406121342 f15a5ed1
D system.ads		20160804194326 462fcf90
D s-exctab.ads		20140225171140 54135002
D s-finroo.ads		20120426125924 4ff27390
D s-parame.ads		20140225171140 ab8cb46a
D s-soflin.ads		20140225171140 aa763b52
D s-stache.ads		20140225171140 a37c21ec
D s-stalib.ads		20140225171140 a891183f
D s-stoele.ads		20140225171140 2dc34a04
D s-stoele.adb		20140225171140 ed88f8fb
D s-traent.ads		20140225171140 b5116092
X 1 ada.ads
16K9*Ada 19e8 3|34r6 36r14 37r14 38r14 47r9 69r6 255r20 265r8 266r8 377r5
. 4|30r6 32r6 35r6 40r14 664r14 1628r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 3|36r18 47r13 377r9 4|32r10 35r10 40r18 1628r9
20I9*Count_Type<integer> 3|73r45 4|1078r45
X 3 a-coorma.ads
41+9 Key_Type 44r37 51r44 79r44 91r37 97r37 120r19 125r19 136r19 143r19 149r19
. 154r19 159r19 162r53 164r52 176r48 182r47 192r42 194r45 196r43 198r45 200r46
. 206r41 208r41 210r25 212r25 248r17 4|86r15 91r15 113r32 143r41 155r25 199r41
. 211r25 284r45 354r19 382r46 441r52 498r45 513r44 528r53 573r42 634r48 648r43
. 693r19 719r19 761r19 779r19 849r15 863r15 988r44 1055r47 1205r55 1228r17
. 1269r10 1347r19 1377r19 1523r56 1551r17 1594r10
42+9 Element_Type 45r37 57r28 81r48 86r19 91r57 97r64 100r43 104r51 137r19
. 150r19 155r19 160r19 174r52 180r51 194r62 249r25 312r43 330r34 4|485r48
. 498r62 620r52 694r19 720r19 762r19 1041r51 1206r55 1229r17 1270r10 1378r19
. 1403r19 1524r63 1552r17 1595r10
44V19 "<"{boolean} 44>23 44>29 4|140s28 152s28 164s19 196s29 208s20 220s29
. 515s15 516s23 835s16 837s19 855s24 867s19
44*23 Left{41+9}
44*29 Right{41+9}
45V19 "="{boolean} 45>23 45>29 4|840s27
45*23 Left{42+9}
45*29 Right{42+9}
47k24*Ordered_Maps 2|16k13 3|41z9 42z9 44z19 45z19 240E9 377l20 377e32 4|40b29
. 1628l20 1628t32
51V13*Equivalent_Keys{boolean} 51>30 51>36 4|513b13 522l8 522t23
51*30 Left{41+9} 4|513b30 515r10 516r25
51*36 Right{41+9} 4|513b36 515r17 516r17
53R9*Map<11|48R9> 62r25 71P14 71r32 73p13 73r33 75p13 75r35 77p14 77r40 83p14
. 84r26 93p14 94r26 108p13 109r27 113p13 114r34 118p13 119r27 123p13 124r34
. 128p14 128r38 128r52 130p13 130r28 130r40 132p14 132r36 132r57 134p14 135r26
. 141p14 142r26 147p14 148r26 152p14 153r26 157p14 158r26 162p14 162r42 164p14
. 164r41 166p14 166r41 168p14 168r47 170p14 170r46 172p13 172r32 174p13 174r40
. 176p13 176r36 178p13 178r31 180p13 180r39 182p13 182r35 192p13 192r31 194p13
. 194r34 196p13 196r32 198p13 198r34 200p13 200r35 214p14 215r19 218p14 219r19
. 226p13 227r19 230p13 231r19 255c9 257e14 259P25 259r52 261r54 268p14 270r19
. 272r8 274p14 276r23 278r8 280r34 347r25 4|171r32 230r41 253r38 253r52 284r34
. 301r40 320r27 353r27 382r35 391r28 391r40 393r23 418r41 441r41 457r47 471r46
. 498r34 528r42 573r31 584r32 620r40 634r36 648r32 692r26 718r26 760r26 778r26
. 822r35 875r19 912r19 936r34 1005r31 1041r39 1055r35 1078r33 1090r36 1090r57
. 1251r23 1313r34 1346r34 1376r26 1401r26 1432r19 1521r26 1575r19 11|51P14
59R9*Cursor 60r41 64r26 66r37 69r31 79r29 81r33 85r19 89r18 95r19 110r19
. 115r19 138r23 144r23 166r64 172r44 178r43 184r30 184r45 186r38 188r34 188r49
. 190r42 192r59 196r60 198r62 202r32 204r32 206r25 208r25 210r43 212r43 216r57
. 220r57 232r19 283c9 286e14 290r16 292r8 296r20 298r8 355r26 355r36 366r57
. 367r57 371r18 371r33 375r18 375r33 4|124r32 143r25 155r43 180r32 199r25
. 211r43 284r62 292r14 321r19 418r64 485r33 573r59 577r22 584r44 590r17 594r46
. 612r17 648r60 654r17 682r37 696r18 721r23 764r18 780r23 876r57 890r19 936r47
. 988r29 1005r43 1011r17 1015r45 1033r17 1099r38 1104r30 1104r45 1121r17
. 1127r18 1127r33 1155r42 1160r34 1160r49 1178r17 1184r18 1184r33 1204r18
. 1286r20 1314r19 1402r19 1433r57 1447r19 1522r19 1606r16
62r4*Empty_Map{53R9} 347c4
64r4*No_Element{59R9} 355c4 4|289r17 384r39 576r35 588r17 652r17 684r26 953r18
. 1009r17 1106r21 1107r17 1118r20 1131r17 1162r21 1163r17 1175r20 1188r17
66V13*Has_Element{boolean} 66>26 69r39 4|682b13 685l8 685t19
66r26 Position{59R9} 4|682b26 684r14
68K12*Map_Iterator_Interfaces[12|21] 228r14 233r14 358r6 4|912r31 937r14
71V14*"="{boolean} 71>18 71>24 4|171b14 174l9 174t11
71r18 Left{53R9} 4|171b18 173r24
71r24 Right{53R9} 4|171b24 173r35
73V13*Length{2|20I9} 73>21 4|1078b13 1081l8 1081t14
73r21 Container{53R9} 4|1078b21 1080r14
75V13*Is_Empty{boolean} 75>23 4|822b13 825l8 825t16
75r23 Container{53R9} 4|822b23 824r14
77U14*Clear 77=21 261r67 4|276s14 301b14 304l8 304t13
77r21 Container{53R9} 4|301b21 303m14 303r14
79V13*Key{41+9} 79>18 4|988b13 999l8 999t11
79r18 Position{59R9} 4|988b18 990r10 995r27 995r52 998r14
81V13*Element{42+9} 81>22 4|485b13 496l8 496t15
81r22 Position{59R9} 4|485b22 487r10 492r27 492r52 495r14
83U14*Replace_Element 84=7 85>7 86>7 4|1400b14 1425l8 1425t23
84r7 Container{53R9} 4|1401b7 1411m32 1411r32 1416r10 1421r27
85r7 Position{59R9} 4|1402b7 1406r10 1411r10 1421r43 1424r7
86*7 New_Item{42+9} 4|1403b7 1424r32
88U14*Query_Element 89>7 90^7 4|1203b14 1243l8 1243t21
89r7 Position{59R9} 4|1204b7 1209r10 1214r27 1214r52 1218r32 1228r34 1229r38
90p7 Process 4|1205b7 1232r13
91*31 Key{41+9}
91*47 Element{42+9}
93U14*Update_Element 94=7 95>7 96^7 4|1520b14 1567l8 1567t22
94r7 Container{53R9} 4|1521b7 1532m32 1532r32 1537r27 1541m32 1541r32
95r7 Position{59R9} 4|1522b7 1527r10 1532r10 1537r43 1551r34 1552r38
96p7 Process 4|1523b7 1555r13
97*31 Key{41+9}
97*47 Element{42+9}
99R9*Constant_Reference_Type 100d8 110r34 120r36 311c9 315e17 319r20 321r8
. 325r16 327r8 4|321r34 342r30 354r36 368r30 1302r20 1622r16
104R9*Reference_Type 104d25 115r34 125r36 329c9 333e17 337r20 339r8 343r16
. 345r8 4|1294r20 1314r34 1335r30 1347r36 1361r30 1614r16
108V13*Constant_Reference{99R9} 109>7 110>7 111r19 4|319b13 350l8 350t26
109r7 Container{53R9} 4|320b7 329r32 334r27
110r7 Position{59R9} 4|321b7 324r10 329r10 334r43 338r32 343r24 344r41
113V13*Reference{104R9} 114=7 115>7 116r19 4|1312b13 1343l8 1343t17
114r7 Container{53R9} 4|1313b7 1322m32 1322r32 1327r27
115r7 Position{59R9} 4|1314b7 1317r10 1322r10 1327r43 1331r32 1336r24 1337r41
118V13*Constant_Reference{99R9} 119>7 120>7 4|352b13 376l8 376t26
119r7 Container{53R9} 4|353b7 356r52 364r32 370r41
120*7 Key{41+9} 4|354b7 356r68
123V13*Reference{104R9} 124=7 125>7 4|1345b13 1369l8 1369t17
124r7 Container{53R9} 4|1346b7 1349r52 1357m32 1357r32 1363m41 1363r41
125*7 Key{41+9} 4|1347b7 1349r68
128U14*Assign 128=22 128>43 4|253b14 278l8 278t14 394s17
128r22 Target{53R9} 4|253b22 266m10 266r10 272m10 272r10 276m7 276r7
128r43 Source{53R9} 4|253b43 272r27 277r21
130V13*Copy{53R9} 130>19 4|391b13 396l8 396t12
130r19 Source{53R9} 4|391b19 394r25
132U14*Move 132=20 132=41 4|1090b14 1093l8 1093t12
132r20 Target{53R9} 4|1090b20 1092m23 1092r23
132r41 Source{53R9} 4|1090b41 1092m46 1092r46
134U14*Insert 135=7 136>7 137>7 138<7 139<7 4|700s7 717b14 757l8 757t14 770s7
135r7 Container{53R9} 4|718b7 751m10 751r10 756m29 756r29
136*7 Key{41+9} 4|719b7 739r43 752r10
137*7 New_Item{42+9} 4|720b7 740r43
138r7 Position{59R9} 4|721b7 753m10 753r10 756m7
139b7 Inserted{boolean} 4|722b7 754m10
141U14*Insert 142=7 143>7 144<7 145<7 4|777b14 816l8 816t14
142r7 Container{53R9} 4|778b7 810m10 810r10 815m29 815r29
143*7 Key{41+9} 4|779b7 798r43 811r10
144r7 Position{59R9} 4|780b7 812m10 812r10 815m7
145b7 Inserted{boolean} 4|781b7 813m10
147U14*Insert 148=7 149>7 150>7 4|266s17 759b14 775l8 775t14
148r7 Container{53R9} 4|760b7 770m15
149*7 Key{41+9} 4|266r25 761b7 770r26
150*7 New_Item{42+9} 4|266r42 762b7 770r31
152U14*Include 153=7 154>7 155>7 4|691b14 711l8 711t15
153r7 Container{53R9} 4|692b7 700m15 703r13
154*7 Key{41+9} 4|693b7 700r26 708r31
155*7 New_Item{42+9} 4|694b7 700r31 709r35
157U14*Replace 158=7 159>7 160>7 4|1375b14 1394l8 1394t15
158r7 Container{53R9} 4|1376b7 1380r52 1387r10
159*7 Key{41+9} 4|1377b7 1380r68 1392r19
160*7 New_Item{42+9} 4|1378b7 1393r23
162U14*Exclude 162=23 162>47 4|528b14 536l8 536t15
162r23 Container{53R9} 4|528b23 529r40 533m49 533r49
162*47 Key{41+9} 4|528b47 529r56
164U14*Delete 164=22 164>46 4|441b14 451l8 451t14
164r22 Container{53R9} 4|441b22 442r40 449m46 449r46
164*46 Key{41+9} 4|441b46 442r56
166U14*Delete 166=22 166=46 4|418b14 439l8 439t14
166r22 Container{53R9} 4|418b22 419m32 419r32 427m32 427r32
166r46 Position{59R9} 4|418b46 422r10 427r10 432r33 435r52 436m13 436r13
. 438m7
168U14*Delete_First 168=28 4|457b14 465l8 465t20
168r28 Container{53R9} 4|457b28 458r26 462m49 462r49
170U14*Delete_Last 170=27 4|471b14 479l8 479t19
170r27 Container{53R9} 4|471b27 472r26 476m49 476r49
172V13*First{59R9} 172>20 4|584b13 592l8 592t13 610s34
172r20 Container{53R9} 4|584b20 585r29 590r25
174V13*First_Element{42+9} 174>28 4|620b13 628l8 628t21
174r28 Container{53R9} 4|620b28 621r29
176V13*First_Key{41+9} 176>24 4|634b13 642l8 642t17
176r24 Container{53R9} 4|634b24 635r29
178V13*Last{59R9} 178>19 4|1005b13 1013l8 1013t12 1031s34
178r19 Container{53R9} 4|1005b19 1006r29 1011r25
180V13*Last_Element{42+9} 180>27 4|1041b13 1049l8 1049t20
180r27 Container{53R9} 4|1041b27 1042r29
182V13*Last_Key{41+9} 182>23 4|1055b13 1063l8 1063t16
182r23 Container{53R9} 4|1055b23 1056r29
184V13*Next{59R9} 184>19 4|1101s19 1104b13 1123l8 1123t12 1139s14
184r19 Position{59R9} 4|1104b19 1106r10 1110r27 1110r52 1114r63 1121r25
186U14*Next 186=20 4|1099b14 1102l8 1102t12
186r20 Position{59R9} 4|1099b20 1101m7 1101r25
188V13*Previous{59R9} 188>23 4|1157s19 1160b13 1180l8 1180t16 1196s14
188r23 Position{59R9} 4|1160b23 1162r10 1166r27 1166r52 1171r38 1178r25
190U14*Previous 190=24 4|1155b14 1158l8 1158t16
190r24 Position{59R9} 4|1155b24 1157m7 1157r29
192V13*Find{59R9} 192>19 192>36 4|384s14 573b13 578l8 578t12
192r19 Container{53R9} 4|573b19 574r52 577r30
192*36 Key{41+9} 4|573b36 574r68
194V13*Element{42+9} 194>22 194>39 4|498b13 507l8 507t15
194r22 Container{53R9} 4|498b22 499r52
194*39 Key{41+9} 4|498b39 499r68
196V13*Floor{59R9} 196>20 196>37 4|648b13 656l8 656t13
196r20 Container{53R9} 4|648b20 649r53 654r25
196*37 Key{41+9} 4|648b37 649r69
198V13*Ceiling{59R9} 198>22 198>39 4|284b13 293l8 293t15
198r22 Container{53R9} 4|284b22 285r55 292r22
198*39 Key{41+9} 4|284b39 285r71
200V13*Contains{boolean} 200>23 200>40 4|382b13 385l8 385t16
200r23 Container{53R9} 4|382b23 384r20
200*40 Key{41+9} 4|382b40 384r31
202V14*"<"{boolean} 202>18 202>24 4|124b14 141l9 141t11
202r18 Left{59R9} 4|124b18 126r10 134r27 134r48 140r14
202r24 Right{59R9} 4|124b24 130r10 137r27 137r49 140r30
204V14*">"{boolean} 204>18 204>24 4|180b14 197l9 197t11
204r18 Left{59R9} 4|180b18 182r10 190r27 190r48 196r31
204r24 Right{59R9} 4|180b24 186r10 193r27 193r49 196r14
206V14*"<"{boolean} 206>18 206>33 4|143b14 153l9 153t11
206r18 Left{59R9} 4|143b18 145r10 149r27 149r48 152r14
206*33 Right{41+9} 4|143b33 152r30
208V14*">"{boolean} 208>18 208>33 4|199b14 209l9 209t11
208r18 Left{59R9} 4|199b18 201r10 205r27 205r48 208r22
208*33 Right{41+9} 4|199b33 208r14
210V14*"<"{boolean} 210>18 210>35 4|155b14 165l9 165t11
210*18 Left{41+9} 4|155b18 164r14
210r35 Right{59R9} 4|155b35 157r10 161r27 161r49 164r21
212V14*">"{boolean} 212>18 212>35 4|211b14 221l9 221t11
212*18 Left{41+9} 4|211b18 220r31
212r35 Right{59R9} 4|211b35 213r10 217r27 217r49 220r14
214U14*Iterate 215>7 216^7 4|874b14 909l8 909t15
215r7 Container{53R9} 4|875b7 890r27 893r27 901r25
216p7 Process 4|876b7 890r10
216r46 Position{59R9}
218U14*Reverse_Iterate 219>7 220^7 4|1431b14 1466l8 1466t23
219r7 Container{53R9} 4|1432b7 1447r27 1450r27 1458r33
220p7 Process 4|1433b7 1447r10
220r46 Position{59R9}
226V13*Iterate<12|32R9[68]> 227>7 4|911b13 934l8 934t15
227r7 Container{53R9} 4|912b7 914r28 929r25
230V13*Iterate<12|32R9[68]> 231>7 232>7 4|936b13 982l8 982t15
231r7 Container{53R9} 4|936b22 939r28 958r29 963r27 977r25
232r7 Start{59R9} 4|936b39 953r10 958r10 963r43 978r25
240R9 Node_Type 241r31 243c9 253r46 4|404r13 664r42 739r21 798r21 1267r36
241P9 Node_Access(240R9) 244r17 245r17 246r17 253r57 285r19 361r19 4|49r27
. 52r26 52r46 55r28 55r48 58r27 58r47 61r33 61r55 64r31 64r51 67r32 67r53
. 70r32 77r33 77r53 80r31 82r40 87r15 92r15 254r37 264r37 285r23 310r27 356r23
. 402r33 402r53 403r25 442r11 458r11 472r11 499r23 529r11 574r23 649r23 662r31
. 664r53 724r32 737r32 783r32 796r32 832r14 850r15 864r15 878r38 888r38 1069r26
. 1069r46 1114r26 1146r28 1146r48 1170r26 1254r66 1265r66 1267r17 1349r23
. 1380r23 1435r38 1445r38 1472r27 1472r47 1482r15 1493r31 1493r51 1502r33
. 1502r55 1511r32 1511r53 1579r19 1591r19
244p7 Parent{241P9} 4|407m24 671m9 742m32 801m32 1148r19 1504m12
245p7 Left{241P9} 4|408m24 672m9 743m32 802m32 1071r19 1495m12
246p7 Right{241P9} 4|409m24 673m9 744m32 803m32 1474r19 1513m12
247e7 Color{5|35E9} 4|312r19 404m24 404r42 741m32 800m32 1486m12
248*7 Key{41+9} 4|140r24 140r41 152r24 164r32 196r25 196r41 208r32 220r25
. 266r37 405m24 405r42 640r25 708m24 739m32 798m32 835r12 835r20 837r15 837r23
. 855r20 867r27 998r28 1061r24 1228m48 1269r38 1392m12 1551m48 1594r39
249*7 Element{42+9} 4|266r59 343m38 369m29 406m24 406r42 495r28 506r19 626r25
. 709m24 740m32 840r19 840r31 1047r24 1229m52 1270r42 1336m38 1362m29 1393m12
. 1424m21 1552m52 1595r43
252K12 Tree_Types[5|40] 256r14 264r8 4|100r47
256r7 Tree{5|41R12[252]} 348m35 4|134r42 137r43 149r42 161r43 173r29 173r41
. 190r42 193r43 205r42 217r43 232m25 239m57 277r28 285r65 303m24 334r37 338m55
. 356r62 364m66 419m42 442r50 449m56 458r36 462m59 472r36 476m59 492r46 499r62
. 529r50 533m59 546m54 557m57 574r62 585m39 621m39 635m39 649r63 703r23 751m20
. 810m20 824r24 893m37 901r35 914m38 939m38 963r37 995r46 1006m39 1042m39
. 1056m39 1080r24 1092m30 1092m53 1110r46 1166r46 1214r46 1218m51 1281m31
. 1327r37 1331m55 1349r62 1357m66 1380r62 1387r20 1416r20 1421r37 1450m37
. 1458r43 1537r37 1541m42 1601r32
259U25 Adjust<11|52p14> 259=33 4|230b14 233l8 233t14
259r33 Container{53R9} 4|230b22 232m15 232r15
261U25 Finalize=261:67<11|53p14>
261r35 Container{53R9}
268U14 Write 269^7 270>7 4|1573b14 1602l8 1602t13
269p7 Stream(13|39R9) 4|1574b7 1601r14
270r7 Container{53R9} 4|1575b7 1601r22
274U14 Read 275^7 276<7 4|1249b14 1282l8 1282t12
275p7 Stream(13|39R9) 4|1250b7 1281r13
276r7 Container{53R9} 4|1251b7 1281m21 1281r21
280P9 Map_Access(53R9) 281r8 284r19 302r22 360r19
284p7 Container{280P9} 4|134r31 134r32 137r32 137r33 149r31 149r32 161r32
. 161r33 190r31 190r32 193r32 193r33 205r31 205r32 217r32 217r33 324r19 329r19
. 338r41 344r50 427r19 438m16 492r35 492r36 756m16 815m16 958r16 995r35 995r36
. 1110r35 1110r36 1121r34 1130r19 1134r19 1166r35 1166r36 1178r34 1187r19
. 1191r19 1214r35 1214r36 1218r40 1218r41 1317r19 1322r19 1331r41 1337r50
. 1411r19 1532r19
285p7 Node{241P9} 4|126r15 130r16 134r53 137r55 140r18 140r19 140r35 140r36
. 145r15 149r53 152r18 152r19 157r16 161r55 164r26 164r27 182r15 186r16 190r53
. 193r55 196r19 196r20 196r35 196r36 201r15 205r53 208r26 208r27 213r16 217r55
. 220r19 220r20 334r52 343r32 343r33 422r19 432r42 435r61 436m22 487r19 492r61
. 495r22 495r23 708r18 708r19 709r18 709r19 753m19 812m19 963r49 978r31 990r19
. 995r61 998r22 998r23 1110r61 1114r72 1166r61 1171r47 1209r19 1214r61 1228r42
. 1228r43 1229r46 1229r47 1327r52 1336r32 1336r33 1406r19 1421r52 1424r15
. 1424r16 1527r19 1537r52 1551r42 1551r43 1552r46 1552r47
288U14 Write 289^7 290>7 4|1604b14 1610l8 1610t13
289p7 Stream(13|39R9) 4|1605b7
290r7 Item{59R9} 4|1606b7
294U14 Read 295^7 296<7 4|1284b14 1290l8 1290t12
295p7 Stream(13|39R9) 4|1285b7
296r7 Item{59R9} 4|1286b7
300R9 Reference_Control_Type<11|48R9> 303e17 305P25 305r50 308P25 308r52
. 314r20 332r20 4|235r39 553r41 11|51P14
302p10 Container{280P9} 4|237r18 239r43 555r18 557r43 565m18
305U25 Adjust<11|52p14> 305=33 4|235b14 247l8 247t14
305r33 Control{300R9} 4|235b22 237r10 239r35
308U25 Finalize<11|53p14> 308=35 4|553b14 567l8 567t16
308r35 Control{300R9} 4|553b24 555r10 557r35 565m10
314r10 Control{300R9} 4|344m13 370m13
317U14 Read 318^7 319<7 4|1300b14 1306l8 1306t12
318p7 Stream(13|39R9) 4|1301b7
319r7 Item{99R9} 4|1302b7
323U14 Write 324^7 325>7 4|1620b14 1626l8 1626t13
324p7 Stream(13|39R9) 4|1621b7
325r7 Item{99R9} 4|1622b7
332r10 Control{300R9} 4|1337m13 1363m13
335U14 Read 336^7 337<7 4|1292b14 1298l8 1298t12
336p7 Stream(13|39R9) 4|1293b7
337r7 Item{104R9} 4|1294b7
341U14 Write 342^7 343>7 4|1612b14 1618l8 1618t13
342p7 Stream(13|39R9) 4|1613b7
343r7 Item{104R9} 4|1614b7
357R9 Iterator<11|55R9><12|32R9[68]> 362e14 364P25 364r51 366P24 366r40 367P24
. 367r40 369P24 370r18 373P24 374r18 4|542r40 594r29 927r28 975r28 1015r28
. 1126r18 1183r18 11|58P14 19|42p14
360p7 Container{280P9} 4|544r17 546r40 610r23 610r24 612r32 929m12 977m12
. 1031r23 1031r24 1033r32 1134r39 1191r39
361p7 Node{241P9} 4|609r17 612r50 930m12 978m12 1030r17 1033r50
364U25 Finalize<11|59p14> 364=35 4|542b14 551l8 551t16
364r35 Object{357R9} 4|542b24 544r10 546r33
366V24 First{59R9}<12|26p13> 366>31 4|594b13 614l8 614t13
366r31 Object{357R9} 4|594b20 609r10 610r17 612r25 612r43
367V24 Last{59R9}<12|34p13> 367>31 4|1015b13 1035l8 1035t12
367r31 Object{357R9} 4|1015b19 1030r10 1031r17 1033r25 1033r43
369V24 Next{59R9}<12|28p13> 370>7 371>7 4|1125b13 1140l8 1140t12
370r7 Object{357R9} 4|1126b7 1134r32
371r7 Position{59R9} 4|1127b7 1130r10 1134r10 1139r20
373V24 Previous{59R9}<12|36p13> 374>7 375>7 4|1182b13 1197l8 1197t16
374r7 Object{357R9} 4|1183b7 1191r32
375r7 Position{59R9} 4|1184b7 1187r10 1191r10 1196r24
X 4 a-coorma.adb
49V13 Color{5|35E9} 49>20 50r19 310b13 313l8 313t13 8|45i19
49p20 Node{3|241P9} 310b20 312r14
52V13 Left{3|241P9} 52>19 53r19 1069b13 1072l8 1072t12 8|41i19
52p19 Node{3|241P9} 1069b19 1071r14
55V13 Parent{3|241P9} 55>21 56r19 1146b13 1149l8 1149t14 8|39i19
55p21 Node{3|241P9} 1146b21 1148r14
58V13 Right{3|241P9} 58>20 59r19 1472b13 1475l8 1475t13 8|43i19
58p20 Node{3|241P9} 1472b20 1474r14
61U14 Set_Parent 61>26 61>46 62r19 1502b14 1505l8 1505t18 8|40i19
61p26 Node{3|241P9} 1502b26 1504r7
61p46 Parent{3|241P9} 1502b46 1504r22
64U14 Set_Left 64>24 64>44 65r19 1493b14 1496l8 1496t16 8|42i19
64p24 Node{3|241P9} 1493b24 1495r7
64p44 Left{3|241P9} 1493b44 1495r20
67U14 Set_Right 67>25 67>45 68r19 1511b14 1514l8 1514t17 8|44i19
67p25 Node{3|241P9} 1511b25 1513r7
67p45 Right{3|241P9} 1511b45 1513r21
70U14 Set_Color 70>25 70>45 71r19 1481b14 1487l8 1487t17 8|46i19
70p25 Node{3|241P9} 1482b7 1486r7
70e45 Color{5|35E9} 1483b7 1486r21
77V13 Copy_Node{3|241P9} 77>24 78r19 106r46 402b13 412l8 412t17
77p24 Source{3|241P9} 402b24 404r35 405r35 406r35
80U14 Free 80=20 103r48 436s7 450s7 463s10 477s10 534s10 662b14 676l8 676t12
. 1274s13
80p20 X{3|241P9} 662b20 667r10 671r7 671r19 672r7 672r17 673r7 673r18 675m19
82V13 Is_Equal_Node_Node{boolean} 82>33 82>36 83r19 118r41 831b13 842l8 842t26
82p33 L{3|241P9} 832b7 835r10 837r21 840r17
82p36 R{3|241P9} 832b10 835r18 837r13 840r29
85V13 Is_Greater_Key_Node{boolean} 86>7 87>7 88r19 115r32 848b13 856l8 856t27
86*7 Left{3|41+9} 849b7 855r26
87p7 Right{3|241P9} 850b7 855r14
90V13 Is_Less_Key_Node{boolean} 91>7 92>7 93r19 114r32 862b13 868l8 868t24
91*7 Left{3|41+9} 863b7 867r14
92p7 Right{3|241P9} 864b7 867r21
99K12 Tree_Operations[8|48] 103r11 106r11 108r8 112r32 118r10 228r11 258r14
. 299r27 435r7 449r7 462r10 476r10 533r10 882r14 1088r11 1114r41 1171r12
. 1258r14 1439r14 1583r14
102U14 Delete_Tree[8|89] 106r57 299r58
105V13 Copy_Tree[8|95]{3|241P9} 228r43
110K12 Key_Ops[6|50] 285r38 356r38 442r26 499r38 529r26 574r38 649r38 728r13
. 731r13 787r13 790r13 1349r38 1380r38
117V13 Is_Equal[8|76]{boolean} 173s14
227U14 Adjust[8|103] 232s7
239r13 T{5|41R12[3|252]} 240r33 241r33
240i13 B{natural} 243r13 243r18
241i13 L{natural} 244r13 244r18
254U17 Insert_Item 254>30 255r22 258r49 264b17 267l11 267t22
254p30 Node{3|241P9} 264b30 266r32 266r54
257U17 Insert_Items[8|125] 277s7
285p7 Node{3|241P9} 288r10 292r53
299U14 Clear[8|111] 303s7 1088r41 1258r44
338r10 T{5|41R12[3|252]} 339r30 340r30
339i10 B{natural} 346r13 346r18
340i10 L{natural} 347r13 347r18
342r17 R{3|99R9}
356p7 Node{3|241P9} 359r10 369r24
364r10 T{5|41R12[3|252]} 365r30 366r30
365i10 B{natural} 372r13 372r18
366i10 L{natural} 373r13 373r18
368r17 R{3|99R9}
393r14 Target{3|53R9} 394m10 394r10
403p7 Target{3|241P9} 411r14
419r7 Tree{5|41R12[3|252]} 432r27 435r46
442p7 X{3|241P9} 445r10 449r62 450m13 450r13
458p7 X{3|241P9} 461r10 462r65 463m16 463r16
472p7 X{3|241P9} 475r10 476r65 477m16 477r16
499p7 Node{3|241P9} 502r10 506r14
529p7 X{3|241P9} 532r10 533r65 534m16 534r16
546i13 B{natural} 548r13 548r18
557r13 T{5|41R12[3|252]} 558r33 559r33
558i13 B{natural} 561r13 561r18
559i13 L{natural} 562r13 562r18
574p7 Node{3|241P9} 576r18 577r61
585r7 T{5|41R12[3|252]} 587r10 590r56
621r7 T{5|41R12[3|252]} 623r10 626r17
635r7 T{5|41R12[3|252]} 637r10 640r17
649p7 Node{3|241P9} 651r10 654r56
663U17 Deallocate[16|20] 675s7
696r7 Position{3|59R9} 700m41 708r10 709r10
697b7 Inserted{boolean} 700m51 702r14
724V16 New_Node{3|241P9} 725r22 728r42 737b16 745l11 745t19
727U17 Insert_Post[6|55] 731r49
730U17 Insert_Sans_Hint[6|74] 750s7
764r7 Position{3|59R9} 765r28 770m41
767b7 Inserted{boolean} 770m51 772r14
783V16 New_Node{3|241P9} 784r22 787r42 796b16 804l11 804t19
786U17 Insert_Post[6|55] 790r49
789U17 Insert_Sans_Hint[6|74] 809s7
876r46 Position{3|59R9}
878U17 Process_Node 878>31 879r22 882r49 888b17 891l11 891t23
878p31 Node{3|241P9} 888b31 890r58
881U17 Local_Iterate[8|125] 901s10
893i7 B{natural} 898r7 898r12 904r13 904r18 908r7 908r12
914i7 B{natural} 932r10 932r15
927r14 It{3|357R9}
939i7 B{natural} 980r10 980r15
975r14 It{3|357R9}
1006r7 T{5|41R12[3|252]} 1008r10 1011r56
1042r7 T{5|41R12[3|252]} 1044r10 1047r17
1056r7 T{5|41R12[3|252]} 1058r10 1061r17
1087U14 Move[8|117] 1092s7
1114p10 Node{3|241P9} 1117r13 1121r45
1170p10 Node{3|241P9} 1174r13 1178r45
1205*45 Key{3|41+9}
1206*45 Element{3|42+9}
1218r10 T{5|41R12[3|252]} 1220r30 1221r30
1220i10 B{natural} 1224r10 1224r15 1236r16 1236r21 1241r10 1241r15
1221i10 L{natural} 1225r10 1225r15 1235r16 1235r21 1240r10 1240r15
1228*13 K{3|41+9} 1232r22
1229*13 E{3|42+9} 1232r25
1253V16 Read_Node{3|241P9} 1254^10 1255r22 1258r51 1264b16 1276l11 1276t20
1254p10 Stream(13|39R9) 1265b10 1269r25 1270r29
1257U17 Read[8|150] 1281s7
1267p10 Node{3|241P9} 1269r33 1270r37 1271r17 1274m19 1274r19
1331r10 T{5|41R12[3|252]} 1332r30 1333r30
1332i10 B{natural} 1339r13 1339r18
1333i10 L{natural} 1340r13 1340r18
1335r17 R{3|104R9}
1349p7 Node{3|241P9} 1352r10 1362r24
1357r10 T{5|41R12[3|252]} 1358r30 1359r30
1358i10 B{natural} 1365r13 1365r18
1359i10 L{natural} 1366r13 1366r18
1361r17 R{3|104R9}
1380p7 Node{3|241P9} 1383r10 1392r7 1393r7
1433r46 Position{3|59R9}
1435U17 Process_Node 1435>31 1436r22 1439r57 1445b17 1448l11 1448t23
1435p31 Node{3|241P9} 1445b31 1447r58
1438U17 Local_Reverse_Iterate[8|131] 1458s10
1450i7 B{natural} 1455r7 1455r12 1461r13 1461r18 1465r7 1465r12
1523*46 Key{3|41+9}
1524*46 Element{3|42+9}
1541r10 T{5|41R12[3|252]} 1543r30 1544r30
1543i10 B{natural} 1547r10 1547r15 1560r16 1560r21 1565r10 1565r15
1544i10 L{natural} 1548r10 1548r15 1559r16 1559r21 1564r10 1564r15
1551*13 K{3|41+9} 1555r22
1552*13 E{3|42+9} 1555r25
1577U17 Write_Node 1578^10 1579>10 1580r22 1583r45 1589b17 1596l11 1596t21
1578p10 Stream(13|39R9) 1590b10 1594r26 1595r30
1579p10 Node{3|241P9} 1591b10 1594r34 1595r38
1582U17 Write[8|139] 1601s7
X 5 a-crbltr.ads
32K24*Red_Black_Trees 3|36w29 247r17 247r47 253r10 263r8 4|32r21 35r21 100r11
. 111r10 741r43 800r43 5|75e35
35E9*Color_Type 3|247r33 4|49r47 70r53 310r47 1483r15 5|35e35
35n24*Red{35E9} 3|247r63 4|741r59 800r59
40k12*Generic_Tree_Types 3|253r26 5|49e26
41R12 Tree_Type 3|256r25[252] 4|239r17[3|252] 338r14[3|252] 364r14[3|252]
. 419r14[3|252] 557r17[3|252] 585r11[3|252] 621r11[3|252] 635r11[3|252] 1006r11[3|252]
. 1042r11[3|252] 1056r11[3|252] 1218r14[3|252] 1331r14[3|252] 1357r14[3|252]
. 1541r14[3|252]
42p10 First{3|241P9} 3|348m44[252] 4|458r41[3|252] 587r12[3|252] 590r58[3|252]
. 623r12[3|252] 626r18[3|252] 626r19[3|252] 637r12[3|252] 640r18[3|252] 640r19[3|252]
43p10 Last{3|241P9} 3|349m44[252] 4|472r41[3|252] 1008r12[3|252] 1011r58[3|252]
. 1044r12[3|252] 1047r18[3|252] 1047r19[3|252] 1058r12[3|252] 1061r18[3|252]
. 1061r19[3|252]
44p10 Root{3|241P9} 3|350m44[252]
45i10 Length{2|20I9} 3|351m44[252] 4|824r29[3|252] 1080r29[3|252]
46i10 Busy{natural} 3|352m44[252] 4|240m35[3|252] 339m32[3|252] 365m32[3|252]
. 546m59[3|252] 558m35[3|252] 893m66[3|252] 914m67[3|252] 939m67[3|252] 1220m32[3|252]
. 1332m32[3|252] 1358m32[3|252] 1450m66[3|252] 1543m32[3|252]
47i10 Lock{natural} 3|353m44[252] 4|241m35[3|252] 340m32[3|252] 366m32[3|252]
. 559m35[3|252] 703r28[3|252] 1221m32[3|252] 1333m32[3|252] 1359m32[3|252]
. 1387r25[3|252] 1416r25[3|252] 1544m32[3|252]
X 6 a-crbtgk.ads
36K17 Tree_Operations 4|112r9
40+9 Key_Type 4|113r9
42V18 Is_Less_Key_Node{boolean} 4|114r9
46V18 Is_Greater_Key_Node{boolean} 4|115r9
50k40*Generic_Keys 4|35w37 111r26 6|192e48
55u14 Generic_Insert_Post 4|728r21[110] 787r21[110]
74u14 Generic_Conditional_Insert 4|731r21[110] 790r21[110]
156V13 Find{3|241P9} 4|356s46[110] 442s34[110] 499s46[110] 529s34[110] 574s46[110]
. 1349s46[110] 1380s46[110]
161V13 Ceiling{3|241P9} 4|285s46[110]
166V13 Floor{3|241P9} 4|649s46[110]
X 8 a-crbtgo.ads
48k40*Generic_Operations 4|32w37 100r27 8|163e54
64V13 Vet{boolean} 4|134s22[99] 137s22[99] 149s22[99] 161s22[99] 190s22[99]
. 193s22[99] 205s22[99] 217s22[99] 334s22[99] 432s22[99] 492s22[99] 963s22[99]
. 995s22[99] 1110s22[99] 1166s22[99] 1214s22[99] 1327s22[99] 1421s22[99]
. 1537s22[99]
68V13 Next{3|241P9} 4|1114s57[99]
71V13 Previous{3|241P9} 4|1171s28[99]
76v13 Generic_Equal 4|118r26[99]
81U14 Delete_Node_Sans_Free 4|435s23[99] 449s23[99] 462s26[99] 476s26[99]
. 533s26[99]
89u14 Generic_Delete_Tree 4|103r27[99]
95v13 Generic_Copy_Tree 4|106r27[99]
103u14 Generic_Adjust 4|228r27[99]
111u14 Generic_Clear 4|299r43[99]
117u14 Generic_Move 4|1088r27[99]
117r28 Target{5|41R12[3|252]} 4|1092r13[1087]
117r36 Source{5|41R12[3|252]} 4|1092r36[1087]
125u14 Generic_Iteration 4|258r30[99] 882r30[99]
131u14 Generic_Reverse_Iteration 4|1439r30[99]
139u14 Generic_Write 4|1583r30[99]
150u14 Generic_Read 4|1258r30[99]
X 11 a-finali.ads
40K13*Finalization 3|37w18 255r24 265r12 11|73e21
48H9*Controlled<19|40R9> 3|255r37 301r11 348r19 4|344r25 370r25 1337r25 1363r25
. 11|64e72
51U14*Initialize<19|44p14>
55H9*Limited_Controlled<19|40R9> 3|357r25 4|928r10 976r10 11|71e55
58U14*Initialize<19|44p14>
X 12 a-iteint.ads
21k13*Iterator_Interfaces 3|34w10 69r10 12|39e28
24h9 Forward_Iterator
32h9 Reversible_Iterator<24R9[3|68]> 3|228r38[68] 233r38[68] 358r30[68] 4|912r55[3|68]
. 937r38[3|68]
X 13 a-stream.ads
36K13*Streams 3|38w18 266r12 13|84e16
39H9*Root_Stream_Type 3|269r35 275r35 289r32 295r32 318r32 324r32 336r32
. 342r32 4|1250r35 1254r35 1265r35 1285r32 1293r32 1301r32 1574r35 1578r35
. 1590r35 1605r32 1613r32 1621r32 13|67e64
X 16 a-uncdea.ads
20u15*Unchecked_Deallocation 4|30w10 664r18
X 17 system.ads
42K9*System 4|38w6 38r23 17|160e11
69M9*Address 4|38r30
86V14*"="{boolean} 4|272r25
X 19 s-finroo.ads
42U14*Adjust