This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-token-enumerated-list.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
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_ALLOCATORS
RV NO_DISPATCHING_CALLS
RV NO_IO
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U opentoken.token.enumerated.list%b  opentoken-token-enumerated-list.adb  f9b76cd9 NE OO PK GE
W ada%s			ada.ads			ada.ali
W ada.text_io%s		a-textio.adb		a-textio.ali
W ada.unchecked_deallocation%s
W opentoken.token.enumerated%s  opentoken-token-enumerated.adb  opentoken-token-enumerated.ali

U opentoken.token.enumerated.list%s  opentoken-token-enumerated-list.ads  63afa1a3 BN EE NE OO PK GE
W opentoken.token%s	opentoken-token.adb	opentoken-token.ali
W opentoken.token.enumerated%s  opentoken-token-enumerated.adb  opentoken-token-enumerated.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-strmap.ads		20090409150019 9cb836fb
D a-strsup.ads		20120309145048 a27dcb33
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 interfac.ads		20140225151838 69adb1b9
D i-cstrea.ads		20130412125801 8128536b
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-list.ads  20150510192240 9e58d338
D opentoken-token-enumerated-list.adb  20150510192240 aed814e4
D opentoken-token-linked_list.ads  20150510192240 6abdfc9f
D system.ads		20151121115557 90249111
D s-crtl.ads		20140225151544 840e6817
D s-exctab.ads		20140225151139 54135002
D s-ficobl.ads		20120709130952 55a71d43
D s-finmas.ads		20140225151139 814daec4
D s-finroo.ads		20120426095924 4ff27390
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-stratt.ads		20131014135145 aedef97e
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 25|28r6 29r6 32r26 33r26 235r10 238r13
X 14 a-textio.ads
49K13*Text_IO 471e16 25|29w10 235r14 238r17
242U14*Put 25|235s22 238s25
X 16 a-uncdea.ads
20u15*Unchecked_Deallocation 25|28w10 32r30 33r30
X 19 opentoken.ads
42K9*OpenToken 82e14 24|34r9 140r5 25|30r14 34r7 34r41 50r32 53r23 61r32
. 73r18 74r18 78r23 83r26 89r18 94r23 108r18 112r23 160r22 172r22 219r63
. 243r5
X 22 opentoken-token.ads
36K19*Token 19|42k9 22|163e20 24|34r19 140r15 25|30r24 34r17 34r51 50r42
. 53r33 61r42 73r28 74r28 78r33 83r36 89r28 94r33 108r28 112r33 160r32 172r32
. 219r73 243r15
X 23 opentoken-token-enumerated.ads
47E9 Token_ID 24|103r53 25|224r53
59k25*Enumerated 22|36k19 23|205e31 24|34r25 140r21 25|30r30 34r23 34r57
. 50r48 53r39 61r48 73r34 74r34 78r39 83r42 89r34 94r39 108r34 112r39 160r38
. 172r38 219r79 243r21
66C12*Class<64R9> 24|45r32 51r29 52r29 57r29 60r29 25|34r34 50r59 53r50 73r45
. 74r45 78r50 83r53 89r45 94r50 108r45 112r50
68P9*Handle(66C12) 24|46r32 69r18 70r18 75r18 102r63 112r22 117r22 126r15
. 25|34r68 61r59 139r18 140r18 151r18 160r49 172r49 219r90
71V13*Image{string}<22|45p13> 25|235R44
156V13*ID{47E9} 25|226s14
X 24 opentoken-token-enumerated-list.ads
34k36 List 23|59k25 24|123E9 140l32 140e36 25|30b41 243l32 243t36
36R9*Instance 38r25 40p13 40r31 45p13 45r46 46p13 46r47 51p14 52r43 57p14
. 58r29 58r46 59p14 59r29 60r43 65p14 65r29 66r29 66r46 68p14 71r13 73p14
. 74r18 76r13 82p14 82r35 90p13 90r41 110p14 111r22 115p14 116r22 119p14
. 119r31 130c9 133e14 138r25 25|36r31 50r73 61r74 75r13 90r18 91r13 107r18
. 109r13 128r18 129r18 130r13 141r13 150r18 152r13 159r22 171r22 185r35 202r41
. 229r31
38r4*Null_List{36R9} 138c4
40V13*Length{natural} 40>21 25|36b13 48l8 48t14
40r21 Item{36R9} 25|36b21 38r33
45V13*Only{36R9} 45>19 25|50b13 59l8 59t12
45c19 Subject{23|66C12} 25|50b19 53r57
46V13*Only{36R9} 46>19 25|61b13 70l8 70t12
46p19 Subject{23|68P9} 25|61b19 64r19
51V14*"&"{36R9} 51>18 52>18 25|72b14 86l9 86t11
51c18 Left{23|66C12} 25|73b7 83r60
52c18 Right{23|66C12} 25|74b7 78r57
57V14*"&"{36R9} 57>18 58>18 25|88b14 104l9 104t11
57c18 Left{23|66C12} 25|89b7 94r57
58r18 Right{36R9} 25|90b7 95r19 97r36
59V14*"&"{36R9} 59>18 60>18 25|106b14 125l9 125t11
59r18 Left{36R9} 25|107b7 117r10 120r28 121r10
60c18 Right{23|66C12} 25|108b7 112r57
65V14*"&"{36R9} 65>18 66>18 25|127b14 136l9 136t11
65r18 Left{36R9} 25|128b7 132r7 134r18
66r18 Right{36R9} 25|129b7 132r25 135r18
68V14*"&"{36R9} 69>7 70>7 25|138b14 147l9 147t11
69p7 Left{23|68P9} 25|139b7 144r55
70p7 Right{23|68P9} 25|140b7 143r55
73V14*"&"{36R9} 74>7 75>7 25|149b14 156l9 156t11
74r7 Left{36R9} 25|150b7 154r7 155r15 155r26
75p7 Right{23|68P9} 25|151b7 154r40
82U14*Clean 82=21 25|185b14 200l8 200t13
82r21 List{36R9} 25|185b21 187r31 198m7 199m7
84P9*List_Iterator<124P9> 85r29 90r58 96r44 97r38 99r39 99r61 100r33 100r55
. 102r41 103r31 135c9 136r29 25|202r58 204r14 207r44 210r22 214r39 214r61
. 216r14 219r41 224r31 231r11
85p4*Null_Iterator{84P9} 136c4 25|234r24 237r18
90V13*Initial_Iterator{84P9} 90>31 25|202b13 205l8 205t24 231s28
90r31 List{36R9} 25|202b31 204r29
96U14*Next_Token 96=26 97r61 25|207b14 212l8 212t18 236s10
96p26 Iterator{84P9} 25|207b26 209r10 210m10 210r37
97U14*Next=97:61
97p20 Iterator{84P9}
99V13*Next_Token{84P9} 99>25 100r77 25|214b13 217l8 217t18
99p25 Iterator{84P9} 25|214b25 216r29
100V13*Next=100:77{84P9}
100p19 Iterator{84P9}
102V13*Token_Handle{23|68P9} 102>27 25|219b13 222l8 222t20 226s18 235s27
102p27 Iterator{84P9} 25|219b27 221r14
103V13*ID{23|47E9} 103>17 25|224b13 227l8 227t10
103p17 Iterator{84P9} 25|224b17 226r32
110U14*Enqueue 111=7 112>7 25|158b14 168l8 168t15
111r7 List{36R9} 25|159b7 162r84 164r10 165m10 167m7
112p7 Token{23|68P9} 25|160b7 162r68
115U14*Append 116=7 117>7 25|170b14 183l8 183t14
116r7 List{36R9} 25|171b7 176r10 177m10 179r10 182m7
117p7 Token{23|68P9} 25|172b7 174r59
119U14*Print 119>21 25|229b14 241l8 241t13
119r21 Item{36R9} 25|229b21 231r46
123R9 List_Node 124r33 125c9 128e14 25|32r54 52r48 63r48 77r50 82r26 93r49
. 111r48 143r44 144r44 154r29 162r48 174r48
124P9 List_Node_Ptr(123R9) 127r15 131r14 132r14 135r30 25|32r65 38r16 52r27
. 63r27 77r29 93r28 97r19 111r27 115r20 143r23 144r23 162r27 174r27 187r14
. 188r14
126p7 Token{23|68P9} 25|53m10 64m10 78m10 83m13 94m10 112m10 162m59 193m21
. 221r23
127p7 Next{124P9} 25|44r25 54m10 65m10 79m10 84m13 95m10 113m10 121m20 132m17
. 154m17 155r36 162m75 179m20 192r23 210r46 216r38
131p7 Head{124P9} 25|38r38 57m10 68m10 82m10 95r25 102m15 120r33 123m15 132r31
. 134m10 134r23 155r20 162r89 167m12 177m15 187r36 198m12 204r34
132p7 Tail{124P9} 25|58m10 69m10 85m10 97r42 103m15 117r15 121r14 121r15
. 124m15 132r11 132r12 135m10 135r24 154r11 154r12 155r30 155r31 164r15 165m15
. 176r15 179r14 179r15 182m12 199m12
X 25 opentoken-token-enumerated-list.adb
32U14 Free[16|20] 194s10
33U14 Free[16|20] 193s10
38p7 Node{24|124P9} 42r20 44m10 44r20
39i7 Result{natural} 43m10 43r20 47r14
52p7 New_Node{24|124P9} 57r18 58r18
63p7 New_Node{24|124P9} 68r18 69r18
77p7 Right_Node{24|124P9} 84r22 85r22
93p7 Left_Node{24|124P9} 100r23 102r23
97p7 Last_Node{24|124P9} 99r10 100m10 103r23
111p7 New_Node{24|124P9} 118r24 121r28 124r23
115p7 First_Node{24|124P9} 118m10 120m10 123r23
143p7 Tail{24|124P9} 144r61 146r21
144p7 Head{24|124P9} 146r15
162p7 New_Node{24|124P9} 165r23 167r20
174p7 New_Node{24|124P9} 177r23 179r28 182r20
187p7 Node{24|124P9} 191r13 192r18 193r16 194m16 194r16 195m10
188p7 Next{24|124P9} 192m10 195r18
231p7 I{24|84P9} 234r20 235r41 236m22 236r22 237r13