This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/html_lexer-basic.ali is in libopentoken4-dev 5.0a-1.

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
V "GNAT Lib v4.9"
A -O2
A -fPIC
A -fstack-protector
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_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.basic%s	html_lexer-basic.ads	9a32914c 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.bracketed_comment%s  opentoken-recognizer-bracketed_comment.adb  opentoken-recognizer-bracketed_comment.ali  AD
W opentoken.recognizer.character_set%s  opentoken-recognizer-character_set.adb  opentoken-recognizer-character_set.ali  AD
W opentoken.recognizer.end_of_file%s  opentoken-recognizer-end_of_file.adb  opentoken-recognizer-end_of_file.ali  AD
W opentoken.recognizer.html_entity%s  opentoken-recognizer-html_entity.adb  opentoken-recognizer-html_entity.ali  AD
W opentoken.recognizer.nothing%s  opentoken-recognizer-nothing.adb  opentoken-recognizer-nothing.ali  AD
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	20140221201457 f4062920
D html_lexer-basic.ads	20140221201457 2fe7c16d
D interfac.ads		20140225151838 69adb1b9
D i-cstrea.ads		20130412125801 8128536b
D opentoken.ads		20140221201457 fc81ed4c
D opentoken-recognizer.ads  20140221201457 ddbf64ff
D opentoken-recognizer-bracketed_comment.ads  20140221201457 fba012a3
D opentoken-recognizer-character_set.ads  20140221201457 db5d6f15
D opentoken-recognizer-end_of_file.ads  20140221201457 d5a4a40d
D opentoken-recognizer-html_entity.ads  20140221201457 5f409d55
D opentoken-recognizer-nothing.ads  20140221201457 dd23b94c
D opentoken-text_feeder.ads  20140221201457 6fb472c4
D opentoken-token.ads	20140221201457 1cfab97b
D opentoken-token-enumerated.ads  20140221201457 caac1aa4
D opentoken-token-enumerated.adb  20140221201457 413b6481
D opentoken-token-enumerated-analyzer.ads  20140221201457 f81dc7e8
D opentoken-token-enumerated-analyzer.adb  20140221201457 45492eb7
D opentoken-token-linked_list.ads  20140221201457 6abdfc9f
D system.ads		20140424202341 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 56r13 71r13 71r54
X 8 a-string.ads
16K13*Strings 35e16 21|26r10 56r17 71r17 71r58
X 12 a-strmap.ads
38K21*Maps 412e21 21|26r18 56r25 71r25 71r66
47A9*Character_Set<138A9> 21|56r30
81V14*"-"{47A9} 21|71s52
99V13*To_Set{47A9} 21|71s71
138A9 Character_Set_Internal(boolean)<character>
X 13 a-stmaco.ads
38K26*Constants 916e31 21|26w23 71r30
44a4*Graphic_Set{12|47A9} 21|71r40
X 20 html_lexer.ads
29K9*HTML_Lexer 157e15 21|35r17 87r5
X 21 html_lexer-basic.ads
35K28*Basic 20|29k9 21|87l16 87e21
37E9*Basic_Token 49e37 53r66 53r79 53r98 54r58 54r77
37n25*Whitespace{37E9} 79r7
39n25*Comment{37E9} 74r7
41n25*Doctype{37E9} 59r7
43n25*HTML_Tag{37E9} 64r7
45n25*Text{37E9} 69r7
45n31*Entity{37E9} 73r7
47n25*Bad_Token{37E9} 82r7 85r77
49n25*End_Of_File{37E9} 83r7
53K12*Master_Basic_Token[33|55] 54r29
54K12*Tokenizer[35|64] 58r21 59r22 64r22 69r22 73r22 74r22 79r22 82r22 83r22
. 85r14 85r36
58a4*Syntax{35|85A9[54]} 85r58
85r4*Analyzer{35|87R9[54]}
X 24 opentoken.ads
42K9*OpenToken 21|28r6 30r6 31r6 32r6 33r6 34r6 53r38 60r10 65r10 70r10 73r36
. 75r10 80r10 81r13 82r36 83r36 24|78e14
X 25 opentoken-recognizer.ads
43K19*Recognizer 21|30r16 31r16 32r16 33r16 34r16 60r20 65r20 70r20 73r46
. 75r20 80r20 81r23 82r46 83r46 25|78e25
X 26 opentoken-recognizer-bracketed_comment.ads
38K30*Bracketed_Comment 21|30w27 60r31 65r31 75r31 26|93e43
48V13*Get{42R9} 21|60s49 65s49 75s49
49s7 Comment_Opener{string} 21|61r13 66r13 76r13
50s7 Comment_Closer{string} 21|62r13 67r13 77r13
51b7 Reportable{boolean} 21|63r13 68r13 78r13
X 27 opentoken-recognizer-character_set.ads
42K30*Character_Set 21|31w27 70r31 80r31 81r34 27|89e39
47a4*Standard_Whitespace{12|47A9} 21|81r48
65V13*Get{52R9} 21|70s45 80s45
66b18 Reportable{boolean} 21|72r13
X 28 opentoken-recognizer-end_of_file.ads
39K30*End_Of_File 21|32w27 83r57 28|70e37
49V13*Get{41R9} 21|83s69
X 29 opentoken-recognizer-html_entity.ads
27K30*HTML_Entity 21|33w27 73r57 29|59e37
40V13*Get{38R9} 21|73s69
X 30 opentoken-recognizer-nothing.ads
40K30*Nothing 21|34w27 82r57 30|65e33
51V13*Get{42R9} 21|82s65
X 32 opentoken-token.ads
36K19*Token 21|28r16 53r48 32|155e20
X 33 opentoken-token-enumerated.ads
55k25*Enumerated 21|28r22 53r54 33|179e31
153H9*Source<32|44R9>
X 35 opentoken-token-enumerated-analyzer.ads
64k36 Analyzer 21|28w33 35|314e40
78R9*Recognizable_Token
85A9*Syntax(78R9[21|54])<21|37E9> 21|58r31[54]
87R9*Instance<33|153R9[21|53]> 21|85r24[54]
98V13*Get{78R9[21|54]} 21|59s32[54] 64s32[54] 69s32[54] 73s32[54] 74s32[54]
. 79s32[54] 82s32[54] 83s32[54]
113V13*Initialize{87R9[21|54]} 21|85s46[54]
115e7 Default{66E12[21|54]} 21|85r66[54]
X 38 system.ads
64M9*Address
X 56 s-memory.ads
53V13*Alloc{38|64M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{38|64M9} 105i<c,__gnat_realloc>22