V "GNAT Lib v4.8"
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_DISPATCH
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_FINALIZATION
RV NO_NESTED_FINALIZATION
RV NO_RECURSION
RV NO_STANDARD_STORAGE_POOLS
RV NO_STREAMS
RV NO_UNCHECKED_ACCESS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_IMPLICIT_ALIASING
RV SPARK

U ada.containers.bounded_ordered_maps%b  a-cborma.adb  5f021a92 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_bounded_keys%s
W ada.containers.red_black_trees.generic_bounded_operations%s
W ada.finalization%s	a-finali.adb		a-finali.ali
Z ada.streams%s		a-stream.ads		a-stream.ali
W system%s		system.ads		system.ali

U ada.containers.bounded_ordered_maps%s  a-cborma.ads  33a4c5f5 BN NE OL PU 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.iterator_interfaces%s
W ada.streams%s		a-stream.ads		a-stream.ali

D ada.ads		20070406121342 3ffc8e18
D a-contai.ads		20101025165030 61e5e089
D a-cborma.ads		20120123123554 ba3412a7
D a-cborma.adb		20121001124122 b1e5d658
D a-crbltr.ads		20110831120720 b8a2dc05
D a-rbtgbk.ads		20101025182602 39d9d137
D a-rbtgbk.adb		20111221165104 daf0f197
D a-rbtgbo.ads		20101025182602 79c91cd1
D a-rbtgbo.adb		20110901133208 1ca6967a
D a-except.ads		20120716155142 10fcae55
D a-finali.ads		20111121143556 52ecdc1b
D a-iteint.ads		20110906122602 7c7305e9
D a-stream.ads		20090409180020 2ca4ee37
D a-tags.ads		20111212145430 6c0509d0
D a-unccon.ads		20070406121342 f9eb8f06
D system.ads		20150624111858 462fcf90
D s-exctab.ads		20090417161548 66e51330
D s-finroo.ads		20120426125924 4ff27390
D s-parame.ads		20110830170626 b6e20cc0
D s-soflin.ads		20120515124620 24c8153c
D s-stache.ads		20090417160712 596fc1b4
D s-stalib.ads		20130104154956 f78bcf95
D s-stoele.ads		20090417160712 facd7d98
D s-stoele.adb		20100617182356 afc5dc80
D s-traent.ads		20090417160712 5221ee41
X 1 ada.ads
16K9*Ada 19e8 3|34r6 36r14 37r14 46r9 70r6 250r8 318r5 4|30r6 34r6 38r6 38r28
. 42r14 1668r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 3|36r18 46r13 318r9 4|30r10 34r10 42r18 1668r9
20I9*Count_Type<integer> 3|52r25 74r45 127r44 234r17 235r17 236r17 245r25
. 269r19 4|48r19 74r44 77r46 80r45 83r60 86r56 89r58 290r47 299r47 305r35
. 326r35 327r22 344r24 377r23 438r23 465r44 466r11 510r20 526r20 540r20 567r23
. 596r20 625r23 700r23 762r32 788r32 789r19 834r32 871r32 872r19 933r38 943r38
. 1122r44 1131r45 1176r26 1209r46 1235r26 1397r23 1420r23 1480r38 1490r38
. 1517r45 1538r56 1547r60 1556r58
22X4*Capacity_Error 4|364r16 476r16
X 3 a-cborma.ads
40+9 Key_Type 43r37 50r44 80r44 92r37 98r38 119r19 123r19 133r19 140r19 146r19
. 151r19 156r19 159r53 161r52 173r48 179r47 189r42 191r45 193r43 195r45 197r46
. 203r41 205r41 207r25 209r25 238r17 4|100r15 105r15 121r32 154r41 171r25
. 252r41 268r25 376r45 436r19 456r46 509r52 566r45 580r44 595r53 624r42 686r48
. 699r43 724r19 754r19 809r19 827r19 904r15 918r15 1044r44 1109r47 1270r55
. 1330r10 1395r19 1417r19 1568r56 1634r10
41+9 Element_Type 44r37 56r28 82r48 87r19 92r57 98r65 101r43 105r51 134r19
. 147r19 152r19 157r19 171r52 177r51 191r62 239r25 285r43 300r34 4|553r48
. 566r62 673r52 725r19 755r19 810r19 1096r51 1271r55 1331r10 1418r19 1448r19
. 1569r63 1635r10
43V19 "<"{boolean} 43>23 43>29 4|150s24 167s24 184s22 206s19 209s22 248s24
. 264s23 281s24 582s15 583s23 910s24 922s19
43*23 Left{40+9}
43*29 Right{40+9}
44V19 "="{boolean} 44>23 44>29 4|213s30
44*23 Left{41+9}
44*29 Right{41+9}
46k24*Bounded_Ordered_Maps 2|16k13 3|40z9 41z9 43z19 44z19 318l20 318e40
. 4|42b29 663r17 1086r17 1668l20 1668t40
50V13*Equivalent_Keys{boolean} 50>30 50>36 4|580b13 589l8 589t23
50*30 Left{40+9} 4|580b30 582r10 583r25
50*36 Right{40+9} 4|580b36 582r17 583r17
52R9*Map 52d14 58r41 63r25 72p14 72r32 74p13 74r33 76p13 76r35 78p14 78r40
. 84p14 85r26 94p14 95r26 109p13 110r27 113p13 114r34 117p13 118r27 121p13
. 122r34 125p14 125r38 125r52 127p13 127r28 127r68 129p14 129r36 129r57 131p14
. 132r26 138p14 139r26 144p14 145r26 149p14 150r26 154p14 155r26 159p14 159r42
. 161p14 161r41 163p14 163r41 165p14 165r47 167p14 167r46 169p13 169r32 171p13
. 171r40 173p13 173r36 175p13 175r31 177p13 177r39 179p13 179r35 189p13 189r31
. 191p13 191r34 193p13 193r32 195p13 195r34 197p13 197r35 211p14 212r19 215p14
. 216r19 219p13 220r19 223p13 224r19 245c9 246e58 252p14 254r19 256r8 258p14
. 260r23 262r8 264r34 314r25 314r32 4|192r32 289r38 289r52 376r34 391r40
. 410r27 435r27 456r35 465r28 465r68 479r23 488r41 509r41 525r47 539r46 566r34
. 595r42 624r31 638r32 673r40 686r36 699r32 723r26 753r26 808r26 826r26 894r35
. 930r19 967r19 992r19 1061r31 1096r39 1109r35 1131r33 1140r36 1140r57 1174r14
. 1233r14 1283r14 1313r23 1369r34 1394r34 1416r26 1446r26 1477r19 1566r26
. 1615r19
52i14 Capacity{2|20I9} 245r14 246r32 314m52 4|363r17
60R9*Cursor 61r41 65r26 67r37 70r31 80r29 82r33 86r19 90r18 96r19 111r19
. 115r19 135r23 141r23 163r64 169r44 175r43 181r30 181r45 183r38 185r34 185r49
. 187r42 189r59 193r60 195r62 199r32 201r32 203r25 205r25 207r43 209r43 213r57
. 217r57 225r19 267c9 270e14 274r16 276r8 280r20 282r8 316r26 316r36 4|53r57
. 54r57 58r18 58r33 62r18 62r33 129r32 154r25 171r43 227r32 252r25 268r43
. 376r62 384r14 411r19 488r64 553r33 624r59 630r17 638r44 643r17 647r46 665r17
. 699r60 705r17 713r37 727r18 756r23 812r18 828r23 931r57 945r19 993r19 1044r29
. 1061r43 1066r17 1070r45 1088r17 1159r38 1164r30 1164r45 1184r17 1190r18
. 1190r33 1218r42 1223r34 1223r49 1243r17 1249r18 1249r33 1269r18 1342r20
. 1370r19 1447r19 1478r57 1492r19 1567r19 1646r16
63r4*Empty_Map{52R9} 314c4
65r4*No_Element{60R9} 316c4 4|381r17 458r39 506r19 628r17 641r17 703r17 715r26
. 1009r18 1064r17 1166r21 1167r17 1181r20 1194r17 1225r21 1226r17 1240r20
. 1253r17
67V13*Has_Element{boolean} 67>26 70r39 4|713b13 716l8 716t19
67r26 Position{60R9} 4|713b26 715r14
69K12*Map_Iterator_Interfaces[12|21] 221r14 226r14 4|45r6 967r31 994r14
72V14*"="{boolean} 72>18 72>24 4|192b14 221l9 221t11
72r18 Left{52R9} 4|192b18 220r24
72r24 Right{52R9} 4|192b24 220r30
74V13*Length{2|20I9} 74>21 4|1131b13 1134l8 1134t14
74r21 Container{52R9} 4|1131b21 1133r14
76V13*Is_Empty{boolean} 76>23 4|894b13 897l8 897t16
76r23 Container{52R9} 4|894b23 896r14
78U14*Clear 78=21 4|391b14 394l8 394t13 1152s14
78r21 Container{52R9} 4|391b21 393m35
80V13*Key{40+9} 80>18 4|1044b13 1055l8 1055t11
80r18 Position{60R9} 4|1044b18 1046r10 1051r27 1051r51 1054r14 1054r40
82V13*Element{41+9} 82>22 4|553b13 564l8 564t15
82r22 Position{60R9} 4|553b22 555r10 560r27 560r51 563r14 563r40
84U14*Replace_Element 85=7 86>7 87>7 4|1445b14 1470l8 1470t23
85r7 Container{52R9} 4|1446b7 1456m32 1456r32 1461r10 1466r27 1469m7
86r7 Position{60R9} 4|1447b7 1451r10 1456r10 1466r38 1469r24
87*7 New_Item{41+9} 4|1448b7 1469r50
89U14*Query_Element 90>7 91^7 4|1268b14 1305l8 1305t21
90r7 Position{60R9} 4|1269b7 1274r10 1279r27 1279r51 1283r26 1284r41
91p7 Process 4|1270b7 1294r13
92*31 Key{40+9}
92*47 Element{41+9}
94U14*Update_Element 95=7 96>7 97^7 4|1565b14 1607l8 1607t22
95r7 Container{52R9} 4|1566b7 1577m32 1577r32 1582r27 1586m32 1586r32 1587m30
. 1587r30 1588m30 1588r30
96r7 Position{60R9} 4|1567b7 1572r10 1577r10 1582r38 1586r49
97p7 Process 4|1568b7 1595r13
98*32 Key{40+9}
98*48 Element{41+9}
100R9*Constant_Reference_Type 101d8 111r34 119r36 284c9 289r20 291r8 295r16
. 297r8 4|411r34 436r36 1358r20 1662r16
105R9*Reference_Type 105d25 115r34 123r36 299c9 304r20 306r8 310r16 312r8
. 4|1350r20 1370r34 1395r36 1654r16
109V13*Constant_Reference{100R9} 110>7 111>7 4|409b13 432l8 432t26
110r7 Container{52R9} 4|410b7 419r32 424r27 428r32
111r7 Position{60R9} 4|411b7 414r10 419r10 424r38 428r49
113V13*Reference{105R9} 114=7 115>7 4|1368b13 1391l8 1391t17
114r7 Container{52R9} 4|1369b7 1378m32 1378r32 1383r27 1387m32 1387r32
115r7 Position{60R9} 4|1370b7 1373r10 1378r10 1383r38 1387r49
117V13*Constant_Reference{100R9} 118>7 119>7 4|434b13 450l8 450t26
118r7 Container{52R9} 4|435b7 438r51 446r32
119*7 Key{40+9} 4|436b7 438r62
121V13*Reference{105R9} 122=7 123>7 4|1393b13 1409l8 1409t17
122r7 Container{52R9} 4|1394b7 1397r51 1405m32 1405r32
123*7 Key{40+9} 4|1395b7 1397r62
125U14*Assign 125=22 125>43 4|289b14 370l8 370t14 480s10 1151s14
125r22 Target{52R9} 4|289b22 330m23 350m22 359m10 359r10 363r10 368m35 480r18
125r43 Source{52R9} 4|289b43 300r33 359r27 363r28 369r24 480r36
127V13*Copy{52R9} 127>19 127>33 4|465b13 482l8 482t12
127r19 Source{52R9} 4|465b19 470r15 472r25 480r46
127i33 Capacity{2|20I9} 4|465b33 469r10 472r13 473r15
129U14*Move 129=20 129=41 4|1140b14 1153l8 1153t12
129r20 Target{52R9} 4|1140b20 1142m10 1142r10 1151m7 1151r7
129r41 Source{52R9} 4|1140b41 1142m27 1142r27 1146r10 1151r22 1152m7 1152r7
131U14*Insert 132=7 133>7 134>7 135<7 136<7 4|731s7 752b14 805l8 805t14 818s7
132r7 Container{52R9} 4|753b7 791m20 799m10 804m29 804r29
133*7 Key{40+9} 4|754b7 780r22 800r10
134*7 New_Item{41+9} 4|755b7 781r26
135r7 Position{60R9} 4|756b7 801m10 801r10 804m7
136b7 Inserted{boolean} 4|757b7 802m10
138U14*Insert 139=7 140>7 141<7 142<7 4|825b14 888l8 888t14
139r7 Container{52R9} 4|826b7 874m20 882m10 887m29 887r29
140*7 Key{40+9} 4|827b7 852r22 883r10
141r7 Position{60R9} 4|828b7 884m10 884r10 887m7
142b7 Inserted{boolean} 4|829b7 885m10
144U14*Insert 145=7 146>7 147>7 4|807b14 823l8 823t14
145r7 Container{52R9} 4|808b7 818m15
146*7 Key{40+9} 4|809b7 818r26
147*7 New_Item{41+9} 4|810b7 818r31
149U14*Include 150=7 151>7 152>7 4|722b14 746l8 746t15
150r7 Container{52R9} 4|723b7 731m15 734r13 740m35 740r35
151*7 Key{40+9} 4|724b7 731r26 742r22
152*7 New_Item{41+9} 4|725b7 731r31 743r26
154U14*Replace 155=7 156>7 157>7 4|1415b14 1439l8 1439t15
155r7 Container{52R9} 4|1416b7 1420r51 1427r10 1433m32 1433r32
156*7 Key{40+9} 4|1417b7 1420r62 1436r19
157*7 New_Item{41+9} 4|1418b7 1437r23
159U14*Exclude 159=23 159>47 4|595b14 603l8 603t15
159r23 Container{52R9} 4|595b23 596r48 600m49 601m32
159*47 Key{40+9} 4|595b47 596r59
161U14*Delete 161=22 161>46 4|509b14 519l8 519t14
161r22 Container{52R9} 4|509b22 510r48 517m46 518m29
161*46 Key{40+9} 4|509b46 510r59
163U14*Delete 163=22 163=46 4|488b14 507l8 507t14
163r22 Container{52R9} 4|488b22 495m32 495r32 500r27 503m46 504m29
163r46 Position{60R9} 4|488b46 490r10 495r10 500r38 503r57 504r40 506m7
165U14*Delete_First 165=28 4|525b14 533l8 533t20
165r28 Container{52R9} 4|525b28 526r34 530m49 531m32
167U14*Delete_Last 167=27 4|539b14 547l8 547t19
167r27 Container{52R9} 4|539b27 540r34 544m49 545m32
169V13*First{60R9} 169>20 4|638b13 645l8 645t13 663s38
169r20 Container{52R9} 4|638b20 640r10 643r25 643r56
171V13*First_Element{41+9} 171>28 4|673b13 680l8 680t21
171r28 Container{52R9} 4|673b28 675r10 678r17 678r34
173V13*First_Key{40+9} 173>24 4|686b13 693l8 693t17
173r24 Container{52R9} 4|686b24 688r10 691r17 691r34
175V13*Last{60R9} 175>19 4|1061b13 1068l8 1068t12 1086s38
175r19 Container{52R9} 4|1061b19 1063r10 1066r25 1066r56
177V13*Last_Element{41+9} 177>27 4|1096b13 1103l8 1103t20
177r27 Container{52R9} 4|1096b27 1098r10 1101r17 1101r34
179V13*Last_Key{40+9} 179>23 4|1109b13 1116l8 1116t16
179r23 Container{52R9} 4|1109b23 1111r10 1114r17 1114r34
181V13*Next{60R9} 181>19 4|1161s19 1164b13 1186l8 1186t12 1202s14
181r19 Position{60R9} 4|1164b19 1166r10 1170r27 1170r51 1174r26 1177r37 1184r25
183U14*Next 183=20 4|1159b14 1162l8 1162t12
183r20 Position{60R9} 4|1159b20 1161m7 1161r25
185V13*Previous{60R9} 185>23 4|1220s19 1223b13 1245l8 1245t16 1261s14
185r23 Position{60R9} 4|1223b23 1225r10 1229r27 1229r51 1233r26 1236r41 1243r25
187U14*Previous 187=24 4|1218b14 1221l8 1221t16
187r24 Position{60R9} 4|1218b24 1220m7 1220r29
189V13*Find{60R9} 189>19 189>36 4|458s14 624b13 632l8 632t12
189r19 Container{52R9} 4|624b19 625r51 630r25
189*36 Key{40+9} 4|624b36 625r62
191V13*Element{41+9} 191>22 191>39 4|566b13 574l8 574t15
191r22 Container{52R9} 4|566b22 567r51 572r17
191*39 Key{40+9} 4|566b39 567r62
193V13*Floor{60R9} 193>20 193>37 4|699b13 707l8 707t13
193r20 Container{52R9} 4|699b20 700r52 705r25
193*37 Key{40+9} 4|699b37 700r63
195V13*Ceiling{60R9} 195>22 195>39 4|376b13 385l8 385t15
195r22 Container{52R9} 4|376b22 377r54 384r22
195*39 Key{40+9} 4|376b39 377r65
197V13*Contains{boolean} 197>23 197>40 4|456b13 459l8 459t16
197r23 Container{52R9} 4|456b23 458r20
197*40 Key{40+9} 4|456b40 458r31
199V14*"<"{boolean} 199>18 199>24 4|129b14 152l9 152t11
199r18 Left{60R9} 4|129b18 131r10 139r27 139r47 146r33 146r55
199r24 Right{60R9} 4|129b24 135r10 142r27 142r48 147r33 147r56
201V14*">"{boolean} 201>18 201>24 4|227b14 250l9 250t11
201r18 Left{60R9} 4|227b18 229r10 237r27 237r47 244r33 244r55
201r24 Right{60R9} 4|227b24 233r10 240r27 240r48 245r33 245r56
203V14*"<"{boolean} 203>18 203>33 4|154b14 169l9 169t11
203r18 Left{60R9} 4|154b18 156r10 160r27 160r47 164r33 164r55
203*33 Right{40+9} 4|154b33 167r26
205V14*">"{boolean} 205>18 205>33 4|252b14 266l9 266t11
205r18 Left{60R9} 4|252b18 254r10 258r27 258r47 262r33 262r55
205*33 Right{40+9} 4|252b33 264r17
207V14*"<"{boolean} 207>18 207>35 4|171b14 186l9 186t11
207*18 Left{40+9} 4|171b18 184r17
207r35 Right{60R9} 4|171b35 173r10 177r27 177r48 181r33 181r56
209V14*">"{boolean} 209>18 209>35 4|268b14 283l9 283t11
209*18 Left{40+9} 4|268b18 281r26
209r35 Right{60R9} 4|268b35 270r10 274r27 274r48 278r33 278r56
211U14*Iterate 212>7 213^7 4|929b14 964l8 964t15
212r7 Container{52R9} 4|930b7 945r27 948r27 956r25
213p7 Process 4|931b7 945r10
213r46 Position{60R9}
215U14*Reverse_Iterate 216>7 217^7 4|1476b14 1511l8 1511t23
216r7 Container{52R9} 4|1477b7 1492r27 1495r27 1503r33
217p7 Process 4|1478b7 1492r10
217r46 Position{60R9}
219V13*Iterate<12|32R9[69]> 220>7 4|966b13 989l8 989t15
220r7 Container{52R9} 4|967b7 969r28 984r25
223V13*Iterate<12|32R9[69]> 224>7 225>7 4|991b13 1038l8 1038t15
224r7 Container{52R9} 4|992b7 996r28 1014r29 1019r27 1033r25
225r7 Start{60R9} 4|993b7 1009r10 1014r10 1019r38 1034r25
233R9 Node_Type 240e14 243r54 4|71r27 74r26 77r28 80r27 83r40 86r38 89r39
. 92r39 101r15 106r15 146r15 147r15 164r15 181r15 193r43 204r17 244r15 245r15
. 262r15 278r15 300r15 302r47 338r47 400r27 428r14 446r14 740r17 759r39 778r39
. 831r39 850r39 905r15 919r15 1122r26 1209r28 1284r14 1315r45 1328r45 1387r14
. 1405r14 1433r14 1517r27 1527r22 1538r38 1547r40 1556r39 1586r14 1619r19
. 1631r19
234i7 Parent{2|20I9} 4|1211r19 1549m12
235i7 Left{2|20I9} 4|1124r19 1540m12
236i7 Right{2|20I9} 4|1519r19 1558m12
237e7 Color{5|35E9} 4|402r19 1531m12
238*7 Key{40+9} 4|150r20 150r29 167r20 184r27 206r15 206r23 209r18 209r26
. 248r20 248r29 264r28 281r20 340m18 340r28 352r25 691r51 742m15 780m15 852m15
. 910r20 922r27 1054r55 1114r50 1294m24 1330r38 1436m12 1595m24 1634r39
239*7 Element{41+9} 4|213r22 213r34 341m18 341r32 430m31 448m31 563r55 572r40
. 678r51 743m15 781m15 1101r50 1294m31 1331r42 1389m31 1407m31 1437m12 1469m39
. 1595m31 1635r43
242K12 Tree_Types[5|53] 246r10 249r8 4|114r55
252U14 Write 253^7 254>7 4|1613b14 1642l8 1642t13
253p7 Stream(13|39R9) 4|1614b7 1641r20
254r7 Container{52R9} 4|1615b7 1641r28
258U14 Read 259^7 260<7 4|1311b14 1338l8 1338t12
259p7 Stream(13|39R9) 4|1312b7 1330r25 1331r29 1337r22
260r7 Container{52R9} 4|1313b7 1337m30
264P9 Map_Access(52R9) 265r8 268r19 4|47r19
268p7 Container{264P9} 4|139r32 142r33 146r37 146r38 147r38 147r39 160r32
. 164r37 164r38 177r33 181r38 181r39 237r32 240r33 244r37 244r38 245r38 245r39
. 258r32 262r37 262r38 274r33 278r38 278r39 414r19 419r19 495r19 560r36 563r22
. 563r23 804m16 887m16 1014r16 1051r36 1054r22 1054r23 1170r36 1174r35 1184r34
. 1193r19 1197r19 1229r36 1233r35 1243r34 1252r19 1256r19 1279r36 1283r35
. 1373r19 1378r19 1456r19 1577r19
269i7 Node{2|20I9} 4|131r15 135r16 139r52 142r54 146r60 147r62 156r15 160r52
. 164r60 173r16 177r54 181r62 229r15 233r16 237r52 240r54 244r60 245r62 254r15
. 258r52 262r60 270r16 274r54 278r62 424r47 428r58 490r19 500r47 503r66 504r49
. 555r19 560r60 563r49 740r61 801m19 884m19 1019r44 1034r31 1046r19 1051r60
. 1054r49 1170r60 1177r46 1229r60 1236r50 1274r19 1279r60 1284r50 1383r47
. 1387r58 1451r19 1466r47 1469r33 1572r19 1582r47 1586r58
272U14 Write 273^7 274>7 4|1644b14 1650l8 1650t13
273p7 Stream(13|39R9) 4|1645b7
274r7 Item{60R9} 4|1646b7
278U14 Read 279^7 280<7 4|1340b14 1346l8 1346t12
279p7 Stream(13|39R9) 4|1341b7
280r7 Item{60R9} 4|1342b7
287U14 Read 288^7 289<7 4|1356b14 1362l8 1362t12
288p7 Stream(13|39R9) 4|1357b7
289r7 Item{100R9} 4|1358b7
293U14 Write 294^7 295>7 4|1660b14 1666l8 1666t13
294p7 Stream(13|39R9) 4|1661b7
295r7 Item{100R9} 4|1662b7
302U14 Read 303^7 304<7 4|1348b14 1354l8 1354t12
303p7 Stream(13|39R9) 4|1349b7
304r7 Item{105R9} 4|1350b7
308U14 Write 309^7 310>7 4|1652b14 1658l8 1658t13
309p7 Stream(13|39R9) 4|1653b7
310r7 Item{105R9} 4|1654b7
X 4 a-cborma.adb
44R9 Iterator<11|55R9><12|32R9[3|69]> 49e14 51P25 51r51 53P24 53r40 54P24
. 54r40 56P24 57r18 60P24 61r18 609r40 647r29 982r28 1031r28 1070r28 1189r18
. 1248r18 11|58P14 18|42p14
47p7 Container{3|264P9} 611r17 613r40 663r52 665r32 984m12 1033m12 1086r51
. 1088r32 1197r39 1256r39
48i7 Node{2|20I9} 662r17 665r50 985m12 1034m12 1085r17 1088r50
51U25 Finalize<11|59p14> 51=35 609b14 618l8 618t16
51r35 Object{44R9} 609b24 611r10 613r33
53V24 First{3|60R9}<12|26p13> 53>31 647b13 667l8 667t13
53r31 Object{44R9} 647b20 662r10 663r45 665r25 665r43
54V24 Last{3|60R9}<12|34p13> 54>31 1070b13 1090l8 1090t12
54r31 Object{44R9} 1070b19 1085r10 1086r44 1088r25 1088r43
56V24 Next{3|60R9}<12|28p13> 57>7 58>7 1188b13 1203l8 1203t12
57r7 Object{44R9} 1189b7 1197r32
58r7 Position{3|60R9} 1190b7 1193r10 1197r10 1202r20
60V24 Previous{3|60R9}<12|36p13> 61>7 62>7 1247b13 1262l8 1262t16
61r7 Object{44R9} 1248b7 1256r32
62r7 Position{3|60R9} 1249b7 1252r10 1256r10 1261r24
71V13 Color{5|35E9} 71>20 72r19 400b13 403l8 403t13 8|57i19
71r20 Node{3|233R9} 400b20 402r14
74V13 Left{2|20I9} 74>19 75r19 1122b13 1125l8 1125t12 8|45i19
74r19 Node{3|233R9} 1122b19 1124r14
77V13 Parent{2|20I9} 77>21 78r19 1209b13 1212l8 1212t14 8|39i19
77r21 Node{3|233R9} 1209b21 1211r14
80V13 Right{2|20I9} 80>20 81r19 1517b13 1520l8 1520t13 8|51i19
80r20 Node{3|233R9} 1517b20 1519r14
83U14 Set_Parent 83=26 83>51 84r19 1547b14 1550l8 1550t18 8|41i19
83r26 Node{3|233R9} 1547b26 1549m7
83i51 Parent{2|20I9} 1547b51 1549r22
86U14 Set_Left 86=24 86>49 87r19 1538b14 1541l8 1541t16 8|47i19
86r24 Node{3|233R9} 1538b24 1540m7
86i49 Left{2|20I9} 1538b49 1540r20
89U14 Set_Right 89=25 89>50 90r19 1556b14 1559l8 1559t17 8|53i19
89r25 Node{3|233R9} 1556b25 1558m7
89i50 Right{2|20I9} 1556b50 1558r21
92U14 Set_Color 92=25 92>50 93r19 1526b14 1532l8 1532t17 8|59i19
92r25 Node{3|233R9} 1527b7 1531m7
92e50 Color{5|35E9} 1528b7 1531r21
99V13 Is_Greater_Key_Node{boolean} 100>7 101>7 102r19 123r32 903b13 911l8
. 911t27
100*7 Left{3|40+9} 904b7 910r26
101r7 Right{3|233R9} 905b7 910r14
104V13 Is_Less_Key_Node{boolean} 105>7 106>7 107r19 122r32 917b13 923l8 923t24
105*7 Left{3|40+9} 918b7 922r14
106r7 Right{3|233R9} 919b7 922r21
113K12 Tree_Operations[8|63] 116r8 120r32 197r13 293r14 320r17 368r7 393r7
. 503r7 504r7 517r7 518r7 530r10 531r10 544r10 545r10 600r10 601r10 772r14
. 844r14 937r14 1177r12 1236r12 1319r14 1322r14 1484r14 1623r14
118K12 Key_Ops[6|50] 309r17 312r17 315r17 377r37 438r37 510r34 567r37 596r34
. 625r37 700r37 766r13 769r13 838r13 841r13 1397r37 1420r37
146r10 LN{3|233R9} 150r17
147r10 RN{3|233R9} 150r26
164r10 LN{3|233R9} 167r17
181r10 RN{3|233R9} 184r24
193V16 Is_Equal_Node_Node{boolean} 193>36 193>39 194r22 197r44 203b16 215l11
. 215t29
193r36 L{3|233R9} 204b10 206r13 209r24 213r20
193r39 R{3|233R9} 204b13 206r21 209r16 213r32
196V16 Is_Equal[8|88]{boolean} 220s14
244r10 LN{3|233R9} 248r26
245r10 RN{3|233R9} 248r17
262r10 LN{3|233R9} 264r25
278r10 RN{3|233R9} 281r17
290U17 Append_Element 290>33 293r49 299b17 354l11 354t25
290i33 Source_Node{2|20I9} 299b33 300r47
292U17 Append_Elements[8|104] 369s7
300r10 SN{3|233R9} 340r25 341r29 352r22
302U20 Set_Element 302=33 303r25 320r51 338b20 342l14 342t25
302r33 Node{3|233R9} 338b33 340m13 341m13
305V19 New_Node{2|20I9} 306r25 309r46 326b19 332l14 332t22
308U20 Insert_Post[6|56] 312r55 316r16
311U20 Unconditional_Insert_Sans_Hint[6|95] 317r16
314U20 Unconditional_Insert_Avec_Hint[6|115] 349s10
319U20 Allocate[8|144] 330s13
327i13 Result{2|20I9} 330m31 331r20
344i10 Target_Node{2|20I9} 353m22
377i7 Node{2|20I9} 380r10 384r53
428r10 N{3|233R9} 430r29
438i7 Node{2|20I9} 441r10 446r49
446r10 N{3|233R9} 448r29
466i7 C{2|20I9} 470m10 473m10 479r40
479r14 Target{3|52R9} 480m28 480r28
510i7 X{2|20I9} 513r10 517r57 518r40
526i7 X{2|20I9} 529r10 530r60 531r43
540i7 X{2|20I9} 543r10 544r60 545r43
567i7 Node{2|20I9} 569r10 572r34
596i7 X{2|20I9} 599r10 600r60 601r43
613i13 B{natural} 615r13 615r18
625i7 Node{2|20I9} 627r10 630r56
700i7 Node{2|20I9} 702r10 705r56
727r7 Position{3|60R9} 731m41 740r52
728b7 Inserted{boolean} 731m51 733r14
740r13 N{3|233R9} 742r13 743r13
759U17 Assign 759=25 772r48 778b17 782l11 782t17
759r25 Node{3|233R9} 778b25 780m10 781m10
762V16 New_Node{2|20I9} 763r22 766r42 788b16 793l11 793t19
765U17 Insert_Post[6|56] 769r49
768U17 Insert_Sans_Hint[6|75] 798s7
771U17 Allocate[8|144] 791s10
789i10 Result{2|20I9} 791m31 792r17
812r7 Position{3|60R9} 813r28 818m41
815b7 Inserted{boolean} 818m51 820r14
831U17 Assign 831=25 844r48 850b17 865l11 865t17
831r25 Node{3|233R9} 850b25 852m10
834V16 New_Node{2|20I9} 835r22 838r42 871b16 876l11 876t19
837U17 Insert_Post[6|56] 841r49
840U17 Insert_Sans_Hint[6|75] 881s7
843U17 Allocate[8|144] 874s10
872i10 Result{2|20I9} 874m31 875r17
931r46 Position{3|60R9}
933U17 Process_Node 933>31 934r22 937r49 943b17 946l11 946t23
933i31 Node{2|20I9} 943b31 945r58
936U17 Local_Iterate[8|104] 956s10
948i7 B{natural} 953r7 953r12 959r13 959r18 963r7 963r12
969i7 B{natural} 987r10 987r15
982r14 It{44R9}
996i7 B{natural} 1036r10 1036r15
1031r14 It{44R9}
1174r10 M{3|52R9} 1177r34
1176i10 Node{2|20I9} 1180r13 1184r45
1233r10 M{3|52R9} 1236r38
1235i10 Node{2|20I9} 1239r13 1243r45
1270*45 Key{3|40+9}
1271*45 Element{3|41+9}
1283r10 M{3|52R9} 1284r32 1286r30 1287r30
1284r10 N{3|233R9} 1294r22 1294r29
1286i10 B{natural} 1290r10 1290r15 1298r16 1298r21 1303r10 1303r15
1287i10 L{natural} 1291r10 1291r15 1297r16 1297r21 1302r10 1302r15
1315U17 Read_Element 1315=31 1316r22 1319r48 1328b17 1332l11 1332t23
1315r31 Node{3|233R9} 1328b31 1330m33 1330r33 1331m37 1331r37
1318U17 Allocate[8|144] 1322r44
1321U17 Read_Elements[8|129] 1337s7
1387r10 N{3|233R9} 1389r29
1397i7 Node{2|20I9} 1400r10 1405r49
1405r10 N{3|233R9} 1407r29
1420i7 Node{2|20I9} 1423r10 1433r49
1433r10 N{3|233R9} 1436r10 1437r10
1478r46 Position{3|60R9}
1480U17 Process_Node 1480>31 1481r22 1484r57 1490b17 1493l11 1493t23
1480i31 Node{2|20I9} 1490b31 1492r58
1483U17 Local_Reverse_Iterate[8|110] 1503s10
1495i7 B{natural} 1500r7 1500r12 1506r13 1506r18 1510r7 1510r12
1568*46 Key{3|40+9}
1569*46 Element{3|41+9}
1586r10 N{3|233R9} 1595r22 1595r29
1587i10 B{natural} 1591r10 1591r15 1600r16 1600r21 1605r10 1605r15
1588i10 L{natural} 1592r10 1592r15 1599r16 1599r21 1604r10 1604r15
1617U17 Write_Node 1618^10 1619>10 1620r22 1623r45 1629b17 1636l11 1636t21
1618p10 Stream(13|39R9) 1630b10 1634r26 1635r30
1619r10 Node{3|233R9} 1631b10 1634r34 1635r38
1622U17 Write_Nodes[8|118] 1641s7
X 5 a-crbltr.ads
32K24*Red_Black_Trees 3|36w29 237r17 237r47 243r10 248r8 4|30r21 34r21 114r11
. 119r10 5|75e35
35E9*Color_Type 3|237r33 4|71r45 92r58 400r45 1528r15 5|35e35
35n24*Red{35E9} 3|237r63
53k12*Generic_Bounded_Tree_Types 3|243r26 5|73e34
54A12 Nodes_Type(3|233R9)<2|20I9>
63R12 Tree_Type 3|246r21[242] 314r37[242]
64i10 First{2|20I9} 4|526r44[3|242] 640r20[3|242] 643r66[3|242] 675r20[3|242]
. 678r44[3|242] 688r20[3|242] 691r44[3|242]
65i10 Last{2|20I9} 4|540r44[3|242] 1063r20[3|242] 1066r66[3|242] 1098r20[3|242]
. 1101r44[3|242] 1111r20[3|242] 1114r44[3|242]
67i10 Length{2|20I9} 4|363r35[3|242] 470r22[3|242] 472r32[3|242] 896r24[3|242]
. 1133r24[3|242]
68i10 Busy{natural} 4|613m54[3|242] 948m61[3|242] 969m62[3|242] 996m62[3|242]
. 1146r17[3|242] 1286m32[3|242] 1495m61[3|242] 1587m40[3|242]
69i10 Lock{natural} 4|734r23[3|242] 1287m32[3|242] 1427r20[3|242] 1461r20[3|242]
. 1588m40[3|242]
71a10 Nodes{54A12[3|242]} 4|146m48[3|242] 147m49[3|242] 164m48[3|242] 181m49[3|242]
. 244m48[3|242] 245m49[3|242] 262m48[3|242] 278m49[3|242] 300m40[3|242] 428m42[3|242]
. 446m42[3|242] 563r33[3|242] 572r27[3|242] 678r27[3|242] 691r27[3|242] 740m45[3|242]
. 1054r33[3|242] 1101r27[3|242] 1114r27[3|242] 1284m34[3|242] 1387m42[3|242]
. 1405m42[3|242] 1433m42[3|242] 1469m17[3|242] 1586m42[3|242]
X 6 a-rbtgbk.ads
36K17 Tree_Operations 4|120r9
40+9 Key_Type 4|121r9
42V18 Is_Less_Key_Node{boolean} 4|122r9
46V18 Is_Greater_Key_Node{boolean} 4|123r9
50k40*Generic_Bounded_Keys 4|34w37 119r26 6|193e56
56u14 Generic_Insert_Post 4|309r25[118] 766r21[118] 838r21[118]
75u14 Generic_Conditional_Insert 4|769r21[118] 841r21[118]
95u14 Generic_Unconditional_Insert 4|312r25[118]
115u14 Generic_Unconditional_Insert_With_Hint 4|315r25[118]
116c7 Tree<5|63R12[3|242]> 4|350r13[314]
117i7 Hint{2|20I9} 4|351r13[314]
118*7 Key{3|40+9} 4|352r13[314]
119i7 Node{2|20I9} 4|353r13[314]
157V13 Find{2|20I9} 4|438s45[118] 510s42[118] 567s45[118] 596s42[118] 625s45[118]
. 1397s45[118] 1420s45[118]
162V13 Ceiling{2|20I9} 4|377s45[118]
167V13 Floor{2|20I9} 4|700s45[118]
X 8 a-rbtgbo.ads
63k40*Generic_Bounded_Operations 4|30w37 114r27 8|155e62
72V13 Vet{boolean} 4|139s22[113] 142s22[113] 160s22[113] 177s22[113] 237s22[113]
. 240s22[113] 258s22[113] 274s22[113] 424s22[113] 500s22[113] 560s22[113]
. 1019s22[113] 1051s22[113] 1170s22[113] 1229s22[113] 1279s22[113] 1383s22[113]
. 1466s22[113] 1582s22[113]
76V13 Next{2|20I9} 4|1177s28[113]
81V13 Previous{2|20I9} 4|1236s28[113]
88v13 Generic_Equal 4|197r29[113]
93U14 Delete_Node_Sans_Free 4|503s23[113] 517s23[113] 530s26[113] 544s26[113]
. 600s26[113]
98U14 Clear_Tree 4|368s23[113] 393s23[113]
104u14 Generic_Iteration 4|293r30[113] 937r30[113]
110u14 Generic_Reverse_Iteration 4|1484r30[113]
118u14 Generic_Write 4|1623r30[113]
129u14 Generic_Read 4|1322r30[113]
144u14 Generic_Allocate 4|320r33[113] 772r30[113] 844r30[113] 1319r30[113]
151U14 Free 4|504s23[113] 518s23[113] 531s26[113] 545s26[113] 601s26[113]
X 11 a-finali.ads
40K13*Finalization 4|38w10 38r32 11|73e21
55H9*Limited_Controlled 4|44r25 983r10 1032r10 11|71e55
58U14*Initialize<18|44p14>
X 12 a-iteint.ads
21k13*Iterator_Interfaces 3|34w10 70r10 12|39e28
24h9 Forward_Iterator
32h9 Reversible_Iterator<24R9[3|69]> 3|221r38[69] 226r38[69] 4|45r30[3|69]
. 967r55[3|69] 994r38[3|69]
X 13 a-stream.ads
36K13*Streams 3|37w18 250r12 13|69e16
39H9*Root_Stream_Type 3|253r35 259r35 273r32 279r32 288r32 294r32 303r32
. 309r32 4|1312r35 1341r32 1349r32 1357r32 1614r35 1618r35 1630r35 1645r32
. 1653r32 1661r32 13|67e64
X 16 system.ads
42K9*System 4|40w6 40r23 16|160e11
69M9*Address 4|40r30
86V14*"="{boolean} 4|359r25 1142r25
X 18 s-finroo.ads
42U14*Adjust