This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-parameters.ali is in libahven6-dev 2.6-1.2.

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
V "GNAT Lib v7"
A -O2
A -g
A -gnatf
A -gnatVa
A -gnato
A -gnatwe
A -gnatwa
A -gnatwl
A -gnatE
A -gnatwF
A -gnatyd
A -gnaty3
A -gnatyb
A -gnatym
A -gnatyh
A -gnatye
A -gnatyx
A -gnat95
A -g
A -fdebug-prefix-map=/build/ahven-f400BO/ahven-2.6=.
A -fstack-protector-strong
A -gnatA
P SL SS ZX

RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_FIXED_POINT
RV NO_IO
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U ahven.parameters%b	ahven-parameters.adb	f68f15f7 DE NE OO PK
W ada%s			ada.ads			ada.ali
W ada.command_line%s	a-comlin.adb		a-comlin.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W ada.text_io%s		a-textio.adb		a-textio.ali
W ahven%s		ahven.adb		ahven.ali
W ahven.astrings%s	ahven-astrings.ads	ahven-astrings.ali
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali
W system.val_real%s	s-valrea.adb		s-valrea.ali

U ahven.parameters%s	ahven-parameters.ads	7ce4566b DE EE OO PK
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W ahven%s		ahven.adb		ahven.ali
W ahven.framework%s	ahven-framework.adb	ahven-framework.ali
W ahven.name_list%s	ahven-name_list.ads	ahven-name_list.ali
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali
W system.exception_table%s  s-exctab.adb	s-exctab.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali

D ada.ads		20170106103348 76789da1 ada%s
D a-charac.ads		20070912115821 2d3ec45b ada.characters%s
D a-chlat1.ads		20140225151544 66457d31 ada.characters.latin_1%s
D a-comlin.ads		20140225151544 ea62afbc ada.command_line%s
D a-except.ads		20151016123252 291912d5 ada.exceptions%s
D a-finali.ads		20151020095656 bf4f806b ada.finalization%s
D a-ioexce.ads		20140225151544 e4a01f64 ada.io_exceptions%s
D a-stream.ads		20141120112812 119b8fb3 ada.streams%s
D a-string.ads		20070406091342 90ac6797 ada.strings%s
D a-strbou.ads		20140731124036 53ab54ae ada.strings.bounded%s
D a-strmap.ads		20140611123156 e8bb714a ada.strings.maps%s
D a-strsup.ads		20120309145048 a27dcb33 ada.strings.superbounded%s
D a-tags.ads		20151016130316 01f5e3ef ada.tags%s
D a-textio.ads		20140717063745 386df5d4 ada.text_io%s
D a-unccon.ads		20170106103348 31484697 ada.unchecked_conversion%s
D a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D ahven.ads		20160711072733 4ddcfc31 ahven%s
D ahven-astrings.ads	20160711072733 1b9f3e2c ahven.astrings%s
D ahven-framework.ads	20160711072733 d816ccdb ahven.framework%s
D ahven-listeners.ads	20160711072733 abe83d31 ahven.listeners%s
D ahven-long_astrings.ads  20160711072733 26230525 ahven.long_astrings%s
D ahven-name_list.ads	20160711072733 88b390f5 ahven.name_list%s
D ahven-parameters.ads	20160711072733 619df674 ahven.parameters%s
D ahven-parameters.adb	20160711072733 5e8287c7 ahven.parameters%b
D ahven-slist.ads	20160711072733 664b6dad ahven.slist%s
D interfac.ads		20160502101001 5ab55268 interfaces%s
D i-cstrea.ads		20140801100435 e53d8b8e interfaces.c_streams%s
D system.ads		20170510173650 4635ec04 system%s
D s-crtl.ads		20141120112812 0ebbdb71 system.crtl%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-ficobl.ads		20140718105747 078245e4 system.file_control_block%s
D s-finmas.ads		20151016130316 7811a767 system.finalization_masters%s
D s-finroo.ads		20120426095924 4ff27390 system.finalization_root%s
D s-memory.ads		20160622104833 597d6634 system.memory%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-pooglo.ads		20151118103153 ede33ef8 system.pool_global%s
D s-secsta.ads		20170112134946 9751b57e system.secondary_stack%s
D s-soflin.ads		20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads		20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-stalib.adb		20140225151139 f2fe2716 system.standard_library%b
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-stopoo.ads		20131010103753 b16154c2 system.storage_pools%s
D s-stratt.ads		20131014135145 aedef97e system.stream_attributes%s
D s-string.ads		20140225151139 8fe54fb7 system.strings%s
D s-ststop.ads		20140225151139 e6693757 system.strings.stream_ops%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads		20160502101423 34867c83 system.unsigned_types%s
D s-valrea.ads		20150106102044 fe297711 system.val_real%s
D s-wchcon.ads		20140718092328 1b7d22d2 system.wch_con%s
X 1 ada.ads
16K9*Ada 20e8 24|17r6 18r6 22r5 23r5 126r21
X 4 a-comlin.ads
38K13*Command_Line 139e21 24|17w10 22r9 126r25
41V13*Argument_Count{natural} 24|139s36
48V13*Argument{string} 24|126s38 140s34 212s17 226s17
X 10 a-strbou.ads
50R12*Bounded_String<12|47R9>
63V16*To_Bounded_String{50R12[18|19]} 24|125s27[18|19]
67V16*To_String{string} 24|197s17[18|19]
X 14 a-textio.ads
49K13*Text_IO 471e16 24|18w10 23r9
263U14*Put_Line 24|151s13 156s13 157s13 158s13 160s13 163s7 164s7 165s7 166s7
. 167s7 168s7
X 17 ahven.ads
18K9*Ahven 46e10 23|17r6 18r6 26r9 59r13 87r5 24|20r6 25r14 192r11 202r13
. 229r5
X 18 ahven-astrings.ads
19K15*AStrings[10|46] 24|20w12 125r18 192r17
X 19 ahven-framework.ads
28K15*Framework 369e20 23|17w12 65r52 85r24 24|109r26 216r52
32O12*Test_Duration{duration} 23|65r62 85r34 24|109r36 216r62
X 22 ahven-name_list.ads
22K15*Name_List[25|21] 23|18w12 59r19 76r24 24|124r16 135r34 188r15 194r10
. 197r28 197r44 202r19
X 23 ahven-parameters.ads
26K15*Parameters 17|18k9 23|71E9 87l11 87e21 24|25b20 229l11 229t21
28X4*Invalid_Parameter 24|47r25 51r25 80r22 143r16
30R9*Parameter_Info 35r43 43r29 46r29 49r33 52r33 55r31 58r32 62r32 65r29
. 68r39 71c9 86e14 24|38r48 89r43 94r50 171r29 176r29 181r33 186r33 191r31
. 201r32 207r32 216r29 221r39
32E9*Parameter_Mode 32e62 34r43 40r28 24|39r48 88r43 147r28
32n28*NORMAL_PARAMETERS{32E9} 40r46 24|45r18 147r46 150r15
32n47*TAP_PARAMETERS{32E9} 24|49r18 159r15
34U14*Parse_Parameters 34>32 35<32 24|88b14 145l8 145t24
34e32 Mode{32E9} 24|88b32 120r29
35r32 Info{30R9} 24|89b32 132m7 140m28
40U14*Usage 40>21 24|147b14 169l8 169t13
40e21 Mode{32E9} 24|147b21 149r12
43V13*Capture{boolean} 43>22 24|171b13 174l8 174t15
43r22 Info{30R9} 24|171b22 173r14
46V13*Verbose{boolean} 46>22 24|176b13 179l8 179t15
46r22 Info{30R9} 24|176b22 178r14
49V13*XML_Results{boolean} 49>26 24|181b13 184l8 184t19
49r26 Info{30R9} 24|181b26 183r14
52V13*Single_Test{boolean} 52>26 24|186b13 189l8 189t19
52r26 Info{30R9} 24|186b26 188r33
55V13*Test_Name{string} 55>24 24|191b13 199l8 199t17
55r24 Info{30R9} 24|191b24 194r28 197r61
58V13*Test_Names{25|22R9[22|22]} 58>25 24|201b13 205l8 205t18
58r25 Info{30R9} 24|201b25 204r14
62V13*Result_Dir{string} 62>25 24|207b13 214l8 214t18
62r25 Info{30R9} 24|207b25 209r10 212r27
65V13*Timeout{19|32O12} 65>22 24|216b13 219l8 219t15
65r22 Info{30R9} 24|216b22 218r14
68V13*Test_Class_Suffix{string} 68>32 24|221b13 228l8 228t25
68r32 Info{30R9} 24|221b32 223r10 226r27
72b7*Verbose_Output{boolean} 24|69m21 71m21 132m16 178r19
73b7*Xml_Output{boolean} 24|73m21 133m16 183r19
74b7*Capture_Output{boolean} 24|63m21 134m16 173r19
76r7*Test_Names{25|22R9[22|22]} 24|124m36 135m16 188r38 194r33 197r66 204r19
79i7*Result_Dir{natural} 24|106m15 136m16 209r15 212r32
82i7*Test_Suffix{natural} 24|112m15 137m16 223r15 226r32
85o7*Timeout{19|32O12} 24|109m15 138m16 218r19
X 24 ahven-parameters.adb
26E9 Parser_State 27e62 41r48 91r15
27n7 NONE{26E9} 56r16 91r31 101r22 107r22 110r22 113r22 142r19
27n13 DIR_NEXT{26E9} 65r25 105r24
27n23 TIMEOUT_NEXT{26E9} 67r25 108r24
27n37 SUFFIX_NEXT{26E9} 75r25 111r24
27n50 IGNORE_REST{26E9} 77r25 100r21 103r24 142r37
38U14 Parse_Options 38b14 38=29 39>29 40>29 41<29 83l8 83t21 118s16
38r29 Info{23|30R9} 63m16 69m16 71m16 73m16 119r19
39e29 Mode{23|32E9} 44r15 120r19
40a29 Option{string} 59r16 60r25 61r15 121r19
41e29 State{26E9} 56m7 65m16 67m16 75m16 77m16 122r19
42U17 Check_Invalid 42b17 42>32 54l11 54t24 60s10
42e32 C{character} 46r19 50r20 50r33 50r46
58l7 Option_Loop 78r21 82l16 82e27
59i11 A{integer} 60r33 61r23
91e7 State{26E9} 100r13 101m13 103r16 105r16 107m13 108r16 110m13 111r16
. 113m13 122m29 142r10 142r28
92b7 Files_Only{boolean} 102m13 115m13 117r21
94U17 Handle_Parameter 94b17 94=35 95>35 96>35 129l11 129t27 140s10
94r35 P{23|30R9} 106m13 109m13 112m13 119m29 124m34 124r34
95a35 Arg{string} 100r37 109r57 114r16 116r16 117r38 117r43 121r29 121r34
. 121r51
96i35 Index{positive} 106r29 112r30 126r48
139i11 A{integer} 140r44 140r48
X 25 ahven-slist.ads
22R9*List<6|43R9> 23|59r29[22|22] 76r34[22|22] 24|202r29[22|22]
23P9*Cursor<67P9[22|22]>
25I12*Count_Type{natural}
32r4*Empty_List{22R9[22|22]} 24|135r44[22|22]
34U14*Append 24|124s26[22|22]
42V13*First{23P9[22|22]} 24|197s54[22|22]
48V13*Data{10|50R12[18|19]} 24|197s38[22|22]
56V13*Length{25I12[22|22]} 24|188s25[22|22] 194s20[22|22]
66R9 Node
67P9 Node_Access(66R9[22|22])
X 28 system.ads
67M9*Address
X 34 s-memory.ads
53V13*Alloc{28|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{28|67M9} 105i<c,__gnat_realloc>22
X 41 s-stalib.adb
93U14 Break_Start 94i<c,__gnat_break_start>22