This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/html_lexer-tags.ali is in libopentoken5-dev 6.0b-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
V "GNAT Lib v4.9"
A -O2
A -fPIC
A -fstack-protector-strong
A -g
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -gnatA
P SS ZX

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_ALLOCATORS
RV NO_ANONYMOUS_ALLOCATORS
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCH
RV NO_DISPATCHING_CALLS
RV NO_ENUMERATION_MAPS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_IMPLICIT_HEAP_ALLOCATIONS
RV NO_IMPLICIT_LOOPS
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U html_lexer.tags%s	html_lexer-tags.ads	45899bbd EE OO PF PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.streams%s		a-stream.adb		a-stream.ali
W ada.strings%s		a-string.ads		a-string.ali
Z ada.strings.fixed%s	a-strfix.adb		a-strfix.ali
W ada.strings.maps%s	a-strmap.adb		a-strmap.ali
W ada.strings.maps.constants%s  a-stmaco.ads	a-stmaco.ali
W ada.tags%s		a-tags.adb		a-tags.ali
Z ada.text_io%s		a-textio.adb		a-textio.ali
Z ada.unchecked_deallocation%s
W html_lexer%s		html_lexer.adb		html_lexer.ali
W interfaces%s		interfac.ads		interfac.ali
W opentoken%s		opentoken.adb		opentoken.ali
W opentoken.recognizer%s  opentoken-recognizer.ads  opentoken-recognizer.ali
W opentoken.recognizer.character_set%s  opentoken-recognizer-character_set.adb  opentoken-recognizer-character_set.ali  EA
W opentoken.recognizer.end_of_file%s  opentoken-recognizer-end_of_file.adb  opentoken-recognizer-end_of_file.ali  EA
W opentoken.recognizer.keyword%s  opentoken-recognizer-keyword.adb  opentoken-recognizer-keyword.ali  EA
W opentoken.recognizer.nothing%s  opentoken-recognizer-nothing.adb  opentoken-recognizer-nothing.ali  EA
W opentoken.recognizer.separator%s  opentoken-recognizer-separator.adb  opentoken-recognizer-separator.ali  EA
W opentoken.recognizer.string%s  opentoken-recognizer-string.adb  opentoken-recognizer-string.ali  EA
W opentoken.text_feeder%s  opentoken-text_feeder.ads  opentoken-text_feeder.ali
W opentoken.text_feeder.string%s  opentoken-text_feeder-string.adb  opentoken-text_feeder-string.ali
W opentoken.token%s	opentoken-token.adb	opentoken-token.ali
W opentoken.token.enumerated%s  opentoken-token-enumerated.adb  opentoken-token-enumerated.ali  AD
W opentoken.token.enumerated.analyzer%s  opentoken-token-enumerated-analyzer.adb  opentoken-token-enumerated-analyzer.ali  AD
W system%s		system.ads		system.ali
W system.exception_table%s  s-exctab.adb	s-exctab.ali
W system.finalization_masters%s  s-finmas.adb	s-finmas.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.pool_global%s	s-pooglo.adb		s-pooglo.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.storage_elements%s  s-stoele.adb	s-stoele.ali
W system.storage_pools%s  s-stopoo.adb		s-stopoo.ali
W system.storage_pools.subpools%s  s-stposu.adb	s-stposu.ali
W system.stream_attributes%s  s-stratt.adb	s-stratt.ali
W system.strings.stream_ops%s  s-ststop.adb	s-ststop.ali

D ada.ads		20070406091342 3ffc8e18
D a-charac.ads		20070912115821 2d3ec45b
D a-chlat1.ads		20140225151544 66457d31
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-strbou.ads		20101008130255 9806fe84
D a-strbou.adb		20090409150019 adb4aa70
D a-strfix.ads		20101008130255 d07c346e
D a-strmap.ads		20090409150019 9cb836fb
D a-stmaco.ads		20090409150019 cef4434b
D a-strsup.ads		20120309145048 a27dcb33
D a-strunb.ads		20120426100351 3f91d4c5
D a-tags.ads		20111212115430 6c0509d0
D a-textio.ads		20140129155348 386df5d4
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D html_lexer.ads	20150510192240 d088fe43
D html_lexer-tags.ads	20150510192240 91b870d9
D interfac.ads		20140225151838 69adb1b9
D i-cstrea.ads		20130412125801 8128536b
D opentoken.ads		20150510192240 8bdd0f75
D opentoken-recognizer.ads  20150510192240 ddbf64ff
D opentoken-recognizer-character_set.ads  20150510192240 db5d6f15
D opentoken-recognizer-end_of_file.ads  20150510192240 d5a4a40d
D opentoken-recognizer-keyword.ads  20150510192240 a3611bcf
D opentoken-recognizer-nothing.ads  20150510192240 dd23b94c
D opentoken-recognizer-separator.ads  20150510192240 92e5ab89
D opentoken-recognizer-string.ads  20150510192240 47f5cf25
D opentoken-text_feeder.ads  20150510192240 6fb472c4
D opentoken-text_feeder-string.ads  20150510192240 a20655e5
D opentoken-token.ads	20150510192240 f518d836
D opentoken-token-enumerated.ads  20150510192240 fdf7729b
D opentoken-token-enumerated.adb  20150510192240 f831d1b8
D opentoken-token-enumerated-analyzer.ads  20150510192240 a2547c7a
D opentoken-token-enumerated-analyzer.adb  20150510192240 891793cd
D opentoken-token-linked_list.ads  20150510192240 6abdfc9f
D system.ads		20151121115557 90249111
D s-atocou.ads		20131010110730 cd7c94ca
D s-atocou.adb		20131010121735 62bad392
D s-crtl.ads		20140225151544 840e6817
D s-exctab.ads		20140225151139 54135002
D s-exctab.adb		20140225151139 05502b19
D s-fatflt.ads		20090409150019 11beb392
D s-fatgen.ads		20140129155348 9267ca45
D s-fatgen.adb		20140129155348 9ba81cee
D s-fatlfl.ads		20090409150019 378cba9f
D s-fatllf.ads		20090409150019 4d5c1475
D s-fatsfl.ads		20090409150019 e2f873d3
D s-ficobl.ads		20120709130952 55a71d43
D s-finmas.ads		20140225151139 814daec4
D s-finroo.ads		20120426095924 4ff27390
D s-htable.ads		20140225151139 84c2b3ea
D s-imenne.ads		20140225151139 614c06c0
D s-imgint.ads		20090409150019 02dbe0c2
D s-memory.ads		20140225151139 597d6634
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-stposu.ads		20121005142121 ffeba1c5
D s-stratt.ads		20131014135145 aedef97e
D s-stratt.adb		20090409150019 56ef263e
D s-string.ads		20140225151139 8fe54fb7
D s-ststop.ads		20140225151139 e6693757
D s-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
D s-wchcon.ads		20140225151139 1b7d22d2
X 1 ada.ads
16K9*Ada 19e8 21|26r6 94r13 115r13 116r15 117r15
X 8 a-string.ads
16K13*Strings 35e16 21|26r10 94r17 115r17 116r19 117r19
X 12 a-strmap.ads
38K21*Maps 412e21 21|26r18 94r25 115r25 116r27 117r27
47A9*Character_Set<138A9> 21|94r30
79V14*"or"{47A9} 21|115s58 116s60
99V13*To_Set{47A9} 21|117s32
138A9 Character_Set_Internal(boolean)<character>
X 13 a-stmaco.ads
38K26*Constants 916e31 21|26w23 115r30 116r32
45a4*Letter_Set{12|47A9} 21|115r40
49a4*Decimal_Digit_Set{12|47A9} 21|116r42
X 20 html_lexer.ads
29K9*HTML_Lexer 158e15 21|42r17 132r5
X 21 html_lexer-tags.ads
42K28*Tags 20|29k9 21|132l16 132e20
55E9*Tag_Token 88e46 91r7 91r18 91r35 91r51
56n23*Start_Tag_Opener{55E9} 97r7
57n23*End_Tag_Opener{55E9} 98r7
58n23*Tag_Closer{55E9} 99r7
61n23*HTML{55E9} 100r7
62n23*Head{55E9} 101r7
63n23*Meta{55E9} 102r7
64n23*HTML_Body{55E9} 103r7
65n23*Anchor{55E9} 105r7
66n23*Heading_1{55E9} 104r7
67n23*Image{55E9} 106r7
71n23*Content{55E9} 107r7
72n23*Hyper_Reference{55E9} 108r7
73n23*Link_Type{55E9} 109r7
74n23*Name{55E9} 110r7
75n23*Title{55E9} 111r7
79n23*Assignment{55E9} 112r7
82n23*Value{55E9} 113r7
83n23*String{55E9} 119r7
86n23*Bad_Token{55E9} 123r7
88n23*Whitespace{55E9} 120r7
88n35*End_Of_Tag{55E9} 124r7
90K12*Master_Tag_Token[35|59] 92r29
92K12*Tokenizer[37|54] 96r21 97r27 98r27 99r27 100r27 101r27 102r27 103r27
. 104r27 105r27 106r27 107r27 108r27 109r27 110r27 111r27 112r27 113r27 119r27
. 120r27 123r27 124r27 128r14 128r36
96a4*Syntax{37|72A9[92]} 129r7
126r4*Tag_Input_Feeder{33|33R9} 130m18 130r18
128r4*Analyzer{37|74R9[92]}
X 24 opentoken.ads
42K9*OpenToken 21|28r6 29r6 30r6 32r6 33r6 34r6 35r6 36r6 37r6 90r36 97r41
. 98r41 99r41 100r41 101r41 102r41 103r41 104r41 105r41 106r41 107r41 108r41
. 109r41 110r41 111r41 112r41 114r10 119r41 121r10 122r13 123r41 124r41 126r31
. 24|82e14
X 25 opentoken-recognizer.ads
43K19*Recognizer 21|32r16 33r16 34r16 35r16 36r16 37r16 97r51 98r51 99r51
. 100r51 101r51 102r51 103r51 104r51 105r51 106r51 107r51 108r51 109r51 110r51
. 111r51 112r51 114r20 119r51 121r20 122r23 123r51 124r51 25|78e25
X 26 opentoken-recognizer-character_set.ads
42K30*Character_Set 21|32w27 114r31 121r31 122r34 26|89e39
47a4*Standard_Whitespace{12|47A9} 21|122r48
65V13*Get{52R9} 21|114s45 121s45
66b18 Reportable{boolean} 21|118r13
X 27 opentoken-recognizer-end_of_file.ads
39K30*End_Of_File 21|33w27 124r62 27|70e37
49V13*Get{41R9} 21|124s74
X 28 opentoken-recognizer-keyword.ads
39K30*Keyword 21|34w27 100r62 101r62 102r62 103r62 104r62 105r62 106r62 107r62
. 108r62 109r62 110r62 111r62 28|80e33
52V13*Get{45R9} 21|100s70 101s70 102s70 103s70 104s70 105s70 106s70 107s70
. 108s70 109s70 110s70 111s70
X 29 opentoken-recognizer-nothing.ads
40K30*Nothing 21|35w27 123r62 29|65e33
51V13*Get{42R9} 21|123s70
X 30 opentoken-recognizer-separator.ads
33K30*Separator 21|36w27 97r62 98r62 99r62 112r62 30|64e35
37V13*Get{35R9} 21|97s72 98s72 99s72 112s72
X 31 opentoken-recognizer-string.ads
37K30*String 21|37w27 119r62 31|133e32
84V13*Get{65R9} 21|119s69
86b7 Double_Delimiter{boolean} 21|119r74
X 32 opentoken-text_feeder.ads
32K19*Text_Feeder 21|28w16 29r16 126r41 32|63e26
35P9*Text_Feeder_Ptr(34R9)
X 33 opentoken-text_feeder-string.ads
31K31*String 21|29w28 126r53 33|66e33
33R9*Instance<32|34R9> 21|126r60 33|65e14
X 34 opentoken-token.ads
36K19*Token 21|30r16 90r46 34|163e20
X 35 opentoken-token-enumerated.ads
59k25*Enumerated 21|30r22 90r52 35|205e31
177H9*Source<34|47R9>
X 37 opentoken-token-enumerated-analyzer.ads
54k36 Analyzer 21|30w33 37|303e40
65R9*Recognizable_Token
72A9*Syntax(65R9[21|92])<21|55E9> 21|96r31[92]
74R9*Instance<35|177R9[21|90]> 21|128r24[92]
75P9*Handle(74R9[21|92])
86V13*Get{65R9[21|92]} 21|97s37[92] 98s37[92] 99s37[92] 100s37[92] 101s37[92]
. 102s37[92] 103s37[92] 104s37[92] 105s37[92] 106s37[92] 107s37[92] 108s37[92]
. 109s37[92] 110s37[92] 111s37[92] 112s37[92] 113s37[92] 119s37[92] 120s37[92]
. 123s37[92] 124s37[92]
97V13*Initialize{75P9[21|92]} 21|128s46[92]
99p7 Feeder{32|35P9} 21|130r7[92]
X 40 system.ads
64M9*Address
X 58 s-memory.ads
53V13*Alloc{40|64M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{40|64M9} 105i<c,__gnat_realloc>22