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.indefinite_ordered_maps%b  a-ciorma.adb  9ee020ad 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.indefinite_ordered_maps%s  a-ciorma.ads  dff60b36 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-ciorma.ads		20121213103024 048a007f
D a-ciorma.adb		20121213103024 d4e5bfd8
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 70r6 254r20 264r8 265r8 356r5
. 4|30r6 32r6 35r6 40r14 140r10 143r10 732r13 1781r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 3|36r18 47r13 356r9 4|32r10 35r10 40r18 1781r9
20I9*Count_Type<integer> 3|74r45 4|1171r45
X 3 a-ciorma.ads
41+9 Key_Type 44r37 51r44 80r44 91r55 97r56 121r19 126r19 137r19 144r19 149r19
. 154r19 157r53 159r52 171r48 177r47 187r42 189r45 191r43 193r45 195r46 201r41
. 203r41 205r25 207r25 238r30 4|108r15 113r15 135r32 140r38 179r41 195r25
. 251r41 267r25 343r45 413r19 445r46 466r29 519r52 579r45 594r44 603r53 647r42
. 705r48 719r43 790r19 811r35 840r19 868r26 896r19 937r15 951r15 1077r44
. 1147r47 1296r55 1326r17 1367r26 1367r36 1449r19 1483r19 1504r23 1669r56
. 1704r17 1747r10
42+9 Element_Type 45r37 57r30 82r48 87r19 92r55 98r63 101r43 105r51 138r19
. 145r19 150r19 155r19 169r52 175r51 189r62 239r34 311r43 329r34 4|143r38
. 470r16 561r48 579r62 691r52 791r19 821r42 841r19 869r30 897r19 1132r51
. 1297r55 1327r17 1368r30 1368r44 1484r19 1514r30 1533r19 1571r39 1670r63
. 1705r17 1748r10
44V19 "<"{boolean} 44>23 44>29 4|176s32 192s32 208s19 248s33 264s20 280s33
. 596s23 596s45 927s28 928s31 943s28 954s19
44*23 Left{41+9}
44*29 Right{41+9}
45V19 "="{boolean} 45>23 45>29 4|929s34
45*23 Left{42+9}
45*29 Right{42+9}
47k24*Indefinite_Ordered_Maps 2|16k13 3|41z9 42z9 44z19 45z19 356l20 356e43
. 4|40b29 1781l20 1781t43
51V13*Equivalent_Keys{boolean} 51>30 51>36 4|594b13 597l8 597t23
51*30 Left{41+9} 4|594b30 596r18 596r47
51*36 Right{41+9} 4|594b36 596r25 596r39
53R9*Map 59r41 64r25 72P14 72r32 74p13 74r33 76p13 76r35 78p14 78r40 84p14
. 85r26 94p14 95r26 109p13 110r27 114p13 115r34 119p13 120r27 124p13 125r34
. 129p14 129r38 129r52 131p13 131r28 131r40 133p14 133r36 133r57 135p14 136r26
. 142p14 143r26 147p14 148r26 152p14 153r26 157p14 157r42 159p14 159r41 161p14
. 161r41 163p14 163r47 165p14 165r46 167p13 167r32 169p13 169r40 171p13 171r36
. 173p13 173r31 175p13 175r39 177p13 177r35 187p13 187r31 189p13 189r34 191p13
. 191r32 193p13 193r34 195p13 195r35 209p14 210r19 213p14 214r19 221p13 222r19
. 225p13 226r19 254c9 256e14 258P25 258r52 260r54 267p14 269r19 271r8 273p14
. 275r23 277r8 279r34 346r25 4|215r32 289r41 312r38 312r52 343r34 356r40
. 375r27 412r27 445r35 454r28 454r40 456r23 490r26 519r41 535r47 548r46 579r34
. 603r42 647r31 658r32 691r40 705r36 719r32 789r26 839r26 895r26 916r35 962r19
. 999r19 1024r19 1099r31 1132r39 1147r35 1171r33 1182r36 1182r57 1349r23
. 1411r34 1448r34 1482r26 1531r26 1581r19 1667r26 1728r19 11|51P14
61R9*Cursor 62r41 66r26 67r37 70r31 80r29 82r33 86r19 90r18 96r19 111r19
. 116r19 139r23 161r64 167r44 173r43 179r30 179r45 181r38 183r34 183r49 185r42
. 187r59 191r60 193r62 197r32 199r32 201r25 203r25 205r43 207r43 211r57 215r57
. 227r19 282c9 285e14 289r16 291r8 295r20 297r8 354r26 354r36 4|52r57 53r57
. 57r18 57r33 61r18 61r33 152r32 179r25 195r43 224r32 251r25 267r43 343r62
. 347r22 376r19 491r26 561r33 647r59 651r20 658r44 662r20 665r46 683r17 719r60
. 723r20 779r37 793r18 842r23 899r18 963r57 977r19 1025r19 1077r29 1099r43
. 1103r20 1106r45 1124r17 1191r30 1191r45 1208r23 1212r38 1219r18 1219r33
. 1247r34 1247r49 1264r23 1268r42 1275r18 1275r33 1295r18 1384r20 1412r19
. 1532r19 1582r57 1596r19 1668r19 1759r16
64r4*Empty_Map{53R9} 346c4
66r4*No_Element{61R9} 354c4 4|346r35 447r39 650r35 661r38 722r35 781r26 1042r18
. 1102r37 1193r21 1194r17 1207r38 1223r17 1249r21 1250r17 1263r38 1279r17
67V13*Has_Element{boolean} 67>26 70r39 4|779b13 782l8 782t19
67r26 Position{61R9} 4|779b26 781r14
69K12*Map_Iterator_Interfaces[12|21] 223r14 228r14 4|44r6 999r31 1026r14
72V14*"="{boolean} 72>18 72>24 4|215b14 218l9 218t11
72r18 Left{53R9} 4|215b18 217r24
72r24 Right{53R9} 4|215b24 217r35
74V13*Length{2|20I9} 74>21 4|1171b13 1174l8 1174t14
74r21 Container{53R9} 4|1171b21 1173r14
76V13*Is_Empty{boolean} 76>23 4|916b13 919l8 919t16
76r23 Container{53R9} 4|916b23 918r14
78U14*Clear 78=21 260r67 4|335s14 356b14 359l8 359t13
78r21 Container{53R9} 4|356b21 358m14 358r14
80V13*Key{41+9} 80>18 4|1077b13 1093l8 1093t11
80r18 Position{61R9} 4|1077b18 1079r10 1084r10 1089r27 1089r52 1092r14
82V13*Element{42+9} 82>22 4|561b13 577l8 577t15
82r22 Position{61R9} 4|561b22 563r10 568r10 573r27 573r52 576r14
84U14*Replace_Element 85=7 86>7 87>7 4|1530b14 1574l8 1574t23
85r7 Container{53R9} 4|1531b7 1548m32 1548r32 1553r10 1558r27
86r7 Position{61R9} 4|1532b7 1536r10 1541r10 1542r17 1548r10 1558r43 1562r32
. 1571m10
87*7 New_Item{42+9} 4|1533b7 1571r53
89U14*Query_Element 90>7 91^7 4|1294b14 1341l8 1341t21
90r7 Position{61R9} 4|1295b7 1300r10 1305r10 1306r17 1312r27 1312r52 1316m32
. 1316r32 1326r34 1327r38
91p7 Process 4|1296b7 1330r13
91*45 Key{41+9}
92*45 Element{42+9}
94U14*Update_Element 95=7 96>7 97^7 4|1666b14 1720l8 1720t22
95r7 Container{53R9} 4|1667b7 1685m32 1685r32 1690r27
96r7 Position{61R9} 4|1668b7 1673r10 1678r10 1679r17 1685r10 1690r43 1694m32
. 1694r32 1704r34 1705r38
97p7 Process 4|1669b7 1708r13
97*46 Key{41+9}
98*46 Element{42+9}
100R9*Constant_Reference_Type 101d8 111r34 121r36 310c9 314e17 318r20 320r8
. 324r16 326r8 4|376r34 401r30 413r36 431r30 1400r20 1775r16
105R9*Reference_Type 105d25 116r34 126r36 328c9 332e17 336r20 338r8 342r16
. 344r8 4|1392r20 1412r34 1437r30 1449r36 1467r30 1767r16
109V13*Constant_Reference{100R9} 110>7 111>7 112r19 4|374b13 409l8 409t26
110r7 Container{53R9} 4|375b7 384r32 393r27 397r32 403r41
111r7 Position{61R9} 4|376b7 379r10 384r10 389r10 393r43 402r24
114V13*Reference{105R9} 115=7 116>7 117r19 4|1410b13 1445l8 1445t17
115r7 Container{53R9} 4|1411b7 1420m32 1420r32 1429r27 1433m32 1433r32
116r7 Position{61R9} 4|1412b7 1415r10 1420r10 1425r10 1429r43 1438r24 1439r41
119V13*Constant_Reference{100R9} 120>7 121>7 4|411b13 439l8 439t26
120r7 Container{53R9} 4|412b7 415r52 427r32 433r41
121*7 Key{41+9} 4|413b7 415r68
124V13*Reference{105R9} 125=7 126>7 4|1447b13 1475l8 1475t17
125r7 Container{53R9} 4|1448b7 1451r52 1463m32 1463r32 1469m41 1469r41
126*7 Key{41+9} 4|1449b7 1451r68
129U14*Assign 129=22 129>43 4|312b14 337l8 337t14 457s17
129r22 Target{53R9} 4|312b22 325m10 325r10 331m10 331r10 335m7 335r7 336r21
129r43 Source{53R9} 4|312b43 331r27
131V13*Copy{53R9} 131>19 4|454b13 459l8 459t12
131r19 Source{53R9} 4|454b19 457r25
133U14*Move 133=20 133=41 4|1182b14 1185l8 1185t12
133r20 Target{53R9} 4|1182b20 1184m23 1184r23
133r41 Source{53R9} 4|1182b41 1184m46 1184r46
135U14*Insert 136=7 137>7 138>7 139<7 140<7 4|800s7 838b14 892l8 892t14 905s7
136r7 Container{53R9} 4|839b7 886m10 886r10 891m29 891r29
137*7 Key{41+9} 4|840b7 868r36 887r10
138*7 New_Item{42+9} 4|841b7 869r44
139r7 Position{61R9} 4|842b7 888m10 888r10 891m7
140b7 Inserted{boolean} 4|843b7 889m10
142U14*Insert 143=7 144>7 145>7 4|325s17 894b14 910l8 910t14
143r7 Container{53R9} 4|895b7 905m15
144*7 Key{41+9} 4|325r25 896b7 905r26
145*7 New_Item{42+9} 4|325r46 897b7 905r31
147U14*Include 148=7 149>7 150>7 4|788b14 832l8 832t15
148r7 Container{53R9} 4|789b7 800m15 803r13
149*7 Key{41+9} 4|790b7 800r26 811r45
150*7 New_Item{42+9} 4|791b7 800r31 821r56
152U14*Replace 153=7 154>7 155>7 4|1481b14 1524l8 1524t15
153r7 Container{53R9} 4|1482b7 1486r52 1496r10
154*7 Key{41+9} 4|1483b7 1486r68 1504r33
155*7 New_Item{42+9} 4|1484b7 1514r44
157U14*Exclude 157=23 157>47 4|603b14 610l8 610t15
157r23 Container{53R9} 4|603b23 604r40 607m49 607r49
157*47 Key{41+9} 4|603b47 604r56
159U14*Delete 159=22 159>46 4|519b14 529l8 529t14
159r22 Container{53R9} 4|519b22 520r40 527m30 527r30
159*46 Key{41+9} 4|519b46 520r56
161U14*Delete 161=22 161=46 4|489b14 517l8 517t14
161r22 Container{53R9} 4|490b7 505m32 505r32 510r27 513m46 513r46
161r46 Position{61R9} 4|491b7 494r10 499r10 500r17 505r10 510r43 513r62 514m13
. 514r13 516m7
163U14*Delete_First 163=28 4|535b14 542l8 542t20
163r28 Container{53R9} 4|535b28 536r26 539m49 539r49
165U14*Delete_Last 165=27 4|548b14 555l8 555t19
165r27 Container{53R9} 4|548b27 549r26 552m49 552r49
167V13*First{61R9} 167>20 4|658b13 663l8 663t13 681s34
167r20 Container{53R9} 4|658b20 659r29 662r28
169V13*First_Element{42+9} 169>28 4|691b13 699l8 699t21
169r28 Container{53R9} 4|691b28 692r29
171V13*First_Key{41+9} 171>24 4|705b13 713l8 713t17
171r24 Container{53R9} 4|705b24 706r29
173V13*Last{61R9} 173>19 4|1099b13 1104l8 1104t12 1122s34
173r19 Container{53R9} 4|1099b19 1100r29 1103r28
175V13*Last_Element{42+9} 175>27 4|1132b13 1141l8 1141t20
175r27 Container{53R9} 4|1132b27 1133r29
177V13*Last_Key{41+9} 177>23 4|1147b13 1156l8 1156t16
177r23 Container{53R9} 4|1147b23 1148r29
179V13*Next{61R9} 179>19 4|1191b13 1210l8 1210t12 1214s19 1231s14
179r19 Position{61R9} 4|1191b19 1193r10 1197r22 1198r22 1199r22 1200r27 1200r52
. 1205r34 1208r31
181U14*Next 181=20 4|1212b14 1215l8 1215t12
181r20 Position{61R9} 4|1212b20 1214m7 1214r25
183V13*Previous{61R9} 183>23 4|1247b13 1266l8 1266t16 1270s19 1287s14
183r23 Position{61R9} 4|1247b23 1249r10 1253r22 1254r22 1255r22 1256r27 1256r52
. 1261r38 1264r31
185U14*Previous 185=24 4|1268b14 1271l8 1271t16
185r24 Position{61R9} 4|1268b24 1270m7 1270r29
187V13*Find{61R9} 187>19 187>36 4|447s14 647b13 652l8 652t12
187r19 Container{53R9} 4|647b19 648r52 651r28
187*36 Key{41+9} 4|647b36 648r68
189V13*Element{42+9} 189>22 189>39 4|579b13 588l8 588t15
189r22 Container{53R9} 4|579b22 580r52
189*39 Key{41+9} 4|579b39 580r68
191V13*Floor{61R9} 191>20 191>37 4|719b13 724l8 724t13
191r20 Container{53R9} 4|719b20 720r53 723r28
191*37 Key{41+9} 4|719b37 720r69
193V13*Ceiling{61R9} 193>22 193>39 4|343b13 348l8 348t15
193r22 Container{53R9} 4|343b22 344r55 347r30
193*39 Key{41+9} 4|343b39 344r71
195V13*Contains{boolean} 195>23 195>40 4|445b13 448l8 448t16
195r23 Container{53R9} 4|445b23 447r20
195*40 Key{41+9} 4|445b40 447r31
197V14*"<"{boolean} 197>18 197>24 4|152b14 177l9 177t11
197r18 Left{61R9} 4|152b18 154r10 162r10 170r27 170r48 176r14
197r24 Right{61R9} 4|152b24 158r10 166r10 173r27 173r49 176r34
199V14*">"{boolean} 199>18 199>24 4|224b14 249l9 249t11
199r18 Left{61R9} 4|224b18 226r10 234r10 242r27 242r48 248r35
199r24 Right{61R9} 4|224b24 230r10 238r10 245r27 245r49 248r14
201V14*"<"{boolean} 201>18 201>33 4|179b14 193l9 193t11
201r18 Left{61R9} 4|179b18 181r10 185r10 189r27 189r48 192r14
201*33 Right{41+9} 4|179b33 192r34
203V14*">"{boolean} 203>18 203>33 4|251b14 265l9 265t11
203r18 Left{61R9} 4|251b18 253r10 257r10 261r27 261r48 264r22
203*33 Right{41+9} 4|251b33 264r14
205V14*"<"{boolean} 205>18 205>35 4|195b14 209l9 209t11
205*18 Left{41+9} 4|195b18 208r14
205r35 Right{61R9} 4|195b35 197r10 201r10 205r27 205r49 208r21
207V14*">"{boolean} 207>18 207>35 4|267b14 281l9 281t11
207*18 Left{41+9} 4|267b18 280r35
207r35 Right{61R9} 4|267b35 269r10 273r10 277r27 277r49 280r14
209U14*Iterate 210>7 211^7 4|961b14 996l8 996t15
210r7 Container{53R9} 4|962b7 977r27 980r27 988r25
211p7 Process 4|963b7 977r10
211r46 Position{61R9}
213U14*Reverse_Iterate 214>7 215^7 4|1580b14 1615l8 1615t23
214r7 Container{53R9} 4|1581b7 1596r27 1599r27 1607r33
215p7 Process 4|1582b7 1596r10
215r46 Position{61R9}
221V13*Iterate<12|32R9[69]> 222>7 4|998b13 1021l8 1021t15
222r7 Container{53R9} 4|999b7 1001r28 1016r25
225V13*Iterate<12|32R9[69]> 226>7 227>7 4|1023b13 1071l8 1071t15
226r7 Container{53R9} 4|1024b7 1028r28 1047r29 1052r27 1066r25
227r7 Start{61R9} 4|1025b7 1042r10 1047r10 1052r43 1067r25
235R9 Node_Type 236r31 241c9 251r7 4|472r18 732r41 859r36 1365r36
236P9 Node_Access(235R9) 242r17 243r17 244r17 252r7 284r19 4|47r19 70r27
. 73r26 73r46 76r28 76r48 79r27 79r47 82r33 82r55 85r31 85r51 88r32 88r53
. 91r32 98r33 98r53 101r31 104r14 109r15 114r15 313r37 323r37 344r23 365r27
. 415r23 465r33 465r53 520r11 536r11 549r11 580r23 604r11 648r23 720r23 730r31
. 732r52 845r32 858r32 859r17 925r40 938r15 952r15 965r38 975r38 1162r26
. 1162r46 1204r26 1238r28 1238r48 1260r26 1352r66 1363r66 1365r17 1451r23
. 1486r23 1584r38 1594r38 1621r27 1621r47 1630r32 1639r31 1639r51 1648r33
. 1648r55 1657r32 1657r53 1732r19 1744r19
238P9 Key_Access(41+9) 246r17 4|140r48 466r11 796r11 1488r11
239P9 Element_Access(42+9) 247r17 4|143r52 467r11 797r11 1489r11 1562r14
242p7 Parent{236P9} 4|472m29 739m9 1240r19 1650m12
243p7 Left{236P9} 4|473m29 740m9 1164r19 1641m12
244p7 Right{236P9} 4|474m29 741m9 1623r19 1659m12
245e7 Color{5|35E9} 4|367r19 475m29 475r47 1632m12
246p7 Key{238P9} 4|162r20 166r21 176r24 176r45 185r20 192r24 201r21 208r32
. 234r20 238r21 248r25 248r45 257r20 264r32 273r21 280r25 325r37 466r46 476m29
. 499r24 711r25 744m22 748m15 808r29 811m24 868m15 927r20 927r32 928r23 928r35
. 943r20 954r27 1084r24 1092r28 1155r21 1198r36 1254r36 1305r24 1326r48 1367m15
. 1501r17 1504m12 1541r24 1678r24 1704r48 1747r40
247p7 Element{239P9} 4|325r63 389r24 402r38 422r15 432r29 470r37 477m29 500r31
. 568r24 576r28 587r19 697r25 751m32 754m21 762m26 766m15 809r29 821m27 869m15
. 929r22 929r38 1140r21 1199r36 1255r36 1306r31 1327r52 1368m15 1425r24 1438r38
. 1458r15 1468r29 1502r17 1514m15 1542r31 1562r46 1571m24 1679r31 1705r52
. 1748r44
250K12 Tree_Types[5|40] 255r14 263r8 4|122r46
255r7 Tree{5|41R12[250]} 347m35 4|170r42 173r43 189r42 205r43 217r29 217r41
. 242r42 245r43 261r42 277r43 291m25 298m57 336r28 344r65 358m24 393r37 397m66
. 415r62 427m66 510r37 513m56 520r50 527m40 536r36 539m59 549r36 552m59 573r46
. 580r62 604r50 607m59 620m54 631m57 648r62 659m39 692m39 706m39 720r63 803r23
. 886m20 918r24 980m61 988r35 1001m62 1028m62 1052r37 1089r46 1100m39 1133m39
. 1148m39 1173r24 1184m30 1184m53 1200r46 1256r46 1312r46 1316m51 1379m31
. 1429r37 1433m66 1451r62 1463m66 1486r62 1496r20 1553r20 1558r37 1599m37
. 1607r43 1690r37 1694m51 1754r32
258U25 Adjust<11|52p14> 258=33 4|289b14 292l8 292t14
258r33 Container{53R9} 4|289b22 291m15 291r15
260U25 Finalize=260:67<11|53p14>
260r35 Container{53R9}
267U14 Write 268^7 269>7 4|1726b14 1755l8 1755t13
268p7 Stream(13|39R9) 4|1727b7 1754r14
269r7 Container{53R9} 4|1728b7 1754r22
273U14 Read 274^7 275<7 4|1347b14 1380l8 1380t12
274p7 Stream(13|39R9) 4|1348b7 1379r13
275r7 Container{53R9} 4|1349b7 1379m21 1379r21
279P9 Map_Access(53R9) 280r8 283r19 301r22 4|46r19
283p7 Container{279P9} 4|170r31 170r32 173r32 173r33 189r31 189r32 205r32
. 205r33 242r31 242r32 245r32 245r33 261r31 261r32 277r32 277r33 379r19 384r19
. 505r19 516m16 573r35 573r36 891m16 1047r16 1089r35 1089r36 1200r35 1200r36
. 1208r40 1222r19 1226r19 1256r35 1256r36 1264r40 1278r19 1282r19 1312r35
. 1312r36 1316r40 1316r41 1415r19 1420r19 1439r50 1548r19 1685r19 1694r40
. 1694r41
284p7 Node{236P9} 4|154r15 158r16 162r14 162r15 166r15 166r16 170r53 173r55
. 176r18 176r19 176r39 176r40 181r15 185r14 185r15 189r53 192r18 192r19 197r16
. 201r15 201r16 205r55 208r26 208r27 226r15 230r16 234r14 234r15 238r15 238r16
. 242r53 245r55 248r19 248r20 248r39 248r40 253r15 257r14 257r15 261r53 264r26
. 264r27 269r16 273r15 273r16 277r55 280r19 280r20 389r18 389r19 393r52 402r32
. 402r33 494r19 499r18 499r19 500r25 500r26 510r52 513r71 514m22 563r19 568r18
. 568r19 573r61 576r22 576r23 808r23 808r24 809r23 809r24 811r18 811r19 821r21
. 821r22 888m19 1052r49 1067r31 1079r19 1084r18 1084r19 1089r61 1092r22 1092r23
. 1197r31 1198r30 1198r31 1199r30 1199r31 1200r61 1205r43 1253r31 1254r30
. 1254r31 1255r30 1255r31 1256r61 1261r47 1300r19 1305r18 1305r19 1306r25
. 1306r26 1312r61 1326r42 1326r43 1327r46 1327r47 1425r18 1425r19 1429r52
. 1438r32 1438r33 1536r19 1541r18 1541r19 1542r25 1542r26 1558r52 1562r40
. 1562r41 1571r18 1571r19 1673r19 1678r18 1678r19 1679r25 1679r26 1690r52
. 1704r42 1704r43 1705r46 1705r47
287U14 Write 288^7 289>7 4|1757b14 1763l8 1763t13
288p7 Stream(13|39R9) 4|1758b7
289r7 Item{61R9} 4|1759b7
293U14 Read 294^7 295<7 4|1382b14 1388l8 1388t12
294p7 Stream(13|39R9) 4|1383b7
295r7 Item{61R9} 4|1384b7
299R9 Reference_Control_Type<11|48R9> 302e17 304P25 304r50 307P25 307r52
. 313r20 331r20 4|294r39 627r41 11|51P14
301p10 Container{279P9} 4|296r18 298r43 629r18 631r43 639m18
304U25 Adjust<11|52p14> 304=33 4|294b14 306l8 306t14
304r33 Control{299R9} 4|294b22 296r10 298r35
307U25 Finalize<11|53p14> 307=35 4|627b14 641l8 641t16
307r35 Control{299R9} 4|627b24 629r10 631r35 639m10
313r10 Control{299R9} 4|403m13 433m13
316U14 Read 317^7 318<7 4|1398b14 1404l8 1404t12
317p7 Stream(13|39R9) 4|1399b7
318r7 Item{100R9} 4|1400b7
322U14 Write 323^7 324>7 4|1773b14 1779l8 1779t13
323p7 Stream(13|39R9) 4|1774b7
324r7 Item{100R9} 4|1775b7
331r10 Control{299R9} 4|1439m13 1469m13
334U14 Read 335^7 336<7 4|1390b14 1396l8 1396t12
335p7 Stream(13|39R9) 4|1391b7
336r7 Item{105R9} 4|1392b7
340U14 Write 341^7 342>7 4|1765b14 1771l8 1771t13
341p7 Stream(13|39R9) 4|1766b7
342r7 Item{105R9} 4|1767b7
X 4 a-ciorma.adb
43R9 Iterator<11|55R9><12|32R9[3|69]> 48e14 50P25 50r51 52P24 52r40 53P24
. 53r40 55P24 56r18 59P24 60r18 616r40 665r29 1014r28 1064r28 1106r28 1218r18
. 1274r18 11|58P14 19|42p14
46p7 Container{3|279P9} 618r17 620r40 681r23 681r24 683r32 1016m12 1066m12
. 1122r23 1122r24 1124r32 1226r39 1282r39
47p7 Node{3|236P9} 680r17 683r50 1017m12 1067m12 1121r17 1124r50
50U25 Finalize<11|59p14> 50=35 616b14 625l8 625t16
50r35 Object{43R9} 616b24 618r10 620r33
52V24 First{3|61R9}<12|26p13> 52>31 665b13 685l8 685t13
52r31 Object{43R9} 665b20 680r10 681r17 683r25 683r43
53V24 Last{3|61R9}<12|34p13> 53>31 1106b13 1126l8 1126t12
53r31 Object{43R9} 1106b19 1121r10 1122r17 1124r25 1124r43
55V24 Next{3|61R9}<12|28p13> 56>7 57>7 1217b13 1232l8 1232t12
56r7 Object{43R9} 1218b7 1226r32
57r7 Position{3|61R9} 1219b7 1222r10 1226r10 1231r20
59V24 Previous{3|61R9}<12|36p13> 60>7 61>7 1273b13 1288l8 1288t16
60r7 Object{43R9} 1274b7 1282r32
61r7 Position{3|61R9} 1275b7 1278r10 1282r10 1287r24
70V13 Color{5|35E9} 70>20 71r19 365b13 368l8 368t13 8|45i19
70p20 Node{3|236P9} 365b20 367r14
73V13 Left{3|236P9} 73>19 74r19 1162b13 1165l8 1165t12 8|41i19
73p19 Node{3|236P9} 1162b19 1164r14
76V13 Parent{3|236P9} 76>21 77r19 1238b13 1241l8 1241t14 8|39i19
76p21 Node{3|236P9} 1238b21 1240r14
79V13 Right{3|236P9} 79>20 80r19 1621b13 1624l8 1624t13 8|43i19
79p20 Node{3|236P9} 1621b20 1623r14
82U14 Set_Parent 82>26 82>46 83r19 1648b14 1651l8 1651t18 8|40i19
82p26 Node{3|236P9} 1648b26 1650m7 1650r7
82p46 Parent{3|236P9} 1648b46 1650r22
85U14 Set_Left 85>24 85>44 86r19 1639b14 1642l8 1642t16 8|42i19
85p24 Node{3|236P9} 1639b24 1641m7 1641r7
85p44 Left{3|236P9} 1639b44 1641r20
88U14 Set_Right 88>25 88>45 89r19 1657b14 1660l8 1660t17 8|44i19
88p25 Node{3|236P9} 1657b25 1659m7 1659r7
88p45 Right{3|236P9} 1657b45 1659r21
91U14 Set_Color 91>25 91>45 92r19 1630b14 1633l8 1633t17 8|46i19
91p25 Node{3|236P9} 1630b25 1632m7 1632r7
91e45 Color{5|35E9} 1630b45 1632r21
98V13 Copy_Node{3|236P9} 98>24 99r19 128r46 465b13 483l8 483t17
98p24 Source{3|236P9} 465b24 466r39 470r30 475r40
101U14 Free 101=20 125r48 514s7 528s7 540s10 553s10 608s10 730b14 773l8 773t12
. 878s13 1372s13
101p20 X{3|236P9} 730b20 735r10 739m7 739r7 739r19 740m7 740r7 740r17 741m7
. 741r7 741r18 744m20 744r20 748m13 748r13 751m30 751r30 754m19 754r19 757m25
. 762m24 762r24 766m13 766r13 768m25 772m19
103V13 Is_Equal_Node_Node{boolean} 104>7 104>10 105r19 146r41 925b13 930l8
. 930t26
104p7 L{3|236P9} 925b33 927r18 928r33 929r20
104p10 R{3|236P9} 925b36 927r30 928r21 929r36
107V13 Is_Greater_Key_Node{boolean} 108>7 109>7 110r19 137r32 936b13 944l8
. 944t27
108*7 Left{3|41+9} 937b7 943r30
109p7 Right{3|236P9} 938b7 943r14
112V13 Is_Less_Key_Node{boolean} 113>7 114>7 115r19 136r32 950b13 955l8 955t24
113*7 Left{3|41+9} 951b7 954r14
114p7 Right{3|236P9} 952b7 954r21
121K12 Tree_Operations[8|48] 125r11 128r11 130r8 134r32 146r10 287r28 317r14
. 354r27 513r7 539r10 552r10 607r10 969r13 1180r26 1205r12 1261r12 1356r14
. 1588r13 1736r14
124U14 Delete_Tree[8|89] 128r57 354r58
127V13 Copy_Tree[8|95]{3|236P9} 287r60
132K12 Key_Ops[6|50] 344r38 415r38 520r26 580r38 604r26 648r38 720r38 849r13
. 852r13 1451r38 1486r38
139U14 Free_Key[16|20] 480s10 744s10 825s16 829s10 1518s13 1522s7
142U14 Free_Element[16|20] 481s10 751s16 762s10 830s10 1523s7 1572s10
145V13 Is_Equal[8|76]{boolean} 217s14
287U14 Adjust[8|103] 291s7
298r13 T{5|41R12[3|250]} 299r33 300r33
299i13 B{natural} 302r13 302r18
300i13 L{natural} 303r13 303r18
313U17 Insert_Item 313>30 314r22 317r49 323b17 326l11 326t22
313p30 Node{3|236P9} 323b30 325r32 325r58
316U17 Insert_Items[8|125] 336s7
344p7 Node{3|236P9} 346r18 347r61
354U14 Clear[8|111] 358s7 1180r56 1356r44
397r10 T{5|41R12[3|250]} 398r30 399r30
398i10 B{natural} 405r13 405r18
399i10 L{natural} 406r13 406r18
401r17 R{3|100R9}
415p7 Node{3|236P9} 418r10 422r10 432r24
427r10 T{5|41R12[3|250]} 428r30 429r30
428i10 B{natural} 435r13 435r18
429i10 L{natural} 436r13 436r18
431r17 R{3|100R9}
456r14 Target{3|53R9} 457m10 457r10
466p7 K{3|238P9} 476r40 480m20 480r20
467p7 E{3|239P9} 470m7 477r40 481m24 481r24
520p7 X{3|236P9} 523r10 527r46 528m13 528r13
536p7 X{3|236P9} 538r10 539r65 540m16 540r16
549p7 X{3|236P9} 551r10 552r65 553m16 553r16
580p7 Node{3|236P9} 583r10 587r14
604p7 X{3|236P9} 606r10 607r65 608m16 608r16
620i13 B{natural} 622r13 622r18
631r13 T{5|41R12[3|250]} 632r33 633r33
632i13 B{natural} 635r13 635r18
633i13 L{natural} 636r13 636r18
648p7 Node{3|236P9} 650r18 651r59
659r7 T{5|41R12[3|250]} 661r18 662r59
692r7 T{5|41R12[3|250]} 694r10 697r17
706r7 T{5|41R12[3|250]} 708r10 711r17
720p7 Node{3|236P9} 722r18 723r59
731U17 Deallocate[16|20] 757s13 768s13 772s7
793r7 Position{3|61R9} 800m41 808r15 809r15 811m10 821m13
794b7 Inserted{boolean} 800m51 802r14
796p7 K{3|238P9} 808m10 825m26 825r26 829m20 829r20
797p7 E{3|239P9} 809m10 830m24 830r24
845V16 New_Node{3|236P9} 846r22 849r42 858b16 880l11 880t19
848U17 Insert_Post[6|55] 852r49
851U17 Insert_Sans_Hint[6|74] 885s7
859p10 Node{3|236P9} 868m10 868r10 869m10 869r10 870r17 878m19 878r19
899r7 Position{3|61R9} 900r28 905m41
902b7 Inserted{boolean} 905m51 907r14
963r46 Position{3|61R9}
965U17 Process_Node 965>31 966r22 969r48 975b17 978l11 978t23
965p31 Node{3|236P9} 975b31 977r58
968U17 Local_Iterate[8|125] 988s10
980i7 B{natural} 985r7 985r12 991r13 991r18 995r7 995r12
1001i7 B{natural} 1019r10 1019r15
1014r14 It{43R9}
1028i7 B{natural} 1069r10 1069r15
1064r14 It{43R9}
1100r7 T{5|41R12[3|250]} 1102r18 1103r59
1133r7 T{5|41R12[3|250]} 1136r10 1140r14
1148r7 T{5|41R12[3|250]} 1151r10 1155r14
1180U14 Move[8|117] 1184s7
1204p10 Node{3|236P9} 1207r21 1208r51
1260p10 Node{3|236P9} 1263r21 1264r51
1296*45 Key{3|41+9}
1297*45 Element{3|42+9}
1316r10 T{5|41R12[3|250]} 1318r30 1319r30
1318i10 B{natural} 1322r10 1322r15 1334r16 1334r21 1339r10 1339r15
1319i10 L{natural} 1323r10 1323r15 1333r16 1333r21 1338r10 1338r15
1326*13 K{3|41+9} 1330r22
1327*13 E{3|42+9} 1330r25
1351V16 Read_Node{3|236P9} 1352^10 1353r22 1356r51 1362b16 1374l11 1374t20
1352p10 Stream(13|39R9) 1363b10 1367r52 1368r64
1355U17 Read[8|150] 1379s7
1365p10 Node{3|236P9} 1367m10 1367r10 1368m10 1368r10 1369r17 1372m19 1372r19
1433r10 T{5|41R12[3|250]} 1434r30 1435r30
1434i10 B{natural} 1441r13 1441r18
1435i10 L{natural} 1442r13 1442r18
1437r17 R{3|105R9}
1451p7 Node{3|236P9} 1454r10 1458r10 1468r24
1463r10 T{5|41R12[3|250]} 1464r30 1465r30
1464i10 B{natural} 1471r13 1471r18
1465i10 L{natural} 1472r13 1472r18
1467r17 R{3|105R9}
1486p7 Node{3|236P9} 1492r10 1501r12 1502r12 1504m7 1504r7 1514m10 1514r10
1488p7 K{3|238P9} 1501m7 1518m23 1518r23 1522m17 1522r17
1489p7 E{3|239P9} 1502m7 1523m21 1523r21
1562p10 X{3|239P9} 1572m24 1572r24
1582r46 Position{3|61R9}
1584U17 Process_Node 1584>31 1585r22 1588r56 1594b17 1597l11 1597t23
1584p31 Node{3|236P9} 1594b31 1596r58
1587U17 Local_Reverse_Iterate[8|131] 1607s10
1599i7 B{natural} 1604r7 1604r12 1610r13 1610r18 1614r7 1614r12
1669*46 Key{3|41+9}
1670*46 Element{3|42+9}
1694r10 T{5|41R12[3|250]} 1696r30 1697r30
1696i10 B{natural} 1700r10 1700r15 1713r16 1713r21 1718r10 1718r15
1697i10 L{natural} 1701r10 1701r15 1712r16 1712r21 1717r10 1717r15
1704*13 K{3|41+9} 1708r22
1705*13 E{3|42+9} 1708r25
1730U17 Write_Node 1731^10 1732>10 1733r22 1736r45 1742b17 1749l11 1749t21
1731p10 Stream(13|39R9) 1743b10 1747r27 1748r31
1732p10 Node{3|236P9} 1744b10 1747r35 1748r39
1735U17 Write[8|139] 1754s7
X 5 a-crbltr.ads
32K24*Red_Black_Trees 3|36w29 245r17 245r47 250r30 262r8 4|32r21 35r21 122r10
. 133r10 5|75e35
35E9*Color_Type 3|245r33 4|70r47 91r53 365r47 1630r53 5|35e35
35n24*Red{35E9} 3|245r63
40k12*Generic_Tree_Types 3|250r46 5|49e26
41R12 Tree_Type 3|255r25[250] 4|298r17[3|250] 397r14[3|250] 427r14[3|250]
. 631r17[3|250] 659r11[3|250] 692r11[3|250] 706r11[3|250] 1100r11[3|250]
. 1133r11[3|250] 1148r11[3|250] 1316r14[3|250] 1433r14[3|250] 1463r14[3|250]
. 1694r14[3|250]
42p10 First{3|236P9} 3|347m44[250] 4|536r41[3|250] 661r20[3|250] 662r61[3|250]
. 694r12[3|250] 697r18[3|250] 697r19[3|250] 708r12[3|250] 711r18[3|250] 711r19[3|250]
43p10 Last{3|236P9} 3|348m44[250] 4|549r41[3|250] 1102r20[3|250] 1103r61[3|250]
. 1136r12[3|250] 1140r15[3|250] 1140r16[3|250] 1151r12[3|250] 1155r15[3|250]
. 1155r16[3|250]
44p10 Root{3|236P9} 3|349m44[250]
45i10 Length{2|20I9} 3|350m44[250] 4|918r29[3|250] 1173r29[3|250]
46i10 Busy{natural} 3|351m44[250] 4|299m35[3|250] 398m32[3|250] 428m32[3|250]
. 620m59[3|250] 632m35[3|250] 980m66[3|250] 1001m67[3|250] 1028m67[3|250]
. 1318m32[3|250] 1434m32[3|250] 1464m32[3|250] 1599m66[3|250] 1696m32[3|250]
47i10 Lock{natural} 3|352m44[250] 4|300m35[3|250] 399m32[3|250] 429m32[3|250]
. 633m35[3|250] 803r28[3|250] 1319m32[3|250] 1435m32[3|250] 1465m32[3|250]
. 1496r25[3|250] 1553r25[3|250] 1697m32[3|250]
X 6 a-crbtgk.ads
36K17 Tree_Operations 4|134r9
40+9 Key_Type 4|135r9
42V18 Is_Less_Key_Node{boolean} 4|136r9
46V18 Is_Greater_Key_Node{boolean} 4|137r9
50k40*Generic_Keys 4|35w37 133r26 6|192e48
55u14 Generic_Insert_Post 4|849r21[132]
74u14 Generic_Conditional_Insert 4|852r21[132]
156V13 Find{3|236P9} 4|415s46[132] 520s34[132] 580s46[132] 604s34[132] 648s46[132]
. 1451s46[132] 1486s46[132]
161V13 Ceiling{3|236P9} 4|344s46[132]
166V13 Floor{3|236P9} 4|720s46[132]
X 8 a-crbtgo.ads
48k40*Generic_Operations 4|32w37 122r26 8|163e54
64V13 Vet{boolean} 4|170s22[121] 173s22[121] 189s22[121] 205s22[121] 242s22[121]
. 245s22[121] 261s22[121] 277s22[121] 393s22[121] 510s22[121] 573s22[121]
. 1052s22[121] 1089s22[121] 1200s22[121] 1256s22[121] 1312s22[121] 1429s22[121]
. 1558s22[121] 1690s22[121]
68V13 Next{3|236P9} 4|1205s28[121]
71V13 Previous{3|236P9} 4|1261s28[121]
76v13 Generic_Equal 4|146r26[121]
81U14 Delete_Node_Sans_Free 4|513s23[121] 527s7[121] 539s26[121] 552s26[121]
. 607s26[121]
89u14 Generic_Delete_Tree 4|125r27[121]
95v13 Generic_Copy_Tree 4|128r27[121]
103u14 Generic_Adjust 4|287r44[121]
111u14 Generic_Clear 4|354r43[121]
117u14 Generic_Move 4|1180r42[121]
117r28 Target{5|41R12[3|250]} 4|1184r13[1180]
117r36 Source{5|41R12[3|250]} 4|1184r36[1180]
125u14 Generic_Iteration 4|317r30[121] 969r29[121]
131u14 Generic_Reverse_Iteration 4|1588r29[121]
139u14 Generic_Write 4|1736r30[121]
150u14 Generic_Read 4|1356r30[121]
X 11 a-finali.ads
40K13*Finalization 3|37w18 254r24 264r12 11|73e21
48H9*Controlled 3|254r37 300r11 347r19 4|403r25 433r25 1439r25 1469r25 11|64e72
51U14*Initialize<19|44p14>
55H9*Limited_Controlled 4|43r25 1015r10 1065r10 11|71e55
58U14*Initialize<19|44p14>
X 12 a-iteint.ads
21k13*Iterator_Interfaces 3|34w10 70r10 12|39e28
24h9 Forward_Iterator
32h9 Reversible_Iterator<24R9[3|69]> 3|223r38[69] 228r38[69] 4|44r30[3|69]
. 999r55[3|69] 1026r38[3|69]
X 13 a-stream.ads
36K13*Streams 3|38w18 265r12 13|69e16
39H9*Root_Stream_Type 3|268r35 274r35 288r32 294r32 317r32 323r32 335r32
. 341r32 4|1348r35 1352r35 1363r35 1383r32 1391r32 1399r32 1727r35 1731r35
. 1743r35 1758r32 1766r32 1774r32 13|67e64
X 16 a-uncdea.ads
20u15*Unchecked_Deallocation 4|30w10 140r14 143r14 732r17
X 17 system.ads
37K9*System 4|38w6 38r23 17|152e11
64M9*Address 4|38r30
78V14*"="{boolean} 4|331r25
X 19 s-finroo.ads
42U14*Adjust