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