MINI MINI MANI MO

V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P ZX

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

U ada.containers.ordered_maps%b  a-coorma.adb	088a50f8 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.ads		a-stream.ali
W ada.unchecked_deallocation%s
W system%s		system.ads		system.ali

U ada.containers.ordered_maps%s  a-coorma.ads	33a4f9f3 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.ads		a-stream.ali

D ada.ads		20121213103024 3ffc8e18
D a-contai.ads		20121213103024 61e5e089
D a-coorma.ads		20121213103024 e8d8f2ba
D a-coorma.adb		20121213103024 aedd3d48
D a-crbltr.ads		20121213103024 b8a2dc05
D a-crbtgk.ads		20121213103024 18ae3fab
D a-crbtgk.adb		20121213103024 4933aa9d
D a-crbtgo.ads		20121213103024 375f6f61
D a-crbtgo.adb		20121213103024 86232183
D a-except.ads		20121213103024 10fcae55
D a-finali.ads		20121213103024 52ecdc1b
D a-iteint.ads		20121213103024 7c7305e9
D a-stream.ads		20121213103024 2ca4ee37
D a-tags.ads		20121213103024 6c0509d0
D a-unccon.ads		20121213103024 f9eb8f06
D a-uncdea.ads		20121213103024 f15a5ed1
D system.ads		20121213103024 90249111
D s-exctab.ads		20121213103029 66e51330
D s-finroo.ads		20121213103024 4ff27390
D s-parame.ads		20121213103024 b6e20cc0
D s-soflin.ads		20121213103024 24c8153c
D s-stache.ads		20121213103024 596fc1b4
D s-stalib.ads		20130106093355 f78bcf95
D s-stoele.ads		20121213103024 facd7d98
D s-stoele.adb		20121213103024 afc5dc80
D s-traent.ads		20121213103024 5221ee41
X 1 ada.ads
16K9*Ada 19e8 3|34r6 36r14 37r14 38r14 47r9 69r6 255r20 265r8 266r8 357r5
. 4|30r6 32r6 35r6 40r14 684r14 1648r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 3|36r18 47r13 357r9 4|32r10 35r10 40r18 1648r9
20I9*Count_Type<integer> 3|73r45 4|1098r45
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|106r15 111r15 133r32 163r41 175r25
. 219r41 231r25 304r45 374r19 402r46 461r52 518r45 533r44 548r53 593r42 654r48
. 668r43 713r19 739r19 781r19 799r19 869r15 883r15 1008r44 1075r47 1225r55
. 1248r17 1289r10 1367r19 1397r19 1543r56 1571r17 1614r10
42+9 Element_Type 45r37 57r28 81r48 86r19 91r57 97r64 100r43 104r51 137r19
. 150r19 155r19 160r19 174r52 180r51 194r62 249r25 312r43 330r34 4|505r48
. 518r62 640r52 714r19 740r19 782r19 1061r51 1226r55 1249r17 1290r10 1398r19
. 1423r19 1544r63 1572r17 1615r10
44V19 "<"{boolean} 44>23 44>29 4|160s28 172s28 184s19 216s29 228s20 240s29
. 535s15 536s23 855s16 857s19 875s24 887s19
44*23 Left{41+9}
44*29 Right{41+9}
45V19 "="{boolean} 45>23 45>29 4|860s27
45*23 Left{42+9}
45*29 Right{42+9}
47k24*Ordered_Maps 2|16k13 3|41z9 42z9 44z19 45z19 357l20 357e32 4|40b29
. 1648l20 1648t32
51V13*Equivalent_Keys{boolean} 51>30 51>36 4|533b13 542l8 542t23
51*30 Left{41+9} 4|533b30 535r10 536r25
51*36 Right{41+9} 4|533b36 535r17 536r17
53R9*Map 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|191r32 250r41 273r38 273r52 304r34
. 321r40 340r27 373r27 402r35 411r28 411r40 413r23 438r41 461r41 477r47 491r46
. 518r34 548r42 593r31 604r32 640r40 654r36 668r32 712r26 738r26 780r26 798r26
. 842r35 895r19 932r19 956r34 1025r31 1061r39 1075r35 1098r33 1110r36 1110r57
. 1271r23 1333r34 1366r34 1396r26 1421r26 1452r19 1541r26 1595r19 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 4|51r57
. 52r57 56r18 56r33 60r18 60r33 144r32 163r25 175r43 200r32 219r25 231r43
. 304r62 312r14 341r19 438r64 505r33 593r59 597r22 604r44 610r17 614r46 632r17
. 668r60 674r17 702r37 716r18 741r23 784r18 800r23 896r57 910r19 956r47 1008r29
. 1025r43 1031r17 1035r45 1053r17 1119r38 1124r30 1124r45 1141r17 1147r18
. 1147r33 1175r42 1180r34 1180r49 1198r17 1204r18 1204r33 1224r18 1306r20
. 1334r19 1422r19 1453r57 1467r19 1542r19 1626r16
62r4*Empty_Map{53R9} 347c4
64r4*No_Element{59R9} 355c4 4|309r17 404r39 596r35 608r17 672r17 704r26 973r18
. 1029r17 1126r21 1127r17 1138r20 1151r17 1182r21 1183r17 1195r20 1208r17
66V13*Has_Element{boolean} 66>26 69r39 4|702b13 705l8 705t19
66r26 Position{59R9} 4|702b26 704r14
68K12*Map_Iterator_Interfaces[12|21] 228r14 233r14 4|43r6 932r31 957r14
71V14*"="{boolean} 71>18 71>24 4|191b14 194l9 194t11
71r18 Left{53R9} 4|191b18 193r24
71r24 Right{53R9} 4|191b24 193r35
73V13*Length{2|20I9} 73>21 4|1098b13 1101l8 1101t14
73r21 Container{53R9} 4|1098b21 1100r14
75V13*Is_Empty{boolean} 75>23 4|842b13 845l8 845t16
75r23 Container{53R9} 4|842b23 844r14
77U14*Clear 77=21 261r67 4|296s14 321b14 324l8 324t13
77r21 Container{53R9} 4|321b21 323m14 323r14
79V13*Key{41+9} 79>18 4|1008b13 1019l8 1019t11
79r18 Position{59R9} 4|1008b18 1010r10 1015r27 1015r52 1018r14
81V13*Element{42+9} 81>22 4|505b13 516l8 516t15
81r22 Position{59R9} 4|505b22 507r10 512r27 512r52 515r14
83U14*Replace_Element 84=7 85>7 86>7 4|1420b14 1445l8 1445t23
84r7 Container{53R9} 4|1421b7 1431m32 1431r32 1436r10 1441r27
85r7 Position{59R9} 4|1422b7 1426r10 1431r10 1441r43 1444m7
86*7 New_Item{42+9} 4|1423b7 1444r32
88U14*Query_Element 89>7 90^7 4|1223b14 1263l8 1263t21
89r7 Position{59R9} 4|1224b7 1229r10 1234r27 1234r52 1238m32 1238r32 1248r34
. 1249r38
90p7 Process 4|1225b7 1252r13
91*31 Key{41+9}
91*47 Element{42+9}
93U14*Update_Element 94=7 95>7 96^7 4|1540b14 1587l8 1587t22
94r7 Container{53R9} 4|1541b7 1552m32 1552r32 1557r27 1561m32 1561r32
95r7 Position{59R9} 4|1542b7 1547r10 1552r10 1557r43 1571r34 1572m38 1572r38
96p7 Process 4|1543b7 1575r13
97*31 Key{41+9}
97*47 Element{42+9}
99R9*Constant_Reference_Type 100d8 110r34 120r36 311c9 315e17 319r20 321r8
. 325r16 327r8 4|341r34 362r30 374r36 388r30 1322r20 1642r16
104R9*Reference_Type 104d25 115r34 125r36 329c9 333e17 337r20 339r8 343r16
. 345r8 4|1314r20 1334r34 1355r30 1367r36 1381r30 1634r16
108V13*Constant_Reference{99R9} 109>7 110>7 111r19 4|339b13 370l8 370t26
109r7 Container{53R9} 4|340b7 349r32 354r27
110r7 Position{59R9} 4|341b7 344r10 349r10 354r43 358r32 363m24 363r24 364r41
113V13*Reference{104R9} 114=7 115>7 116r19 4|1332b13 1363l8 1363t17
114r7 Container{53R9} 4|1333b7 1342m32 1342r32 1347r27
115r7 Position{59R9} 4|1334b7 1337r10 1342r10 1347r43 1351r32 1356m24 1356r24
. 1357r41
118V13*Constant_Reference{99R9} 119>7 120>7 4|372b13 396l8 396t26
119r7 Container{53R9} 4|373b7 376r52 384r32 390r41
120*7 Key{41+9} 4|374b7 376r68
123V13*Reference{104R9} 124=7 125>7 4|1365b13 1389l8 1389t17
124r7 Container{53R9} 4|1366b7 1369r52 1377m32 1377r32 1383m41 1383r41
125*7 Key{41+9} 4|1367b7 1369r68
128U14*Assign 128=22 128>43 4|273b14 298l8 298t14 414s17
128r22 Target{53R9} 4|273b22 286m10 286r10 292m10 292r10 296m7 296r7 297r21
128r43 Source{53R9} 4|273b43 292r27
130V13*Copy{53R9} 130>19 4|411b13 416l8 416t12
130r19 Source{53R9} 4|411b19 414r25
132U14*Move 132=20 132=41 4|1110b14 1113l8 1113t12
132r20 Target{53R9} 4|1110b20 1112m23 1112r23
132r41 Source{53R9} 4|1110b41 1112m46 1112r46
134U14*Insert 135=7 136>7 137>7 138<7 139<7 4|720s7 737b14 777l8 777t14 790s7
135r7 Container{53R9} 4|738b7 771m10 771r10 776m29 776r29
136*7 Key{41+9} 4|739b7 759r43 772r10
137*7 New_Item{42+9} 4|740b7 760r43
138r7 Position{59R9} 4|741b7 773m10 773r10 776m7
139b7 Inserted{boolean} 4|742b7 774m10
141U14*Insert 142=7 143>7 144<7 145<7 4|797b14 836l8 836t14
142r7 Container{53R9} 4|798b7 830m10 830r10 835m29 835r29
143*7 Key{41+9} 4|799b7 818r43 831r10
144r7 Position{59R9} 4|800b7 832m10 832r10 835m7
145b7 Inserted{boolean} 4|801b7 833m10
147U14*Insert 148=7 149>7 150>7 4|286s17 779b14 795l8 795t14
148r7 Container{53R9} 4|780b7 790m15
149*7 Key{41+9} 4|286r25 781b7 790r26
150*7 New_Item{42+9} 4|286r42 782b7 790r31
152U14*Include 153=7 154>7 155>7 4|711b14 731l8 731t15
153r7 Container{53R9} 4|712b7 720m15 723r13
154*7 Key{41+9} 4|713b7 720r26 728r31
155*7 New_Item{42+9} 4|714b7 720r31 729r35
157U14*Replace 158=7 159>7 160>7 4|1395b14 1414l8 1414t15
158r7 Container{53R9} 4|1396b7 1400r52 1407r10
159*7 Key{41+9} 4|1397b7 1400r68 1412r19
160*7 New_Item{42+9} 4|1398b7 1413r23
162U14*Exclude 162=23 162>47 4|548b14 556l8 556t15
162r23 Container{53R9} 4|548b23 549r40 553m49 553r49
162*47 Key{41+9} 4|548b47 549r56
164U14*Delete 164=22 164>46 4|461b14 471l8 471t14
164r22 Container{53R9} 4|461b22 462r40 469m46 469r46
164*46 Key{41+9} 4|461b46 462r56
166U14*Delete 166=22 166=46 4|438b14 459l8 459t14
166r22 Container{53R9} 4|438b22 439m32 439r32 447m32 447r32
166r46 Position{59R9} 4|438b46 442r10 447r10 452r33 455r52 456m13 456r13
. 458m7
168U14*Delete_First 168=28 4|477b14 485l8 485t20
168r28 Container{53R9} 4|477b28 478r26 482m49 482r49
170U14*Delete_Last 170=27 4|491b14 499l8 499t19
170r27 Container{53R9} 4|491b27 492r26 496m49 496r49
172V13*First{59R9} 172>20 4|604b13 612l8 612t13 630s34
172r20 Container{53R9} 4|604b20 605r29 610r25
174V13*First_Element{42+9} 174>28 4|640b13 648l8 648t21
174r28 Container{53R9} 4|640b28 641r29
176V13*First_Key{41+9} 176>24 4|654b13 662l8 662t17
176r24 Container{53R9} 4|654b24 655r29
178V13*Last{59R9} 178>19 4|1025b13 1033l8 1033t12 1051s34
178r19 Container{53R9} 4|1025b19 1026r29 1031r25
180V13*Last_Element{42+9} 180>27 4|1061b13 1069l8 1069t20
180r27 Container{53R9} 4|1061b27 1062r29
182V13*Last_Key{41+9} 182>23 4|1075b13 1083l8 1083t16
182r23 Container{53R9} 4|1075b23 1076r29
184V13*Next{59R9} 184>19 4|1121s19 1124b13 1143l8 1143t12 1159s14
184r19 Position{59R9} 4|1124b19 1126r10 1130r27 1130r52 1134r63 1141r25
186U14*Next 186=20 4|1119b14 1122l8 1122t12
186r20 Position{59R9} 4|1119b20 1121m7 1121r25
188V13*Previous{59R9} 188>23 4|1177s19 1180b13 1200l8 1200t16 1216s14
188r23 Position{59R9} 4|1180b23 1182r10 1186r27 1186r52 1191r38 1198r25
190U14*Previous 190=24 4|1175b14 1178l8 1178t16
190r24 Position{59R9} 4|1175b24 1177m7 1177r29
192V13*Find{59R9} 192>19 192>36 4|404s14 593b13 598l8 598t12
192r19 Container{53R9} 4|593b19 594r52 597r30
192*36 Key{41+9} 4|593b36 594r68
194V13*Element{42+9} 194>22 194>39 4|518b13 527l8 527t15
194r22 Container{53R9} 4|518b22 519r52
194*39 Key{41+9} 4|518b39 519r68
196V13*Floor{59R9} 196>20 196>37 4|668b13 676l8 676t13
196r20 Container{53R9} 4|668b20 669r53 674r25
196*37 Key{41+9} 4|668b37 669r69
198V13*Ceiling{59R9} 198>22 198>39 4|304b13 313l8 313t15
198r22 Container{53R9} 4|304b22 305r55 312r22
198*39 Key{41+9} 4|304b39 305r71
200V13*Contains{boolean} 200>23 200>40 4|402b13 405l8 405t16
200r23 Container{53R9} 4|402b23 404r20
200*40 Key{41+9} 4|402b40 404r31
202V14*"<"{boolean} 202>18 202>24 4|144b14 161l9 161t11
202r18 Left{59R9} 4|144b18 146r10 154r27 154r48 160r14
202r24 Right{59R9} 4|144b24 150r10 157r27 157r49 160r30
204V14*">"{boolean} 204>18 204>24 4|200b14 217l9 217t11
204r18 Left{59R9} 4|200b18 202r10 210r27 210r48 216r31
204r24 Right{59R9} 4|200b24 206r10 213r27 213r49 216r14
206V14*"<"{boolean} 206>18 206>33 4|163b14 173l9 173t11
206r18 Left{59R9} 4|163b18 165r10 169r27 169r48 172r14
206*33 Right{41+9} 4|163b33 172r30
208V14*">"{boolean} 208>18 208>33 4|219b14 229l9 229t11
208r18 Left{59R9} 4|219b18 221r10 225r27 225r48 228r22
208*33 Right{41+9} 4|219b33 228r14
210V14*"<"{boolean} 210>18 210>35 4|175b14 185l9 185t11
210*18 Left{41+9} 4|175b18 184r14
210r35 Right{59R9} 4|175b35 177r10 181r27 181r49 184r21
212V14*">"{boolean} 212>18 212>35 4|231b14 241l9 241t11
212*18 Left{41+9} 4|231b18 240r31
212r35 Right{59R9} 4|231b35 233r10 237r27 237r49 240r14
214U14*Iterate 215>7 216^7 4|894b14 929l8 929t15
215r7 Container{53R9} 4|895b7 910r27 913r27 921r25
216p7 Process 4|896b7 910r10
216r46 Position{59R9}
218U14*Reverse_Iterate 219>7 220^7 4|1451b14 1486l8 1486t23
219r7 Container{53R9} 4|1452b7 1467r27 1470r27 1478r33
220p7 Process 4|1453b7 1467r10
220r46 Position{59R9}
226V13*Iterate<12|32R9[68]> 227>7 4|931b13 954l8 954t15
227r7 Container{53R9} 4|932b7 934r28 949r25
230V13*Iterate<12|32R9[68]> 231>7 232>7 4|956b13 1002l8 1002t15
231r7 Container{53R9} 4|956b22 959r28 978r29 983r27 997r25
232r7 Start{59R9} 4|956b39 973r10 978r10 983r43 998r25
240R9 Node_Type 241r31 243c9 253r46 4|424r13 684r42 759r21 818r21 1287r36
241P9 Node_Access(240R9) 244r17 245r17 246r17 253r57 285r19 4|46r19 69r27
. 72r26 72r46 75r28 75r48 78r27 78r47 81r33 81r55 84r31 84r51 87r32 87r53
. 90r32 97r33 97r53 100r31 102r40 107r15 112r15 274r37 284r37 305r23 330r27
. 376r23 422r33 422r53 423r25 462r11 478r11 492r11 519r23 549r11 594r23 669r23
. 682r31 684r53 744r32 757r32 803r32 816r32 852r14 870r15 884r15 898r38 908r38
. 1089r26 1089r46 1134r26 1166r28 1166r48 1190r26 1274r66 1285r66 1287r17
. 1369r23 1400r23 1455r38 1465r38 1492r27 1492r47 1502r15 1513r31 1513r51
. 1522r33 1522r55 1531r32 1531r53 1599r19 1611r19
244p7 Parent{241P9} 4|427m24 691m9 762m32 821m32 1168r19 1524m12
245p7 Left{241P9} 4|428m24 692m9 763m32 822m32 1091r19 1515m12
246p7 Right{241P9} 4|429m24 693m9 764m32 823m32 1494r19 1533m12
247e7 Color{5|35E9} 4|332r19 424m24 424r42 761m32 820m32 1506m12
248*7 Key{41+9} 4|160r24 160r41 172r24 184r32 216r25 216r41 228r32 240r25
. 286r37 425m24 425r42 660r25 728m24 759m32 818m32 855r12 855r20 857r15 857r23
. 875r20 887r27 1018r28 1081r24 1248m48 1289r38 1412m12 1571m48 1614r39
249*7 Element{42+9} 4|286r59 363m38 389m29 426m24 426r42 515r28 526r19 646r25
. 729m24 760m32 860r19 860r31 1067r24 1249m52 1290r42 1356m38 1382m29 1413m12
. 1444m21 1572m52 1615r43
252K12 Tree_Types[5|40] 256r14 264r8 4|120r47
256r7 Tree{5|41R12[252]} 348m35 4|154r42 157r43 169r42 181r43 193r29 193r41
. 210r42 213r43 225r42 237r43 252m25 259m57 297r28 305r65 323m24 354r37 358m55
. 376r62 384m66 439m42 462r50 469m56 478r36 482m59 492r36 496m59 512r46 519r62
. 549r50 553m59 566m54 577m57 594r62 605m39 641m39 655m39 669r63 723r23 771m20
. 830m20 844r24 913m37 921r35 934m38 959m38 983r37 1015r46 1026m39 1062m39
. 1076m39 1100r24 1112m30 1112m53 1130r46 1186r46 1234r46 1238m51 1301m31
. 1347r37 1351m55 1369r62 1377m66 1400r62 1407r20 1436r20 1441r37 1470m37
. 1478r43 1557r37 1561m42 1621r32
259U25 Adjust<11|52p14> 259=33 4|250b14 253l8 253t14
259r33 Container{53R9} 4|250b22 252m15 252r15
261U25 Finalize=261:67<11|53p14>
261r35 Container{53R9}
268U14 Write 269^7 270>7 4|1593b14 1622l8 1622t13
269p7 Stream(13|39R9) 4|1594b7 1621r14
270r7 Container{53R9} 4|1595b7 1621r22
274U14 Read 275^7 276<7 4|1269b14 1302l8 1302t12
275p7 Stream(13|39R9) 4|1270b7 1301r13
276r7 Container{53R9} 4|1271b7 1301m21 1301r21
280P9 Map_Access(53R9) 281r8 284r19 302r22 4|45r19
284p7 Container{280P9} 4|154r31 154r32 157r32 157r33 169r31 169r32 181r32
. 181r33 210r31 210r32 213r32 213r33 225r31 225r32 237r32 237r33 344r19 349r19
. 358r41 364r50 447r19 458m16 512r35 512r36 776m16 835m16 978r16 1015r35
. 1015r36 1130r35 1130r36 1141r34 1150r19 1154r19 1186r35 1186r36 1198r34
. 1207r19 1211r19 1234r35 1234r36 1238r40 1238r41 1337r19 1342r19 1351r41
. 1357r50 1431r19 1552r19
285p7 Node{241P9} 4|146r15 150r16 154r53 157r55 160r18 160r19 160r35 160r36
. 165r15 169r53 172r18 172r19 177r16 181r55 184r26 184r27 202r15 206r16 210r53
. 213r55 216r19 216r20 216r35 216r36 221r15 225r53 228r26 228r27 233r16 237r55
. 240r19 240r20 354r52 363r32 363r33 442r19 452r42 455r61 456m22 507r19 512r61
. 515r22 515r23 728r18 728r19 729r18 729r19 773m19 832m19 983r49 998r31 1010r19
. 1015r61 1018r22 1018r23 1130r61 1134r72 1186r61 1191r47 1229r19 1234r61
. 1248r42 1248r43 1249r46 1249r47 1347r52 1356r32 1356r33 1426r19 1441r52
. 1444r15 1444r16 1547r19 1557r52 1571r42 1571r43 1572r46 1572r47
288U14 Write 289^7 290>7 4|1624b14 1630l8 1630t13
289p7 Stream(13|39R9) 4|1625b7
290r7 Item{59R9} 4|1626b7
294U14 Read 295^7 296<7 4|1304b14 1310l8 1310t12
295p7 Stream(13|39R9) 4|1305b7
296r7 Item{59R9} 4|1306b7
300R9 Reference_Control_Type<11|48R9> 303e17 305P25 305r50 308P25 308r52
. 314r20 332r20 4|255r39 573r41 11|51P14
302p10 Container{280P9} 4|257r18 259r43 575r18 577r43 585m18
305U25 Adjust<11|52p14> 305=33 4|255b14 267l8 267t14
305r33 Control{300R9} 4|255b22 257r10 259r35
308U25 Finalize<11|53p14> 308=35 4|573b14 587l8 587t16
308r35 Control{300R9} 4|573b24 575r10 577r35 585m10
314r10 Control{300R9} 4|364m13 390m13
317U14 Read 318^7 319<7 4|1320b14 1326l8 1326t12
318p7 Stream(13|39R9) 4|1321b7
319r7 Item{99R9} 4|1322b7
323U14 Write 324^7 325>7 4|1640b14 1646l8 1646t13
324p7 Stream(13|39R9) 4|1641b7
325r7 Item{99R9} 4|1642b7
332r10 Control{300R9} 4|1357m13 1383m13
335U14 Read 336^7 337<7 4|1312b14 1318l8 1318t12
336p7 Stream(13|39R9) 4|1313b7
337r7 Item{104R9} 4|1314b7
341U14 Write 342^7 343>7 4|1632b14 1638l8 1638t13
342p7 Stream(13|39R9) 4|1633b7
343r7 Item{104R9} 4|1634b7
X 4 a-coorma.adb
42R9 Iterator<11|55R9><12|32R9[3|68]> 47e14 49P25 49r51 51P24 51r40 52P24
. 52r40 54P24 55r18 58P24 59r18 562r40 614r29 947r28 995r28 1035r28 1146r18
. 1203r18 11|58P14 19|42p14
45p7 Container{3|280P9} 564r17 566r40 630r23 630r24 632r32 949m12 997m12
. 1051r23 1051r24 1053r32 1154r39 1211r39
46p7 Node{3|241P9} 629r17 632r50 950m12 998m12 1050r17 1053r50
49U25 Finalize<11|59p14> 49=35 562b14 571l8 571t16
49r35 Object{42R9} 562b24 564r10 566r33
51V24 First{3|59R9}<12|26p13> 51>31 614b13 634l8 634t13
51r31 Object{42R9} 614b20 629r10 630r17 632r25 632r43
52V24 Last{3|59R9}<12|34p13> 52>31 1035b13 1055l8 1055t12
52r31 Object{42R9} 1035b19 1050r10 1051r17 1053r25 1053r43
54V24 Next{3|59R9}<12|28p13> 55>7 56>7 1145b13 1160l8 1160t12
55r7 Object{42R9} 1146b7 1154r32
56r7 Position{3|59R9} 1147b7 1150r10 1154r10 1159r20
58V24 Previous{3|59R9}<12|36p13> 59>7 60>7 1202b13 1217l8 1217t16
59r7 Object{42R9} 1203b7 1211r32
60r7 Position{3|59R9} 1204b7 1207r10 1211r10 1216r24
69V13 Color{5|35E9} 69>20 70r19 330b13 333l8 333t13 8|45i19
69p20 Node{3|241P9} 330b20 332r14
72V13 Left{3|241P9} 72>19 73r19 1089b13 1092l8 1092t12 8|41i19
72p19 Node{3|241P9} 1089b19 1091r14
75V13 Parent{3|241P9} 75>21 76r19 1166b13 1169l8 1169t14 8|39i19
75p21 Node{3|241P9} 1166b21 1168r14
78V13 Right{3|241P9} 78>20 79r19 1492b13 1495l8 1495t13 8|43i19
78p20 Node{3|241P9} 1492b20 1494r14
81U14 Set_Parent 81>26 81>46 82r19 1522b14 1525l8 1525t18 8|40i19
81p26 Node{3|241P9} 1522b26 1524m7 1524r7
81p46 Parent{3|241P9} 1522b46 1524r22
84U14 Set_Left 84>24 84>44 85r19 1513b14 1516l8 1516t16 8|42i19
84p24 Node{3|241P9} 1513b24 1515m7 1515r7
84p44 Left{3|241P9} 1513b44 1515r20
87U14 Set_Right 87>25 87>45 88r19 1531b14 1534l8 1534t17 8|44i19
87p25 Node{3|241P9} 1531b25 1533m7 1533r7
87p45 Right{3|241P9} 1531b45 1533r21
90U14 Set_Color 90>25 90>45 91r19 1501b14 1507l8 1507t17 8|46i19
90p25 Node{3|241P9} 1502b7 1506m7 1506r7
90e45 Color{5|35E9} 1503b7 1506r21
97V13 Copy_Node{3|241P9} 97>24 98r19 126r46 422b13 432l8 432t17
97p24 Source{3|241P9} 422b24 424r35 425r35 426r35
100U14 Free 100=20 123r48 456s7 470s7 483s10 497s10 554s10 682b14 696l8 696t12
. 1294s13
100p20 X{3|241P9} 682b20 687r10 691m7 691r7 691r19 692m7 692r7 692r17 693m7
. 693r7 693r18 695m19
102V13 Is_Equal_Node_Node{boolean} 102>33 102>36 103r19 138r41 851b13 862l8
. 862t26
102p33 L{3|241P9} 852b7 855r10 857r21 860r17
102p36 R{3|241P9} 852b10 855r18 857r13 860r29
105V13 Is_Greater_Key_Node{boolean} 106>7 107>7 108r19 135r32 868b13 876l8
. 876t27
106*7 Left{3|41+9} 869b7 875r26
107p7 Right{3|241P9} 870b7 875r14
110V13 Is_Less_Key_Node{boolean} 111>7 112>7 113r19 134r32 882b13 888l8 888t24
111*7 Left{3|41+9} 883b7 887r14
112p7 Right{3|241P9} 884b7 887r21
119K12 Tree_Operations[8|48] 123r11 126r11 128r8 132r32 138r10 248r11 278r14
. 319r27 455r7 469r7 482r10 496r10 553r10 902r14 1108r11 1134r41 1191r12
. 1278r14 1459r14 1603r14
122U14 Delete_Tree[8|89] 126r57 319r58
125V13 Copy_Tree[8|95]{3|241P9} 248r43
130K12 Key_Ops[6|50] 305r38 376r38 462r26 519r38 549r26 594r38 669r38 748r13
. 751r13 807r13 810r13 1369r38 1400r38
137V13 Is_Equal[8|76]{boolean} 193s14
247U14 Adjust[8|103] 252s7
259r13 T{5|41R12[3|252]} 260r33 261r33
260i13 B{natural} 263r13 263r18
261i13 L{natural} 264r13 264r18
274U17 Insert_Item 274>30 275r22 278r49 284b17 287l11 287t22
274p30 Node{3|241P9} 284b30 286r32 286r54
277U17 Insert_Items[8|125] 297s7
305p7 Node{3|241P9} 308r10 312r53
319U14 Clear[8|111] 323s7 1108r41 1278r44
358r10 T{5|41R12[3|252]} 359r30 360r30
359i10 B{natural} 366r13 366r18
360i10 L{natural} 367r13 367r18
362r17 R{3|99R9}
376p7 Node{3|241P9} 379r10 389m24 389r24
384r10 T{5|41R12[3|252]} 385r30 386r30
385i10 B{natural} 392r13 392r18
386i10 L{natural} 393r13 393r18
388r17 R{3|99R9}
413r14 Target{3|53R9} 414m10 414r10
423p7 Target{3|241P9} 431r14
439r7 Tree{5|41R12[3|252]} 452r27 455r46
462p7 X{3|241P9} 465r10 469r62 470m13 470r13
478p7 X{3|241P9} 481r10 482r65 483m16 483r16
492p7 X{3|241P9} 495r10 496r65 497m16 497r16
519p7 Node{3|241P9} 522r10 526r14
549p7 X{3|241P9} 552r10 553r65 554m16 554r16
566i13 B{natural} 568r13 568r18
577r13 T{5|41R12[3|252]} 578r33 579r33
578i13 B{natural} 581r13 581r18
579i13 L{natural} 582r13 582r18
594p7 Node{3|241P9} 596r18 597r61
605r7 T{5|41R12[3|252]} 607r10 610r56
641r7 T{5|41R12[3|252]} 643r10 646r17
655r7 T{5|41R12[3|252]} 657r10 660r17
669p7 Node{3|241P9} 671r10 674r56
683U17 Deallocate[16|20] 695s7
716r7 Position{3|59R9} 720m41 728m10 729m10
717b7 Inserted{boolean} 720m51 722r14
744V16 New_Node{3|241P9} 745r22 748r42 757b16 765l11 765t19
747U17 Insert_Post[6|55] 751r49
750U17 Insert_Sans_Hint[6|74] 770s7
784r7 Position{3|59R9} 785r28 790m41
787b7 Inserted{boolean} 790m51 792r14
803V16 New_Node{3|241P9} 804r22 807r42 816b16 824l11 824t19
806U17 Insert_Post[6|55] 810r49
809U17 Insert_Sans_Hint[6|74] 829s7
896r46 Position{3|59R9}
898U17 Process_Node 898>31 899r22 902r49 908b17 911l11 911t23
898p31 Node{3|241P9} 908b31 910r58
901U17 Local_Iterate[8|125] 921s10
913i7 B{natural} 918r7 918r12 924r13 924r18 928r7 928r12
934i7 B{natural} 952r10 952r15
947r14 It{42R9}
959i7 B{natural} 1000r10 1000r15
995r14 It{42R9}
1026r7 T{5|41R12[3|252]} 1028r10 1031r56
1062r7 T{5|41R12[3|252]} 1064r10 1067r17
1076r7 T{5|41R12[3|252]} 1078r10 1081r17
1107U14 Move[8|117] 1112s7
1134p10 Node{3|241P9} 1137r13 1141r45
1190p10 Node{3|241P9} 1194r13 1198r45
1225*45 Key{3|41+9}
1226*45 Element{3|42+9}
1238r10 T{5|41R12[3|252]} 1240r30 1241r30
1240i10 B{natural} 1244r10 1244r15 1256r16 1256r21 1261r10 1261r15
1241i10 L{natural} 1245r10 1245r15 1255r16 1255r21 1260r10 1260r15
1248*13 K{3|41+9} 1252r22
1249*13 E{3|42+9} 1252r25
1273V16 Read_Node{3|241P9} 1274^10 1275r22 1278r51 1284b16 1296l11 1296t20
1274p10 Stream(13|39R9) 1285b10 1289r25 1290r29
1277U17 Read[8|150] 1301s7
1287p10 Node{3|241P9} 1289m33 1289r33 1290m37 1290r37 1291r17 1294m19 1294r19
1351r10 T{5|41R12[3|252]} 1352r30 1353r30
1352i10 B{natural} 1359r13 1359r18
1353i10 L{natural} 1360r13 1360r18
1355r17 R{3|104R9}
1369p7 Node{3|241P9} 1372r10 1382m24 1382r24
1377r10 T{5|41R12[3|252]} 1378r30 1379r30
1378i10 B{natural} 1385r13 1385r18
1379i10 L{natural} 1386r13 1386r18
1381r17 R{3|104R9}
1400p7 Node{3|241P9} 1403r10 1412m7 1412r7 1413m7 1413r7
1453r46 Position{3|59R9}
1455U17 Process_Node 1455>31 1456r22 1459r57 1465b17 1468l11 1468t23
1455p31 Node{3|241P9} 1465b31 1467r58
1458U17 Local_Reverse_Iterate[8|131] 1478s10
1470i7 B{natural} 1475r7 1475r12 1481r13 1481r18 1485r7 1485r12
1543*46 Key{3|41+9}
1544*46 Element{3|42+9}
1561r10 T{5|41R12[3|252]} 1563r30 1564r30
1563i10 B{natural} 1567r10 1567r15 1580r16 1580r21 1585r10 1585r15
1564i10 L{natural} 1568r10 1568r15 1579r16 1579r21 1584r10 1584r15
1571*13 K{3|41+9} 1575r22
1572*13 E{3|42+9} 1575r25
1597U17 Write_Node 1598^10 1599>10 1600r22 1603r45 1609b17 1616l11 1616t21
1598p10 Stream(13|39R9) 1610b10 1614r26 1615r30
1599p10 Node{3|241P9} 1611b10 1614r34 1615r38
1602U17 Write[8|139] 1621s7
X 5 a-crbltr.ads
32K24*Red_Black_Trees 3|36w29 247r17 247r47 253r10 263r8 4|32r21 35r21 120r11
. 131r10 761r43 820r43 5|75e35
35E9*Color_Type 3|247r33 4|69r47 90r53 330r47 1503r15 5|35e35
35n24*Red{35E9} 3|247r63 4|761r59 820r59
40k12*Generic_Tree_Types 3|253r26 5|49e26
41R12 Tree_Type 3|256r25[252] 4|259r17[3|252] 358r14[3|252] 384r14[3|252]
. 439r14[3|252] 577r17[3|252] 605r11[3|252] 641r11[3|252] 655r11[3|252] 1026r11[3|252]
. 1062r11[3|252] 1076r11[3|252] 1238r14[3|252] 1351r14[3|252] 1377r14[3|252]
. 1561r14[3|252]
42p10 First{3|241P9} 3|348m44[252] 4|478r41[3|252] 607r12[3|252] 610r58[3|252]
. 643r12[3|252] 646r18[3|252] 646r19[3|252] 657r12[3|252] 660r18[3|252] 660r19[3|252]
43p10 Last{3|241P9} 3|349m44[252] 4|492r41[3|252] 1028r12[3|252] 1031r58[3|252]
. 1064r12[3|252] 1067r18[3|252] 1067r19[3|252] 1078r12[3|252] 1081r18[3|252]
. 1081r19[3|252]
44p10 Root{3|241P9} 3|350m44[252]
45i10 Length{2|20I9} 3|351m44[252] 4|844r29[3|252] 1100r29[3|252]
46i10 Busy{natural} 3|352m44[252] 4|260m35[3|252] 359m32[3|252] 385m32[3|252]
. 566m59[3|252] 578m35[3|252] 913m66[3|252] 934m67[3|252] 959m67[3|252] 1240m32[3|252]
. 1352m32[3|252] 1378m32[3|252] 1470m66[3|252] 1563m32[3|252]
47i10 Lock{natural} 3|353m44[252] 4|261m35[3|252] 360m32[3|252] 386m32[3|252]
. 579m35[3|252] 723r28[3|252] 1241m32[3|252] 1353m32[3|252] 1379m32[3|252]
. 1407r25[3|252] 1436r25[3|252] 1564m32[3|252]
X 6 a-crbtgk.ads
36K17 Tree_Operations 4|132r9
40+9 Key_Type 4|133r9
42V18 Is_Less_Key_Node{boolean} 4|134r9
46V18 Is_Greater_Key_Node{boolean} 4|135r9
50k40*Generic_Keys 4|35w37 131r26 6|192e48
55u14 Generic_Insert_Post 4|748r21[130] 807r21[130]
74u14 Generic_Conditional_Insert 4|751r21[130] 810r21[130]
156V13 Find{3|241P9} 4|376s46[130] 462s34[130] 519s46[130] 549s34[130] 594s46[130]
. 1369s46[130] 1400s46[130]
161V13 Ceiling{3|241P9} 4|305s46[130]
166V13 Floor{3|241P9} 4|669s46[130]
X 8 a-crbtgo.ads
48k40*Generic_Operations 4|32w37 120r27 8|163e54
64V13 Vet{boolean} 4|154s22[119] 157s22[119] 169s22[119] 181s22[119] 210s22[119]
. 213s22[119] 225s22[119] 237s22[119] 354s22[119] 452s22[119] 512s22[119]
. 983s22[119] 1015s22[119] 1130s22[119] 1186s22[119] 1234s22[119] 1347s22[119]
. 1441s22[119] 1557s22[119]
68V13 Next{3|241P9} 4|1134s57[119]
71V13 Previous{3|241P9} 4|1191s28[119]
76v13 Generic_Equal 4|138r26[119]
81U14 Delete_Node_Sans_Free 4|455s23[119] 469s23[119] 482s26[119] 496s26[119]
. 553s26[119]
89u14 Generic_Delete_Tree 4|123r27[119]
95v13 Generic_Copy_Tree 4|126r27[119]
103u14 Generic_Adjust 4|248r27[119]
111u14 Generic_Clear 4|319r43[119]
117u14 Generic_Move 4|1108r27[119]
117r28 Target{5|41R12[3|252]} 4|1112r13[1107]
117r36 Source{5|41R12[3|252]} 4|1112r36[1107]
125u14 Generic_Iteration 4|278r30[119] 902r30[119]
131u14 Generic_Reverse_Iteration 4|1459r30[119]
139u14 Generic_Write 4|1603r30[119]
150u14 Generic_Read 4|1278r30[119]
X 11 a-finali.ads
40K13*Finalization 3|37w18 255r24 265r12 11|73e21
48H9*Controlled 3|255r37 301r11 348r19 4|364r25 390r25 1357r25 1383r25 11|64e72
51U14*Initialize<19|44p14>
55H9*Limited_Controlled 4|42r25 948r10 996r10 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] 4|43r30[3|68]
. 932r55[3|68] 957r38[3|68]
X 13 a-stream.ads
36K13*Streams 3|38w18 266r12 13|69e16
39H9*Root_Stream_Type 3|269r35 275r35 289r32 295r32 318r32 324r32 336r32
. 342r32 4|1270r35 1274r35 1285r35 1305r32 1313r32 1321r32 1594r35 1598r35
. 1610r35 1625r32 1633r32 1641r32 13|67e64
X 16 a-uncdea.ads
20u15*Unchecked_Deallocation 4|30w10 684r18
X 17 system.ads
37K9*System 4|38w6 38r23 17|152e11
64M9*Address 4|38r30
78V14*"="{boolean} 4|292r25
X 19 s-finroo.ads
42U14*Adjust