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