This file is indexed.

/usr/lib/ada/adalib/anet/anet-sockets-unix.ali is in libanet0.3.1-dev 0.3.1-1ubuntu1.

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
V "GNAT Lib v4.9"
A -O2
A -fstack-check=specific
A -fstack-protector-strong
A -gnatyg
A -gnatyA
A -gnatyd
A -gnatyI
A -gnatyS
A -gnatyu
A -gnatyx
A -gnatyo
A -gnatVa
A -gnat05
A -gnatf
A -gnato
A -g
A -gnatwa
A -gnatwl
A -gnatwe
A -g
A -gnatA
P DB SS ZX

RN
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_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 anet.sockets.unix%b	anet-sockets-unix.adb	8c48b269 NE OO PK
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W anet%s		anet.adb		anet.ali
W anet.os%s		anet-os.adb		anet-os.ali
W anet.sockets%s	anet-sockets.adb	anet-sockets.ali
W interfaces%s		interfac.ads		interfac.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
W system.standard_library%s  s-stalib.adb	s-stalib.ali

U anet.sockets.unix%s	anet-sockets-unix.ads	3d7b1c6e EE OO PF PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.strings%s		a-string.ads		a-string.ali
W ada.strings.unbounded%s  a-strunb.adb		a-strunb.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W anet%s		anet.adb		anet.ali
W anet.sockets%s	anet-sockets.adb	anet-sockets.ali
W anet.sockets.thin%s	anet-sockets-thin.ads	anet-sockets-thin.ali
W anet.sockets.thin.unix%s  anet-sockets-thin-unix.ads  anet-sockets-thin-unix.ali
W system%s		system.ads		system.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.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-strmap.ads		20090409150019 9cb836fb
D a-strunb.ads		20120426100351 3f91d4c5
D a-tags.ads		20111212115430 6c0509d0
D a-unccon.ads		20070406091342 f9eb8f06
D anet.ads		20140811220322 062d45a5
D anet-constants.ads	20140811220322 ee8dd842
D anet-os.ads		20140811220322 548be767
D anet-os_constants.ads	20140811220322 bdafab0d
D anet-socket_families.ads  20140811220322 09edb115
D anet-sockets.ads	20140811220322 7c5b68da
D anet-sockets-thin.ads	20140811220322 82a2527c
D anet-sockets-thin-unix.ads  20140811220322 4abc779e
D anet-sockets-unix.ads	20140811220322 340dd7ef
D anet-sockets-unix.adb	20140811220322 ecce82e1
D interfac.ads		20140225151838 69adb1b9
D i-c.ads		20110801143639 5421119b
D system.ads		20140730121111 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-oscons.ads		20140730121112 a445b120
D s-parame.ads		20140225151139 ab8cb46a
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-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
X 1 ada.ads
16K9*Ada 19e8 20|24r14 69r20 70r20 94r14 21|81r22 91r38 152r20 153r20 155r33
X 5 a-finali.ads
58U14*Initialize<29|44p14>
X 6 a-stream.ads
36K13*Streams 84e16 20|69r24 70r24 21|152r24 153r24
42M9*Stream_Element
44I9*Stream_Element_Offset<long_integer> 20|70r32 21|153r32
51A9*Stream_Element_Array(42M9)<44I9> 20|69r32 21|152r32
X 7 a-string.ads
16K13*Strings 35e16 20|24r18 94r18 21|81r26 91r42 155r37
X 9 a-strunb.ads
76K21*Unbounded 489e26 20|24w26 94r26 21|81r34 91r50 155r45
79R9*Unbounded_String<5|48R9> 473e14 20|94r36
94V13*To_Unbounded_String{79R9} 21|81s44
100V13*To_String{string} 21|91s60 155s55
X 12 anet.ads
36K9*Anet 136e9 20|26r6 28r9 103r5 21|24r6 26r14 162r5
113N4*C_Failure 21|76r16 113r16
116V13*Get_Errno_String{string} 21|51s31 78s38 115s38
X 14 anet-os.ads
24K14*OS 43e12 21|24w11 68r7 91r10
34U14*Delete_File 21|68s10 91s13
35s7 Filename{string} 21|68r23 91r26
X 16 anet-socket_families.ads
28K14*Socket_Families 46e25 21|125r23 135r23
35n7*Family_Unix{30E9} 21|125r39 135r39
X 17 anet-sockets.ads
31K14*Sockets 12|36k9 17|187e17 20|26r11 28r14 103r10 21|26r19 162r10
34n7*Datagram_Socket{33E9} 21|126r23
36n7*Stream_Socket{33E9} 21|136r23
42H9*Socket_Type<5|55R9> 146e14 20|42r42 93r42 21|93r10 157r7
45U14*Close 21|93s31
48U14*Send
53U14*Receive 21|157s28
55a7 Item{6|51A9} 21|157r37
56i7 Last{6|44I9} 21|158r37
61U14*Listen
66h9*Dgram_Socket_Type 20|60r10 98r10
69h9*Stream_Socket_Type 20|78r10 101r10
104U14*Set_Socket_Option
110U14*Set_Socket_Option
116X4*Socket_Error 21|50r19 77r16 114r16
144i7*Sock_FD{23|35I9} 21|40m18 42r47 53m24 72r45 90r17 109r48
149U14 Finalize<5|59p14>
152U14 Init 21|124s7 134s7
153r7 Socket{20|59R9} 21|124r13 134r13
154e7 Family{16|30E9} 21|125r13 135r13
155e7 Mode{33E9} 21|126r13 136r13
179n7 Accept_Op_Ok{178E9} 21|52r15
180n7 Accept_Op_Aborted{178E9} 21|48r15
181n7 Accept_Op_Error{178E9} 21|49r15
184V13 Check_Accept{178E9} 21|46s12
184i27 Result{23|35I9} 21|46r26
X 18 anet-sockets-thin.ads
26K22*Thin 128e22 20|26r19 30r46 21|37r14 42r14 66r16 72r14 105r16 109r14
53V13*C_Bind{23|35I9} 21|72s19
54i7 S{23|35I9} 21|72r27
55m7 Name{24|64M9} 21|73r27
56m7 Namelen{23|45M9} 21|74r27
60V13*C_Connect{23|35I9} 21|109s19
61i7 S{23|35I9} 21|109r30
62m7 Name{24|64M9} 21|110r30
63m7 Namelen{23|45M9} 21|111r30
112V13*C_Accept{23|35I9} 21|42s19
113i7 S{23|35I9} 21|42r29
114m7 Name{24|64M9} 21|43r29
115p7 Namelen(23|35I9) 21|44r29
X 19 anet-sockets-thin-unix.ads
23K27*Unix 37e27 20|26w24 30r51 21|37r19 66r21 105r21
25N4*UNIX_PATH_MAX 20|30r56
27R9*Sockaddr_Un_Type 33e14 21|37r24 66r26 105r26
30a7*Pathname{23|79A9} 21|70m13 107m13
X 20 anet-sockets-unix.ads
28K22*Unix 17|31k14 20|93E9 103l18 103e22 21|26b27 162l18 162t22
30I12*Path_Range{positive} 33r29 36r41 21|144r29
33A9*Path_Type(character)<integer> 36r30 51r23 56r23 21|62r23 101r23 159r41
36A12*Full_Path_Type{33A9}<integer> 68r20 21|151r20
39V13*Is_Valid{boolean} 39>23 21|141b13 145l8 145t16
39s23 Path{string} 21|141b23 144r14
42H9*Unix_Socket_Type<17|42R9> 5|58P14 17|48p14 53p14 61p14 104p14 110p14
. 149P14 152p14 20|46P14 46r37 49p14 50r23 54p14 55r23 59r32 77r32 93c9 95e14
. 97r32 100r32 21|61r23 87r37 100r23 29|42p14
46U14*Close<17|45p14> 46=21 21|87b14 95l8 95t13
46r21 Socket{42R9} 21|87b21 90r10 92r27 93m23 93r23
49U14*Bind 50=7 51>7 21|60b14 83l8 83t12
50r7 Socket{42R9} 21|61b7 72r38 81m7
51a7 Path{33A9} 21|62b7 65r57 68r43 78r22 82r18
54U14*Connect 55=7 56>7 21|99b14 117l8 117t15
55r7 Socket{42R9} 21|100b7 109r41
56a7 Path{33A9} 21|101b7 104r57 115r22
59R9*UDP_Socket_Type<42R9><17|66R9> 5|58P14 17|48p14 53p14 61p14 104p14 110p14
. 149P14 152p14 20|46P14 49p14 54p14 63p14 63r36 66p14 67r20 97c9 98e44 21|121r36
. 150r20 29|42p14
63U14*Init 63=20 21|121b14 127l8 127t12
63r20 Socket{59R9} 21|121b20 124m23
66U14*Receive 67>7 68<7 69<7 70<7 21|149b14 160l8 160t15
67r7 Socket{59R9} 21|150b7 155r66 157r20
68a7 Src{36A12} 21|151b7 159m7 159r12
69a7 Item{6|51A9} 21|152b7 157m45
70i7 Last{6|44I9} 21|153b7 158m45
77R9*TCP_Socket_Type<42R9><17|69R9> 5|58P14 17|48p14 53p14 61p14 104p14 110p14
. 149P14 152p14 20|46P14 49p14 54p14 81p14 81r36 85P14 86r24 87r24 100c9
. 101e45 21|33r24 34r24 131r36 29|42p14
81U14*Init 81=20 21|131b14 137l8 137t12
81r20 Socket{77R9} 21|131b20 134m23
85U14*Accept_Connection<17|90p14> 86>7 87<7 21|32b14 56l8 56t25
86r7 Socket{77R9} 21|33b7 42r40 54r35
87r7 New_Socket{77R9} 21|34b7 40m7 53m13 54m13
94r7 Path{9|79R9} 21|54m24 54r42 81m14 92r34 155r73
X 21 anet-sockets-unix.adb
28K12 C=28:33 36r14 38r22 64r16 65r25 65r41 103r16 104r25 104r41
36i7 Res{23|35I9} 42m7 46r36 53r35
37r7 Sock{19|27R9} 38r31 43m40 43r40
38i7 Len{23|35I9} 44m40 44r40
64i7 Res{23|35I9} 72m7 76r10
65a7 C_Path{23|79A9} 70r28 70r46
66r7 Value{19|27R9} 70m7 73m38 73r38 74r38
103i7 Res{23|35I9} 109m7 113r10
104a7 C_Path{23|79A9} 107r28 107r46
105r7 Value{19|27R9} 107m7 110m41 110r41 111r41
155a7 Path{string} 159r25 159r52
X 22 interfac.ads
38K9*Interfaces 21|28r22 22|179e15
X 23 i-c.ads
18K20*C 21|28r33 23|230e17
35I9*int<integer> 21|36r16 38r24 64r18 103r18
45M9*unsigned_long
72E9*char<character>
79A9*char_array(72E9)<60M9> 21|65r27 104r27
84V13*To_C{79A9} 21|65s43 104s43
X 24 system.ads
64M9*Address
X 29 s-finroo.ads
42U14*Adjust