This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/html_lexer-task_unsafe.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
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_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  db59d04c 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  16b630e0 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	20150510192240 d088fe43
D html_lexer-task_unsafe.ads  20150510192240 a98abc67
D html_lexer-task_unsafe.adb  20150510192240 72d36c2b
D interfac.ads		20140225151838 69adb1b9
D opentoken.ads		20150510192240 8bdd0f75
D opentoken-recognizer.ads  20150510192240 ddbf64ff
D opentoken-text_feeder.ads  20150510192240 6fb472c4
D opentoken-token.ads	20150510192240 f518d836
D opentoken-token-enumerated.ads  20150510192240 fdf7729b
D opentoken-token-enumerated-analyzer.ads  20150510192240 a2547c7a
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-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 158e15 17|28r9 43r5 18|27r14 60r5
42n7*Bad_Token{39E9} 18|29r90
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
105K12 Tokenizer[25|54] 18|29r24 29r44
153V13 Text_Syntax{25|72A9[105]} 18|29s66 52s31
154V13 Tag_Syntax{25|72A9[105]} 18|49s31
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
29p4 Analyzer{25|75P9[16|105]} 33r7 39r7 42r20 43r63 44r20 45r20 49r10 52r10
37r7 Result{16|87R9} 41m7 47r12 57r14
X 20 opentoken.ads
42K9*OpenToken 17|27r6 39r44 18|31r44 20|82e14
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
177H9*Source<23|47R9>
X 25 opentoken-token-enumerated-analyzer.ads
65R9*Recognizable_Token
72A9*Syntax(65R9[16|105])<16|39E9>
74R9*Instance<24|177R9[16|103]>
75P9*Handle(74R9[16|105]) 18|29r34[16|105]
103V13*Initialize{75P9[16|105]} 18|29s54[16|105]
105e7 Default{24|61E12[16|103]} 18|29r79[16|105]
145U14*Set_Syntax 18|49s19[16|105] 52s19[16|105]
150U14*Set_Text_Feeder 18|33s16[16|105]
191U25*Find_Next<23|102p14> 18|39s16[16|105]
205V13*Line{natural} 18|44s29[16|105]
213V13*Column{natural} 18|45s29[16|105]
235V13*ID{24|61E12[16|103]} 18|42s29[16|105]
237V24*Lexeme{string}<24|187p13> 18|43s72[16|105]