This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/html_lexer.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
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
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_DISPATCHING_CALLS
RV NO_ENUMERATION_MAPS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_IMPLICIT_LOOPS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U html_lexer%b		html_lexer.adb		07cf3499 OO PK
W ada%s			ada.ads			ada.ali
W ada.characters%s	a-charac.ads		a-charac.ali
W ada.characters.latin_1%s  a-chlat1.ads	a-chlat1.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.strings%s		a-string.ads		a-string.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
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.bracketed_comment%s  opentoken-recognizer-bracketed_comment.adb  opentoken-recognizer-bracketed_comment.ali
W opentoken.recognizer.character_set%s  opentoken-recognizer-character_set.adb  opentoken-recognizer-character_set.ali
W opentoken.recognizer.end_of_file%s  opentoken-recognizer-end_of_file.adb  opentoken-recognizer-end_of_file.ali
W opentoken.recognizer.html_entity%s  opentoken-recognizer-html_entity.adb  opentoken-recognizer-html_entity.ali
W opentoken.recognizer.keyword%s  opentoken-recognizer-keyword.adb  opentoken-recognizer-keyword.ali
W opentoken.recognizer.nothing%s  opentoken-recognizer-nothing.adb  opentoken-recognizer-nothing.ali
W opentoken.recognizer.separator%s  opentoken-recognizer-separator.adb  opentoken-recognizer-separator.ali
W opentoken.recognizer.string%s  opentoken-recognizer-string.adb  opentoken-recognizer-string.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

U html_lexer%s		html_lexer.ads		4d4d56fc 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.unbounded%s  a-strunb.adb		a-strunb.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 interfaces%s		interfac.ads		interfac.ali
W opentoken%s		opentoken.adb		opentoken.ali
Z opentoken.recognizer%s  opentoken-recognizer.ads  opentoken-recognizer.ali
Z opentoken.text_feeder%s  opentoken-text_feeder.ads  opentoken-text_feeder.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.adb	20150510192240 7ebd7661
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-bracketed_comment.ads  20150510192240 fba012a3
D opentoken-recognizer-character_set.ads  20150510192240 db5d6f15
D opentoken-recognizer-end_of_file.ads  20150510192240 d5a4a40d
D opentoken-recognizer-html_entity.ads  20150510192240 5f409d55
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-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 20|27r6 97r16 21|27r6 28r6 46r14 59r13 61r31 61r65 62r7 63r9
. 64r9 65r9 79r16 79r57 124r16 125r18 126r18
X 2 a-charac.ads
16K13*Characters 18e19 21|27r10 62r11 63r13 64r13 65r13
X 3 a-chlat1.ads
18K24*Latin_1 296e27 21|27w21 62r22 63r24 64r24 65r24
34e4*HT{character} 21|62r30
35e4*LF{character} 21|64r32
38e4*CR{character} 21|63r32
63e4*Space{character} 21|65r32
X 8 a-string.ads
16K13*Strings 35e16 20|27r10 97r20 21|28r10 46r18 59r17 61r35 61r69 79r20
. 79r61 124r20 125r22 126r22
X 12 a-strmap.ads
38K21*Maps 412e21 21|28r18 59r25 61r43 61r77 79r28 79r69 124r28 125r30 126r30
47A9*Character_Set<138A9> 21|59r30 61r48
79V14*"or"{47A9} 21|124s61 125s63
81V14*"-"{47A9} 21|79s55
99V13*To_Set{47A9} 21|61s82 79s74 126s35
138A9 Character_Set_Internal(boolean)<character>
X 13 a-stmaco.ads
38K26*Constants 916e31 21|28w23 79r33 124r33 125r35
44a4*Graphic_Set{12|47A9} 21|79r43
45a4*Letter_Set{12|47A9} 21|124r43
49a4*Decimal_Digit_Set{12|47A9} 21|125r45
X 15 a-strunb.ads
76K21*Unbounded 489e26 20|27w18 97r28 21|46r26
79R9*Unbounded_String<5|48R9> 473e14 20|97r38
100V13*To_String{string} 21|46s36
X 20 html_lexer.ads
29K9*HTML_Lexer 95E9 158l5 158e15 21|37b14 135l5 135t15
39E9*Token_Name 85e19 89r51 96r16 104r7 104r19 104r37 104r54 21|39r46
42n7*Bad_Token{39E9} 21|94r10 130r10
45n7*Comment{39E9} 21|88r10
46n7*Whitespace{39E9} 21|93r10 129r10
49n7*Document_Type{39E9} 21|70r10
52n7*Start_Tag_Opener{39E9} 21|75r10
53n7*End_Tag_Opener{39E9} 21|76r10
54n7*Tag_Closer{39E9} 21|107r10
57n7*Anchor{39E9} 21|113r10
58n7*HTML{39E9} 21|108r10
59n7*HTML_Body{39E9} 21|111r10
60n7*Head{39E9} 21|109r10
61n7*Heading_1{39E9} 21|112r10
62n7*Image{39E9} 21|114r10
63n7*Meta{39E9} 21|110r10
64n7*Pre{39E9} 21|96r10
65n7*Title{39E9} 21|120r10
68n7*Content{39E9} 21|115r10
69n7*Hyper_Reference{39E9} 21|116r10
70n7*Name{39E9} 21|118r10
71n7*Link_Type{39E9} 21|117r10
72n7*Source{39E9} 21|119r10
75n7*Assignment{39E9} 21|121r10
78n7*Value{39E9} 21|122r10
79n7*String{39E9} 21|128r10
82n7*Text{39E9} 21|77r10
83n7*Entity{39E9} 21|81r10
85n7*End_Of_File{39E9} 21|95r10 131r10
87R9*HTML_Token 89r32 90r32 91r32 92r32 95c9 100e14 21|39r27 44r29 49r30
. 54r32
89V13*Name{39E9} 89>21 21|39b13 42l8 42t12
89r21 Token{87R9} 21|39b19 41r14
90V13*Lexeme{string} 90>21 21|44b13 47l8 47t14
90r21 Token{87R9} 21|44b21 46r47
91V13*Line{natural} 91>21 21|49b13 52l8 52t12
91r21 Token{87R9} 21|49b19 51r14
92V13*Column{natural} 92>21 21|54b13 57l8 57t14
92r21 Token{87R9} 21|54b21 56r14
96e7*Name{39E9} 21|41r20
97r7*Lexeme{15|79R9} 21|46r53
98i7*Line{natural} 21|51r20
99i7*Column{natural} 21|56r20
103K12 Master_Token[36|59] 105r29
105K12 Tokenizer[38|54] 153r32 154r31 21|67r32 70r34 75r34 76r34 77r34 81r34
. 88r34 93r34 94r34 95r34 96r34 101r34 104r31 107r30 108r30 109r30 110r30
. 111r30 112r30 113r30 114r30 115r30 116r30 117r30 118r30 119r30 120r30 121r30
. 122r30 128r30 129r30 130r30 131r30 132r30
153V13 Text_Syntax{38|72A9[105]} 21|67b13 102l8 102t19
154V13 Tag_Syntax{38|72A9[105]} 21|104b13 133l8 133t18
X 21 html_lexer.adb
61a4 HTML_Whitespace{12|47A9} 93r89 129r85
X 24 opentoken.ads
42K9*OpenToken 20|28r6 103r32 21|29r6 30r6 31r6 32r6 33r6 34r6 35r6 36r6
. 71r13 75r49 76r49 78r13 81r49 89r13 93r49 94r49 95r49 97r13 101r49 107r45
. 108r45 109r45 110r45 111r45 112r45 113r45 114r45 115r45 116r45 117r45 118r45
. 119r45 120r45 121r45 123r13 128r45 129r45 130r45 131r45 132r45 24|82e14
X 25 opentoken-recognizer.ads
43K19*Recognizer 21|29r16 30r16 31r16 32r16 33r16 34r16 35r16 36r16 71r23
. 75r59 76r59 78r23 81r59 89r23 93r59 94r59 95r59 97r23 101r59 107r55 108r55
. 109r55 110r55 111r55 112r55 113r55 114r55 115r55 116r55 117r55 118r55 119r55
. 120r55 121r55 123r23 128r55 129r55 130r55 131r55 132r55 25|78e25
X 26 opentoken-recognizer-bracketed_comment.ads
38K30*Bracketed_Comment 21|29w27 71r34 89r34 97r34 26|93e43
48V13*Get{42R9} 21|71s52 89s52 97s52
49s7 Comment_Opener{string} 21|72r16 90r16 98r16
50s7 Comment_Closer{string} 21|73r16 91r16 99r16
51b7 Reportable{boolean} 21|74r16 92r16 100r16
X 27 opentoken-recognizer-character_set.ads
42K30*Character_Set 21|30w27 78r34 93r70 123r34 129r66 27|89e39
65V13*Get{52R9} 21|78s48 93s84 123s48 129s80
66b18 Reportable{boolean} 21|80r16 127r16
X 28 opentoken-recognizer-end_of_file.ads
39K30*End_Of_File 21|31w27 95r70 131r66 28|70e37
49V13*Get{41R9} 21|95s82 131s78
X 29 opentoken-recognizer-html_entity.ads
27K30*HTML_Entity 21|32w27 81r70 29|59e37
40V13*Get{38R9} 21|81s82
X 30 opentoken-recognizer-keyword.ads
39K30*Keyword 21|33w27 108r66 109r66 110r66 111r66 112r66 113r66 114r66 115r66
. 116r66 117r66 118r66 119r66 120r66 30|80e33
52V13*Get{45R9} 21|108s74 109s74 110s74 111s74 112s74 113s74 114s74 115s74
. 116s74 117s74 118s74 119s74 120s74
X 31 opentoken-recognizer-nothing.ads
40K30*Nothing 21|34w27 94r70 101r70 130r66 132r66 31|65e33
51V13*Get{42R9} 21|94s78 101s78 130s74 132s74
X 32 opentoken-recognizer-separator.ads
33K30*Separator 21|35w27 75r70 76r70 107r66 121r66 32|64e35
37V13*Get{35R9} 21|75s80 76s80 107s76 121s76
X 33 opentoken-recognizer-string.ads
37K30*String 21|36w27 128r66 33|133e32
84V13*Get{65R9} 21|128s73
86b7 Double_Delimiter{boolean} 21|128r78
X 35 opentoken-token.ads
36K19*Token 20|28r16 103r42 35|163e20
X 36 opentoken-token-enumerated.ads
59k25*Enumerated 20|28r22 103r48 36|205e31
X 38 opentoken-token-enumerated-analyzer.ads
54k36 Analyzer 20|28w33 38|303e40
65R9*Recognizable_Token
72A9*Syntax(65R9[20|105])<20|39E9> 20|153r42[105] 154r41[105] 21|67r42[20|105]
. 104r41[20|105]
86V13*Get{65R9[20|105]} 21|70s44[20|105] 75s44[20|105] 76s44[20|105] 77s44[20|105]
. 81s44[20|105] 88s44[20|105] 93s44[20|105] 94s44[20|105] 95s44[20|105] 96s44[20|105]
. 101s44[20|105] 107s40[20|105] 108s40[20|105] 109s40[20|105] 110s40[20|105]
. 111s40[20|105] 112s40[20|105] 113s40[20|105] 114s40[20|105] 115s40[20|105]
. 116s40[20|105] 117s40[20|105] 118s40[20|105] 119s40[20|105] 120s40[20|105]
. 121s40[20|105] 122s40[20|105] 128s40[20|105] 129s40[20|105] 130s40[20|105]
. 131s40[20|105] 132s40[20|105]
X 41 system.ads
64M9*Address
X 59 s-memory.ads
53V13*Alloc{41|64M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{41|64M9} 105i<c,__gnat_realloc>22