MINI MINI MANI MO
V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P SS ZX
RN
RV NO_EXCEPTIONS
RV NO_STANDARD_STORAGE_POOLS
RV SPARK
U ada.strings.wide_wide_search%b a-stzsea.adb 4ab3d198 NE OL PK
W ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali
W ada.strings%s a-string.ads a-string.ali
W ada.strings.wide_wide_maps%s a-stzmap.adb a-stzmap.ali
W ada.tags%s a-tags.adb a-tags.ali
W system%s system.ads system.ali
U ada.strings.wide_wide_search%s a-stzsea.ads ff3339af NE OL PR PK
W ada%s ada.ads ada.ali
W ada.strings%s a-string.ads a-string.ali
W ada.strings.wide_wide_maps%s a-stzmap.adb a-stzmap.ali
D ada.ads 20121213103024 3ffc8e18
D a-except.ads 20121213103024 10fcae55
D a-finali.ads 20121213103024 52ecdc1b
D a-stream.ads 20121213103024 2ca4ee37
D a-string.ads 20121213103024 90ac6797
D a-stzmap.ads 20121213103024 e0c31b30
D a-stzsea.ads 20121213103024 8f5c4508
D a-stzsea.adb 20121213103024 b5081eb1
D a-tags.ads 20121213103024 6c0509d0
D a-unccon.ads 20121213103024 f9eb8f06
D system.ads 20121213103024 90249111
D s-exctab.ads 20121213103029 66e51330
D s-finmas.ads 20121213103024 b95bb341
D s-finroo.ads 20121213103024 4ff27390
D s-parame.ads 20121213103024 b6e20cc0
D s-secsta.ads 20121213103024 eea35a36
D s-soflin.ads 20121213103024 24c8153c
D s-stache.ads 20121213103024 596fc1b4
D s-stalib.ads 20130106093355 f78bcf95
D s-stoele.ads 20121213103024 facd7d98
D s-stoele.adb 20121213103024 afc5dc80
D s-stopoo.ads 20121213103024 7b8fbeee
D s-stposu.ads 20121213103024 ffeba1c5
D s-stratt.ads 20121213103029 aedef97e
D s-traent.ads 20121213103024 5221ee41
D s-unstyp.ads 20121213103024 6ae15c76
X 1 ada.ads
16K9*Ada 19e8 7|40r6 42r17 130r5 8|32r6 32r38 35r14 607r5
X 5 a-string.ads
16K13*Strings 1|16k9 5|35e16 7|40r10 42r21 130r9 8|32r10 32r42 35r18 607r9
24e4*Wide_Wide_Space{wide_wide_character} 8|565r30 572r30
27X18*Pattern_Error 8|83r16 141r16 282r16 379r16
27X33*Index_Error 8|485r19 493r19 512r19 520r19 538r19 546r19 591r19 599r19
31E9*Membership 31e40 7|62r16 86r17 119r16 126r16 8|44r17 56r17 197r16 230r16
. 446r16 532r17
31n24*Inside{31E9} 7|62r30 86r31 8|59r17 446r30 532r31
32E9*Direction 32e42 7|48r17 55r17 63r16 69r17 78r17 87r17 91r16 96r16 8|267r17
. 369r17 447r16 478r17 505r17 533r17 560r16 586r16
32n24*Forward{32E9} 7|48r30 55r30 63r30 69r30 78r30 87r30 91r29 96r29 8|267r30
. 287r18 369r30 396r18 447r30 452r18 478r30 483r18 489r58 505r30 510r18 516r52
. 533r30 536r18 542r60 560r29 563r18 586r29 589r18 595r59
32n33*Backward{32E9} 8|497r59 524r53 550r61 603r60
X 6 a-stzmap.ads
38K21*Wide_Wide_Maps 242e31 7|40w18 49r17 50r19 56r17 61r16 70r17 71r19 79r17
. 84r17 101r17 102r19 108r17 113r16 117r16 125r16 8|32w18 32r50 43r17 55r17
. 73r17 74r9 91r28 131r17 175r13 195r16 229r16 268r17 269r9 292r31 329r31
. 370r17 445r16 479r17 480r9 506r17 530r17
45R9*Wide_Wide_Character_Set 175e14 7|61r31 84r32 113r31 117r31 125r31 8|43r32
. 55r32 175r28 195r31 229r31 445r31 530r32
94V13*Is_In{boolean} 8|60s17 62s21 181s13
123R9*Wide_Wide_Character_Mapping 222e14 7|49r32 70r32 101r32 8|73r32 268r32
. 479r32
127V13*Value{wide_wide_character} 8|107s34 308s37 345s37
131r4*Identity{123R9} 7|50r34 71r34 102r34 8|74r24 91r43 269r24 292r46 329r46
. 480r24
147P9*Wide_Wide_Character_Mapping_Function(wide_wide_character) 7|56r32 79r32
. 108r32 8|131r32 370r32 506r32
X 7 a-stzsea.ads
42K29*Wide_Wide_Search 5|16k13 7|130l17 130e33 8|35b26 607l17 607t33
45V13*Index{natural} 46>7 47>7 48>7 49>7 8|264b13 364l8 364t13 489s12 497s12
46s7 Source{wide_wide_string} 8|265b7 288r17 293r27 294r29 304r27 308r53
. 327r17 330r35 331r29 341r35 345r53
47s7 Pattern{wide_wide_string} 8|266b7 271r33 281r10 294r19 307r25 308r22
. 331r19 344r25 345r22
48e7 Going{5|32E9} 8|267b7 287r10
49r7 Mapping{6|123R9} 8|268b7 292r13 308r44 329r13 345r44
52V13*Index{natural} 53>7 54>7 55>7 56>7 8|366b13 441l8 441t13 515s17 523s17
53s7 Source{wide_wide_string} 8|367b7 390r27 397r17 398r24 402r47 418r17
. 419r32 423r47
54s7 Pattern{wide_wide_string} 8|368b7 373r33 378r10 390r10 401r22 402r19
. 422r22 423r19
55e7 Going{5|32E9} 8|369b7 396r10
56p7 Mapping{6|147P9} 8|370b7 384r10 402r34 423r34
59V13*Index{natural} 60>7 61>7 62>7 63>7 8|443b13 472l8 472t13 542s12 550s12
60s7 Source{wide_wide_string} 8|444b7 453r19 454r25 462r27 463r25
61r7 Set{6|45R9} 8|445b7 454r37 463r37
62e7 Test{5|31E9} 8|446b7 454r42 463r42
63e7 Going{5|32E9} 8|447b7 452r10
65V13*Index{natural} 66>7 67>7 68>7 69>7 70>7 8|474b13 499l8 499t13
66s7 Source{wide_wide_string} 8|475b7 484r20 489r19 489r35 492r20 497r19
. 497r27
67s7 Pattern{wide_wide_string} 8|476b7 489r49 497r50
68i7 From{positive} 8|477b7 484r13 489r27 492r13 497r43
69e7 Going{5|32E9} 8|478b7 483r10
70r7 Mapping{6|123R9} 8|479b7 489r67 497r69
74V13*Index{natural} 75>7 76>7 77>7 78>7 79>7 8|501b13 526l8 526t13
75s7 Source{wide_wide_string} 8|502b7 511r20 516r13 516r29 519r20 524r13
. 524r21
76s7 Pattern{wide_wide_string} 8|503b7 516r43 524r44
77i7 From{positive} 8|504b7 511r13 516r21 519r13 524r37
78e7 Going{5|32E9} 8|505b7 510r10
79p7 Mapping{6|147P9} 8|506b7 516r61 524r63
82V13*Index{natural} 83>7 84>7 85>7 86>7 87>7 8|528b13 552l8 552t13
83s7 Source{wide_wide_string} 8|529b7 537r20 542r19 542r35 545r20 550r19
. 550r27
84r7 Set{6|45R9} 8|530b7 542r49 550r50
85i7 From{positive} 8|531b7 537r13 542r27 545r13 550r43
86e7 Test{5|31E9} 8|532b7 542r54 550r55
87e7 Going{5|32E9} 8|533b7 536r10
89V13*Index_Non_Blank{natural} 90>7 91>7 8|558b13 581l8 581t23 595s12 603s12
90s7 Source{wide_wide_string} 8|559b7 564r19 565r16 571r27 572r16
91e7 Going{5|32E9} 8|560b7 563r10
93V13*Index_Non_Blank{natural} 94>7 95>7 96>7 8|583b13 605l8 605t23
94s7 Source{wide_wide_string} 8|584b7 590r20 595r29 595r45 598r20 603r29
. 603r37
95i7 From{positive} 8|585b7 590r13 595r37 598r13 603r53
96e7 Going{5|32E9} 8|586b7 589r10
98V13*Count{natural} 99>7 100>7 101>7 8|70b13 126l8 126t13
99s7 Source{wide_wide_string} 8|71b7 87r14 92r23 93r26 104r23 107r50
100s7 Pattern{wide_wide_string} 8|72b7 76r33 82r10 93r16 95r29 106r22 107r19
. 116r26
101r7 Mapping{6|123R9} 8|73b7 91r10 107r41
105V13*Count{natural} 106>7 107>7 108>7 8|128b13 171l8 171t13
106s7 Source{wide_wide_string} 8|129b7 151r14 152r20 155r40
107s7 Pattern{wide_wide_string} 8|130b7 134r33 140r10 154r19 155r16 164r23
108p7 Mapping{6|147P9} 8|131b7 146r10 155r31
111V13*Count{natural} 112>7 113>7 8|173b13 187l8 187t13
112s7 Source{wide_wide_string} 8|174b7 180r16 181r20
113r7 Set{6|45R9} 8|175b7 181r32
115U14*Find_Token 116>7 117>7 118>7 119>7 120<7 121<7 8|193b14 225l8 225t18
116s7 Source{wide_wide_string} 8|194b7 202r24 203r22 206r31 207r32 216r21
117r7 Set{6|45R9} 8|195b7 203r34 207r44
118i7 From{positive} 8|196b7 202r16 223r16
119e7 Test{5|31E9} 8|197b7 203r39 207r49
120i7 First{positive} 8|198b7 204m13 223m7
121i7 Last{natural} 8|199b7 208m19 216m13 224m7
123U14*Find_Token 124>7 125>7 126>7 127<7 128<7 8|227b14 258l8 258t18
124s7 Source{wide_wide_string} 8|228b7 235r16 236r22 239r31 240r32 249r21
. 256r16
125r7 Set{6|45R9} 8|229b7 236r34 240r44
126e7 Test{5|31E9} 8|230b7 236r39 240r49
127i7 First{positive} 8|231b7 237m13 256m7
128i7 Last{natural} 8|232b7 241m19 249m13 257m7
X 8 a-stzsea.adb
41V13 Belongs{boolean} 42>7 43>7 44>7 45r19 53b13 64l8 64t15 203s13 207s23
. 236s13 240s23 454s16 463s16
42e7 Element{wide_wide_character} 54b7 60r24 62r28
43r7 Set{6|45R9} 55b7 60r33 62r37
44e7 Test{5|31E9} 56b7 59r10
76i7 PL1{integer} 92r37 93r47 104r37
77i7 Num{natural} 86m7 94m16 94r23 115m13 115r20 125r14
78i7 Ind{natural} 87m7 92r16 93r34 93r41 95m16 95r23 97m16 97r23 104r16 105r20
. 108m19 108r26 116m13 116r20
79i7 Cur{natural} 105m13 107r58 111m19 111r26
106i17 K{integer} 107r28
118L12 Cont 109r24
134i7 PL1{integer} 152r34
135i7 Num{natural} 150m7 163m10 163r17 170r14
136i7 Ind{natural} 151m7 152r13 153r17 156m16 156r23 164m10 164r17
137i7 Cur{natural} 153m10 155r48 159m16 159r23
154i14 K{integer} 155r25
166L9 Cont 157r21
177i7 N{natural} 182m13 182r18 186r14
180i11 J{integer} 181r28
202i11 J{integer} 203r30 204r22 206r22
206i17 K{integer} 207r40 208r27
235i11 J{integer} 236r30 237r22 239r22
239i17 K{integer} 240r40 241r27
271i7 PL1{integer} 293r43 294r50 304r43 327r31 330r51 331r50 341r51
272i7 Cur{natural} 305m16 308r61 311m22 311r29 342m16 345r61 348m22 348r29
274i7 Ind{integer} 288m10 294r37 294r44 295r26 297m19 297r26 305r23 315r23
. 318m16 318r23 327m10 331r37 331r44 332r26 334m19 334r26 342r23 352r23 355m16
. 355r23
293i17 J{integer}
304i17 J{integer}
307i20 K{integer} 308r31
317L15 Cont1 309r27
330i17 J{integer}
341i17 J{integer}
344i20 K{integer} 345r31
354L15 Cont2 346r27
373i7 PL1{integer} 398r40 418r31 419r48
374i7 Ind{natural} 397m10 399r20 409r20 412m13 412r20 418m10 420r20 430r20
. 433m13 433r20
375i7 Cur{natural} 399m13 402r55 405m19 405r26 420m13 423r55 426m19 426r26
398i14 J{integer}
401i17 K{integer} 402r28
411L12 Cont1 403r24
419i14 J{integer}
422i17 K{integer} 423r28
432L12 Cont2 424r24
453i14 J{integer} 454r33 455r23
462i14 J{integer} 463r33 464r23
564i14 J{integer} 565r24 566r23
571i14 J{integer} 572r24 573r23
X 11 system.ads
37K9*System 8|33w6 33r18 11|152e11
78V14*"="{boolean} 8|91r26 292r29 329r29
OHA YOOOO