1V "GNAT Lib v9"
2A -gnatwa
3A -nostdinc
4A -O2
5A -Wextra
6A -Wall
7A -g
8A -gnatp
9A -gnatg
10A -mtune=generic
11A -march=x86-64
12P ZX
13
14RN
15RV NO_ACCESS_SUBPROGRAMS
16RV NO_ALLOCATORS
17RV NO_DISPATCH
18RV NO_EXCEPTIONS
19RV NO_FINALIZATION
20RV NO_LOCAL_ALLOCATORS
21RV NO_NESTED_FINALIZATION
22RV NO_RECURSION
23RV NO_STANDARD_STORAGE_POOLS
24RV NO_STREAMS
25RV NO_UNCHECKED_ACCESS
26RV NO_DEFAULT_INITIALIZATION
27RV NO_DYNAMIC_SIZED_OBJECTS
28RV NO_IMPLEMENTATION_ATTRIBUTES
29RV NO_IMPLEMENTATION_PRAGMAS
30RV NO_IMPLICIT_ALIASING
31RV SPARK_05
32
33U ada.containers.bounded_ordered_sets%b  a-cborse.adb  29f71978 NE OL PK GE
34W ada%s			ada.ads			ada.ali
35W ada.containers%s	a-contai.ads		a-contai.ali
36W ada.containers.helpers%s  a-conhel.adb	a-conhel.ali
37W ada.containers.red_black_trees%s  a-crbltr.ads  a-crbltr.ali
38W ada.containers.red_black_trees.generic_bounded_keys%s
39W ada.containers.red_black_trees.generic_bounded_operations%s
40W ada.containers.red_black_trees.generic_bounded_set_operations%s
41Z ada.streams%s		a-stream.adb		a-stream.ali
42W system%s		system.ads		system.ali
43
44U ada.containers.bounded_ordered_sets%s  a-cborse.ads  84458e6c BN NE OL PU RT PK GE
45W ada%s			ada.ads			ada.ali
46W ada.containers%s	a-contai.ads		a-contai.ali
47W ada.containers.helpers%s  a-conhel.adb	a-conhel.ali
48W ada.containers.red_black_trees%s  a-crbltr.ads  a-crbltr.ali
49W ada.finalization%s	a-finali.ads		a-finali.ali
50W ada.iterator_interfaces%s
51Z ada.streams%s		a-stream.adb		a-stream.ali
52Z ada.tags%s		a-tags.adb		a-tags.ali
53N A48:4 codepeer skip_analysis
54
55D ada.ads		20170911084841 76789da1 ada%s
56D a-contai.ads		20170908151217 61e5e089 ada.containers%s
57D a-cborse.ads		20190108095404 d4c7e6d6 ada.containers.bounded_ordered_sets%s
58D a-cborse.adb		20190108095404 57b353ad ada.containers.bounded_ordered_sets%b
59D a-conhel.ads		20190108095404 20298884 ada.containers.helpers%s
60D a-conhel.adb		20190108095404 9cc5095b ada.containers.helpers%b
61D a-crbltr.ads		20190108095404 c3e90a86 ada.containers.red_black_trees%s
62D a-rbtgbk.ads		20190108095404 360e50a8 ada.containers.red_black_trees.generic_bounded_keys%s
63D a-rbtgbk.adb		20190108095404 103369a3 ada.containers.red_black_trees.generic_bounded_keys%b
64D a-rbtgbo.ads		20190108095404 a2816f8a ada.containers.red_black_trees.generic_bounded_operations%s
65D a-rbtgbo.adb		20190108095404 65411810 ada.containers.red_black_trees.generic_bounded_operations%b
66D a-btgbso.ads		20190108095404 d81493ca ada.containers.red_black_trees.generic_bounded_set_operations%s
67D a-btgbso.adb		20190108095404 0090afee ada.containers.red_black_trees.generic_bounded_set_operations%b
68D a-except.ads		20190108095404 291912d5 ada.exceptions%s
69D a-finali.ads		20190108095404 bf4f806b ada.finalization%s
70D a-iteint.ads		20170908151217 7c7305e9 ada.iterator_interfaces%s
71D a-stream.ads		20190108095404 119b8fb3 ada.streams%s
72D a-tags.ads		20190108095404 491b781d ada.tags%s
73D a-unccon.ads		20170908151217 0e9b276f ada.unchecked_conversion%s
74D system.ads		20190108095404 c631886f system%s
75D s-atocou.ads		20190108095404 b45c2d8d system.atomic_counters%s
76D s-exctab.ads		20190108095404 54135002 system.exception_table%s
77D s-finroo.ads		20190108095404 4ff27390 system.finalization_root%s
78D s-parame.ads		20190108095404 48ec542b system.parameters%s
79D s-secsta.ads		20190108095404 20bbe636 system.secondary_stack%s
80D s-soflin.ads		20190108095404 a7318a92 system.soft_links%s
81D s-stache.ads		20190108095404 a37c21ec system.stack_checking%s
82D s-stalib.ads		20190108095404 09bd3940 system.standard_library%s
83D s-stoele.ads		20190108095404 2dc34a04 system.storage_elements%s
84D s-traent.ads		20190108095404 005bf670 system.traceback_entries%s
85X 1 ada.ads
8616K9*Ada 20e8 3|34r6 36r6 37r14 38r14 39r14 47r9 71r6 287r11 340r8 341r8
87. 450r5 4|30r6 30r34 32r6 36r6 39r6 45r14 2044r5
88X 2 a-contai.ads
8916K13*Containers 1|16k9 2|24e19 3|36r10 37r18 47r13 450r9 4|30r10 30r38 32r10
90. 36r10 39r10 45r18 2044r9
9120I9*Count_Type<integer> 3|54r25 79r45 108r44 326r17 327r17 328r17 336r25
92. 366r19 433r19 4|61r44 64r46 67r45 75r56 78r58 81r60 91r23 96r18 98r22 115r19
93. 279r47 288r47 294r35 315r35 316r22 331r24 364r23 442r44 443r11 486r20 503r20
94. 516r20 592r20 616r23 672r23 714r26 729r26 764r23 780r26 804r23 836r26 847r26
95. 950r26 983r26 1134r23 1140r32 1156r32 1157r19 1190r18 1192r22 1200r32 1221r32
96. 1222r19 1317r38 1327r38 1459r44 1468r45 1503r26 1545r46 1564r26 1683r23
97. 1702r19 1707r32 1728r32 1738r19 1739r19 1888r38 1898r38 1916r45 1937r56
98. 1946r60 1955r58 1975r18
9922X4*Capacity_Error 4|351r16 451r16
100X 3 a-cborse.ads
10142+9 Element_Type 44r37 45r37 52r48 57r30 77r32 85r48 90r19 94r55 97r43 114r19
102. 120r19 124r19 128r19 132r19 136r19 176r52 180r51 190r43 192r44 194r46 196r47
103. 202r41 204r41 206r25 208r25 230r36 240r65 245r22 263r52 265r54 302r54 330r25
104. 385r42 418r38 4|90r19 101r15 106r15 116r19 130r33 170r41 182r25 250r25
105. 262r41 363r46 432r19 485r53 538r48 554r48 591r54 615r43 658r52 671r44 779r65
106. 981r22 1001r66 1023r17 1075r58 1095r19 1111r19 1133r19 1272r15 1286r15
107. 1446r51 1612r55 1653r10 1682r58 1703r19 1860r19 1974r32 2019r10
10844V19 "<"{boolean} 44>23 44>29 4|166s40 179s55 191s19 246s41 259s57 271s20
109. 556s23 556s45 576s31 577s34 1278s28 1290s19 1299s24 1763s30 1764s41 1794s29
11044*23 Left{42+9}
11144*29 Right{42+9}
11245V19 "="{boolean} 45>23 45>29 4|211s27
11345*23 Left{42+9}
11445*29 Right{42+9}
11547k24*Bounded_Ordered_Sets 2|16k13 3|42z9 44z19 45z19 325E9 450l20 450e40
116. 4|45b29 648r17 1436r17 2044l20 2044t40
11752V13*Equivalent_Elements{boolean} 52>34 52>40 4|554b13 557l8 557t27
11852*34 Left{42+9} 4|554b34 556r18 556r47
11952*40 Right{42+9} 4|554b40 556r25 556r39
12054R9*Set<7|67R12[333]> 54d14 59r41 64r25 73p14 73r32 75p13 75r44 77p13 77r53
121. 79p13 79r33 81p13 81r35 83p14 83r40 87p14 88r26 102p13 103r27 106p14 106r38
122. 106r52 108p13 108r28 108r68 110p14 110r36 110r57 112p14 113r26 118p14 119r26
123. 122p14 123r26 126p14 127r26 130p14 131r26 134p14 135r26 138p14 139r26 142p14
124. 142r47 144p14 144r46 146p14 146r37 146r51 148p13 148r34 148r46 150r33 150r45
125. 152p14 152r44 152r58 154p13 154r41 154r53 156r34 156r46 158p14 158r42 158r56
126. 160p13 160r39 160r51 162r32 162r44 164p14 164r52 164r66 166p13 166r49 166r61
127. 168r34 168r46 170p13 170r36 172p13 172r33 172r47 174p13 174r32 176p13 176r40
128. 178p13 178r31 180p13 180r39 190p13 190r31 192p13 192r32 194p13 194r34 196p13
129. 196r35 210p14 211r19 214p14 215r19 218p13 219r19 222p13 223r19 240r37 243r29
130. 247r45 249r44 251r34 253r35 255r37 257r38 260r29 270r37 274r30 278r37 282r37
131. 336c9 337e58 343p14 345r19 347r8 349p14 351r23 353r8 355r34 412r27 425r25
132. 425r32 4|89r26 95r25 114r26 137r30 198r32 278r38 278r52 363r34 375r40 394r27
133. 431r19 442r28 442r68 454r23 463r41 485r41 502r47 515r46 528r42 528r56 531r39
134. 531r51 563r44 591r42 615r31 626r32 658r40 671r32 713r37 726r30 754r38 763r44
135. 779r37 803r45 835r34 846r35 911r37 947r37 979r29 999r29 1075r42 1094r26
136. 1110r26 1132r26 1189r25 1252r44 1252r58 1255r41 1255r53 1262r35 1306r33
137. 1306r47 1314r19 1332r11 1341r34 1364r34 1414r31 1446r39 1468r33 1477r36
138. 1477r57 1538r36 1596r27 1623r14 1636r23 1682r42 1701r26 1858r26 1885r19
139. 1903r11 1964r52 1964r66 1967r49 1967r61 1974r53 1978r18 1988r37 1988r51
140. 1991r34 1991r46 2000r19
14154i14 Capacity{2|20I9} 336r14 337r32 425m52 4|350r33
14261R9*Cursor 62r41 66r26 68r37 71r31 85r33 89r19 93r18 104r19 115r23 140r26
143. 174r44 178r43 182r30 182r45 184r38 186r34 186r49 188r42 190r64 192r65 194r67
144. 198r32 200r32 202r25 204r25 206r47 208r47 212r57 216r57 224r19 238r32 251r62
145. 253r63 255r65 261r22 271r22 295r22 364c9 367e14 371r16 373r8 377r20 379r8
146. 422r18 427r26 427r36 439r57 440r57 444r18 444r33 448r18 448r33 4|146r32
147. 170r25 182r47 224r32 250r47 262r25 363r67 368r20 395r19 463r64 538r33 615r64
148. 619r20 626r44 629r20 632r46 650r17 671r65 675r20 713r65 718r23 835r62 839r23
149. 846r63 850r23 881r32 912r22 1000r22 1057r18 1066r37 1076r18 1096r23 1113r18
150. 1315r57 1329r19 1364r47 1414r43 1417r20 1420r45 1438r17 1493r30 1493r45
151. 1511r17 1515r38 1520r49 1520r64 1554r34 1554r49 1568r23 1572r42 1577r53
152. 1577r68 1611r18 1664r20 1859r19 1886r57 1900r19 2030r16
15364r4*Empty_Set{54R9} 425c4
15466r4*No_Element{61R9} 427c4 4|367r32 435r40 482r19 618r32 628r43 674r32 717r35
155. 756r42 838r35 849r35 1068r26 1379r34 1416r42 1495r21 1496r17 1508r20 1523r17
156. 1556r21 1557r17 1567r35 1580r17
15768V13*Has_Element{boolean} 68>26 71r39 4|1066b13 1069l8 1069t19
15868r26 Position{61R9} 4|1066b26 1068r14
15970K12*Set_Iterator_Interfaces[16|21] 220r14 225r14 430r6 4|1342r13 1365r13
16073V14*"="{boolean} 73>18 73>24 4|198b14 218l9 218t11
16173r18 Left{54R9} 4|198b18 217r24
16273r24 Right{54R9} 4|198b24 217r30
16375V13*Equivalent_Sets{boolean} 75>30 75>36 4|563b13 585l8 585t23
16475r30 Left{54R9} 4|563b30 584r29
16575r36 Right{54R9} 4|563b36 584r35
16677V13*To_Set{54R9} 77>21 4|1974b13 1982l8 1982t14
16777*21 New_Item{42+9} 4|1974b21 1979r31
16879V13*Length{2|20I9} 79>21 4|1468b13 1471l8 1471t14
16979r21 Container{54R9} 4|1468b21 1470r14
17081V13*Is_Empty{boolean} 81>23 4|1262b13 1265l8 1265t16
17181r23 Container{54R9} 4|1262b23 1264r14
17283U14*Clear 83=21 4|355s14 375b14 378l8 378t13 1486s14
17383r21 Container{54R9} 4|375b21 377m35
17485V13*Element{42+9} 85>22 4|538b13 548l8 548t15
17585r22 Position{61R9} 4|538b22 540r26 544r27 544r51 547r14 547r40
17687U14*Replace_Element 88=7 89>7 90>7 4|1857b14 1878l8 1878t23
17788r7 Container{54R9} 4|1858b7 1868m48 1868r48 1874r27 1877m24
17889r7 Position{61R9} 4|1859b7 1863r26 1868r26 1874r38 1877r35
17990*7 New_Item{42+9} 4|1860b7 1877r50
18092U14*Query_Element 93>7 94^7 4|1610b14 1628l8 1628t21
18193r7 Position{61R9} 4|1611b7 1615r26 1619r27 1619r51 1623r26 1626r28
18294p7 Process 4|1612b7 1626r10
18394*45 Element{42+9}
18496R9*Constant_Reference_Type 97d8 104r34 275r39 384c9 392e17 396r20 398r8
185. 402r16 404r8 4|395r34 417r30 727r39 741r33 1672r20 2038r16
186102V13*Constant_Reference{96R9} 55r30 103>7 104>7 4|393b13 424l8 424t26
187103r7 Container{54R9} 4|394b7 402r48 409r15 413r32 415r12
188104r7 Position{61R9} 4|395b7 398r26 402r26 409r26 413r49
189106U14*Assign 106=22 106>43 4|138r30 278b14 357l8 357t14 455s10 1485s14
190106r22 Target{54R9} 4|278b22 318m23 337m22 346m10 346r10 350r26 355m7 355r7
191. 455r18
192106r43 Source{54R9} 4|278b43 289r33 346r27 350r44 356r24 455r36
193108V13*Copy{54R9} 108>19 108>33 4|442b13 457l8 457t12
194108r19 Source{54R9} 4|442b19 447r15 448r25 455r46
195108i33 Capacity{2|20I9} 4|442b33 446r10 448r13 449r15
196110U14*Move 110=20 110=41 4|1477b14 1487l8 1487t12
197110r20 Target{54R9} 4|1477b20 1479m10 1479r10 1485m7 1485r7
198110r41 Source{54R9} 4|1477b41 1479m27 1479r27 1483r17 1485r22 1486m7 1486r7
199112U14*Insert 113=7 114>7 115<7 116<7 4|1080s7 1093b14 1107l8 1107t14 1119s7
200113r7 Container{54R9} 4|1094b7 1101m10 1106m29 1106r29
201114*7 New_Item{42+9} 4|1095b7 1102r10
202115r7 Position{61R9} 4|1096b7 1103m10 1103r10 1106m7
203116b7 Inserted{boolean} 4|1097b7 1104m10
204118U14*Insert 119=7 120>7 4|1109b14 1125l8 1125t14
205119r7 Container{54R9} 4|1110b7 1119m15
206120*7 New_Item{42+9} 4|1111b7 1119r26
207122U14*Include 123=7 124>7 4|1075b14 1087l8 1087t15
208123r7 Container{54R9} 4|1075b23 1080m15 1083r20 1085m10
209124*7 New_Item{42+9} 4|1075b47 1080r26 1085r53
210126U14*Replace 127=7 128>7 4|1682b14 1694l8 1694t15
211127r7 Container{54R9} 4|1682b23 1683r56 1691r17 1693m7
212128*7 New_Item{42+9} 4|1682b47 1683r67 1693r41
213130U14*Exclude 131=7 132>7 4|591b14 598l8 598t15
214131r7 Container{54R9} 4|591b23 592r53 595m49 596m32
215132*7 Item{42+9} 4|591b47 592r64
216134U14*Delete 135=7 136>7 4|485b14 496l8 496t14
217135r7 Container{54R9} 4|485b22 486r53 489m46 495m29
218136*7 Item{42+9} 4|485b46 486r64
219138U14*Delete 139=7 140=7 4|463b14 483l8 483t14
220139r7 Container{54R9} 4|463b22 469m48 469r48 474r17 476r27 479m46 480m29
221140r7 Position{61R9} 4|463b46 465r26 469r26 476r38 479r57 480r40 482m7
222142U14*Delete_First 142=28 4|502b14 509l8 509t20
223142r28 Container{54R9} 4|502b28 503r34 506m49 507m32
224144U14*Delete_Last 144=27 4|515b14 522l8 522t19
225144r27 Container{54R9} 4|515b27 516r34 519m49 520m32
226146U14*Union 146=21 146>42 4|1988b14
227146r21 Target{54R9} 4|1988b21
228146r42 Source{54R9} 4|1988b42
229148V13*Union{54R9} 148>20 148>26 150r57 4|1991b13
230148r20 Left{54R9} 4|1991b20
231148r26 Right{54R9} 4|1991b26
232150V14*"or"=150:57{54R9}
233150r19 Left{54R9}
234150r25 Right{54R9}
235152U14*Intersection 152=28 152>49 4|1252b14
236152r28 Target{54R9} 4|1252b28
237152r49 Source{54R9} 4|1252b49
238154V13*Intersection{54R9} 154>27 154>33 156r58 4|1255b13
239154r27 Left{54R9} 4|1255b27
240154r33 Right{54R9} 4|1255b33
241156V14*"and"=156:58{54R9}
242156r20 Left{54R9}
243156r26 Right{54R9}
244158U14*Difference 158=26 158>47 4|528b14
245158r26 Target{54R9} 4|528b26
246158r47 Source{54R9} 4|528b47
247160V13*Difference{54R9} 160>25 160>31 162r56 4|531b13
248160r25 Left{54R9} 4|531b25
249160r31 Right{54R9} 4|531b31
250162V14*"-"=162:56{54R9}
251162r18 Left{54R9}
252162r24 Right{54R9}
253164U14*Symmetric_Difference 164=36 164>57 4|1964b14
254164r36 Target{54R9} 4|1964b36
255164r57 Source{54R9} 4|1964b57
256166V13*Symmetric_Difference{54R9} 166>35 166>41 168r58 4|1967b13
257166r35 Left{54R9} 4|1967b35
258166r41 Right{54R9} 4|1967b41
259168V14*"xor"=168:58{54R9}
260168r20 Left{54R9}
261168r26 Right{54R9}
262170V13*Overlap{boolean} 170>22 170>28 4|1538b13
263170r22 Left{54R9} 4|1538b22
264170r28 Right{54R9} 4|1538b28
265172V13*Is_Subset{boolean} 172>24 172>38 4|1306b13
266172r24 Subset{54R9} 4|1306b24
267172r38 Of_Set{54R9} 4|1306b38
268174V13*First{61R9} 174>20 4|626b13 630l8 630t13 648s38
269174r20 Container{54R9} 4|626b20 628r18 629r28 629r59
270176V13*First_Element{42+9} 176>28 4|658b13 665l8 665t21
271176r28 Container{54R9} 4|658b28 660r26 664r14 664r31
272178V13*Last{61R9} 178>19 4|1414b13 1418l8 1418t12 1436s38
273178r19 Container{54R9} 4|1414b19 1416r18 1417r28 1417r59
274180V13*Last_Element{42+9} 180>27 4|1446b13 1453l8 1453t20
275180r27 Container{54R9} 4|1446b27 1448r26 1452r14 1452r31
276182V13*Next{61R9} 182>19 4|1493b13 1513l8 1513t12 1517s19 1531s14
277182r19 Position{61R9} 4|1493b19 1495r10 1499r27 1499r51 1504r34 1504r58 1511r25
278184U14*Next 184=20 4|1515b14 1518l8 1518t12
279184r20 Position{61R9} 4|1515b20 1517m7 1517r25
280186V13*Previous{61R9} 186>23 4|1554b13 1570l8 1570t16 1574s19 1588s14
281186r23 Position{61R9} 4|1554b23 1556r10 1560r27 1560r51 1565r38 1565r62 1568r31
282188U14*Previous 188=24 4|1572b14 1575l8 1575t16
283188r24 Position{61R9} 4|1572b24 1574m7 1574r29
284190V13*Find{61R9} 190>19 190>36 4|435s14 615b13 620l8 620t12
285190r19 Container{54R9} 4|615b19 616r56 619r28
286190*36 Item{42+9} 4|615b36 616r67
287192V13*Floor{61R9} 192>20 192>37 4|671b13 676l8 676t13
288192r20 Container{54R9} 4|671b20 672r57 675r28
289192*37 Item{42+9} 4|671b37 672r68
290194V13*Ceiling{61R9} 194>22 194>39 4|363b13 369l8 369t15
291194r22 Container{54R9} 4|363b22 365r31 368r28
292194*39 Item{42+9} 4|363b39 365r42
293196V13*Contains{boolean} 196>23 196>40 4|430b13 436l8 436t16
294196r23 Container{54R9} 4|431b7 435r20
295196*40 Item{42+9} 4|432b7 435r31
296198V14*"<"{boolean} 198>18 198>24 4|146b14 168l9 168t11
297198r18 Left{61R9} 4|146b18 148r26 156r27 156r47 163r34 166r21
298198r24 Right{61R9} 4|146b24 152r26 159r27 159r48 164r34 166r46
299200V14*">"{boolean} 200>18 200>24 4|224b14 248l9 248t11
300200r18 Left{61R9} 4|224b18 226r26 234r27 234r47 243r34 246r47
301200r24 Right{61R9} 4|224b24 230r26 237r27 237r48 244r34 246r21
302202V14*"<"{boolean} 202>18 202>33 4|170b14 180l9 180t11
303202r18 Left{61R9} 4|170b18 172r26 176r27 176r47 179r14 179r36
304202*33 Right{42+9} 4|170b33 179r57
305204V14*">"{boolean} 204>18 204>33 4|262b14 272l9 272t11
306204r18 Left{61R9} 4|262b18 264r26 268r27 268r47 271r22 271r44
307204*33 Right{42+9} 4|262b33 271r14
308206V14*"<"{boolean} 206>18 206>39 4|182b14 192l9 192t11
309206*18 Left{42+9} 4|182b18 191r14
310206r39 Right{61R9} 4|182b39 184r26 188r27 188r48 191r21 191r44
311208V14*">"{boolean} 208>18 208>39 4|250b14 260l9 260t11
312208*18 Left{42+9} 4|250b18 259r59
313208r39 Right{61R9} 4|250b39 252r26 256r27 256r48 259r14 259r37
314210U14*Iterate 211>7 212^7 4|1313b14 1339l8 1339t15
315211r7 Container{54R9} 4|1314b7 1329r27 1332r23
316212p7 Process 4|1315b7 1329r10
317212r46 Position{61R9}
318214U14*Reverse_Iterate 215>7 216^7 4|1884b14 1910l8 1910t23
319215r7 Container{54R9} 4|1885b7 1900r27 1903r23
320216p7 Process 4|1886b7 1900r10
321216r46 Position{61R9}
322218V13*Iterate{16|32C9[70]} 219>7 4|1341b13 1362l8 1362t15
323219r7 Container{54R9} 4|1341b22 1357r34 1360r16
324222V13*Iterate{16|32C9[70]} 223>7 224>7 4|1364b13 1408l8 1408t15
325223r7 Container{54R9} 4|1364b22 1384r45 1389r27 1403r34 1406r16
326224r7 Start{61R9} 4|1364b39 1379r26 1384r26 1389r38 1404r34
327228+12 Key_Type 230r57 232r40 236r47 238r47 240r48 244r22 247r56 249r55 251r45
328. 253r46 255r48 257r49 275r22 279r22 285r37 4|689r18 694r18 705r35 713r48
329. 727r22 754r49 763r55 779r48 794r47 803r56 835r45 846r46 858r18 870r18 881r47
330. 939r48 948r22 967r48 980r22 1024r26
331230V21 Key{228+12} 230>26 4|862s17 874s24 891s17 1024s38 1028s36
332230*26 Element{42+9}
333232V22 "<"{boolean} 232>26 232>32 4|796s26 796s48 862s37 874s22
334232*26 Left{228+12}
335232*32 Right{228+12}
336234k12 Generic_Keys 228z12 230z21 232z22 282E12 318l8 318e20 4|682b17 1050l8
337. 1050t20
338236V16*Equivalent_Keys{boolean} 236>33 236>39 4|794b16 797l11 797t26 1028s16
339236*33 Left{228+12} 4|794b33 796r21 796r50
340236*39 Right{228+12} 4|794b39 796r28 796r42
341238V16*Key{228+12} 238>21 4|821s37 823s47 881b16 892l11 892t14 939s58
342238r21 Position{61R9} 4|881b21 883r29 888r30 888r54 891r22 891r48
343240V16*Element{42+9} 240>25 240>42 4|779b16 788l11 788t18
344240r25 Container{54R9} 4|779b25 780r55 787r17
345240*42 Key{228+12} 4|779b42 780r66
346242U17*Replace 243=10 244>10 245>10 4|978b17 992l11 992t18
347243r10 Container{54R9} 4|979b10 983r55 991m27
348244*10 Key{228+12} 4|980b10 983r66
349245*10 New_Item{42+9} 4|981b10 991r44
350247U17*Exclude 247=26 247>50 4|803b17 810l11 810t18
351247r26 Container{54R9} 4|803b26 804r52 807m52 808m35
352247*50 Key{228+12} 4|803b50 804r63
353249U17*Delete 249=25 249>49 4|763b17 773l11 773t17 823s16
354249r25 Container{54R9} 4|763b25 764r52 771m49 772m32
355249*49 Key{228+12} 4|763b49 764r63
356251V16*Find{61R9} 251>22 251>39 4|756s17 835b16 840l11 840t15 966s44
357251r22 Container{54R9} 4|835b22 836r55 839r31
358251*39 Key{228+12} 4|835b39 836r66
359253V16*Floor{61R9} 253>23 253>40 4|846b16 851l11 851t16
360253r23 Container{54R9} 4|846b23 847r56 850r31
361253*40 Key{228+12} 4|846b40 847r67
362255V16*Ceiling{61R9} 255>25 255>42 4|713b16 719l11 719t18
363255r25 Container{54R9} 4|713b25 715r30 718r31
364255*42 Key{228+12} 4|713b42 715r41
365257V16*Contains{boolean} 257>26 257>43 4|754b16 757l11 757t19
366257r26 Container{54R9} 4|754b26 756r23
367257*43 Key{228+12} 4|754b43 756r34
368259U17*Update_Element_Preserving_Key 260=10 261>10 262^10 4|998b17 1037l11
369. 1037t40
370260r10 Container{54R9} 4|999b10 1009m51 1009r51 1015r30 1022m35 1022r35 1025m31
371. 1025r31 1033m49 1034m32
372261r10 Position{61R9} 4|1000b10 1004r29 1009r29 1015r41 1022r52 1033r60 1034r43
373262p10 Process 4|1001b10 1027r13
374263*35 Element{42+9}
375265R12*Reference_Type 265d28 271r37 279r39 302c12 304e17 308r23 310r11 314r19
376. 316r11 4|900r23 912r37 932r33 948r39 960r33 1045r19
377269V16*Reference_Preserving_Key{265R12} 270=10 271>10 4|910b16 944l11 944t35
378270r10 Container{54R9} 4|911b10 919m51 919r51 926r18 930m35 930r35 936m31
379. 936r31 937m44 937r44 941m22 941r22
380271r10 Position{61R9} 4|912b10 915r29 919r29 926r29 930r52 938r44 939r63
381273V16*Constant_Reference{96R9} 274>10 275>10 4|725b16 748l11 748t29
382274r10 Container{54R9} 4|726b10 729r55 737r35 739r15
383275*10 Key{228+12} 4|727b10 729r66
384277V16*Reference_Preserving_Key{265R12} 278=10 279>10 4|946b16 972l11 972t35
385278r10 Container{54R9} 4|947b10 950r55 958m35 958r35 964m31 964r31 965m44
386. 965r44 966r50 969m22 969r22
387279*10 Key{228+12} 4|948b10 950r66 966r61 967r58
388282P12 Set_Access(54R9) 283r11 294r22
389285P12 Key_Access(228+12) 296r22
390289K15 Impl[5|55] 292r13 4|819r13
391291R12 Reference_Control_Type<5|84R12[289]> 297e17 299P28 299r55 303r21 4|816r44
392. 15|46P14
393294p10 Container{282P12} 4|818r21 823r32 827m21 937m31 965m31
394295r10 Pos{61R9} 4|821r50 823r60 938m31 966m32
395296p10 Old_Key{285P12} 4|821r65 939m31 967m32
396299U28 Finalize<5|93p28> 299=38 300r22 4|816b17 829l11 829t19
397299r38 Control{291R12} 4|816b27 818r13 819m42 819r42 821r42 821r57 823r24
398. 823r52 827m13
399303r10 Control{291R12} 4|934m27 962m27
400306U17 Read 307^10 308<10 4|898b18 904l11 904t15
401307p10 Stream(17|39R9) 4|899b10
402308r10 Item{265R12} 4|900b10
403312U17 Write 313^10 314>10 4|1043b17 1049l11 1049t16
404313p10 Stream(17|39R9) 4|1044b10
405314r10 Item{265R12} 4|1045b10
406325R9 Node_Type 331e14 334r54 4|58r27 61r26 64r28 67r27 71r22 75r38 78r39
407. 81r40 97r18 102r15 107r15 110r39 199r43 209r43 289r15 291r47 326r47 384r27
408. 413r14 564r48 574r48 690r18 695r18 737r17 859r18 871r18 930r17 958r17 1022r17
409. 1137r44 1167r44 1191r18 1197r44 1232r44 1273r15 1287r15 1297r39 1459r26
410. 1545r28 1638r45 1651r45 1722r15 1916r27 1926r22 1937r38 1946r40 1955r39
411. 2004r19 2016r19
412326i7 Parent{2|20I9} 4|1547r19 1732m15 1948m12
413327i7 Left{2|20I9} 4|1461r19 1734m15 1939m12
414328i7 Right{2|20I9} 4|1733m15 1918r19 1957m12
415329e7 Color{7|37E9} 4|386r19 1731m15 1930m12
416330*7 Element{42+9} 4|166r32 166r58 179r47 191r56 211r19 211r31 246r33 246r58
417. 259r49 271r55 328m18 328r32 339r25 418m26 547r55 576r23 576r35 577r26 577r38
418. 664r48 742m29 787r40 862r28 874r35 891r63 933m40 961m40 1023m40 1059m55
419. 1085m42 1169m15 1234m15 1234r35 1243r19 1278r20 1290r27 1299r16 1299r28
420. 1452r47 1626m43 1653m42 1693m30 1730m15 1763r37 1764r33 1775m15 1794r44
421. 1833m18 2019r43
422333K12 Tree_Types[7|57] 337r10 339r8 339r20 4|123r55
423343U14 Write 344^7 345>7 4|1998b14 2026l8 2026t13
424344p7 Stream(17|39R9) 4|1999b7 2025r23
425345r7 Container{54R9} 4|2000b7 2025r31
426349U14 Read 350^7 351<7 4|1634b14 1660l8 1660t12
427350p7 Stream(17|39R9) 4|1635b7 1653r29 1659r22
428351r7 Container{54R9} 4|1636b7 1659m30
429355P9 Set_Access(54R9) 356r8 365r19 432r19
430365p7 Container{355P9} 4|156r32 159r33 163r38 163r39 164r39 164r40 176r32
431. 179r18 179r19 188r33 191r26 191r27 234r32 237r33 243r38 243r39 244r39 244r40
432. 256r33 259r19 259r20 268r32 271r26 271r27 398r35 402r35 469r35 544r36 547r22
433. 547r23 888r39 891r30 891r31 915r38 919r38 1009r38 1059r22 1059r23 1106m16
434. 1384r32 1499r36 1504r43 1511r34 1522r19 1526r35 1560r36 1565r47 1568r40
435. 1579r19 1583r35 1619r36 1623r35 1868r35
436366i7 Node{2|20I9} 4|148r31 152r32 156r52 159r54 166r26 166r52 172r31 176r52
437. 179r41 184r32 188r54 191r50 226r31 230r32 234r52 237r54 246r27 246r52 252r32
438. 256r54 259r43 264r31 268r52 271r49 409r35 413r58 465r35 476r47 479r66 480r49
439. 540r35 544r60 547r49 883r38 888r63 891r57 926r38 930r61 1004r38 1015r50
440. 1022r61 1033r69 1034r52 1059r49 1085r36 1103m19 1389r44 1404r40 1499r60
441. 1504r67 1560r60 1565r71 1615r35 1619r60 1626r37 1863r35 1874r47 1877r44
442369U14 Write 370^7 371>7 4|2028b14 2034l8 2034t13
443370p7 Stream(17|39R9) 4|2029b7
444371r7 Item{61R9} 4|2030b7
445375U14 Read 376^7 377<7 4|1662b14 1668l8 1668t12
446376p7 Stream(17|39R9) 4|1663b7
447377r7 Item{61R9} 4|1664b7
448381R12 Reference_Control_Type{5|84R12[7|77[3|333]]} 387r20 412r45 4|1596r45
449. 1601r27
450387r10 Control{381R12} 4|419m13 743m16
451394U14 Read 395^7 396<7 4|1670b14 1676l8 1676t12
452395p7 Stream(17|39R9) 4|1671b7
453396r7 Item{96R9} 4|1672b7
454400U14 Write 401^7 402>7 4|2036b14 2042l8 2042t13
455401p7 Stream(17|39R9) 4|2037b7
456402r7 Item{96R9} 4|2038b7
457411V13 Pseudo_Reference{381R12} 412>7 413r19 4|1595b13 1604l8 1604t24
458412c7 Container<54R9> 4|1596b7 1599r9
459418P9 Element_Access(42+9) 422r42 4|1057r42
460421V13 Get_Element_Access{418P9} 422>7 4|1056b13 1060l8 1060t26
461422r7 Position{61R9} 4|1057b7 1059r14 1059r40
462429R9 Iterator<15|50R9><16|32R9[70]> 435e6 437P25 437r51 439P24 439r40 440P24
463. 440r40 442P24 443r18 446P24 447r18 4|604r40 632r29 1355r28 1356r9 1401r28
464. 1402r9 1420r28 1520r28 1577r32 15|53P14 23|42p14
465432p7 Container{355P9} 4|606r17 607r24 607r25 648r52 650r32 1357m21 1403m21
466. 1436r51 1438r32 1526r55 1583r55
467433i7 Node{2|20I9} 4|647r17 650r50 1358m21 1404m21 1435r17 1438r50
468437U25 Finalize<15|54p14> 437=35 4|604b14 609l8 609t16
469437r35 Object{429R9} 4|604b24 606r10 607r18
470439V24 First{61R9}<16|26p13> 439>31 4|632b13 652l8 652t13
471439r31 Object{429R9} 4|632b20 647r10 648r45 650r25 650r43
472440V24 Last{61R9}<16|34p13> 440>31 4|1420b13 1440l8 1440t12
473440r31 Object{429R9} 4|1420b19 1435r10 1436r44 1438r25 1438r43
474442V24 Next{61R9}<16|28p13> 443>7 444>7 4|1520b13 1532l8 1532t12
475443r7 Object{429R9} 4|1520b19 1526r48
476444r7 Position{61R9} 4|1520b38 1522r10 1526r26 1531r20
477446V24 Previous{61R9}<16|36p13> 447>7 448>7 4|1577b13 1589l8 1589t16
478447r7 Object{429R9} 4|1577b23 1583r48
479448r7 Position{61R9} 4|1577b42 1579r10 1583r26 1588r24
480X 4 a-cborse.adb
48158V13 Color{7|37E9} 58>20 59r19 384b13 387l8 387t13 10|57i19
48258r20 Node{3|325R9} 384b20 386r14
48361V13 Left{2|20I9} 61>19 62r19 1459b13 1462l8 1462t12 10|45i19
48461r19 Node{3|325R9} 1459b19 1461r14
48564V13 Parent{2|20I9} 64>21 65r19 1545b13 1548l8 1548t14 10|39i19
48664r21 Node{3|325R9} 1545b21 1547r14
48767V13 Right{2|20I9} 67>20 68r19 1916b13 1919l8 1919t13 10|51i19
48867r20 Node{3|325R9} 1916b20 1918r14
48970U14 Set_Color 71=7 72>7 73r19 1925b14 1931l8 1931t17 10|59i19
49071r7 Node{3|325R9} 1926b7 1930m7
49172e7 Color{7|37E9} 1927b7 1930r21
49275U14 Set_Left 75=24 75>49 76r19 1937b14 1940l8 1940t16 10|47i19
49375r24 Node{3|325R9} 1937b24 1939m7
49475i49 Left{2|20I9} 1937b49 1939r20
49578U14 Set_Right 78=25 78>50 79r19 1955b14 1958l8 1958t17 10|53i19
49678r25 Node{3|325R9} 1955b25 1957m7
49778i50 Right{2|20I9} 1955b50 1957r21
49881U14 Set_Parent 81=26 81>51 82r19 1946b14 1949l8 1949t18 10|41i19
49981r26 Node{3|325R9} 1946b26 1948m7
50081i51 Parent{2|20I9} 1946b51 1948r22
50188U14 Insert_Sans_Hint 89=7 90>7 91<7 92<7 1100s7 1131b14 1182l8 1182t24
502. 1979s10
50389r7 Container{3|54R9} 1132b7 1159m20 1175r17 1178m10
50490*7 New_Item{3|42+9} 1133b7 1169r26 1179r10
50591i7 Node{2|20I9} 1134b7 1180m10
50692b7 Inserted{boolean} 1135b7 1181m10
50794U14 Insert_With_Hint 95=7 96>7 97>7 98<7 139r30 1188b14 1246l8 1246t24
50895r7 Dst_Set{3|54R9} 1189b7 1224m20 1241m10
50996i7 Dst_Hint{2|20I9} 1190b7 1242r10
51097r7 Src_Node{3|325R9} 1191b7 1234r26 1243r10
51198i7 Dst_Node{2|20I9} 1192b7 1244m10
512100V13 Is_Greater_Element_Node{boolean} 101>7 102>7 103r19 132r33 1271b13
513. 1279l8 1279t31
514101*7 Left{3|42+9} 1272b7 1278r30
515102r7 Right{3|325R9} 1273b7 1278r14
516105V13 Is_Less_Element_Node{boolean} 106>7 107>7 108r19 131r33 1285b13 1291l8
517. 1291t28
518106*7 Left{3|42+9} 1286b7 1290r14
519107r7 Right{3|325R9} 1287b7 1290r21
520110V13 Is_Less_Node_Node{boolean} 110>32 110>35 111r19 140r30 1297b13 1300l8
521. 1300t25
522110r32 L{3|325R9} 1297b32 1299r14
523110r35 R{3|325R9} 1297b35 1299r26
524113U14 Replace_Element 114=7 115>7 116>7 991s10 1700b14 1855l8 1855t23 1877s7
525114r7 Container{3|54R9} 1701b7 1721m34 1721r34 1761m28 1761r28 1773r20 1788r37
526. 1792m31 1792r31 1831r23 1844m46 1847m22
527115i7 Index{2|20I9} 1702b7 1705r22 1722r40 1735r17 1830r20 1844r57 1854r31
528116*7 Item{3|42+9} 1703b7 1730r26 1763r25 1764r43 1775r26 1788r48 1794r24
529. 1833r29 1849r22
530122K12 Tree_Operations[10|63] 125r8 129r33 136r30 203r14 282r14 309r17 377r7
531. 479r7 480r7 489r7 495r7 506r10 507r10 519r10 520r10 568r14 595r10 596r10
532. 704r35 771r10 772r10 807r13 808r13 1033r10 1034r10 1150r14 1215r14 1321r13
533. 1504r12 1565r12 1642r14 1645r14 1844r7 1892r14 2008r14
534127K12 Element_Keys[8|50] 298r17 301r17 304r17 365r9 486r34 592r34 616r37
535. 672r37 1144r13 1147r13 1204r14 1207r14 1210r14 1683r37 1711r14 1714r14
536. 1717r14 1788r15
537134K12 Set_Ops[12|52] 529r15 532r15 1253r15 1256r15 1307r15 1539r15 1965r15
538. 1968r15 1989r15 1992r15
539163a10 LN{7|58A12[3|333]} 166r17
540164a10 RN{7|58A12[3|333]} 166r42
541199V16 Is_Equal_Node_Node{boolean} 199>36 199>39 200r22 203r45 209b16 212l11
542. 212t29
543199r36 L{3|325R9} 209b36 211r17
544199r39 R{3|325R9} 209b39 211r29
545202V16 Is_Equal[10|89]{boolean} 217s14
546243a10 LN{7|58A12[3|333]} 246r43
547244a10 RN{7|58A12[3|333]} 246r17
548279U17 Append_Element 279>33 282r49 288b17 341l11 341t25
549279i33 Source_Node{2|20I9} 288b33 289r47
550281U17 Append_Elements[10|105] 356s7
551289r10 SN{3|325R9} 328r29 339r22
552291U20 Set_Element 291=33 292r25 309r51 326b20 329l14 329t25
553291r33 Node{3|325R9} 326b33 328m13
554294V19 New_Node{2|20I9} 295r25 298r51 315b19 320l14 320t22
555297U20 Insert_Post[8|56] 301r60 305r16
556300U20 Unconditional_Insert_Sans_Hint[8|95] 306r16
557303U20 Unconditional_Insert_Avec_Hint[8|115] 336s10
558308U20 Allocate[10|145] 318s13
559316i13 Result{2|20I9} 318m31 319r20
560331i10 Target_Node{2|20I9} 340m22
561364i7 Node{2|20I9} 367r18 368r59
562413r10 N{3|325R9} 418r24
563414p10 TC{5|51P9} 419r41 421r19
564417r17 R{3|96R9}
565443i7 C{2|20I9} 447m10 449m10 454r40
566454r14 Target{3|54R9} 455m28 455r28
567486i7 X{2|20I9} 489r57 491r26 495r40
568503i7 X{2|20I9} 505r10 506r60 507r43
569516i7 X{2|20I9} 518r10 519r60 520r43
570564V16 Is_Equivalent_Node_Node{boolean} 564>41 564>44 565r22 568r45 574b16
571. 579l11 579t34
572564r41 L{3|325R9} 574b41 576r21 577r36
573564r44 R{3|325R9} 574b44 576r33 577r24
574567V16 Is_Equivalent[10|89]{boolean} 584s14
575592i7 X{2|20I9} 594r10 595r60 596r43
576616i7 Node{2|20I9} 618r18 619r59
577672i7 Node{2|20I9} 674r18 675r59
578688V16 Is_Greater_Key_Node{boolean} 689>10 690>10 691r22 707r35 857b16 863l11
579. 863t30
580689*10 Left{3|228+12} 858b10 862r39
581690r10 Right{3|325R9} 859b10 862r22
582693V16 Is_Less_Key_Node{boolean} 694>10 695>10 696r22 706r35 869b16 875l11
583. 875t27
584694*10 Left{3|228+12} 870b10 874r17
585695r10 Right{3|325R9} 871b10 874r29
586702K15 Key_Keys[8|50] 715r12 729r40 764r37 780r40 804r37 836r40 847r40 950r40
587. 983r40
588714i10 Node{2|20I9} 717r21 718r62
589729i10 Node{2|20I9} 732r29 737r52
590737r13 N{3|325R9} 742r27
591738p13 TC{5|51P9} 743r44 745r22
592741r20 R{3|96R9}
593764i10 X{2|20I9} 767r29 771r60 772r43
594780i10 Node{2|20I9} 783r29 787r34
595804i10 X{2|20I9} 806r13 807r63 808r46
596836i10 Node{2|20I9} 838r21 839r62
597847i10 Node{2|20I9} 849r21 850r62
598930r13 N{3|325R9} 933r38
599932r20 R{3|265R12}
600950i10 Node{2|20I9} 953r29 958r52
601958r13 N{3|325R9} 961r38
602960r20 R{3|265R12}
603983i10 Node{2|20I9} 986r29 991r38
6041001*49 Element{3|42+9}
6051022r13 N{3|325R9} 1023r38
6061023*13 E{3|42+9} 1024r43 1027r22 1028r41
6071024*13 K{3|228+12} 1028r33
6081025r13 Lock{5|142R12[7|77[3|333]]}
6091076r7 Position{3|61R9} 1080m36 1085r27
6101077b7 Inserted{boolean} 1080m46 1082r14
6111113r7 Position{3|61R9} 1114r28 1119m36
6121116b7 Inserted{boolean} 1119m46 1121r30
6131137U17 Set_Element 1137=30 1138r22 1150r48 1167b17 1170l11 1170t22
6141137r30 Node{3|325R9} 1167b30 1169m10
6151140V16 New_Node{2|20I9} 1141r22 1144r47 1156b16 1161l11 1161t19
6161143U17 Insert_Post[8|56] 1147r54
6171146U17 Conditional_Insert_Sans_Hint[8|75] 1177s7
6181149U17 Allocate[10|145] 1159s10
6191157i10 Result{2|20I9} 1159m31 1160r17
6201194b7 Success{boolean} 1195r28 1245m10
6211197U17 Set_Element 1197=30 1198r22 1215r48 1232b17 1235l11 1235t22
6221197r30 Node{3|325R9} 1232b30 1234m10
6231200V16 New_Node{2|20I9} 1201r22 1204r48 1221b16 1226l11 1226t19
6241203U17 Insert_Post[8|56] 1207r55 1211r13
6251206U17 Insert_Sans_Hint[8|75] 1212r13
6261209U17 Local_Insert_With_Hint[8|146] 1240s7
6271214U17 Allocate[10|145] 1224s10
6281222i10 Result{2|20I9} 1224m29 1225r17
6291315r46 Position{3|61R9}
6301317U17 Process_Node 1317>31 1318r22 1321r48 1327b17 1330l11 1330t23
6311317i31 Node{2|20I9} 1327b31 1329r58
6321320U17 Local_Iterate[10|105] 1338s7
6331332r7 S{3|54R9} 1333r25 1338r22
6341333r7 Busy{5|136R12[7|77[3|333]]}
6351355r14 It{3|429R9}
6361401r14 It{3|429R9}
6371503i10 Node{2|20I9} 1507r13 1511r45
6381564i10 Node{2|20I9} 1567r21 1568r51
6391598p7 TC{5|51P9} 1601r70 1602r16
6401601r14 R{3|381R12}
6411612*45 Element{3|42+9}
6421623r10 S{3|54R9} 1624r28 1626r19
6431624r10 Lock{5|142R12[7|77[3|333]]}
6441638U17 Read_Element 1638=31 1639r22 1642r48 1651b17 1654l11 1654t23
6451638r31 Node{3|325R9} 1651b31 1653m37 1653r37
6461641U17 Allocate[10|145] 1645r44
6471644U17 Read_Elements[10|130] 1659s7
6481683i7 Node{2|20I9} 1686r26 1693r24
6491707V16 New_Node{2|20I9} 1708r22 1711r48 1728b16 1736l11 1736t19
6501710U17 Local_Insert_Post[8|56] 1714r55 1718r13
6511713U17 Local_Insert_Sans_Hint[8|75] 1719r13
6521716U17 Local_Insert_With_Hint[8|146] 1846s7
6531721a7 Nodes{7|58A12[3|333]} 1722r33 1794r31
6541722r7 Node=1722:33{3|325R9} 1730r10 1731r10 1732r10 1733r10 1734r10 1763r32
655. 1764r28 1775r10 1833r13
6561738i7 Hint{2|20I9} 1788m7 1790r10 1794r38 1830r13 1848r22
6571739i7 Result{2|20I9} 1850m22 1854r22
6581740b7 Inserted{boolean} 1851m22 1853r22
6591741b7 Compare{boolean} 1763m10 1768r10 1794m13 1799r33
6601761r10 Lock{5|142R12[7|77[3|333]]}
6611792r13 Lock{5|142R12[7|77[3|333]]}
6621886r46 Position{3|61R9}
6631888U17 Process_Node 1888>31 1889r22 1892r57 1898b17 1901l11 1901t23
6641888i31 Node{2|20I9} 1898b31 1900r58
6651891U17 Local_Reverse_Iterate[10|111] 1909s7
6661903r7 S{3|54R9} 1904r25 1909r30
6671904r7 Busy{5|136R12[7|77[3|333]]}
6681975i7 Node{2|20I9} 1979m41
6691976b7 Inserted{boolean} 1979m47 1980r25
6701978r14 S{3|54R9} 1979m28 1979r28
6712002U17 Write_Element 2003^10 2004>10 2005r22 2008r45 2014b17 2020l11 2020t24
6722003p10 Stream(17|39R9) 2015b10 2019r30
6732004r10 Node{3|325R9} 2016b10 2019r38
6742007U17 Write_Elements[10|119] 2025s7
675X 5 a-conhel.ads
67631K24*Helpers 3|36w21 289r27 4|30w21 30r49 5|159e27
67751P9*Tamper_Counts_Access(43R9) 4|414r24 738r27 1598r21
67855k12*Generic_Implementation 3|289r35 5|157e30
67977b7 Checks{boolean} 4|148r10[7|77[3|333]] 152r10[7|77[3|333]] 172r10[7|77[3|333]]
680. 184r10[7|77[3|333]] 226r10[7|77[3|333]] 230r10[7|77[3|333]] 252r10[7|77[3|333]]
681. 264r10[7|77[3|333]] 350r10[7|77[3|333]] 398r10[7|77[3|333]] 402r10[7|77[3|333]]
682. 450r13[7|77[3|333]] 465r10[7|77[3|333]] 469r10[7|77[3|333]] 491r10[7|77[3|333]]
683. 540r10[7|77[3|333]] 660r10[7|77[3|333]] 732r13[7|77[3|333]] 767r13[7|77[3|333]]
684. 783r13[7|77[3|333]] 821r16[7|77[3|333]] 883r13[7|77[3|333]] 915r13[7|77[3|333]]
685. 919r13[7|77[3|333]] 953r13[7|77[3|333]] 986r13[7|77[3|333]] 1004r13[7|77[3|333]]
686. 1009r13[7|77[3|333]] 1121r10[7|77[3|333]] 1379r10[7|77[3|333]] 1384r10[7|77[3|333]]
687. 1448r10[7|77[3|333]] 1526r10[7|77[3|333]] 1583r10[7|77[3|333]] 1615r10[7|77[3|333]]
688. 1686r10[7|77[3|333]] 1799r13[7|77[3|333]] 1863r10[7|77[3|333]] 1868r10[7|77[3|333]]
68978b7 T_Check{boolean} 3|435r37[7|77[3|333]]
69084R12 Reference_Control_Type<15|43R9> 3|292r18[289] 381r53[7|77[3|333]] 4|819r18[3|289]
69190U28 Adjust<15|47p14>
69293U28 Finalize<15|48p14> 4|819s51[3|289]
693100U17 Busy 4|1360s10[7|77[3|333]] 1406s10[7|77[3|333]]
694104U17 Unbusy 4|607s10[7|77[3|333]]
695108U17 Lock 4|421s13[7|77[3|333]] 745s16[7|77[3|333]] 941s16[7|77[3|333]]
696. 969s16[7|77[3|333]] 1602s10[7|77[3|333]]
697116U17 TC_Check 4|474s7[7|77[3|333]] 1175s7[7|77[3|333]] 1483s7[7|77[3|333]]
698120U17 TE_Check 4|1083s10[7|77[3|333]] 1691s7[7|77[3|333]] 1773s10[7|77[3|333]]
699. 1831s13[7|77[3|333]]
700136R12 With_Busy<15|50R9> 4|1333r14[7|77[3|333]] 1904r14[7|77[3|333]]
701142R12 With_Lock<15|50R9> 4|1025r20[7|77[3|333]] 1624r17[7|77[3|333]] 1761r17[7|77[3|333]]
702. 1792r20[7|77[3|333]]
703X 7 a-crbltr.ads
70434K24*Red_Black_Trees 3|37w29 329r17 329r47 334r10 4|32r21 36r21 39r21 58r45
705. 72r15 123r11 128r11 135r11 384r45 703r13 1731r26 1927r15 7|80e35
70637E9*Color_Type 3|329r33 4|58r61 72r31 384r61 1927r31 7|37e35
70737n24*Red{37E9} 3|329r63 4|1731r42
70857k12*Generic_Bounded_Tree_Types 3|334r26 7|78e34
70958A12 Nodes_Type(3|325R9)<2|20I9> 4|163r15[3|333] 164r15[3|333] 243r15[3|333]
710. 244r15[3|333] 1721r15[3|333]
71167R12 Tree_Type 3|337r21[333] 425r37[333]
71268i10 First{2|20I9} 4|503r44[3|333] 628r28[3|333] 629r69[3|333] 660r36[3|333]
713. 664r41[3|333]
71469i10 Last{2|20I9} 4|516r44[3|333] 1416r28[3|333] 1417r69[3|333] 1448r36[3|333]
715. 1452r41[3|333]
71671i10 Length{2|20I9} 4|350r51[3|333] 447r22[3|333] 448r32[3|333] 1264r24[3|333]
717. 1470r24[3|333]
71872r10 TC{5|43R9} 4|415m22[3|333] 474r27[3|333] 607m35[3|333] 739m25[3|333]
719. 936m41[3|333] 941m32[3|333] 964m41[3|333] 969m32[3|333] 1025m41[3|333]
720. 1083r30[3|333] 1175r27[3|333] 1333m27[3|333] 1360m26[3|333] 1406m26[3|333]
721. 1483r24[3|333] 1599m19[3|333] 1624m30[3|333] 1691r27[3|333] 1761m38[3|333]
722. 1773r30[3|333] 1792m41[3|333] 1831r33[3|333] 1904m27[3|333]
72374a10 Nodes{58A12[3|333]} 4|163m49[3|333] 164m50[3|333] 179r29[3|333] 191r37[3|333]
724. 243m49[3|333] 244m50[3|333] 259r30[3|333] 271r37[3|333] 289m40[3|333] 413m42[3|333]
725. 547r33[3|333] 664r24[3|333] 737m45[3|333] 787r27[3|333] 891r41[3|333] 930m45[3|333]
726. 958m45[3|333] 1022m45[3|333] 1059m33[3|333] 1085m20[3|333] 1452r24[3|333]
727. 1626m21[3|333] 1693m17[3|333] 1721m44[3|333]
72877K15 Implementation[5|55] 3|339r31[333] 381r38[333]
729X 8 a-rbtgbk.ads
73036K17 Tree_Operations 4|129r10 704r12
73140+9 Key_Type 4|130r10 705r12
73242V18 Is_Less_Key_Node{boolean} 4|131r10 706r12
73346V18 Is_Greater_Key_Node{boolean} 4|132r10 707r12
73450k40*Generic_Bounded_Keys 4|36w37 37r54 128r27 703r29 8|193e56
73556u14 Generic_Insert_Post 4|298r30[127] 1144r26[127] 1204r27[127] 1711r27[127]
73675u14 Generic_Conditional_Insert 4|1147r26[127] 1207r27[127] 1714r27[127]
73795u14 Generic_Unconditional_Insert 4|301r30[127]
738115u14 Generic_Unconditional_Insert_With_Hint 4|304r30[127]
739116c7 Tree<7|67R12[3|333]> 4|337r13[303]
740117i7 Hint{2|20I9} 4|338r13[303]
741118*7 Key{3|42+9} 4|339r13[303]
742119i7 Node{2|20I9} 4|340r13[303]
743146u14 Generic_Conditional_Insert_With_Hint 4|1210r27[127] 1717r27[127]
744147c7 Tree<7|67R12[3|333]> 4|1847r10[1716]
745148i7 Position{2|20I9} 4|1848r10[1716]
746149*7 Key{3|42+9} 4|1849r10[1716]
747150i7 Node{2|20I9} 4|1850r10[1716]
748151b7 Inserted{boolean} 4|1851r10[1716]
749157V13 Find{2|20I9} 4|486s47[127] 592s47[127] 616s50[127] 729s49[702] 764s46[702]
750. 780s49[702] 804s46[702] 836s49[702] 950s49[702] 983s49[702] 1683s50[127]
751162V13 Ceiling{2|20I9} 4|365s22[127] 715s21[702] 1788s28[127]
752167V13 Floor{2|20I9} 4|672s50[127] 847s49[702]
753X 10 a-rbtgbo.ads
75463k40*Generic_Bounded_Operations 4|32w37 34r35 123r27 10|156e62
75573V13 Vet{boolean} 4|156s22[122] 159s22[122] 176s22[122] 188s22[122] 234s22[122]
756. 237s22[122] 256s22[122] 268s22[122] 409s10[122] 476s22[122] 544s22[122]
757. 888s25[122] 926s13[122] 1015s25[122] 1389s22[122] 1499s22[122] 1560s22[122]
758. 1619s22[122] 1874s22[122]
75977V13 Next{2|20I9} 4|1504s28[122]
76082V13 Previous{2|20I9} 4|1565s28[122]
76189v13 Generic_Equal 4|203r30[122] 568r30[122]
76294U14 Delete_Node_Sans_Free 4|479s23[122] 489s23[122] 506s26[122] 519s26[122]
763. 595s26[122] 771s26[122] 807s29[122] 1033s26[122] 1844s23[122]
76499U14 Clear_Tree 4|377s23[122]
765105u14 Generic_Iteration 4|282r30[122] 1321r29[122]
766111u14 Generic_Reverse_Iteration 4|1892r30[122]
767119u14 Generic_Write 4|2008r30[122]
768130u14 Generic_Read 4|1645r30[122]
769145u14 Generic_Allocate 4|309r33[122] 1150r30[122] 1215r30[122] 1642r30[122]
770152U14 Free 4|480s23[122] 495s23[122] 507s26[122] 520s26[122] 596s26[122]
771. 772s26[122] 808s29[122] 1034s26[122]
772X 12 a-btgbso.ads
77336K17 Tree_Operations 4|136r10
77438R9 Set_Type<7|67R12[10|36[12|36]]> 4|137r10
77542U19 Assign 4|138r10
77644U19 Insert_With_Hint 4|139r10
77750V18 Is_Less{boolean} 4|140r10
77852k40*Generic_Bounded_Set_Operations 4|39w37 41r35 135r27 12|103e66
77955U14 Set_Union 4|1989r23[134]
78063V13 Set_Union{3|54R9} 4|1992r23[134]
78167U14 Set_Intersection 4|1253r23[134]
78271V13 Set_Intersection{3|54R9} 4|1256r23[134]
78375U14 Set_Difference 4|529r23[134]
78479V13 Set_Difference{3|54R9} 4|532r23[134]
78583U14 Set_Symmetric_Difference 4|1965r23[134]
78690V13 Set_Symmetric_Difference{3|54R9} 4|1968r23[134]
78795V13 Set_Subset{boolean} 4|1307r23[134]
78899V13 Set_Overlap{boolean} 4|1539r23[134]
789X 15 a-finali.ads
79040K13*Finalization 3|39w18 340r12 15|68e21
79143H9*Controlled<23|40R9> 4|419r25 743r28 935r30 963r30 1601r54 15|59e72
79246U14*Initialize<23|44p14>
79350H9*Limited_Controlled<23|40R9> 3|429r25 4|1356r19 1402r19 15|66e55
79453U14*Initialize<23|44p14>
795X 16 a-iteint.ads
79621k13*Iterator_Interfaces 3|34w10 71r10 16|39e28
79724h9 Forward_Iterator
79832C9 Reversible_Iterator<32R9[3|70]>
79932h9 Reversible_Iterator<24R9[3|70]> 3|220r38[70] 225r38[70] 430r30[70] 4|1342r37[3|70]
800. 1365r37[3|70]
801X 17 a-stream.ads
80236K13*Streams 3|38w18 287r15 341r12 17|87e16
80339H9*Root_Stream_Type 3|307r35 313r35 344r35 350r35 370r32 376r32 395r32
804. 401r32 4|899r35 1044r35 1635r35 1663r32 1671r32 1999r35 2003r35 2015r35
805. 2029r32 2037r32 17|70e64
806X 20 system.ads
80737K9*System 4|43w6 43r23 20|148e11
80867M9*Address 4|43r30
80981V14*"="{boolean} 4|346r25 1479r25
810X 23 s-finroo.ads
81142U14*Adjust
812
813