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 SS ZX 13 14RN 15RV NO_EXCEPTIONS 16RV NO_IMPLICIT_CONDITIONALS 17RV NO_SECONDARY_STACK 18RV NO_STANDARD_STORAGE_POOLS 19RV NO_DYNAMIC_SIZED_OBJECTS 20RV NO_IMPLEMENTATION_PRAGMAS 21RV SPARK_05 22 23U ada.strings.fixed%b a-strfix.adb adb6d201 NE OL PK 24W ada%s ada.ads ada.ali 25Z ada.exceptions%s a-except.adb a-except.ali 26W ada.strings%s a-string.ads a-string.ali 27W ada.strings.maps%s a-strmap.adb a-strmap.ali 28W ada.strings.search%s a-strsea.adb a-strsea.ali 29Z system.secondary_stack%s s-secsta.adb s-secsta.ali 30 31U ada.strings.fixed%s a-strfix.ads a86b22b3 NE OL PR PK 32W ada%s ada.ads ada.ali 33W ada.strings%s a-string.ads a-string.ali 34W ada.strings.maps%s a-strmap.adb a-strmap.ali 35 36D ada.ads 20170911084841 76789da1 ada%s 37D a-charac.ads 20170908151217 2d3ec45b ada.characters%s 38D a-chlat1.ads 20170908151217 66457d31 ada.characters.latin_1%s 39D a-except.ads 20190108095404 291912d5 ada.exceptions%s 40D a-string.ads 20170908151217 90ac6797 ada.strings%s 41D a-strfix.ads 20170908151217 d07c346e ada.strings.fixed%s 42D a-strfix.adb 20190108095404 2ccd079f ada.strings.fixed%b 43D a-strmap.ads 20190108095404 e8bb714a ada.strings.maps%s 44D a-strsea.ads 20190108095404 b9bc90ba ada.strings.search%s 45D a-unccon.ads 20170908151217 0e9b276f ada.unchecked_conversion%s 46D system.ads 20190108095404 c631886f system%s 47D s-exctab.ads 20190108095404 54135002 system.exception_table%s 48D s-parame.ads 20190108095404 48ec542b system.parameters%s 49D s-secsta.ads 20190108095404 20bbe636 system.secondary_stack%s 50D s-stalib.ads 20190108095404 09bd3940 system.standard_library%s 51D s-stoele.ads 20190108095404 2dc34a04 system.storage_elements%s 52D s-traent.ads 20190108095404 005bf670 system.traceback_entries%s 53D s-unstyp.ads 20190108095404 34867c83 system.unsigned_types%s 54X 1 ada.ads 5516K9*Ada 20e8 6|16r6 18r9 251r5 7|41r6 41r28 42r6 44r14 55r12 62r12 69r12 56. 77r12 85r12 93r12 98r12 104r12 110r12 116r12 121r12 130r12 138r12 747r5 57X 5 a-string.ads 5816K13*Strings 1|16k9 5|35e16 6|16r10 18r13 214r30 251r9 7|41r10 41r32 42r10 59. 44r18 55r16 62r16 69r16 77r16 85r16 93r16 98r16 104r16 110r16 116r16 121r16 60. 130r16 138r16 632r15 649r15 666r15 737r30 747r9 6119e4*Space{character} 6|30r31 155r31 189r30 203r30 215r30 220r29 226r30 231r29 62. 237r30 7|218r30 234r29 263r30 321r31 516r32 529r29 558r30 691r30 738r30 6327X4*Length_Error 7|366r31 373r31 377r28 6427X33*Index_Error 7|195r16 287r16 430r16 477r16 6529E9*Alignment 29e44 6|29r17 154r17 188r17 202r17 214r17 225r17 236r17 7|217r17 66. 262r17 320r17 515r18 557r17 690r17 737r17 6729n24*Left{29E9} 6|29r31 154r31 188r30 202r30 214r38 225r30 236r30 7|217r30 68. 262r30 320r31 361r24 385r18 515r32 557r30 690r30 737r38 6929n30*Right{29E9} 7|369r24 392r18 7029n37*Center{29E9} 7|376r24 399r18 7130E9*Truncation 30e43 6|28r17 153r17 166r18 177r18 7|304r18 319r17 457r18 72. 514r18 7330n24*Left{30E9} 7|353r18 7430n30*Right{30E9} 6|177r32 7|356r18 457r32 7530n37*Error{30E9} 6|28r31 153r31 166r32 7|268r24 304r32 319r31 359r18 514r32 76. 563r24 7731E9*Membership 31e40 6|51r16 74r17 106r16 114r16 7|67r16 91r17 127r16 135r16 7831n24*Inside{31E9} 6|51r30 74r31 7|67r30 91r31 7931n32*Outside{31E9} 7|708r51 717r47 8032E9*Direction 32e42 6|39r17 45r17 52r16 58r17 66r17 75r17 80r16 85r16 7|53r17 81. 60r17 68r16 75r17 83r17 92r17 97r16 103r16 8232n24*Forward{32E9} 6|39r30 45r30 52r30 58r30 66r30 75r30 80r29 85r29 7|53r30 83. 60r30 68r30 75r30 83r30 92r30 97r29 103r29 634r67 668r67 708r69 8432n33*Backward{32E9} 7|651r68 678r46 717r65 8533E9*Trim_End 33e42 6|197r16 201r17 7|628r16 689r17 8633n24*Left{33E9} 7|632r23 8733n30*Right{33E9} 7|649r23 8833n37*Both{33E9} 7|666r23 89X 6 a-strfix.ads 9018K21*Fixed 5|16k13 6|251l17 251e22 7|44b26 747l17 747t22 9125U14*Move 26>7 27<7 28>7 29>7 30>7 7|221s7 266s7 307s7 316b14 417l8 417t12 92. 460s7 519s7 561s7 694s7 741s7 9326a7 Source{string} 7|221r13 266r13 307r13 317b7 323r37 324r37 325r37 349r20 94. 354r26 357r26 362r37 364r27 370r37 371r35 386r59 397r57 409r72 460r13 561r13 95. 741r13 9627a7 Target{string} 7|222r13 267r13 308r13 318b7 327r37 328r37 329r37 349m10 97. 354m16 357m16 363m25 364r54 371m25 386m16 389m19 394m19 397m16 406m22 409m19 98. 412m22 461r13 562r13 742r13 9928e7 Drop{5|30E9} 7|268r13 309r13 319b7 352r15 462r13 563r13 10029e7 Justify{5|29E9} 7|223r13 269r13 320b7 360r21 384r15 564r13 696r13 743r13 10130e7 Pad{character} 7|224r13 270r13 321b7 337r28 389r33 394r33 406r36 412r36 102. 565r13 697r13 744r13 10336V13*Index{natural} 37>7 38>7 39>7 40>7 7|50b13 10437a7 Source{string} 7|51b7 10538a7 Pattern{string} 7|52b7 10639e7 Going{5|32E9} 7|53b7 10740a7 Mapping{8|107A9} 7|54b7 10842V13*Index{natural} 43>7 44>7 45>7 46>7 7|57b13 10943a7 Source{string} 7|58b7 11044a7 Pattern{string} 7|59b7 11145e7 Going{5|32E9} 7|60b7 11246p7 Mapping{8|130P9} 7|61b7 11348V13*Index{natural} 49>7 50>7 51>7 52>7 7|64b13 708s14 717s9 11449a7 Source{string} 7|65b7 11550a7 Set{8|46A9} 7|66b7 708r29 717r24 11651e7 Test{5|31E9} 7|67b7 708r42 717r38 11752e7 Going{5|32E9} 7|68b7 708r60 717r56 11854V13*Index{natural} 55>7 56>7 57>7 58>7 59>7 7|71b13 11955a7 Source{string} 7|72b7 12056a7 Pattern{string} 7|73b7 12157i7 From{positive} 7|74b7 12258e7 Going{5|32E9} 7|75b7 12359a7 Mapping{8|107A9} 7|76b7 12462V13*Index{natural} 63>7 64>7 65>7 66>7 67>7 7|79b13 12563a7 Source{string} 7|80b7 12664a7 Pattern{string} 7|81b7 12765i7 From{positive} 7|82b7 12866e7 Going{5|32E9} 7|83b7 12967p7 Mapping{8|130P9} 7|84b7 13070V13*Index{natural} 71>7 72>7 73>7 74>7 75>7 7|87b13 13171a7 Source{string} 7|88b7 13272a7 Set{8|46A9} 7|89b7 13373i7 From{positive} 7|90b7 13474e7 Test{5|31E9} 7|91b7 13575e7 Going{5|32E9} 7|92b7 13678V13*Index_Non_Blank{natural} 79>7 80>7 7|95b13 634s42 651s43 668s42 678s21 13779a7 Source{string} 7|96b7 13880e7 Going{5|32E9} 7|97b7 13982V13*Index_Non_Blank{natural} 83>7 84>7 85>7 7|100b13 14083a7 Source{string} 7|101b7 14184i7 From{positive} 7|102b7 14285e7 Going{5|32E9} 7|103b7 14388V13*Count{natural} 89>7 90>7 91>7 7|106b13 14489a7 Source{string} 7|107b7 14590a7 Pattern{string} 7|108b7 14691a7 Mapping{8|107A9} 7|109b7 14793V13*Count{natural} 94>7 95>7 96>7 7|112b13 14894a7 Source{string} 7|113b7 14995a7 Pattern{string} 7|114b7 15096p7 Mapping{8|130P9} 7|115b7 15198V13*Count{natural} 99>7 100>7 7|118b13 15299a7 Source{string} 7|119b7 153100a7 Set{8|46A9} 7|120b7 154102U14*Find_Token 103>7 104>7 105>7 106>7 107<7 108<7 109r21 7|123b14 155103a7 Source{string} 7|124b7 156104a7 Set{8|46A9} 7|125b7 157105i7 From{positive} 7|126b7 158106e7 Test{5|31E9} 7|127b7 159107i7 First{positive} 7|128b7 160108i7 Last{natural} 7|129b7 161111U14*Find_Token 112>7 113>7 114>7 115<7 116<7 7|132b14 162112a7 Source{string} 7|133b7 163113a7 Set{8|46A9} 7|134b7 164114e7 Test{5|31E9} 7|135b7 165115i7 First{positive} 7|136b7 166116i7 Last{natural} 7|137b7 167122V13*Translate{string} 123>7 124>7 7|572b13 584l8 584t17 168123a7 Source{string} 7|573b7 576r29 579r16 580r23 580r61 169124a7 Mapping{8|107A9} 7|574b7 580r52 170126U14*Translate 127=7 128>7 7|586b14 594l8 594t17 171127a7 Source{string} 7|587b7 591r16 592m10 592r40 172128a7 Mapping{8|107A9} 7|588b7 592r31 173130V13*Translate{string} 131>7 132>7 7|596b13 609l8 609t17 174131a7 Source{string} 7|597b7 600r29 604r16 605r23 605r58 175132p7 Mapping{8|130P9} 7|598b7 605r45 176134U14*Translate 135=7 136>7 7|611b14 620l8 620t17 177135a7 Source{string} 7|612b7 617r16 618m10 618r37 178136p7 Mapping{8|130P9} 7|613b7 618r24 179142V13*Replace_Slice{string} 143>7 144>7 145>7 146>7 7|469b13 507l8 507t21 180. 519s13 181143a7 Source{string} 7|470b7 476r16 476r47 483r37 487r31 497r40 497r48 500r15 182. 500r35 505r25 183144i7 Low{positive} 7|471b7 476r10 480r18 483r31 497r64 505r43 184145i7 High{natural} 7|472b7 476r40 480r10 487r45 500r23 185146a7 By{string} 7|473b7 491r27 498r50 498r64 499r33 505r60 186148U14*Replace_Slice 149=7 150>7 151>7 152>7 153>7 154>7 155>7 7|509b14 520l8 187. 520t21 188149a7 Source{string} 7|510b7 519r28 519m52 189150i7 Low{positive} 7|511b7 519r36 190151i7 High{natural} 7|512b7 519r41 191152a7 By{string} 7|513b7 519r47 192153e7 Drop{5|30E9} 7|514b7 519r60 193154e7 Justify{5|29E9} 7|515b7 519r66 194155e7 Pad{character} 7|516b7 519r75 195157V13*Insert{string} 158>7 159>7 160>7 7|277b13 298l8 298t14 307s23 505s17 196158a7 Source{string} 7|278b7 282r29 283r45 286r24 286r40 291r9 291r17 295r9 197. 295r27 198159i7 Before{positive} 7|279b7 283r36 286r10 291r33 295r17 505r33 199160a7 New_Item{string} 7|280b7 282r45 292r36 293r9 294r23 505r48 200162U14*Insert 163=7 164>7 165>7 166>7 7|300b14 310l8 310t14 201163a7 Source{string} 7|301b7 307r31 308m23 202164i7 Before{positive} 7|302b7 307r39 203165a7 New_Item{string} 7|303b7 307r47 204166e7 Drop{5|30E9} 7|304b7 309r23 205168V13*Overwrite{string} 169>7 170>7 171>7 7|423b13 451l8 451t17 460s23 206169a7 Source{string} 7|424b7 429r26 429r42 436r15 437r26 440r50 444r12 444r20 207. 448r12 448r50 208170i7 Position{positive} 7|425b7 429r10 437r15 440r39 444r36 448r20 209171a7 New_Item{string} 7|426b7 437r41 445r39 446r12 447r26 448r31 210173U14*Overwrite 174=7 175>7 176>7 177>7 7|453b14 463l8 463t17 211174a7 Source{string} 7|454b7 460r34 461m23 212175i7 Position{positive} 7|455b7 460r42 213176a7 New_Item{string} 7|456b7 460r52 214177e7 Drop{5|30E9} 7|457b7 462r23 215179V13*Delete{string} 180>7 181>7 182>7 7|178b13 211l8 211t14 221s24 216180a7 Source{string} 7|179b7 186r49 189r33 192r25 193r27 199r49 200r35 204r15 217. 204r23 206r15 206r38 218181i7 From{positive} 7|180b7 184r10 192r13 199r42 200r62 204r39 219182i7 Through{natural} 7|181b7 184r17 193r17 200r52 206r23 220184U14*Delete 185=7 186>7 187>7 188>7 189>7 7|213b14 225l8 225t14 221185a7 Source{string} 7|214b7 221r32 222m24 222186i7 From{positive} 7|215b7 221r40 223187i7 Through{natural} 7|216b7 221r46 224188e7 Justify{5|29E9} 7|217b7 223r24 225189e7 Pad{character} 7|218b7 224r24 226195V13*Trim{string} 196>7 197>7 7|626b13 685l8 685t12 694s13 227196a7 Source{string} 7|627b7 634r59 643r55 645r39 645r54 651r60 660r62 662r39 228. 662r47 668r59 678r38 681r39 229197e7 Side{5|33E9} 7|628b7 631r12 230199U14*Trim 200=7 201>7 202>7 203>7 7|687b14 698l8 698t12 231200a7 Source{string} 7|688b7 694r19 695m13 232201e7 Side{5|33E9} 7|689b7 694r27 233202e7 Justify{5|29E9} 7|690b7 696r24 234203e7 Pad{character} 7|691b7 697r20 235205V13*Trim{string} 206>7 207>7 208>7 7|700b13 731l8 731t12 741s24 236206a7 Source{string} 7|701b7 708r21 717r16 729r30 237207a7 Left{8|46A9} 7|702b7 708r36 238208a7 Right{8|46A9} 7|703b7 717r31 239210U14*Trim 211=7 212>7 213>7 214>7 215>7 7|733b14 745l8 745t12 240211a7 Source{string} 7|734b7 741r30 742m24 241212a7 Left{8|46A9} 7|735b7 741r38 242213a7 Right{8|46A9} 7|736b7 741r44 243214e7 Justify{5|29E9} 7|737b7 743r24 244215e7 Pad{character} 7|738b7 744r24 245217V13*Head{string} 218>7 219>7 220>7 7|231b13 257l8 257t12 266s24 246218a7 Source{string} 7|232b7 239r18 241r25 241r33 241r49 248r26 248r44 250r22 247219i7 Count{natural} 7|233b7 236r43 239r10 241r64 250r43 248220e7 Pad{character} 7|234b7 251r30 249222U14*Head 223=7 224>7 225>7 226>7 7|259b14 271l8 271t12 250223a7 Source{string} 7|260b7 266r30 267m24 251224i7 Count{natural} 7|261b7 266r38 252225e7 Justify{5|29E9} 7|262b7 269r24 253226e7 Pad{character} 7|263b7 266r45 270r24 254228V13*Tail{string} 229>7 230>7 231>7 7|526b13 552l8 552t12 561s24 255229a7 Source{string} 7|527b7 534r18 535r30 535r38 535r65 544r35 548r29 548r60 256230i7 Count{natural} 7|528b7 531r43 534r10 535r52 544r27 548r21 548r50 257231e7 Pad{character} 7|529b7 545r30 258233U14*Tail 234=7 235>7 236>7 237>7 7|554b14 566l8 566t12 259234a7 Source{string} 7|555b7 561r30 562m24 260235i7 Count{natural} 7|556b7 561r38 261236e7 Justify{5|29E9} 7|557b7 564r24 262237e7 Pad{character} 7|558b7 561r45 565r24 263243V14*"*"{string} 244>7 245>7 7|144b14 156l9 156t11 264244i7 Left{natural} 7|145b7 148r29 265245e7 Right{character} 7|146b7 152r24 266247V14*"*"{string} 248>7 249>7 7|158b14 172l9 172t11 267248i7 Left{natural} 7|159b7 162r29 166r21 268249a7 Right{string} 7|160b7 162r36 167r31 167r52 168r23 269X 7 a-strfix.adb 270148a7 Result{string} 151r16 152m10 155r14 271151i11 J{integer} 152r18 272162a7 Result{string} 167m10 171r14 273163i7 Ptr{integer} 167r18 167r25 168m10 168r17 274166i11 J{integer} 275186A21 Result_Type{string}<integer> 189r20 276199i13 Front{integer} 203r26 205r21 277200a13 Result{string} 203m13 205m13 205r34 208r20 278236A15 Result_Type{string}<integer> 241r12 245r22 279245a13 Result{236A15} 248m13 251m16 254r20 280250i17 J{integer} 251r24 281282a7 Result{string} 290m7 292m7 294m7 294r46 297r14 282283i7 Front{integer} 290r20 292r15 292r28 294r15 283323i7 Sfirst{integer} 357r34 357r44 362r45 364r35 364r45 370r45 284324i7 Slast{integer} 354r34 354r57 362r65 370r55 371r43 371r66 285325i7 Slength{integer} 348r10 351r13 386r43 388r34 393r43 397r32 401r64 409r56 286. 411r42 287327i7 Tfirst{integer} 386r24 386r34 388r25 393r25 402r53 405r28 288328i7 Tlast{integer} 388r45 393r35 397r24 397r47 411r53 289329i7 Tlength{integer} 348r20 351r23 354r42 357r53 362r54 370r63 371r51 401r54 290331V16 Is_Padding{boolean} 331>28 334b16 343l11 343t21 362s25 370s25 291331a28 Item{string} 334b28 336r19 337r16 292336i14 J{integer} 337r22 293388i20 I{integer} 389r27 294393i20 I{integer} 394r27 295401i19 Front_Pad{integer} 402r62 296402i19 Tfirst_Fpad{integer} 405r38 409r27 409r42 411r28 297405i23 I{integer} 406r30 298411i23 I{integer} 412r30 299434i10 Result_Length{natural} 439r32 300439a10 Result{string} 443m10 445m10 447m10 447r49 449r17 301440i10 Front{integer} 443r23 445r18 445r31 447r18 302482i13 Front_Len{integer} 491r15 497r26 498r21 498r38 499r21 303486i13 Back_Len{integer} 491r39 304490i13 Result_Length{integer} 494r35 305494a13 Result{string} 497m13 498m13 499m13 499r50 501r20 306531A15 Result_Type{string}<integer> 535r17 541r22 307541a13 Result{531A15} 545m16 548m13 549r20 308544i17 J{integer} 545r24 309576a7 Result{string} 580m10 583r14 310579i11 J{integer} 580r18 580r69 311591i11 J{integer} 592r18 592r48 312600a7 Result{string} 605m10 608r14 313604i11 J{integer} 605r18 605r66 314617i11 J{integer} 618r18 618r45 315634i16 Low{natural} 638r19 643r69 645r47 316643A27 Result_Type{string}<integer> 645r26 317651i16 High{natural} 655r19 660r55 662r63 318660A27 Result_Type{string}<integer> 662r26 319668i16 Low{natural} 672r19 679r62 681r47 320677i19 High{natural} 679r55 681r54 321679A27 Result_Type{string}<integer> 681r26 322705i7 High{integer} 716m7 721r10 726r46 729r45 323705i13 Low{integer} 708m7 712r10 726r53 729r38 324726A18 Result_Type{string}<integer> 729r17 325X 8 a-strmap.ads 32638K21*Maps 6|16w18 40r17 40r43 46r17 50r16 59r17 59r43 67r17 72r17 91r17 327. 91r43 96r17 100r16 104r16 113r16 124r17 128r17 132r17 136r17 207r16 208r16 328. 212r17 213r17 7|41w18 41r40 54r17 54r43 61r17 66r16 76r17 76r43 84r17 89r17 329. 109r17 109r43 115r17 120r16 125r16 134r16 574r17 588r17 598r17 613r17 702r16 330. 703r16 735r17 736r17 8|411e21 33146A9*Character_Set<137A9> 6|50r21 72r22 100r21 104r21 113r21 207r21 208r21 332. 212r22 213r22 7|66r21 89r22 120r21 125r21 134r21 702r21 703r21 735r22 736r22 333107A9*Character_Mapping(character) 6|40r22 59r22 91r22 124r22 128r22 7|54r22 334. 76r22 109r22 574r22 588r22 335111V13*Value{character} 7|580s45 592s24 336115a4*Identity{107A9} 6|40r48 59r48 91r48 7|54r48 76r48 109r48 337130P9*Character_Mapping_Function(character) 6|46r22 67r22 96r22 132r22 136r22 338. 7|61r22 84r22 115r22 598r22 613r22 339137A9 Character_Set_Internal(boolean)<character> 340X 9 a-strsea.ads 34141K29*Search 7|42w18 55r24 62r24 69r24 77r24 85r24 93r24 98r24 104r24 110r24 342. 116r24 121r24 130r24 138r24 9|121e23 34344V13*Index{natural} 7|55r31 34450V13*Index{natural} 7|62r31 34556V13*Index{natural} 7|69r31 34662V13*Index{natural} 7|77r31 34769V13*Index{natural} 7|85r31 34876V13*Index{natural} 7|93r31 34983V13*Index_Non_Blank{natural} 7|98r31 35087V13*Index_Non_Blank{natural} 7|104r31 35192V13*Count{natural} 7|110r31 35297V13*Count{natural} 7|116r31 353102V13*Count{natural} 7|121r31 354106U14*Find_Token 7|130r31 355114U14*Find_Token 7|138r31 356 357