1V "GNAT Lib v5"
2A -gnatwa
3A -nostdinc
4A -O2
5A -Wextra
6A -Wall
7A -g
8A -gnatp
9A -gnatg
10A -mtune=generic
11A -march=x86-64
12P SS ZX
13
14RN
15RV NO_EXCEPTIONS
16RV NO_IMPLICIT_CONDITIONALS
17RV NO_SECONDARY_STACK
18RV NO_STANDARD_STORAGE_POOLS
19RV NO_IMPLEMENTATION_PRAGMAS
20RV SPARK_05
21
22U ada.strings.fixed%b	a-strfix.adb		e5480ede NE OL PK
23W ada%s			ada.ads			ada.ali
24W ada.exceptions%s	a-except.adb		a-except.ali
25W ada.strings%s		a-string.ads		a-string.ali
26W ada.strings.maps%s	a-strmap.adb		a-strmap.ali
27W ada.strings.search%s	a-strsea.adb		a-strsea.ali
28W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
29
30U ada.strings.fixed%s	a-strfix.ads		a86b22b3 NE OL PR PK
31W ada%s			ada.ads			ada.ali
32W ada.strings%s		a-string.ads		a-string.ali
33W ada.strings.maps%s	a-strmap.adb		a-strmap.ali
34
35D ada.ads		20070406091342 3ffc8e18 ada%s
36D a-charac.ads		20070912115821 2d3ec45b ada.characters%s
37D a-chlat1.ads		20140225151544 66457d31 ada.characters.latin_1%s
38D a-except.ads		20140730140058 5250cb69 ada.exceptions%s
39D a-string.ads		20070406091342 90ac6797 ada.strings%s
40D a-strfix.ads		20101008130255 d07c346e ada.strings.fixed%s
41D a-strfix.adb		20121001094122 6433db40 ada.strings.fixed%b
42D a-strmap.ads		20140611123156 e8bb714a ada.strings.maps%s
43D a-strsea.ads		20101008130255 b9bc90ba ada.strings.search%s
44D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
45D system.ads		20150428105438 bf8979bc system%s
46D s-exctab.ads		20140225151139 54135002 system.exception_table%s
47D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
48D s-secsta.ads		20140225151139 86a2856d system.secondary_stack%s
49D s-stalib.ads		20150220094550 fa0a3617 system.standard_library%s
50D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
51D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
52D s-unstyp.ads		20140731130224 9d58a4c0 system.unsigned_types%s
53X 1 ada.ads
5416K9*Ada 19e8 6|16r6 18r9 251r5 7|41r6 41r28 42r6 44r14 55r12 62r12 69r12
55. 77r12 85r12 93r12 98r12 104r12 110r12 116r12 121r12 130r12 138r12 735r5
56X 5 a-string.ads
5716K13*Strings 1|16k9 5|35e16 6|16r10 18r13 214r30 251r9 7|41r10 41r32 42r10
58. 44r18 55r16 62r16 69r16 77r16 85r16 93r16 98r16 104r16 110r16 116r16 121r16
59. 130r16 138r16 648r18 656r18 664r18 725r30 735r9
6019e4*Space{character} 6|30r31 155r31 189r30 203r30 215r30 220r29 226r30 231r29
61. 237r30 7|218r30 234r29 263r30 321r31 518r32 531r29 560r30 679r30 726r30
6227X4*Length_Error 7|367r31 374r31 378r28
6327X33*Index_Error 7|195r16 287r16 432r16 479r16
6429E9*Alignment 29e44 6|29r17 154r17 188r17 202r17 214r17 225r17 236r17 7|217r17
65. 262r17 320r17 517r18 559r17 678r17 725r17
6629n24*Left{29E9} 6|29r31 154r31 188r30 202r30 214r38 225r30 236r30 7|217r30
67. 262r30 320r31 362r24 387r18 517r32 559r30 678r30 725r38
6829n30*Right{29E9} 7|370r24 394r18
6929n37*Center{29E9} 7|377r24 401r18
7030E9*Truncation 30e43 6|28r17 153r17 166r18 177r18 7|304r18 319r17 459r18
71. 516r18
7230n24*Left{30E9} 7|354r18
7330n30*Right{30E9} 6|177r32 7|357r18 459r32
7430n37*Error{30E9} 6|28r31 153r31 166r32 7|268r24 304r32 319r31 360r18 516r32
75. 565r24
7631E9*Membership 31e40 6|51r16 74r17 106r16 114r16 7|67r16 91r17 127r16 135r16
7731n24*Inside{31E9} 6|51r30 74r31 7|67r30 91r31
7831n32*Outside{31E9} 7|696r51 705r47
7932E9*Direction 32e42 6|39r17 45r17 52r16 58r17 66r17 75r17 80r16 85r16 7|53r17
80. 60r17 68r16 75r17 83r17 92r17 97r16 103r16
8132n24*Forward{32E9} 6|39r30 45r30 52r30 58r30 66r30 75r30 80r29 85r29 7|53r30
82. 60r30 68r30 75r30 83r30 92r30 97r29 103r29 635r39 696r69
8332n33*Backward{32E9} 7|645r43 705r65
8433E9*Trim_End 33e42 6|197r16 201r17 7|630r16 677r17
8533n24*Left{33E9} 7|648r26
8633n30*Right{33E9} 7|656r26
8733n37*Both{33E9} 7|664r26
88X 6 a-strfix.ads
8918K21*Fixed 5|16k13 6|251l17 251e22 7|44b26 735l17 735t22
9025U14*Move 26>7 27<7 28>7 29>7 30>7 7|221s7 266s7 307s7 316b14 419l8 419t12
91. 462s7 521s7 563s7 682s7 729s7
9226a7 Source{string} 7|221r13 266r13 307r13 317b7 323r37 324r37 325r37 349r20
93. 355r26 358r26 363r37 365r27 371r37 372r35 388r59 399r57 411r72 462r13 563r13
94. 729r13
9527a7 Target{string} 7|222r13 267r13 308r13 318b7 327r37 328r37 329r37 349m10
96. 355m16 358m16 364m25 365r54 372m25 388m16 391m19 396m19 399m16 408m22 411m19
97. 414m22 463r13 564r13 730r13
9828e7 Drop{5|30E9} 7|268r13 309r13 319b7 353r15 464r13 565r13
9929e7 Justify{5|29E9} 7|223r13 269r13 320b7 361r21 386r15 566r13 684r13 731r13
10030e7 Pad{character} 7|224r13 270r13 321b7 337r28 391r33 396r33 408r36 414r36
101. 567r13 685r13 732r13
10236V13*Index{natural} 37>7 38>7 39>7 40>7 7|50b13
10337a7 Source{string} 7|51b7
10438a7 Pattern{string} 7|52b7
10539e7 Going{5|32E9} 7|53b7
10640a7 Mapping{8|107A9} 7|54b7
10742V13*Index{natural} 43>7 44>7 45>7 46>7 7|57b13
10843a7 Source{string} 7|58b7
10944a7 Pattern{string} 7|59b7
11045e7 Going{5|32E9} 7|60b7
11146p7 Mapping{8|130P9} 7|61b7
11248V13*Index{natural} 49>7 50>7 51>7 52>7 7|64b13 696s14 705s9
11349a7 Source{string} 7|65b7
11450a7 Set{8|46A9} 7|66b7 696r29 705r24
11551e7 Test{5|31E9} 7|67b7 696r42 705r38
11652e7 Going{5|32E9} 7|68b7 696r60 705r56
11754V13*Index{natural} 55>7 56>7 57>7 58>7 59>7 7|71b13
11855a7 Source{string} 7|72b7
11956a7 Pattern{string} 7|73b7
12057i7 From{positive} 7|74b7
12158e7 Going{5|32E9} 7|75b7
12259a7 Mapping{8|107A9} 7|76b7
12362V13*Index{natural} 63>7 64>7 65>7 66>7 67>7 7|79b13
12463a7 Source{string} 7|80b7
12564a7 Pattern{string} 7|81b7
12665i7 From{positive} 7|82b7
12766e7 Going{5|32E9} 7|83b7
12867p7 Mapping{8|130P9} 7|84b7
12970V13*Index{natural} 71>7 72>7 73>7 74>7 75>7 7|87b13
13071a7 Source{string} 7|88b7
13172a7 Set{8|46A9} 7|89b7
13273i7 From{positive} 7|90b7
13374e7 Test{5|31E9} 7|91b7
13475e7 Going{5|32E9} 7|92b7
13578V13*Index_Non_Blank{natural} 79>7 80>7 7|95b13 635s14 645s18
13679a7 Source{string} 7|96b7
13780e7 Going{5|32E9} 7|97b7
13882V13*Index_Non_Blank{natural} 83>7 84>7 85>7 7|100b13
13983a7 Source{string} 7|101b7
14084i7 From{positive} 7|102b7
14185e7 Going{5|32E9} 7|103b7
14288V13*Count{natural} 89>7 90>7 91>7 7|106b13
14389a7 Source{string} 7|107b7
14490a7 Pattern{string} 7|108b7
14591a7 Mapping{8|107A9} 7|109b7
14693V13*Count{natural} 94>7 95>7 96>7 7|112b13
14794a7 Source{string} 7|113b7
14895a7 Pattern{string} 7|114b7
14996p7 Mapping{8|130P9} 7|115b7
15098V13*Count{natural} 99>7 100>7 7|118b13
15199a7 Source{string} 7|119b7
152100a7 Set{8|46A9} 7|120b7
153102U14*Find_Token 103>7 104>7 105>7 106>7 107<7 108<7 109r21 7|123b14
154103a7 Source{string} 7|124b7
155104a7 Set{8|46A9} 7|125b7
156105i7 From{positive} 7|126b7
157106e7 Test{5|31E9} 7|127b7
158107i7 First{positive} 7|128b7
159108i7 Last{natural} 7|129b7
160111U14*Find_Token 112>7 113>7 114>7 115<7 116<7 7|132b14
161112a7 Source{string} 7|133b7
162113a7 Set{8|46A9} 7|134b7
163114e7 Test{5|31E9} 7|135b7
164115i7 First{positive} 7|136b7
165116i7 Last{natural} 7|137b7
166122V13*Translate{string} 123>7 124>7 7|574b13 586l8 586t17
167123a7 Source{string} 7|575b7 578r29 581r16 582r23 582r61
168124a7 Mapping{8|107A9} 7|576b7 582r52
169126U14*Translate 127=7 128>7 7|588b14 596l8 596t17
170127a7 Source{string} 7|589b7 593r16 594m10 594r40
171128a7 Mapping{8|107A9} 7|590b7 594r31
172130V13*Translate{string} 131>7 132>7 7|598b13 611l8 611t17
173131a7 Source{string} 7|599b7 602r29 606r16 607r23 607r58
174132p7 Mapping{8|130P9} 7|600b7 607r45
175134U14*Translate 135=7 136>7 7|613b14 622l8 622t17
176135a7 Source{string} 7|614b7 619r16 620m10 620r37
177136p7 Mapping{8|130P9} 7|615b7 620r24
178142V13*Replace_Slice{string} 143>7 144>7 145>7 146>7 7|471b13 509l8 509t21
179. 521s13
180143a7 Source{string} 7|472b7 478r16 478r47 485r37 489r31 499r40 499r48 502r15
181. 502r35 507r25
182144i7 Low{positive} 7|473b7 478r10 482r18 485r31 499r64 507r43
183145i7 High{natural} 7|474b7 478r40 482r10 489r45 502r23
184146a7 By{string} 7|475b7 493r27 500r50 500r64 501r33 507r60
185148U14*Replace_Slice 149=7 150>7 151>7 152>7 153>7 154>7 155>7 7|511b14 522l8
186. 522t21
187149a7 Source{string} 7|512b7 521r28 521m52
188150i7 Low{positive} 7|513b7 521r36
189151i7 High{natural} 7|514b7 521r41
190152a7 By{string} 7|515b7 521r47
191153e7 Drop{5|30E9} 7|516b7 521r60
192154e7 Justify{5|29E9} 7|517b7 521r66
193155e7 Pad{character} 7|518b7 521r75
194157V13*Insert{string} 158>7 159>7 160>7 7|277b13 298l8 298t14 307s23 507s17
195158a7 Source{string} 7|278b7 282r29 283r45 286r24 286r40 291r9 291r17 295r9
196. 295r27
197159i7 Before{positive} 7|279b7 283r36 286r10 291r33 295r17 507r33
198160a7 New_Item{string} 7|280b7 282r45 292r36 293r9 294r23 507r48
199162U14*Insert 163=7 164>7 165>7 166>7 7|300b14 310l8 310t14
200163a7 Source{string} 7|301b7 307r31 308m23
201164i7 Before{positive} 7|302b7 307r39
202165a7 New_Item{string} 7|303b7 307r47
203166e7 Drop{5|30E9} 7|304b7 309r23
204168V13*Overwrite{string} 169>7 170>7 171>7 7|425b13 453l8 453t17 462s23
205169a7 Source{string} 7|426b7 431r26 431r42 438r15 439r26 442r50 446r12 446r20
206. 450r12 450r50
207170i7 Position{positive} 7|427b7 431r10 439r15 442r39 446r36 450r20
208171a7 New_Item{string} 7|428b7 439r41 447r39 448r12 449r26 450r31
209173U14*Overwrite 174=7 175>7 176>7 177>7 7|455b14 465l8 465t17
210174a7 Source{string} 7|456b7 462r34 463m23
211175i7 Position{positive} 7|457b7 462r42
212176a7 New_Item{string} 7|458b7 462r52
213177e7 Drop{5|30E9} 7|459b7 464r23
214179V13*Delete{string} 180>7 181>7 182>7 7|178b13 211l8 211t14 221s24
215180a7 Source{string} 7|179b7 186r49 189r33 192r25 193r27 199r49 200r35 204r15
216. 204r23 206r15 206r38
217181i7 From{positive} 7|180b7 184r10 192r13 199r42 200r62 204r39
218182i7 Through{natural} 7|181b7 184r17 193r17 200r52 206r23
219184U14*Delete 185=7 186>7 187>7 188>7 189>7 7|213b14 225l8 225t14
220185a7 Source{string} 7|214b7 221r32 222m24
221186i7 From{positive} 7|215b7 221r40
222187i7 Through{natural} 7|216b7 221r46
223188e7 Justify{5|29E9} 7|217b7 223r24
224189e7 Pad{character} 7|218b7 224r24
225195V13*Trim{string} 196>7 197>7 7|628b13 673l8 673t12 682s13
226196a7 Source{string} 7|629b7 635r31 645r35 650r55 653r39 653r54 658r62 661r39
227. 661r47 669r39
228197e7 Side{5|33E9} 7|630b7 647r15
229199U14*Trim 200=7 201>7 202>7 203>7 7|675b14 686l8 686t12
230200a7 Source{string} 7|676b7 682r19 683m13
231201e7 Side{5|33E9} 7|677b7 682r27
232202e7 Justify{5|29E9} 7|678b7 684r24
233203e7 Pad{character} 7|679b7 685r20
234205V13*Trim{string} 206>7 207>7 208>7 7|688b13 719l8 719t12 729s24
235206a7 Source{string} 7|689b7 696r21 705r16 717r30
236207a7 Left{8|46A9} 7|690b7 696r36
237208a7 Right{8|46A9} 7|691b7 705r31
238210U14*Trim 211=7 212>7 213>7 214>7 215>7 7|721b14 733l8 733t12
239211a7 Source{string} 7|722b7 729r30 730m24
240212a7 Left{8|46A9} 7|723b7 729r38
241213a7 Right{8|46A9} 7|724b7 729r44
242214e7 Justify{5|29E9} 7|725b7 731r24
243215e7 Pad{character} 7|726b7 732r24
244217V13*Head{string} 218>7 219>7 220>7 7|231b13 257l8 257t12 266s24
245218a7 Source{string} 7|232b7 239r18 241r25 241r33 241r49 248r26 248r44 250r22
246219i7 Count{natural} 7|233b7 236r43 239r10 241r64 250r43
247220e7 Pad{character} 7|234b7 251r30
248222U14*Head 223=7 224>7 225>7 226>7 7|259b14 271l8 271t12
249223a7 Source{string} 7|260b7 266r30 267m24
250224i7 Count{natural} 7|261b7 266r38
251225e7 Justify{5|29E9} 7|262b7 269r24
252226e7 Pad{character} 7|263b7 266r45 270r24
253228V13*Tail{string} 229>7 230>7 231>7 7|528b13 554l8 554t12 563s24
254229a7 Source{string} 7|529b7 536r18 537r30 537r38 537r65 546r35 550r29 550r60
255230i7 Count{natural} 7|530b7 533r43 536r10 537r52 546r27 550r21 550r50
256231e7 Pad{character} 7|531b7 547r30
257233U14*Tail 234=7 235>7 236>7 237>7 7|556b14 568l8 568t12
258234a7 Source{string} 7|557b7 563r30 564m24
259235i7 Count{natural} 7|558b7 563r38
260236e7 Justify{5|29E9} 7|559b7 566r24
261237e7 Pad{character} 7|560b7 563r45 567r24
262243V14*"*"{string} 244>7 245>7 7|144b14 156l9 156t11
263244i7 Left{natural} 7|145b7 148r29
264245e7 Right{character} 7|146b7 152r24
265247V14*"*"{string} 248>7 249>7 7|158b14 172l9 172t11
266248i7 Left{natural} 7|159b7 162r29 166r21
267249a7 Right{string} 7|160b7 162r36 167r31 167r52 168r23
268X 7 a-strfix.adb
269148a7 Result{string} 151r16 152m10 155r14
270151i11 J{integer} 152r18
271162a7 Result{string} 167m10 171r14
272163i7 Ptr{integer} 167r18 167r25 168m10 168r17
273166i11 J{integer}
274186A21 Result_Type{string}<integer> 189r20
275199i13 Front{integer} 203r26 205r21
276200a13 Result{string} 203m13 205m13 205r34 208r20
277236A15 Result_Type{string}<integer> 241r12 245r22
278245a13 Result{236A15} 248m13 251m16 254r20
279250i17 J{integer} 251r24
280282a7 Result{string} 290m7 292m7 294m7 294r46 297r14
281283i7 Front{integer} 290r20 292r15 292r28 294r15
282323i7 Sfirst{integer} 358r34 358r44 363r45 365r35 365r45 371r45
283324i7 Slast{integer} 355r34 355r57 363r65 371r55 372r43 372r66
284325i7 Slength{integer} 348r10 351r13 388r43 390r34 395r43 399r32 403r64 411r56
285. 413r42
286327i7 Tfirst{integer} 388r24 388r34 390r25 395r25 404r53 407r28
287328i7 Tlast{integer} 390r45 395r35 399r24 399r47 413r53
288329i7 Tlength{integer} 348r20 351r23 355r42 358r53 363r54 371r63 372r51 403r54
289331V16 Is_Padding{boolean} 331>28 334b16 343l11 343t21 363s25 371s25
290331a28 Item{string} 334b28 336r19 337r16
291336i14 J{integer} 337r22
292390i20 I{integer} 391r27
293395i20 I{integer} 396r27
294403i19 Front_Pad{integer} 404r62
295404i19 Tfirst_Fpad{integer} 407r38 411r27 411r42 413r28
296407i23 I{integer} 408r30
297413i23 I{integer} 414r30
298436i10 Result_Length{natural} 441r32
299441a10 Result{string} 445m10 447m10 449m10 449r49 451r17
300442i10 Front{integer} 445r23 447r18 447r31 449r18
301484i13 Front_Len{integer} 493r15 499r26 500r21 500r38 501r21
302488i13 Back_Len{integer} 493r39
303492i13 Result_Length{integer} 496r35
304496a13 Result{string} 499m13 500m13 501m13 501r50 503r20
305533A15 Result_Type{string}<integer> 537r17 543r22
306543a13 Result{533A15} 547m16 550m13 551r20
307546i17 J{integer} 547r24
308578a7 Result{string} 582m10 585r14
309581i11 J{integer} 582r18 582r69
310593i11 J{integer} 594r18 594r48
311602a7 Result{string} 607m10 610r14
312606i11 J{integer} 607r18 607r66
313619i11 J{integer} 620r18 620r45
314632i7 Low{integer} 635m7 639r10 650r69 653r47 666r62 669r47
315632i12 High{integer} 645m10 658r55 661r63 666r55 669r54
316650A27 Result_Type{string}<integer> 653r26
317658A27 Result_Type{string}<integer> 661r26
318666A27 Result_Type{string}<integer> 669r26
319693i7 High{integer} 704m7 709r10 714r46 717r45
320693i13 Low{integer} 696m7 700r10 714r53 717r38
321714A18 Result_Type{string}<integer> 717r17
322X 8 a-strmap.ads
32338K21*Maps 6|16w18 40r17 40r43 46r17 50r16 59r17 59r43 67r17 72r17 91r17
324. 91r43 96r17 100r16 104r16 113r16 124r17 128r17 132r17 136r17 207r16 208r16
325. 212r17 213r17 7|41w18 41r40 54r17 54r43 61r17 66r16 76r17 76r43 84r17 89r17
326. 109r17 109r43 115r17 120r16 125r16 134r16 576r17 590r17 600r17 615r17 690r16
327. 691r16 723r17 724r17 8|411e21
32846A9*Character_Set<137A9> 6|50r21 72r22 100r21 104r21 113r21 207r21 208r21
329. 212r22 213r22 7|66r21 89r22 120r21 125r21 134r21 690r21 691r21 723r22 724r22
330107A9*Character_Mapping(character) 6|40r22 59r22 91r22 124r22 128r22 7|54r22
331. 76r22 109r22 576r22 590r22
332111V13*Value{character} 7|582s45 594s24
333115a4*Identity{107A9} 6|40r48 59r48 91r48 7|54r48 76r48 109r48
334130P9*Character_Mapping_Function(character) 6|46r22 67r22 96r22 132r22 136r22
335. 7|61r22 84r22 115r22 600r22 615r22
336137A9 Character_Set_Internal(boolean)<character>
337X 9 a-strsea.ads
33841K29*Search 7|42w18 55r24 62r24 69r24 77r24 85r24 93r24 98r24 104r24 110r24
339. 116r24 121r24 130r24 138r24 9|121e23
34044V13*Index{natural} 7|55r31
34150V13*Index{natural} 7|62r31
34256V13*Index{natural} 7|69r31
34362V13*Index{natural} 7|77r31
34469V13*Index{natural} 7|85r31
34576V13*Index{natural} 7|93r31
34683V13*Index_Non_Blank{natural} 7|98r31
34787V13*Index_Non_Blank{natural} 7|104r31
34892V13*Count{natural} 7|110r31
34997V13*Count{natural} 7|116r31
350102V13*Count{natural} 7|121r31
351106U14*Find_Token 7|130r31
352114U14*Find_Token 7|138r31
353
354