This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/asis/asis-data_decomposition-extensions.ali is in libasis2014-dev 2014-4.

This file is owned by root:root, with mode 0o444.

The actual contents of the file can be viewed below.

  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
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
V "GNAT Lib v4.9"
A -O2
A -O2
A -fstack-protector-strong
A -fPIC
A -gnatf
A -gnatws
A -g
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -gnatA
P SS ZX

RN
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_CONVERSION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U asis.data_decomposition.extensions%b  asis-data_decomposition-extensions.adb  fa7ee683 NE OO PK
W a4g%s			a4g.ads			a4g.ali
W a4g.dda_aux%s		a4g-dda_aux.adb		a4g-dda_aux.ali
W a4g.vcheck%s		a4g-vcheck.adb		a4g-vcheck.ali
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.unchecked_conversion%s
W asis%s		asis.ads		asis.ali
W asis.data_decomposition%s  asis-data_decomposition.adb  asis-data_decomposition.ali
W asis.data_decomposition.set_get%s  asis-data_decomposition-set_get.adb  asis-data_decomposition-set_get.ali
W asis.data_decomposition.vcheck%s  asis-data_decomposition-vcheck.adb  asis-data_decomposition-vcheck.ali
W asis.errors%s		asis-errors.ads		asis-errors.ali
W asis.exceptions%s	asis-exceptions.ads	asis-exceptions.ali
W asis.set_get%s	asis-set_get.adb	asis-set_get.ali
W einfo%s		einfo.adb		einfo.ali
W interfaces%s		interfac.ads		interfac.ali
W namet%s		namet.adb		namet.ali
W system%s		system.ads		system.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W uintp%s		uintp.adb		uintp.ali
W urealp%s		urealp.adb		urealp.ali

U asis.data_decomposition.extensions%s  asis-data_decomposition-extensions.ads  b32a4d19 BN EE NE OO PK
W asis.data_decomposition%s  asis-data_decomposition.adb  asis-data_decomposition.ali

D a4g.ads		20140410133835 21a63bd9
D a4g-a_alloc.ads	20140410133835 1d117c27
D a4g-a_debug.ads	20140410133835 8f990da0
D a4g-a_elists.ads	20140410133835 eac82b15
D a4g-a_opt.ads		20141024101800 863c0b46
D a4g-a_sem.ads		20140410133835 1756220b
D a4g-a_types.ads	20140410133835 34c03c06
D a4g-asis_tables.ads	20140410133835 136e6f22
D a4g-contt.ads		20140410133835 70e8045f
D a4g-contt-tt.ads	20140410133835 1e68ebc9
D a4g-contt-ut.ads	20140410133835 4d7a9718
D a4g-dda_aux.ads	20140410133835 80703ba9
D a4g-gnat_int.ads	20140410133835 dbf8bbdf
D a4g-int_knds.ads	20140410133835 c647fd46
D a4g-knd_conv.ads	20140410133835 d5df1822
D a4g-tree_rec.ads	20140410133835 c4076b88
D a4g-unit_rec.ads	20140410133835 6a123706
D a4g-vcheck.ads	20140410133835 2fb2e9ee
D ada.ads		20070406091342 3ffc8e18
D a-calend.ads		20120515092648 d86d6c8c
D a-charac.ads		20070912115821 2d3ec45b
D a-chahan.ads		20131010125231 1c00991d
D a-chlat1.ads		20140225151544 66457d31
D a-contai.ads		20101025135029 61e5e089
D a-cohata.ads		20110804151834 04abccc5
D a-chtgke.ads		20140219145932 a7b0f3a2
D a-chtgke.adb		20140220134615 ee7af212
D a-chtgop.ads		20140219145932 b47ea0e7
D a-chtgop.adb		20140220134615 c00683b2
D a-cohase.ads		20130411133353 1483927e
D a-cohase.adb		20140220134615 0e3e14a8
D a-coprnu.ads		20090409150019 0cdf1864
D a-except.ads		20140129161953 f86a4103
D a-finali.ads		20111121113555 52ecdc1b
D a-iteint.ads		20110906092602 7c7305e9
D a-stream.ads		20140122164720 1a984740
D a-tags.ads		20111212115430 6c0509d0
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D alloc.ads		20140730124209 daf1344a
D asis.ads		20140410133835 676e99c0
D asis-data_decomposition.ads  20140410133835 eed918c0
D asis-data_decomposition-extensions.ads  20140410133835 5df355d9
D asis-data_decomposition-extensions.adb  20140410133835 64f9ee6b
D asis-data_decomposition-set_get.ads  20140410133835 6a439939
D asis-data_decomposition-vcheck.ads  20140410133835 5383c21a
D asis-elements.ads	20140410133835 008fb726
D asis-errors.ads	20140410133835 1078c674
D asis-exceptions.ads	20140410133835 ae6aa48e
D asis-extensions.ads	20140410133835 862f7371
D asis-set_get.ads	20140410133835 f9bf55d3
D asis-set_get.adb	20140410133835 75a38846
D asis-text.ads		20140410133835 76594576
D atree.ads		20140730124209 15f9fb8a
D debug.ads		20140730124209 3ea59655
D einfo.ads		20140730124209 b22949de
D einfo.adb		20140730124209 fd9a49c7
D elists.ads		20140730124209 4c493074
D gnat.ads		20110801150502 fd2ad2f1
D g-os_lib.ads		20090409150019 0db74523
D hostparm.ads		20140730124209 c164ed60
D interfac.ads		20140225151838 69adb1b9
D namet.ads		20140730124209 0b5fbeae
D nlists.ads		20140730124209 783bf08e
D opt.ads		20140730124209 0424f3ab
D output.ads		20140730124209 2d9479ad
D repinfo.ads		20140730124209 8cd6572f
D sinfo.ads		20140730124209 4a23565b
D snames.ads		20140730124209 383b4c02
D stand.ads		20140730124209 4852f602
D system.ads		20140730121111 90249111
D s-conca2.ads		20140225151544 02a0d7d0
D s-exctab.ads		20140225151139 54135002
D s-finmas.ads		20140225151139 814daec4
D s-finroo.ads		20120426095924 4ff27390
D s-imenne.ads		20140225151139 614c06c0
D s-memory.ads		20140225151139 597d6634
D s-os_lib.ads		20140225151139 73b554c6
D s-parame.ads		20140225151139 ab8cb46a
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-stposu.ads		20121005142121 ffeba1c5
D s-stratt.ads		20131014135145 aedef97e
D s-string.ads		20140225151139 8fe54fb7
D s-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
D s-wchcon.ads		20140225151139 1b7d22d2
D table.ads		20140730124209 e3a9ec16
D table.adb		20140730124209 d2a5ae47
D tree_io.ads		20140730124209 92caaa96
D types.ads		20140730124209 09a1b5bd
D uintp.ads		20140730124209 2762e44a
D unchconv.ads		20070406091342 ca2f9e18
D unchdeal.ads		20070406091342 214516a4
D urealp.ads		20140730124209 e500ee51
D urealp.adb		20140730124209 a99724cd
X 1 a4g.ads
50K9*A4G 52e8 44|49r6 49r43 50r6 50r43
X 12 a4g-dda_aux.ads
54K13*DDA_Aux 504e16 44|49w10 49r47
99X4*Invalid_Data 44|222r12 465r12
169V13*UI_To_Aint{41|158I12} 44|205s23 206s23 447s23 448s23
X 14 a4g-int_knds.ads
216n7*A_Defining_Identifier{122E9} 44|143r48 195r48 248r51 339r56 386r48
. 437r48
X 18 a4g-vcheck.ads
54K13*Vcheck 456e15 44|50w10 50r47
144U14*Check_Validity 44|138s7 190s7 244s7 334s7 381s7 432s7
233U14*Raise_ASIS_Inappropriate_Element 44|146s10 198s10 223s10 253s10 343s10
. 389s10 440s10 466s10
234s7 Diagnosis{string} 44|147r13 199r13 224r13 467r13
235e7 Wrong_Kind{14|122E9} 44|148r13 200r13 225r13 255r13 345r13 391r13 442r13
. 468r13
236e7 Status{48|52E9} 44|226r13 469r13
283U14*Add_Call_Information 44|115s13 163s13 216s13 266s13 312s13 356s13
. 406s13 458s13
284s7 Outer_Call{string} 44|116r16 164r16 217r16 267r16 313r16 357r16 407r16
. 459r16
285r7 Argument{41|286R9} 44|165r16 218r16 268r16 358r16 408r16 460r16
306e4*Status_Indicator{48|52E9} 44|114r13 162r13 215r13 265r13 311r13 355r13
. 405r13 457r13
408U14*Report_ASIS_Bug 44|122s10 170s10 228s10 273s10 318s10 363s10 413s10
. 471s10
409s7 Query_Name{string} 44|123r13 171r12 229r12 274r12 319r12 364r12 414r12
. 472r12
410r7 Ex{33|62R9} 44|124r13 172r12 230r12 275r12 320r12 365r12 415r12 473r12
411r7 Arg_Element{41|286R9} 44|173r12 231r12 276r12 366r12 416r12 474r12
X 19 ada.ads
16K9*Ada 19e8 44|40r6 300r10
X 35 a-iteint.ads
24h9 Forward_Iterator
X 38 a-unccon.ads
20v14*Unchecked_Conversion 44|40w10 300r14
X 41 asis.ads
91K9*Asis 2145e9 43|45r9 65r19 101r32 143r29 157r29 171r29 185r29 210r37
. 221r5 44|43r6 43r43 44r6 44r43 45r6 45r43 46r6 46r43 47r6 47r43 57r14 93r19
. 95r16 132r29 181r29 239r32 328r37 374r29 424r29 490r5
144I12*Implementation_Defined_Integer_Type{integer}
158I12*ASIS_Integer{144I12} 43|138r15
171I12*ASIS_Natural{158I12} 43|102r32 211r37 44|240r32 258r14 329r37 348r14
177I12*ASIS_Positive{158I12} 43|139r15
286R9*Element 1982e14 43|101r37 143r34 157r34 171r34 185r34 210r42 44|95r21
. 132r34 181r34 239r37 328r42 374r34 424r34
316R12*Declaration{286R9} 43|65r24 44|93r24
X 42 asis-data_decomposition.ads
49K14*Data_Decomposition 41|91k9 42|1554e28 43|45r14 221r10 44|43r11 43r48
. 44r11 44r48 57r19 490r10
246R9*Record_Component 1444e14 43|64r19 44|92r19
459M9*Portable_Value
464A9*Portable_Data(459M9)<integer> 43|51r14 44|285r15 295r10
513V13*Is_Nil{boolean} 44|99s10
X 43 asis-data_decomposition-extensions.ads
45K33*Extensions 42|49k14 43|221l29 221e39 44|57b38 490l29 490t39
48+12 Constrained_Subtype 50r15 44|284r15 288r38 295r31
49v13*Portable_Data_Value 50>7 44|283b13 321l8 321t27
50*7 Value{48+12} 44|284b7 288r61
63V13*Component_Name_Definition{41|316R12} 64>7 44|91b13 125l8 125t33
64r7 Component{42|246R9} 44|92b7 97r23 99r18 105r33
100V13*Digits_Value{41|171I12} 101>7 44|238b13 277l8 277t20
101r7 Floating_Point_Subtype{41|286R9} 44|239b7 244r23 246r27 248r25 255r37
. 268r30 276r27
137R9*Fraction 140e14 158r29 186r28 44|182r29 187r19 425r29 430r19
138i7*Num{41|158I12} 44|205m14 447m14
139i7*Denum{41|177I12} 44|206m14 448m14
142V13*Small_Value{string} 143>7 44|373b13 417l8 417t19
143r7 Fixed_Point_Subtype{41|286R9} 44|374b7 382r10 384r27 386r25 391r37
. 408r30 416r27
156V13*Small_Value{137R9} 157>7 44|423b13 475l8 475t19
157r7 Fixed_Point_Subtype{41|286R9} 44|424b7 433r10 435r27 437r25 442r37
. 460r30 468r37 474r27
170V13*Delta_Value{string} 171>7 44|131b13 174l8 174t19
171r7 Fixed_Point_Subtype{41|286R9} 44|132b7 139r10 141r27 143r25 148r37
. 165r30 173r27
184V13*Delta_Value{137R9} 185>7 44|180b13 232l8 232t19
185r7 Fixed_Point_Subtype{41|286R9} 44|181b7 191r10 193r27 195r25 200r37
. 218r30 225r37 231r27
209V13*Scale_Value{41|171I12} 210>7 44|327b13 367l8 367t19
210r7 Desimal_Fixed_Point_Subtype{41|286R9} 44|328b7 335r10 337r27 339r25
. 345r37 358r30 366r27
X 44 asis-data_decomposition-extensions.adb
59a4 Package_Name{string} 97r34 101r31 116r30 123r28 139r31 147r27 164r30
. 171r27 191r31 199r27 217r30 224r27 229r27 244r47 254r13 267r30 274r27 313r30
. 319r27 335r39 344r13 357r30 364r27 382r31 390r13 407r30 414r27 433r31 441r13
. 459r30 467r27 472r27
65U14 Write_Real_To_Buffer 65>36 153s7 396s7 481b14 488l8 488t28
65i36 U{100|78I9} 481b36 485r37 487r37
71U14 Add_Uint_To_Buffer 71>34 81b14 85l8 85t26 485s7 487s7
71i34 U{97|48I9} 81b34 83r17
95r7 Result{41|286R9} 105m7 107r14
121r12 Ex{33|62R9} 124r28
135i7 Arg_Node{96|384I9} 141m7 144r36 151r39
136i7 Res_Ureal{100|78I9} 151m7 153r29
169r12 Ex{33|62R9} 172r27
184i7 Arg_Node{96|384I9} 193m7 196r36 203r39
185i7 Res_Ureal{100|78I9} 203m7 205r45 206r45
187r7 Result{43|137R9} 205m7 206m7 208r14
227r12 Ex{33|62R9} 230r27
242i7 Arg_Node{96|384I9} 246m7 250r44 251r39 258r59
272r12 Ex{33|62R9} 275r27
288*7 Local_Value{43|48+12} 289r11 303r42
294A15 Result_Portable_Data{42|464A9}<integer> 297r50
297P12 Result_Portable_Data_Access(294A15) 300r45 302r25
299V16 To_Result_Portable_Data_Access[38|20]{297P12} 303s10
302p7 Result{297P12} 307r14
317r12 Ex{33|62R9} 320r27
331i7 Arg_Node{96|384I9} 337m7 341r44 348r58
362r12 Ex{33|62R9} 365r27
377i7 Arg_Node{96|384I9} 384m7 387r36 394r39
378i7 Res_Ureal{100|78I9} 394m7 396r29
412r12 Ex{33|62R9} 415r27
427i7 Arg_Node{96|384I9} 435m7 438r36 445r39
428i7 Res_Ureal{100|78I9} 445m7 447r45 448r45
430r7 Result{43|137R9} 447m7 448m7 450r14
470r12 Ex{33|62R9} 473r27
X 45 asis-data_decomposition-set_get.ads
51K41*Set_Get 44|44w30 44r67 45|198e36
102V13*Component_Name{41|327R12} 44|105s17
X 46 asis-data_decomposition-vcheck.ads
43K41*Vcheck 44|43w30 43r67 46|73e35
45n51*Rec{45E9} 44|102r31
47U14*Check_Validity 44|97s7
63U14*Raise_ASIS_Inappropriate_Component 44|100s10
64s7 Diagnosis{string} 44|101r13
65e7 Component_Kind{45E9} 44|102r13
X 48 asis-errors.ads
27K14*Errors 44|45w11 45r48 48|71e16
62n7*Data_Error{52E9} 44|226r27 469r27
67n7*Unhandled_Exception_Error{52E9} 44|114r32 162r32 215r32 265r32 311r32
. 355r32 405r32 457r32
X 49 asis-exceptions.ads
23K14*Exceptions 44|46w11 46r48 49|82e20
52X4*ASIS_Inappropriate_Element 44|110r12 158r12 211r12 261r12 351r12 401r12
. 453r12
74X4*ASIS_Failed 44|112r12 160r12 213r12 263r12 309r12 353r12 403r12 455r12
X 51 asis-set_get.ads
44K14*Set_Get 44|47w11 47r48 51|381e17
205V13*R_Node{96|384I9} 44|141s19 193s19 246s19 337s19 384s19 435s19
224V13*Int_Kind{14|122E9} 44|143s15 148s27 195s15 200s27 225s27 248s15 255s27
. 339s15 345s27 386s15 391s27 437s15 442s27 468s27
X 56 einfo.ads
37K9*Einfo 44|52w6 52r43 151r20 203r20 258r39 348r39 394r20 445r20 56|8585e10
6283B12*B{boolean}
6289I12*U{97|48I9}
6290I12*R{100|78I9}
6352V13*Delta_Value{6290I12} 44|151s26 203s26
6355V13*Digits_Value{6289I12} 44|258s45
6681V13*Scale_Value{6289I12} 44|348s45
6689V13*Small_Value{6290I12} 44|394s26 445s26
6748V13*Is_Decimal_Fixed_Point_Type{6283E12} 44|250s15 341s15
6755V13*Is_Fixed_Point_Type{6283E12} 44|144s15 196s15 387s15 438s15
6756V13*Is_Floating_Point_Type{6283E12} 44|251s15
X 63 namet.ads
38K9*Namet 44|53w6 53r43 155r14 155r38 398r14 398r38 483r7 63|609e10
127a4*Name_Buffer{string} 44|155r20 398r20
133i4*Name_Len{natural} 44|155r44 398r44 483m13
414U14*Add_Str_To_Name_Buffer 44|84s7 486s7
X 71 system.ads
37K9*System 44|41w6 41r43 71|152e11
64M9*Address 44|300r36
X 77 s-memory.ads
53V13*Alloc{71|64M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{71|64M9} 105i<c,__gnat_realloc>22
X 96 types.ads
59I9*Int<integer>
384I9*Node_Id<integer> 44|135r23 184r19 242r23 331r23 377r19 427r19
X 97 uintp.ads
42K9*Uintp 44|54w6 54r43 97|537e10
48I9*Uint<96|59I9> 44|71r38 81r38
242V13*UI_To_Int{96|59I9} 44|258s28 348s28
259n28*Decimal{259E9} 44|83r20
265a4*UI_Image_Buffer{string} 44|84r31
266i4*UI_Image_Length{natural} 44|84r53
269U14*UI_Image 44|83s7
X 100 urealp.ads
37K9*Urealp 44|55w6 55r43 100|369e11
78I9*Ureal<96|59I9> 44|65r40 136r23 185r19 378r19 428r19 481r40
158V13*Norm_Den{97|48I9} 44|206s35 448s35 487s27
161V13*Norm_Num{97|48I9} 44|205s35 447s35 485s27