File size: 8,861 Bytes
aaffe1f
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
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_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U words_engine.roman_numerals_package%b  words_engine-roman_numerals_package.adb  170522cb NE OO PK
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W latin_utils%s		latin_utils.ads		latin_utils.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 system%s		system.ads		system.ali
W system.concat_2%s	s-conca2.adb		s-conca2.ali
W system.exception_table%s  s-exctab.adb	s-exctab.ali
W system.img_int%s	s-imgint.adb		s-imgint.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali
W words_engine%s	words_engine.ads	words_engine.ali

U words_engine.roman_numerals_package%s  words_engine-roman_numerals_package.ads  37c8c056 EE NE OO PK
W latin_utils%s		latin_utils.ads		latin_utils.ali
W latin_utils.dictionary_package%s  latin_utils-dictionary_package.adb  latin_utils-dictionary_package.ali
W words_engine%s	words_engine.ads	words_engine.ali
W words_engine.explanation_package%s  words_engine-explanation_package.ads  words_engine-explanation_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-dictionary_package.ads  20230322220154 e6e52463
D latin_utils-inflections_package.ads  20230322220154 6766ecb7
D latin_utils-strings_package.ads  20230322220154 9a865565
D system.ads		20160213141829 90249111
D s-conca2.ads		20140225151544 02a0d7d0
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-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-explanation_package.ads  20230322220154 30c7d314
D words_engine-roman_numerals_package.ads  20230322220154 726eaa8a
D words_engine-roman_numerals_package.adb  20230322220154 988b3193
X 2 a-direio.ads
66I9*Count<long_integer>
X 15 latin_utils.ads
21K9*Latin_Utils 29e16 42|17r6 17r42 43|17r6 17r39 18r6 18r43
X 16 latin_utils-dictionary_package.ads
20K21*Dictionary_Package 662e35 42|17w18 17r54
40n9*Rrr{34E9} 43|332r19
621i4*Null_MNPC{2|66I9[614]} 43|333r20
627a10*Stem{17|39A12} 43|317m27
628r10*IR{17|887R9} 43|318m12
629e10*D_K{34E9} 43|332m12
630i10*MNPC{2|66I9[614]} 43|333m12
654A9*Parse_Array(625R9)<integer> 42|28r27 43|307r19
X 17 latin_utils-inflections_package.ads
25K21*Inflections_Package 973e36 43|18w18 18r55
36N4*Max_Stem_Size 43|317r44
37N4*Max_Meaning_Size 43|336r12
39A12*Stem_Type{string}<integer>
61A12*Meaning_Type{string}<integer>
70n6*Num{64E9} 43|320r20
126n7*X{125E9} 43|325r23
138n7*X{137E9} 43|323r23
153n7*X{152E9} 43|324r23
179I9*Stem_Key_Type<integer>
188n6*Card{186E9} 43|326r23
456r10*Decl{97R9} 43|322m12
457e10*Of_Case{137E9} 43|323m12
458e10*Number{152E9} 43|324m12
459e10*Gender{125E9} 43|325m12
460e10*Sort{186E9} 43|326m12
744e25*Pofs{64E9} 43|320m12
756r16*Num{454R9} 43|321m12
841r4*Null_Ending_Record{818R9} 43|329r22
846n6*X{845E9} 43|330r19
860n6*A{858E9} 43|331r20
889r10*Qual{744R9} 43|319m12
890i10*Key{179I9} 43|328m12
891r10*Ending{818R9} 43|329m12
892e10*Age{845E9} 43|330m12
893e10*Freq{858E9} 43|331m12
X 18 latin_utils-strings_package.ads
26K21*Strings_Package 67e32 43|17w18 17r51
40V13*Upper_Case{string} 43|74s30
45V13*Trim{string} 43|311s30
51V13*Head{string} 43|317s35 334s28
X 40 words_engine.ads
21K9*Words_Engine 27e17 42|18r6 18r44 20r9 32r5 43|20r14 384r5
X 41 words_engine-explanation_package.ads
18K22*Explanation_Package 27e37 42|18w19 18r57
19R9*Explanations 26e16 42|30r27 43|309r19
24a9*Rrr_Meaning{17|61A12} 43|334m13
X 42 words_engine-roman_numerals_package.ads
20K22*Roman_Numerals_Package 40|21k9 42|32l18 32e40 43|20b27 384l18 384t40
22V13*Only_Roman_Digits{boolean} 22>32 43|57b13 66l8 66t25 77s10 315s10
22s32 S{string} 43|57b32 60r16 61r32
24V13*Bad_Roman_Number{natural} 24>31 43|342b13 383l8 383t24
24s31 S{string} 43|342b31 355r23 355r26 356r34 356r37 357r24 357r35 359r20
. 359r36 361r37 362r40 363r23 363r39 364r24 365r40 367r40 369r24 369r40 370r37
. 371r40
26U14*Roman_Numerals 27>7 28=7 29=7 30=7 43|305b14 340l8 340t22
27s7 Input_Word{string} 43|306b7 311r36
28a7 Pa{16|654A9} 43|307b7 317m10
29i7 Pa_Last{integer} 43|308b7 316m10 316r21 317r14
30r7 Xp{41|19R9} 43|309b7 334m10
X 43 words_engine-roman_numerals_package.adb
22V13 A_Roman_Digit{boolean} 22b13 22>28 32l8 32t21 61s17
22e28 Char{character} 24r12
34V13 Value{natural} 34b13 34>20 55l8 55t13 355s16 356s27 359s13 359s29 361s30
. 362s33 363s16 363s32 364s17 365s33 367s33 369s17 369s33 370s30 371s33
34e20 Char{character} 36r12
60i11 I{integer} 61r35
68V13 Roman_Number{natural} 68b13 68>27 303l8 303t20 312s44
68s27 St{string} 74r42
71i7 Total{natural} 120m16 120r25 124m19 124r28 125r22 134m16 134r25 137r36
. 138m19 138r28 163m16 163r25 167m19 167r28 168r22 175r36 176m19 176r28 187m16
. 187r25 191r36 192m19 192r28 204m19 204r28 207r39 208m22 208r31 222m16 222r25
. 226m19 226r28 227r22 233r36 234m19 234r28 246m16 246r25 249r36 250m19 250r28
. 255m19 255r28 259r36 260m19 260r28 272m16 272r25 276m19 276r28 277r22 283r36
. 284m19 284r28 297r14
72X7 Invalid 126r28 144r25 169r28 182r25 200r25 217r25 228r28 241r25 267r25
. 278r28 291r25 299r12
73i7 J{integer} 101m10 104r16 119r19 121m16 121r21 122r35 123r25 128m19 128r24
. 129r38 133r19 135m16 135r21 136r35 137r22 139m19 139r24 140r38 143r22 143r37
. 162r19 164m16 164r21 165r35 166r25 171m19 171r24 172r38 175r22 177m19 177r24
. 178r38 181r22 181r37 186r19 188m16 188r21 189r35 191r22 193m19 193r24 194r38
. 197r22 197r37 198r24 198r40 203r22 205m19 205r24 206r38 207r25 209m22 209r27
. 210r41 214r22 214r37 215r22 215r38 221r19 223m16 223r21 224r35 225r25 230m19
. 230r24 231r38 233r22 235m19 235r24 236r38 238r22 238r37 239r22 239r37 245r19
. 247m16 247r21 248r35 249r22 251m19 251r24 252r38 254r22 256m19 256r24 257r38
. 259r22 261m19 261r24 262r38 264r22 264r37 265r22 265r37 265r52 265r67 271r19
. 273m16 273r21 274r35 275r25 280m19 280r24 281r38 283r22 285m19 285r24 286r38
. 288r22 288r37 289r22 289r37 289r52 289r67
74a7 S{string} 77r29 101r15 104r21 119r16 122r39 123r22 129r42 133r16 136r39
. 137r19 140r42 143r19 143r34 162r16 165r39 166r22 172r42 175r19 178r42 181r19
. 181r34 186r16 189r39 191r19 194r42 197r19 197r34 198r21 198r37 203r19 206r42
. 207r22 210r45 214r19 214r34 215r19 215r35 221r16 224r39 225r22 231r42 233r19
. 236r42 238r19 238r34 239r19 239r34 245r16 248r39 249r19 252r42 254r19 257r42
. 259r19 262r42 264r19 264r34 265r19 265r34 265r49 265r64 271r16 274r39 275r22
. 281r42 283r19 286r42 288r19 288r34 289r19 289r34 289r49 289r64
103l10 Evaluate 122r21 129r24 136r21 140r24 165r21 172r24 178r24 189r21 194r24
. 206r24 210r27 224r21 231r24 236r24 248r21 252r24 257r24 262r24 274r21 281r24
. 286r24 294l19 294e27
311a7 W{string} 312r58 315r29 317r41
312i7 Roman_Number_W{integer} 315r42 334r49
346i7 Total{integer} 355m7 361m13 361r22 365m16 365r25 367m16 367r25 370m13
. 370r22 374r10 375r17
347i7 Decremented_From{integer} 356m7 362m13 364r33 371m13
357i11 I{integer} 359r23 359r39 361r40 362r43 363r26 363r42 364r27 365r43
. 367r43 369r27 369r43 370r40 371r43