This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/html_lexer-task_unsafe.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
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_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
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.task_unsafe%b  html_lexer-task_unsafe.adb  c9cf06f3 OO PK
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W html_lexer%s		html_lexer.adb		html_lexer.ali  AD
W interfaces%s		interfac.ads		interfac.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_pools.subpools%s  s-stposu.adb	s-stposu.ali

U html_lexer.task_unsafe%s  html_lexer-task_unsafe.ads  3238e783 EE NE OO PK
W html_lexer%s		html_lexer.adb		html_lexer.ali
W opentoken%s		opentoken.adb		opentoken.ali
W opentoken.text_feeder%s  opentoken-text_feeder.ads  opentoken-text_feeder.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-stream.ads		20140122164720 1a984740
D a-string.ads		20070406091342 90ac6797
D a-strbou.ads		20101008130255 9806fe84
D a-strbou.adb		20090409150019 adb4aa70
D a-strmap.ads		20090409150019 9cb836fb
D a-strsup.ads		20120309145048 a27dcb33
D a-strunb.ads		20120426100351 3f91d4c5
D a-tags.ads		20111212115430 6c0509d0
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D html_lexer.ads	20140221201457 f4062920
D html_lexer-task_unsafe.ads  20140221201457 a98abc67
D html_lexer-task_unsafe.adb  20140221201457 6045ba94
D interfac.ads		20140225151838 69adb1b9
D opentoken.ads		20140221201457 fc81ed4c
D opentoken-recognizer.ads  20140221201457 ddbf64ff
D opentoken-text_feeder.ads  20140221201457 6fb472c4
D opentoken-token.ads	20140221201457 1cfab97b
D opentoken-token-enumerated.ads  20140221201457 caac1aa4
D opentoken-token-enumerated-analyzer.ads  20140221201457 f81dc7e8
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-exctab.ads		20140225151139 54135002
D s-finmas.ads		20140225151139 814daec4
D s-finroo.ads		20120426095924 4ff27390
D s-imenne.ads		20140225151139 614c06c0
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-string.ads		20140225151139 8fe54fb7
D s-ststop.ads		20140225151139 e6693757
D s-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
X 1 ada.ads
16K9*Ada 19e8 18|43r20
X 7 a-string.ads
16K13*Strings 35e16 18|43r24
X 12 a-strunb.ads
76K21*Unbounded 489e26 18|43r32
94V13*To_Unbounded_String{79R9} 18|43s42
X 16 html_lexer.ads
29K9*HTML_Lexer 157e15 17|28r9 43r5 18|27r14 60r5
42n7*Bad_Token{39E9} 18|29r83
52n7*Start_Tag_Opener{39E9} 18|48r12
53n7*End_Tag_Opener{39E9} 18|48r31
54n7*Tag_Closer{39E9} 18|51r12
87R9*HTML_Token 100e14 17|41r31 18|36r31 37r16
96e7*Name{39E9} 18|42m10 47r19
97r7*Lexeme{12|79R9} 18|43m10
98i7*Line{natural} 18|44m10
99i7*Column{natural} 18|45m10
104K12 Tokenizer[25|64] 18|29r15 29r37 39r7 42r20 43r63 44r20 45r20 49r10
. 52r10
152V13 Text_Syntax{25|85A9[104]} 18|29s59 52s42
153V13 Tag_Syntax{25|85A9[104]} 18|49s42
X 17 html_lexer-task_unsafe.ads
28K20*Task_Unsafe 16|29k9 17|43l16 43e27 18|27b25 60l16 60t27
39U14*Initialize 39>26 18|31b14 34l8 34t18
39p26 Input_Feeder{22|35P9} 18|31b26 33r33
41V13*Next_Token{16|87R9} 18|36b13 58l8 58t18
X 18 html_lexer-task_unsafe.adb
29r4 Analyzer{25|87R9[16|104]} 33m7 33r7 39m28 39r28 42r34 43r81 44r36 45r38
. 49m32 49r32 52m32 52r32
37r7 Result{16|87R9} 41m7 47r12 57r14
X 20 opentoken.ads
42K9*OpenToken 17|27r6 39r44 18|31r44 20|78e14
X 22 opentoken-text_feeder.ads
32K19*Text_Feeder 17|27w16 39r54 18|31r54 22|63e26
35P9*Text_Feeder_Ptr(34R9) 17|39r66 18|31r66
X 24 opentoken-token-enumerated.ads
153H9*Source<23|44R9>
X 25 opentoken-token-enumerated-analyzer.ads
78R9*Recognizable_Token
85A9*Syntax(78R9[16|104])<16|39E9>
87R9*Instance<24|153R9[16|103]> 18|29r25[16|104]
113V13*Initialize{87R9[16|104]} 18|29s47[16|104]
115e7 Default{66E12[16|104]} 18|29r72[16|104]
153U14*Set_Syntax 18|49s20[16|104] 52s20[16|104]
158U14*Set_Text_Feeder 18|33s16[16|104]
209U25*Find_Next<23|96p14> 18|39s17[16|104]
223V13*Line{natural} 18|44s30[16|104]
230V13*Column{natural} 18|45s30[16|104]
255V13*ID{66E12[16|104]} 18|42s30[16|104]
257V24*Lexeme{string}<24|161p13> 18|43s73[16|104]