488 lines
18 KiB
Plaintext
488 lines
18 KiB
Plaintext
|
V "GNAT Lib v6"
|
||
|
A -gnatwa
|
||
|
A -nostdinc
|
||
|
A -O2
|
||
|
A -Wextra
|
||
|
A -Wall
|
||
|
A -g
|
||
|
A -gnatp
|
||
|
A -gnatg
|
||
|
A -mtune=generic
|
||
|
A -march=i586
|
||
|
P ZX
|
||
|
|
||
|
RN
|
||
|
RV NO_DYNAMIC_SIZED_OBJECTS
|
||
|
RV NO_IMPLEMENTATION_PRAGMAS
|
||
|
RV NO_OBSOLESCENT_FEATURES
|
||
|
RV SPARK_05
|
||
|
|
||
|
U ada.strings.bounded%b a-strbou.adb fe1ffede NE OL PK
|
||
|
W ada.strings%s a-string.ads a-string.ali
|
||
|
|
||
|
U ada.strings.bounded%s a-strbou.ads 89c18940 BN NE OL PR PK
|
||
|
W ada%s ada.ads ada.ali
|
||
|
W ada.strings%s a-string.ads a-string.ali
|
||
|
W ada.strings.maps%s a-strmap.adb a-strmap.ali
|
||
|
W ada.strings.superbounded%s a-strsup.adb a-strsup.ali
|
||
|
|
||
|
D ada.ads 20070406091342 3ffc8e18 ada%s
|
||
|
D a-charac.ads 20070912115821 2d3ec45b ada.characters%s
|
||
|
D a-chlat1.ads 20140225151544 66457d31 ada.characters.latin_1%s
|
||
|
D a-string.ads 20070406091342 90ac6797 ada.strings%s
|
||
|
D a-strbou.ads 20140731124036 53ab54ae ada.strings.bounded%s
|
||
|
D a-strbou.adb 20090409150019 adb4aa70 ada.strings.bounded%b
|
||
|
D a-strmap.ads 20140611123156 e8bb714a ada.strings.maps%s
|
||
|
D a-strsup.ads 20120309145048 a27dcb33 ada.strings.superbounded%s
|
||
|
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
|
||
|
D system.ads 20151123113124 2da59038 system%s
|
||
|
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
|
||
|
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
|
||
|
D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%s
|
||
|
X 1 ada.ads
|
||
|
16K9*Ada 19e8 5|36r6 37r6 39r9 914r5 6|32r14 106r5
|
||
|
X 4 a-string.ads
|
||
|
16K13*Strings 1|16k9 4|35e16 5|36r10 37r10 39r13 914r9 6|32r18 77r18 77r40
|
||
|
. 86r18 86r40 98r19 98r41 106r9
|
||
|
19e4*Space{character} 5|405r32 411r33 417r33 423r33 876r32 883r33 890r33
|
||
|
. 897r33
|
||
|
30E9*Truncation 30e43 5|65r19 72r19 78r18 83r18 88r18 93r18 98r18 103r21
|
||
|
. 108r21 113r21 337r19 344r21 350r21 356r21 362r21 368r22 406r19 412r19 418r19
|
||
|
. 424r19 445r18 450r18 455r18 496r19 510r18 516r18 522r18 528r18 534r18 540r21
|
||
|
. 546r21 552r21 800r19 808r21 815r21 822r21 829r21 836r22 877r19 884r19 891r19
|
||
|
. 898r19 909r18 6|77r26 86r26 98r27
|
||
|
30n37*Error{30E9} 5|65r33 72r33 78r33 83r32 88r32 93r32 98r32 103r36 108r36
|
||
|
. 113r36 337r33 344r35 350r35 356r35 362r35 368r36 406r33 412r33 418r33 424r33
|
||
|
. 445r32 450r32 455r32 496r33 510r33 516r32 522r32 528r32 534r32 540r36 546r36
|
||
|
. 552r36 800r33 808r35 815r35 822r35 829r35 836r36 877r33 884r33 891r33 898r33
|
||
|
. 909r32 6|67r54 77r48 86r48 98r49
|
||
|
31E9*Membership 31e40 5|241r19 264r20 296r19 304r19 702r19 726r20 762r19
|
||
|
. 770r19
|
||
|
31n24*Inside{31E9} 5|241r33 264r34 702r33 726r34
|
||
|
32E9*Direction 32e42 5|229r20 235r20 242r19 248r20 256r20 265r20 270r19 275r19
|
||
|
. 688r20 695r20 703r19 710r20 718r20 727r20 732r19 738r19
|
||
|
32n24*Forward{32E9} 5|229r33 235r33 242r33 248r33 256r33 265r33 270r32 275r32
|
||
|
. 688r33 695r33 703r33 710r33 718r33 727r33 732r32 738r32
|
||
|
33E9*Trim_End 33e42 5|386r19 390r19 853r19 858r19
|
||
|
X 5 a-strbou.ads
|
||
|
39K21*Bounded 4|16k13 5|914l17 914e24 6|32b26 106l17 106t24
|
||
|
43i7 Max{positive} 48r41
|
||
|
46k12*Generic_Bounded_Length 43z7 473E12 912l8 912e30 6|34b17 104l8 104t30
|
||
|
48i7*Max_Length{positive} 55r50 473r61 486r50 489r40 6|50r37 58r37 67r42
|
||
|
. 80r53 89r53 101r42
|
||
|
50R12*Bounded_String<8|47R9> 51r44 53r38 57r33 65r47 67r36 70r23 76r18 77r18
|
||
|
. 78r47 81r18 83r46 87r18 88r46 91r18 93r46 97r18 98r46 101r28 102r21 106r28
|
||
|
. 111r28 116r18 117r18 117r41 120r18 121r33 125r18 125r41 128r18 129r36 133r18
|
||
|
. 133r41 136r19 140r26 145r19 150r19 152r35 156r19 157r23 163r18 164r18 167r18
|
||
|
. 172r18 175r18 176r18 179r18 184r18 187r18 188r18 191r18 196r18 199r18 200r18
|
||
|
. 203r18 208r18 211r18 212r18 215r18 220r18 227r20 233r20 239r19 245r20 253r20
|
||
|
. 261r20 269r19 273r19 279r20 284r20 289r19 293r19 302r19 313r20 314r51 317r28
|
||
|
. 321r20 322r60 325r27 333r19 337r47 340r28 347r21 350r49 353r28 359r21 362r49
|
||
|
. 365r29 371r20 373r36 376r27 385r19 386r36 389r26 393r19 395r46 398r26 403r19
|
||
|
. 406r47 409r26 415r19 418r47 421r26 432r36 436r33 440r18 440r41 445r46 450r46
|
||
|
. 454r18 455r46 473c12 479r53 482r30 485r38 494r23 500r19 504r19 508r18 509r18
|
||
|
. 510r47 514r18 516r46 521r18 522r46 526r18 528r46 533r18 534r46 538r28 539r21
|
||
|
. 544r28 550r28 556r18 557r18 557r41 561r18 562r33 567r18 567r41 571r18 572r36
|
||
|
. 577r18 577r41 581r19 586r26 592r19 598r19 600r35 604r19 605r23 611r18 612r18
|
||
|
. 616r18 622r18 626r18 627r18 631r18 637r18 641r18 642r18 646r18 652r18 656r18
|
||
|
. 657r18 661r18 667r18 671r18 672r18 676r18 682r18 686r20 693r20 700r19 707r20
|
||
|
. 715r20 723r20 731r19 736r19 742r20 748r20 754r19 759r19 768r19 776r20 777r51
|
||
|
. 781r28 786r20 787r60 791r27 796r19 800r47 804r28 812r21 815r49 819r28 826r21
|
||
|
. 829r49 833r29 840r20 842r36 846r27 852r19 853r36 857r26 862r19 864r46 868r26
|
||
|
. 874r19 877r47 881r26 888r19 891r47 895r26 903r18 903r41 908r18 909r46 6|47r36
|
||
|
. 55r33 65r53 77r62 86r62 98r63
|
||
|
53r7*Null_Bounded_String{50R12} 485c7
|
||
|
55I15*Length_Range{natural} 57r56 500r42
|
||
|
57V16*Length{55I15} 57>24 499b16
|
||
|
57r24 Source{50R12} 500b10
|
||
|
63V16*To_Bounded_String{50R12} 64>10 65>10 491r22 6|96b16 102l11 102t28
|
||
|
64a10 Source{string} 6|97b10 101r34
|
||
|
65e10 Drop{4|30E9} 6|98b10 101r54
|
||
|
67V16*To_String{string} 67>27 482r59 503b16
|
||
|
67r27 Source{50R12} 504b10
|
||
|
69U17*Set_Bounded_String 70<10 71>10 72>10 73r22 493b17
|
||
|
70r10 Target{50R12} 494b10
|
||
|
71a10 Source{string} 495b10
|
||
|
72e10 Drop{4|30E9} 496b10
|
||
|
75V16*Append{50R12} 76>10 77>10 78>10 507b16
|
||
|
76r10 Left{50R12} 508b10
|
||
|
77r10 Right{50R12} 509b10
|
||
|
78e10 Drop{4|30E9} 510b10
|
||
|
80V16*Append{50R12} 81>10 82>10 83>10 513b16
|
||
|
81r10 Left{50R12} 514b10
|
||
|
82a10 Right{string} 515b10
|
||
|
83e10 Drop{4|30E9} 516b10
|
||
|
85V16*Append{50R12} 86>10 87>10 88>10 519b16
|
||
|
86a10 Left{string} 520b10
|
||
|
87r10 Right{50R12} 521b10
|
||
|
88e10 Drop{4|30E9} 522b10
|
||
|
90V16*Append{50R12} 91>10 92>10 93>10 525b16
|
||
|
91r10 Left{50R12} 526b10
|
||
|
92e10 Right{character} 527b10
|
||
|
93e10 Drop{4|30E9} 528b10
|
||
|
95V16*Append{50R12} 96>10 97>10 98>10 531b16
|
||
|
96e10 Left{character} 532b10
|
||
|
97r10 Right{50R12} 533b10
|
||
|
98e10 Drop{4|30E9} 534b10
|
||
|
100U17*Append 101=10 102>10 103>10 537b17
|
||
|
101r10 Source{50R12} 538b10
|
||
|
102r10 New_Item{50R12} 539b10
|
||
|
103e10 Drop{4|30E9} 540b10
|
||
|
105U17*Append 106=10 107>10 108>10 543b17
|
||
|
106r10 Source{50R12} 544b10
|
||
|
107a10 New_Item{string} 545b10
|
||
|
108e10 Drop{4|30E9} 546b10
|
||
|
110U17*Append 111=10 112>10 113>10 549b17
|
||
|
111r10 Source{50R12} 550b10
|
||
|
112e10 New_Item{character} 551b10
|
||
|
113e10 Drop{4|30E9} 552b10
|
||
|
115V17*"&"{50R12} 116>10 117>10 555b17
|
||
|
116r10 Left{50R12} 556b10
|
||
|
117r10 Right{50R12} 557b10
|
||
|
119V17*"&"{50R12} 120>10 121>10 560b17
|
||
|
120r10 Left{50R12} 561b10
|
||
|
121a10 Right{string} 562b10
|
||
|
123V17*"&"{50R12} 124>10 125>10 565b17
|
||
|
124a10 Left{string} 566b10
|
||
|
125r10 Right{50R12} 567b10
|
||
|
127V17*"&"{50R12} 128>10 129>10 570b17
|
||
|
128r10 Left{50R12} 571b10
|
||
|
129e10 Right{character} 572b10
|
||
|
131V17*"&"{50R12} 132>10 133>10 575b17
|
||
|
132e10 Left{character} 576b10
|
||
|
133r10 Right{50R12} 577b10
|
||
|
135V16*Element{character} 136>10 137>10 580b16
|
||
|
136r10 Source{50R12} 581b10
|
||
|
137i10 Index{positive} 582b10
|
||
|
139U17*Replace_Element 140=10 141>10 142>10 585b17
|
||
|
140r10 Source{50R12} 586b10
|
||
|
141i10 Index{positive} 587b10
|
||
|
142e10 By{character} 588b10
|
||
|
144V16*Slice{string} 145>10 146>10 147>10 591b16
|
||
|
145r10 Source{50R12} 592b10
|
||
|
146i10 Low{positive} 593b10
|
||
|
147i10 High{natural} 594b10
|
||
|
149V16*Bounded_Slice{50R12} 150>10 151>10 152>10 153r22 597b16
|
||
|
150r10 Source{50R12} 598b10
|
||
|
151i10 Low{positive} 599b10
|
||
|
152i10 High{natural} 600b10
|
||
|
155U17*Bounded_Slice 156>10 157<10 158>10 159>10 603b17
|
||
|
156r10 Source{50R12} 604b10
|
||
|
157r10 Target{50R12} 605b10
|
||
|
158i10 Low{positive} 606b10
|
||
|
159i10 High{natural} 607b10
|
||
|
162V17*"="{boolean}<8|168p13> 163>10 164>10 610b28
|
||
|
163r10 Left{50R12} 611b10
|
||
|
164r10 Right{50R12} 612b10
|
||
|
166V17*"="{boolean} 167>10 168>10 615b17
|
||
|
167r10 Left{50R12} 616b10
|
||
|
168a10 Right{string} 617b10
|
||
|
170V17*"="{boolean} 171>10 172>10 620b17
|
||
|
171a10 Left{string} 621b10
|
||
|
172r10 Right{50R12} 622b10
|
||
|
174V17*"<"{boolean} 175>10 176>10 625b17
|
||
|
175r10 Left{50R12} 626b10
|
||
|
176r10 Right{50R12} 627b10
|
||
|
178V17*"<"{boolean} 179>10 180>10 630b17
|
||
|
179r10 Left{50R12} 631b10
|
||
|
180a10 Right{string} 632b10
|
||
|
182V17*"<"{boolean} 183>10 184>10 635b17
|
||
|
183a10 Left{string} 636b10
|
||
|
184r10 Right{50R12} 637b10
|
||
|
186V17*"<="{boolean} 187>10 188>10 640b17
|
||
|
187r10 Left{50R12} 641b10
|
||
|
188r10 Right{50R12} 642b10
|
||
|
190V17*"<="{boolean} 191>10 192>10 645b17
|
||
|
191r10 Left{50R12} 646b10
|
||
|
192a10 Right{string} 647b10
|
||
|
194V17*"<="{boolean} 195>10 196>10 650b17
|
||
|
195a10 Left{string} 651b10
|
||
|
196r10 Right{50R12} 652b10
|
||
|
198V17*">"{boolean} 199>10 200>10 655b17
|
||
|
199r10 Left{50R12} 656b10
|
||
|
200r10 Right{50R12} 657b10
|
||
|
202V17*">"{boolean} 203>10 204>10 660b17
|
||
|
203r10 Left{50R12} 661b10
|
||
|
204a10 Right{string} 662b10
|
||
|
206V17*">"{boolean} 207>10 208>10 665b17
|
||
|
207a10 Left{string} 666b10
|
||
|
208r10 Right{50R12} 667b10
|
||
|
210V17*">="{boolean} 211>10 212>10 670b17
|
||
|
211r10 Left{50R12} 671b10
|
||
|
212r10 Right{50R12} 672b10
|
||
|
214V17*">="{boolean} 215>10 216>10 675b17
|
||
|
215r10 Left{50R12} 676b10
|
||
|
216a10 Right{string} 677b10
|
||
|
218V17*">="{boolean} 219>10 220>10 680b17
|
||
|
219a10 Left{string} 681b10
|
||
|
220r10 Right{50R12} 682b10
|
||
|
226V16*Index{natural} 227>10 228>10 229>10 230>10 685b16
|
||
|
227r10 Source{50R12} 686b10
|
||
|
228a10 Pattern{string} 687b10
|
||
|
229e10 Going{4|32E9} 688b10
|
||
|
230a10 Mapping{7|107A9} 689b10
|
||
|
232V16*Index{natural} 233>10 234>10 235>10 236>10 692b16
|
||
|
233r10 Source{50R12} 693b10
|
||
|
234a10 Pattern{string} 694b10
|
||
|
235e10 Going{4|32E9} 695b10
|
||
|
236p10 Mapping{7|130P9} 696b10
|
||
|
238V16*Index{natural} 239>10 240>10 241>10 242>10 699b16
|
||
|
239r10 Source{50R12} 700b10
|
||
|
240a10 Set{7|46A9} 701b10
|
||
|
241e10 Test{4|31E9} 702b10
|
||
|
242e10 Going{4|32E9} 703b10
|
||
|
244V16*Index{natural} 245>10 246>10 247>10 248>10 249>10 706b16
|
||
|
245r10 Source{50R12} 707b10
|
||
|
246a10 Pattern{string} 708b10
|
||
|
247i10 From{positive} 709b10
|
||
|
248e10 Going{4|32E9} 710b10
|
||
|
249a10 Mapping{7|107A9} 711b10
|
||
|
252V16*Index{natural} 253>10 254>10 255>10 256>10 257>10 714b16
|
||
|
253r10 Source{50R12} 715b10
|
||
|
254a10 Pattern{string} 716b10
|
||
|
255i10 From{positive} 717b10
|
||
|
256e10 Going{4|32E9} 718b10
|
||
|
257p10 Mapping{7|130P9} 719b10
|
||
|
260V16*Index{natural} 261>10 262>10 263>10 264>10 265>10 722b16
|
||
|
261r10 Source{50R12} 723b10
|
||
|
262a10 Set{7|46A9} 724b10
|
||
|
263i10 From{positive} 725b10
|
||
|
264e10 Test{4|31E9} 726b10
|
||
|
265e10 Going{4|32E9} 727b10
|
||
|
268V16*Index_Non_Blank{natural} 269>10 270>10 730b16
|
||
|
269r10 Source{50R12} 731b10
|
||
|
270e10 Going{4|32E9} 732b10
|
||
|
272V16*Index_Non_Blank{natural} 273>10 274>10 275>10 735b16
|
||
|
273r10 Source{50R12} 736b10
|
||
|
274i10 From{positive} 737b10
|
||
|
275e10 Going{4|32E9} 738b10
|
||
|
278V16*Count{natural} 279>10 280>10 281>10 741b16
|
||
|
279r10 Source{50R12} 742b10
|
||
|
280a10 Pattern{string} 743b10
|
||
|
281a10 Mapping{7|107A9} 744b10
|
||
|
283V16*Count{natural} 284>10 285>10 286>10 747b16
|
||
|
284r10 Source{50R12} 748b10
|
||
|
285a10 Pattern{string} 749b10
|
||
|
286p10 Mapping{7|130P9} 750b10
|
||
|
288V16*Count{natural} 289>10 290>10 753b16
|
||
|
289r10 Source{50R12} 754b10
|
||
|
290a10 Set{7|46A9} 755b10
|
||
|
292U17*Find_Token 293>10 294>10 295>10 296>10 297<10 298<10 299r24 758b17
|
||
|
293r10 Source{50R12} 759b10
|
||
|
294a10 Set{7|46A9} 760b10
|
||
|
295i10 From{positive} 761b10
|
||
|
296e10 Test{4|31E9} 762b10
|
||
|
297i10 First{positive} 763b10
|
||
|
298i10 Last{natural} 764b10
|
||
|
301U17*Find_Token 302>10 303>10 304>10 305<10 306<10 767b17
|
||
|
302r10 Source{50R12} 768b10
|
||
|
303a10 Set{7|46A9} 769b10
|
||
|
304e10 Test{4|31E9} 770b10
|
||
|
305i10 First{positive} 771b10
|
||
|
306i10 Last{natural} 772b10
|
||
|
312V16*Translate{50R12} 313>10 314>10 775b16
|
||
|
313r10 Source{50R12} 776b10
|
||
|
314a10 Mapping{7|107A9} 777b10
|
||
|
316U17*Translate 317=10 318>10 780b17
|
||
|
317r10 Source{50R12} 781b10
|
||
|
318a10 Mapping{7|107A9} 782b10
|
||
|
320V16*Translate{50R12} 321>10 322>10 785b16
|
||
|
321r10 Source{50R12} 786b10
|
||
|
322p10 Mapping{7|130P9} 787b10
|
||
|
324U17*Translate 325=10 326>10 790b17
|
||
|
325r10 Source{50R12} 791b10
|
||
|
326p10 Mapping{7|130P9} 792b10
|
||
|
332V16*Replace_Slice{50R12} 333>10 334>10 335>10 336>10 337>10 795b16
|
||
|
333r10 Source{50R12} 796b10
|
||
|
334i10 Low{positive} 797b10
|
||
|
335i10 High{natural} 798b10
|
||
|
336a10 By{string} 799b10
|
||
|
337e10 Drop{4|30E9} 800b10
|
||
|
339U17*Replace_Slice 340=10 341>10 342>10 343>10 344>10 803b17
|
||
|
340r10 Source{50R12} 804b10
|
||
|
341i10 Low{positive} 805b10
|
||
|
342i10 High{natural} 806b10
|
||
|
343a10 By{string} 807b10
|
||
|
344e10 Drop{4|30E9} 808b10
|
||
|
346V16*Insert{50R12} 347>10 348>10 349>10 350>10 811b16
|
||
|
347r10 Source{50R12} 812b10
|
||
|
348i10 Before{positive} 813b10
|
||
|
349a10 New_Item{string} 814b10
|
||
|
350e10 Drop{4|30E9} 815b10
|
||
|
352U17*Insert 353=10 354>10 355>10 356>10 818b17
|
||
|
353r10 Source{50R12} 819b10
|
||
|
354i10 Before{positive} 820b10
|
||
|
355a10 New_Item{string} 821b10
|
||
|
356e10 Drop{4|30E9} 822b10
|
||
|
358V16*Overwrite{50R12} 359>10 360>10 361>10 362>10 825b16
|
||
|
359r10 Source{50R12} 826b10
|
||
|
360i10 Position{positive} 827b10
|
||
|
361a10 New_Item{string} 828b10
|
||
|
362e10 Drop{4|30E9} 829b10
|
||
|
364U17*Overwrite 365=10 366>10 367>10 368>10 832b17
|
||
|
365r10 Source{50R12} 833b10
|
||
|
366i10 Position{positive} 834b10
|
||
|
367a10 New_Item{string} 835b10
|
||
|
368e10 Drop{4|30E9} 836b10
|
||
|
370V16*Delete{50R12} 371>10 372>10 373>10 839b16
|
||
|
371r10 Source{50R12} 840b10
|
||
|
372i10 From{positive} 841b10
|
||
|
373i10 Through{natural} 842b10
|
||
|
375U17*Delete 376=10 377>10 378>10 845b17
|
||
|
376r10 Source{50R12} 846b10
|
||
|
377i10 From{positive} 847b10
|
||
|
378i10 Through{natural} 848b10
|
||
|
384V16*Trim{50R12} 385>10 386>10 851b16
|
||
|
385r10 Source{50R12} 852b10
|
||
|
386e10 Side{4|33E9} 853b10
|
||
|
388U17*Trim 389=10 390>10 856b17
|
||
|
389r10 Source{50R12} 857b10
|
||
|
390e10 Side{4|33E9} 858b10
|
||
|
392V16*Trim{50R12} 393>10 394>11 395>11 861b16
|
||
|
393r10 Source{50R12} 862b10
|
||
|
394a11 Left{7|46A9} 863b10
|
||
|
395a11 Right{7|46A9} 864b10
|
||
|
397U17*Trim 398=10 399>10 400>10 867b17
|
||
|
398r10 Source{50R12} 868b10
|
||
|
399a10 Left{7|46A9} 869b10
|
||
|
400a10 Right{7|46A9} 870b10
|
||
|
402V16*Head{50R12} 403>10 404>10 405>10 406>10 873b16
|
||
|
403r10 Source{50R12} 874b10
|
||
|
404i10 Count{natural} 875b10
|
||
|
405e10 Pad{character} 876b10
|
||
|
406e10 Drop{4|30E9} 877b10
|
||
|
408U17*Head 409=10 410>10 411>10 412>10 880b17
|
||
|
409r10 Source{50R12} 881b10
|
||
|
410i10 Count{natural} 882b10
|
||
|
411e10 Pad{character} 883b10
|
||
|
412e10 Drop{4|30E9} 884b10
|
||
|
414V16*Tail{50R12} 415>10 416>10 417>10 418>10 887b16
|
||
|
415r10 Source{50R12} 888b10
|
||
|
416i10 Count{natural} 889b10
|
||
|
417e10 Pad{character} 890b10
|
||
|
418e10 Drop{4|30E9} 891b10
|
||
|
420U17*Tail 421=10 422>10 423>10 424>10 894b17
|
||
|
421r10 Source{50R12} 895b10
|
||
|
422i10 Count{natural} 896b10
|
||
|
423e10 Pad{character} 897b10
|
||
|
424e10 Drop{4|30E9} 898b10
|
||
|
430V17*"*"{50R12} 431>10 432>10 6|45b17 51l12 51t14
|
||
|
431i10 Left{natural} 6|46b10 50r24
|
||
|
432e10 Right{character} 6|47b10 50r30
|
||
|
434V17*"*"{50R12} 435>10 436>10 6|53b17 59l12 59t14
|
||
|
435i10 Left{natural} 6|54b10 58r24
|
||
|
436a10 Right{string} 6|55b10 58r30
|
||
|
438V17*"*"{50R12} 439>10 440>10 901b17
|
||
|
439i10 Left{natural} 902b10
|
||
|
440r10 Right{50R12} 903b10
|
||
|
442V16*Replicate{50R12} 443>10 444>10 445>10 6|74b16 81l11 81t20
|
||
|
443i10 Count{natural} 6|75b10 80r34
|
||
|
444e10 Item{character} 6|76b10 80r41
|
||
|
445e10 Drop{4|30E9} 6|77b10 80r47
|
||
|
447V16*Replicate{50R12} 448>10 449>10 450>10 6|83b16 90l11 90t20
|
||
|
448i10 Count{natural} 6|84b10 89r34
|
||
|
449a10 Item{string} 6|85b10 89r41
|
||
|
450e10 Drop{4|30E9} 6|86b10 89r47
|
||
|
452V16*Replicate{50R12} 453>10 454>10 455>10 906b16
|
||
|
453i10 Count{natural} 907b10
|
||
|
454r10 Item{50R12} 908b10
|
||
|
455e10 Drop{4|30E9} 909b10
|
||
|
479V16 From_String{50R12} 479>29 482r46 6|65b16 68l11 68t22
|
||
|
479a29 Source{string} 6|65b29 67r34
|
||
|
X 7 a-strmap.ads
|
||
|
38K21*Maps 5|36w18 230r20 230r46 236r20 240r19 249r20 249r46 257r20 262r20
|
||
|
. 281r20 281r46 286r20 290r19 294r19 303r19 314r20 318r21 322r20 326r20 394r19
|
||
|
. 395r19 399r19 400r19 689r20 689r46 696r20 701r19 711r20 711r46 719r20 724r20
|
||
|
. 744r20 744r46 750r20 755r19 760r19 769r19 777r20 782r21 787r20 792r20 863r19
|
||
|
. 864r19 869r19 870r19 7|411e21
|
||
|
46A9*Character_Set<137A9> 5|240r24 262r25 290r24 294r24 303r24 394r24 395r24
|
||
|
. 399r24 400r24 701r24 724r25 755r24 760r24 769r24 863r24 864r24 869r24 870r24
|
||
|
107A9*Character_Mapping(character) 5|230r25 249r25 281r25 314r25 318r26 689r25
|
||
|
. 711r25 744r25 777r25 782r26
|
||
|
115a4*Identity{107A9} 5|230r51 249r51 281r51 689r51 711r51 744r51
|
||
|
130P9*Character_Mapping_Function(character) 5|236r25 257r25 286r25 322r25
|
||
|
. 326r25 696r25 719r25 750r25 787r25 792r25
|
||
|
137A9 Character_Set_Internal(boolean)<character>
|
||
|
X 8 a-strsup.ads
|
||
|
41K21*Superbounded 5|37w18 473r34 8|493e29
|
||
|
47R9*Super_String 5|473r47 8|54e14
|
||
|
48i7*Current_Length{natural} 5|487m32
|
||
|
49a7*Data{string} 5|488m32
|
||
|
60V13*Super_Length{natural} 5|501r18
|
||
|
66V13*To_Super_String{47R9} 6|67s17 101s17
|
||
|
76V13*Super_To_String{string} 5|505r18
|
||
|
78U14*Set_Super_String 5|497r18
|
||
|
83V13*Super_Append{47R9} 5|511r18
|
||
|
88V13*Super_Append{47R9} 5|517r18
|
||
|
93V13*Super_Append{47R9} 5|523r18
|
||
|
98V13*Super_Append{47R9} 5|529r18
|
||
|
103V13*Super_Append{47R9} 5|535r18
|
||
|
108U14*Super_Append 5|541r18
|
||
|
113U14*Super_Append 5|547r18
|
||
|
118U14*Super_Append 5|553r18
|
||
|
123V13*Concat{47R9} 5|558r18
|
||
|
127V13*Concat{47R9} 5|563r18
|
||
|
131V13*Concat{47R9} 5|568r18
|
||
|
135V13*Concat{47R9} 5|573r18
|
||
|
139V13*Concat{47R9} 5|578r18
|
||
|
143V13*Super_Element{character} 5|583r18
|
||
|
147U14*Super_Replace_Element 5|589r18
|
||
|
152V13*Super_Slice{string} 5|595r18
|
||
|
157V13*Super_Slice{47R9} 5|601r18
|
||
|
162U14*Super_Slice 5|608r18
|
||
|
172V13*Equal=174:52{boolean} 5|613r18
|
||
|
176V13*Equal{boolean} 5|618r18
|
||
|
180V13*Equal{boolean} 5|623r18
|
||
|
184V13*Less{boolean} 5|628r18
|
||
|
188V13*Less{boolean} 5|633r18
|
||
|
192V13*Less{boolean} 5|638r18
|
||
|
196V13*Less_Or_Equal{boolean} 5|643r18
|
||
|
200V13*Less_Or_Equal{boolean} 5|648r18
|
||
|
204V13*Less_Or_Equal{boolean} 5|653r18
|
||
|
208V13*Greater{boolean} 5|658r18
|
||
|
212V13*Greater{boolean} 5|663r18
|
||
|
216V13*Greater{boolean} 5|668r18
|
||
|
220V13*Greater_Or_Equal{boolean} 5|673r18
|
||
|
224V13*Greater_Or_Equal{boolean} 5|678r18
|
||
|
228V13*Greater_Or_Equal{boolean} 5|683r18
|
||
|
236V13*Super_Index{natural} 5|690r18
|
||
|
242V13*Super_Index{natural} 5|697r18
|
||
|
248V13*Super_Index{natural} 5|704r18
|
||
|
254V13*Super_Index{natural} 5|712r18
|
||
|
261V13*Super_Index{natural} 5|720r15
|
||
|
268V13*Super_Index{natural} 5|728r15
|
||
|
275V13*Super_Index_Non_Blank{natural} 5|733r18
|
||
|
279V13*Super_Index_Non_Blank{natural} 5|739r18
|
||
|
284V13*Super_Count{natural} 5|745r18
|
||
|
289V13*Super_Count{natural} 5|751r18
|
||
|
294V13*Super_Count{natural} 5|756r18
|
||
|
298U14*Super_Find_Token 5|765r18
|
||
|
306U14*Super_Find_Token 5|773r18
|
||
|
317V13*Super_Translate{47R9} 5|778r18
|
||
|
321U14*Super_Translate 5|783r18
|
||
|
325V13*Super_Translate{47R9} 5|788r18
|
||
|
329U14*Super_Translate 5|793r18
|
||
|
337V13*Super_Replace_Slice{47R9} 5|801r18
|
||
|
344U14*Super_Replace_Slice 5|809r18
|
||
|
351V13*Super_Insert{47R9} 5|816r18
|
||
|
357U14*Super_Insert 5|823r18
|
||
|
363V13*Super_Overwrite{47R9} 5|830r18
|
||
|
369U14*Super_Overwrite 5|837r18
|
||
|
375V13*Super_Delete{47R9} 5|843r18
|
||
|
380U14*Super_Delete 5|849r18
|
||
|
389V13*Super_Trim{47R9} 5|854r18
|
||
|
393U14*Super_Trim 5|859r18
|
||
|
397V13*Super_Trim{47R9} 5|865r18
|
||
|
402U14*Super_Trim 5|871r18
|
||
|
407V13*Super_Head{47R9} 5|878r18
|
||
|
413U14*Super_Head 5|885r18
|
||
|
419V13*Super_Tail{47R9} 5|892r18
|
||
|
425U14*Super_Tail 5|899r18
|
||
|
439V13*Times{47R9} 6|50s17
|
||
|
445V13*Times{47R9} 6|58s17
|
||
|
451V13*Times{47R9} 5|904r18
|
||
|
455V13*Super_Replicate{47R9} 6|80s17
|
||
|
462V13*Super_Replicate{47R9} 6|89s17
|
||
|
469V13*Super_Replicate{47R9} 5|910r18
|
||
|
|