aineid / lib /words_engine-static /words_engine-search_english.ali
grosenthal's picture
rest of stuff
aaffe1f
V "GNAT Lib v4.9"
A -gnatwa
A -Wall
A -fstack-check=specific
A -gnatA
A -gnatwa
A -gnatwe
A -gnato
A -gnateE
A -gnata
A -gnatU
A -gnatf
A -g
A -gnatQ
A -gnaty3
A -gnatya
A -gnatyA
A -gnatyb
A -gnatye
A -gnatyf
A -gnatyh
A -gnatyi
A -gnatyk
A -gnatyl
A -gnatyn
A -gnatyO
A -gnatyM80
A -gnatyp
A -gnatyr
A -gnatyt
A -gnatyS
A -gnatyu
A -gnatyx
A -mtune=generic
A -march=x86-64
P SS ZX
RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_ENUMERATION_MAPS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_IO
RV NO_IMPLICIT_LOOPS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U words_engine.search_english%b words_engine-search_english.adb 6bf0fb78 NE OO SU
W ada%s ada.ads ada.ali
W ada.tags%s a-tags.adb a-tags.ali
W ada.text_io%s a-textio.adb a-textio.ali
W interfaces%s interfac.ads interfac.ali
W latin_utils%s latin_utils.ads latin_utils.ali
W latin_utils.config%s latin_utils-config.adb latin_utils-config.ali
W latin_utils.dictionary_package%s latin_utils-dictionary_package.adb latin_utils-dictionary_package.ali
W latin_utils.inflections_package%s latin_utils-inflections_package.adb latin_utils-inflections_package.ali
W latin_utils.strings_package%s latin_utils-strings_package.adb latin_utils-strings_package.ali
W support_utils%s support_utils.ads support_utils.ali
W support_utils.developer_parameters%s support_utils-developer_parameters.adb support_utils-developer_parameters.ali
W support_utils.dictionary_form%b support_utils-dictionary_form.adb support_utils-dictionary_form.ali
W support_utils.word_parameters%s support_utils-word_parameters.adb support_utils-word_parameters.ali
W system%s system.ads system.ali
W system.compare_array_unsigned_8%s s-carun8.adb s-carun8.ali
W system.concat_2%s s-conca2.adb s-conca2.ali
W system.concat_3%s s-conca3.adb s-conca3.ali
W system.img_enum_new%s s-imenne.adb s-imenne.ali
W system.img_int%s s-imgint.adb s-imgint.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
W words_engine%s words_engine.ads words_engine.ali
W words_engine.english_support_package%s words_engine-english_support_package.adb words_engine-english_support_package.ali
W words_engine.word_package%s words_engine-word_package.adb words_engine-word_package.ali
D ada.ads 20070406091342 3ffc8e18
D a-direio.ads 20090410151215 5842da07
D a-except.ads 20140129161953 f86a4103
D a-finali.ads 20111121113555 52ecdc1b
D a-ioexce.ads 20140225151544 e4a01f64
D a-stream.ads 20140122164720 1a984740
D a-string.ads 20070406091342 90ac6797
D a-tags.ads 20111212115430 6c0509d0
D a-textio.ads 20140129155348 386df5d4
D a-tienio.ads 20090409150019 fc618ae6
D a-tiinio.ads 20090409150019 aa04e5d6
D a-unccon.ads 20070406091342 f9eb8f06
D interfac.ads 20140225151838 69adb1b9
D i-cstrea.ads 20130412125801 8128536b
D latin_utils.ads 20230322220154 14f26ddf
D latin_utils-config.ads 20230322220154 d5d50f67
D latin_utils-dictionary_package.ads 20230322220154 e6e52463
D latin_utils-inflections_package.ads 20230322220154 6766ecb7
D latin_utils-strings_package.ads 20230322220154 9a865565
D support_utils.ads 20230322220154 f98bd89b
D support_utils-developer_parameters.ads 20230322220154 832e1d2d
D support_utils-dictionary_form.adb 20230322220154 9e62707a
D support_utils-dictionary_form.adb 20230322220154 9e62707a
D support_utils-word_parameters.ads 20230322220154 276a9680
D support_utils-word_support_package.ads 20230322220154 e452bc91
D system.ads 20160213141829 90249111
D s-carun8.ads 20140225151544 a903718d
D s-conca2.ads 20140225151544 02a0d7d0
D s-conca3.ads 20140225151544 0b705ca5
D s-conca5.ads 20140225151544 875e432e
D s-crtl.ads 20140225151544 840e6817
D s-direio.ads 20090409150019 068812e8
D s-exctab.ads 20140225151139 54135002
D s-ficobl.ads 20120709130952 55a71d43
D s-finmas.ads 20140225151139 814daec4
D s-finroo.ads 20120426095924 4ff27390
D s-imenne.ads 20140225151139 614c06c0
D s-imgint.ads 20090409150019 02dbe0c2
D s-parame.ads 20140225151139 ab8cb46a
D s-pooglo.ads 20110804083314 542f33d0
D s-secsta.ads 20140225151139 86a2856d
D s-soflin.ads 20140225151139 aa763b52
D s-stache.ads 20140225151139 a37c21ec
D s-stalib.ads 20140225151139 a891183f
D s-stoele.ads 20140225151139 2dc34a04
D s-stoele.adb 20140225151139 ed88f8fb
D s-stopoo.ads 20131010103753 b16154c2
D s-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
D s-wchcon.ads 20140225151139 1b7d22d2
D words_engine.ads 20230322220154 93849dab
D words_engine-english_support_package.ads 20230322220154 53a3ad96
D words_engine-search_english.adb 20230322220154 c8d4d753
D words_engine-search_english.adb 20230322220154 c8d4d753
D words_engine-word_package.ads 20230322220154 3c1c1d68
X 1 ada.ads
16K9*Ada 19e8 54|17r6 17r23 91r45 98r10 115r13 119r28 123r50 130r13 133r16
. 135r16 139r16 145r16 150r16 157r16 161r16 166r16 170r13 174r13 175r13 261r7
X 2 a-direio.ads
53P9*File_Type<32|81P9>
66I9*Count<long_integer> 54|40r31[52|53] 128r27[17|614] 229r50[52|53] 240r50[52|53]
101U14*Read 54|127s21[17|614]
106U14*Read 54|220s7[52|53] 230s13[52|53] 241s13[52|53]
119U14*Set_Index 54|219s7[52|53] 229s13[52|53] 240s13[52|53]
122V13*Size{66I9[52|53]} 54|194s10[52|53]
X 9 a-textio.ads
49K13*Text_IO 471e16 54|17w10 17r27 91r49 98r14 115r17 119r32 123r54 130r17
. 133r20 135r20 139r20 145r20 150r20 157r20 161r20 166r20 170r17 174r17 175r17
. 261r11
52P9*File_Type 54|91r57
64I9*Count<integer>
68I12*Positive_Count{64I9}
122V13*Current_Output{52P9} 54|257s26
165U14*New_Line 54|115s25 170s25 175s25
195V13*Line{68I12} 54|119s40 123s62
241U14*Put 54|129s13 130s25 133s28 135s28 139s28 145s28 150s28 157s28 161s28
. 166s28 174s25
259U14*Put_Line 54|98s22 181s13
263U14*Put_Line 54|261s19
X 10 a-tienio.ads
54U14*Put 54|152s28[18|856] 153s29[17|81] 154s28[17|107] 155s34[18|883] 156s31[17|160]
X 15 latin_utils.ads
21K9*Latin_Utils 29e16 54|18r6 18r39 19r6 21r6 21r43 22r6 22r42 28r5
X 16 latin_utils-config.ads
17K21*Config 42e23 54|19w18 120r39
19i4*Output_Screen_Size{integer} 54|120r46
X 17 latin_utils-dictionary_package.ads
20K21*Dictionary_Package 662e35 54|22w18 22r54
34E9*Dictionary_Kind 46e8 54|42r19
42n9*General{34E9} 54|42r38 127r38
51a4*Ext(string) 54|161r41
81K12*Area_Type_IO[10|46] 54|153r16
107K12*Geo_Type_IO[10|46] 54|154r16
160K12*Source_Type_IO[10|46] 54|156r16
225e10*Age{18|845E9} 54|152r49
226e10*Area{64E9} 54|153r50
227e10*Geo{86E9} 54|154r49
228e10*Freq{18|858E9} 54|155r55
229e10*Source{112E9} 54|156r52
261r10*Decl{18|97R9} 54|134r54
262e10*Gender{18|125E9} 54|136r47
418r10*Con{18|97R9} 54|140r54
419e10*Kind{18|304E9} 54|143r26 146r50
519e21*Pofs{18|64E9} 54|132r24 138r24 142r25
523r16*N{258R9} 54|134r52 136r45
535r16*V{414R9} 54|140r52 143r24 146r48
579R9*Dictionary_Entry 585e17 54|92r12
582r10*Part{519R9} 54|132r19 134r47 136r40 138r19 140r47 142r20 143r19 146r43
583r10*Tran{223R9} 54|152r44 153r45 154r44 155r50 156r47
584a10*Mean{18|61A12} 54|174r47
609r4*Null_Dictionary_Entry{579R9} 54|92r32
614K12*Dict_IO[2|43] 54|127r13 128r19
615a4*Dict_File(2|53P9[614]) 54|127r27
X 18 latin_utils-inflections_package.ads
25K21*Inflections_Package 973e36 54|21w18 21r55
61A12*Meaning_Type{string}<integer>
64E9*Part_Of_Speech_Type 82e7 54|32r11 36r26
65n7*X{64E9} 54|32r34
66n6*N{64E9} 54|132r31
72n6*V{64E9} 54|138r31 142r32
106K12*Decn_Record_IO 121e22 54|134r16 140r16
112U17*Put 54|134s31 140s31
125E9*Gender_Type 131e7 54|136r18
304E9*Verb_Kind_Type 321e8 54|146r18
308n7*Gen{304E9} 54|143r34
319n7*Perfdef{304E9} 54|143r41
856K12*Age_Type_IO[10|46] 54|152r16
883K12*Frequency_Type_IO[10|46] 54|155r16
955V25*"<="{boolean} 54|50s20
X 19 latin_utils-strings_package.ads
26K21*Strings_Package 67e32 54|18w18 18r51
37V13*Lower_Case{string} 54|35s26 221s15 224s18 232s20 243s20
45V13*Trim{string} 54|167s20 174s38
51V13*Head{string} 54|35s38
X 20 support_utils.ads
21K9*Support_Utils 29e18 54|20r6 20r41 23r6 23r46 27r6 129r26
X 21 support_utils-developer_parameters.ads
18K23*Developer_Parameters 98e39 54|23w20 23r60
47n6*Show_Dictionary{40E9} 54|160r28
48n6*Show_Dictionary_Line{40E9} 54|165r28
49n6*Show_Dictionary_Codes{40E9} 54|149r28
85A9*Mdev_Array(boolean)<40E9>
87a4*Words_Mdev{85A9} 54|149r16 160r16 165r16
X 23 support_utils-dictionary_form.adb
20V24*Dictionary_Form{string} 20|21k9 54|27w20 129s40
X 24 support_utils-word_parameters.ads
18K23*Word_Parameters 72e34 54|20w20 20r55
34p4*Output{9|52P9} 54|255r26
41b4*Trimmed{boolean} 54|104m10 108m16 180r13
44n6*Trim_Output{43E9} 54|105r25
46n6*Write_Output_To_File{43E9} 54|254r20
64A9*Mode_Array(boolean)<43E9>
66a4*Words_Mode{64A9} 54|105r13 254r8
X 32 s-direio.ads
81P9*File_Type(53R9)
X 51 words_engine.ads
21K9*Words_Engine 27e17 54|24r6 24r37 25r6 26r5 30r11 264r5
X 52 words_engine-english_support_package.ads
21K22*English_Support_Package 72e41 54|25w19 26r18
23N4*Eword_Size 54|35r64
28A12*Eword{string}<integer> 54|35r17
36R9*Ewds_Record 46e17 54|44r11 48r43 68r18
38a10*W{28A12} 54|221r32 224r35 232r37 243r37
40i10*N{integer} 54|128r51 167r58
41e10*Pofs{18|64E9} 54|50r15
42e10*Freq{18|858E9} 54|74r39 74r65 76r39 76r65
43i10*Semi{integer} 54|77r39 77r65
45i10*Rank{integer} 54|72r40 72r66 73r40 73r66 75r40 75r66
48r4*Null_Ewds_Record{36R9} 54|38r55 44r26 68r33
51A9*Ewds_Array(36R9)<integer> 54|38r19
53K12*Ewds_Direct_Io[2|43] 54|34r8 40r16 229r35 240r35
70p4*Ewds_File{2|53P9[53]} 54|194r16 219r18 220r13 229r24 230r19 240r24 241r19
X 54 words_engine-search_english.adb
30U24*Search_English 51|21k9 54|30b24 264l18 264t32
31s4 Input_English_Word{string} 35r44
32e4 Pofs{18|64E9} 36r49
35a4 Input_Word{52|28A12} 221r36 224r39 232r41 243r41
36e4 Input_Pofs{18|64E9} 50r23
38a4 Output_Array{52|51A9} 52m10 72r19 72r49 73r19 73r49 74r18 74r48 75r19
. 75r49 76r18 76r48 77r18 77r48 79r25 80m19 80r39 81m19 128r34 167r41
39i4 Number_Of_Hits{integer} 51m10 51r28 52r24 71r27 93r35 97r10 106r16 110r34
. 262r24
40i4 J1{2|66I9[52|53]} 193m4 200r10 206r11 206r28 208r18 222m10 223r16 226r16
. 228r27
40i8 J2{2|66I9[52|53]} 194m4 200r15 206r16 206r33 211r18 223r21 225m10 226r21
. 239r28
40i12 J{2|66I9[52|53]} 200m4 208m13 211m13 219r29 222r16 223m10 225r16 226m10
. 228r33 239r19
42e4 D_K{17|34E9} 161r46
44r4 Ewds{52|36R9} 220m24 221r27 224r30 230m30 232r32 233r35 241m30 243r32
. 244r35
46b4 First_Try{boolean} 196m4 207r13 209m13
46b15 Second_Try{boolean} 198m4 210r16 212m13
48U14 Load_Output_Array 48b14 48>33 54l8 54t25 233s16 244s16
48r33 Ewds{52|36R9} 50r10 52r43
57U14 Sort_Output_Array 57b14 89l8 89t25 100s10
58i7 Hits{integer} 64m10 82m19 82r27 87r29
62l7 Hit_Loop 87r15 88l16 88e24
66q10 Switch 86l14 86e20
68r13 Dw{52|36R9} 79m19 81r43
70l13 Inner_Loop 85l22 85e32
71i17 I{integer} 72r33 72r63 73r33 73r63 74r32 74r62 75r33 75r63 76r32 76r62
. 77r32 77r62 79r39 80r33 80r53 81r33
91U14 Dump_Output_Array 91b14 91>33 189l8 189t25 255s7 257s7
91p33 Output{9|52P9} 98r32 115r35 119r46 122r26 123r68 129r18 130r30 133r33
. 134r36 135r33 139r33 140r36 145r33 150r33 152r33 153r34 154r33 155r39 156r36
. 157r33 161r33 166r33 170r35 174r30 175r35 181r23
92r7 De{17|579R9} 128m15 129r57 132r16 134r44 136r37 138r16 140r44 142r17
. 143r16 146r40 152r41 153r42 154r41 155r47 156r44 174r44
93i7 Number_To_Show{integer} 107m16 110m16 114r24
94i7 One_Screen{integer} 106r33 107r34
114i14 I{integer} 128r48 167r55
117q13 Do_Pause 125l17 125e25
202l4 Binary_Search 214r18 246r21 250r15 252l13 252e26
228i14 I<long_integer> 229r57
228l36 loop 237e18
239i14 I<long_integer> 240r57
239l32 loop 248e18
X 55 words_engine-word_package.ads
22K22*Word_Package 54|24w19 24r50 55|84e30
52i4*Scroll_Line_Number{integer} 54|120r18 123m19
55U14*Pause 54|122s19