This file is indexed.

/usr/lib/ada/adalib/anet/anet-receivers-stream.ali is in libanet1-dev 0.3.3-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
V "GNAT Lib v6"
A -O2
A -gnatyg
A -gnatyA
A -gnatyd
A -gnatyI
A -gnatyS
A -gnatyu
A -gnatyx
A -gnatyo
A -gnatVa
A -gnat05
A -gnatf
A -fstack-check=specific
A -gnato
A -g
A -gnatwa
A -gnatwl
A -gnatwe
A -g
A -fstack-protector-strong
A -gnatA
P DB ZX

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_SELECT_STATEMENTS
RV NO_TASKING
RV NO_TERMINATE_ALTERNATIVES
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
RV MAX_SELECT_ALTERNATIVES=3
RV MAX_TASK_ENTRIES=2
RV MAX_ASYNCHRONOUS_SELECT_NESTING=1+
RV MAX_ENTRY_QUEUE_LENGTH=1+

U anet.receivers.stream%b  anet-receivers-stream.adb  2509c751 NE OO PK GE
W ada.exceptions%s	a-except.adb		a-except.ali
W anet.receivers%s	anet-receivers.adb	anet-receivers.ali

U anet.receivers.stream%s  anet-receivers-stream.ads  820901e9 BN EE NE OO PK GE
W anet%s		anet.adb		anet.ali
W anet.receivers%s	anet-receivers.adb	anet-receivers.ali
W anet.sockets%s	anet-sockets.adb	anet-sockets.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-except.ads		20151016123252 291912d5 ada.exceptions%s
D a-finali.ads		20151020095656 bf4f806b ada.finalization%s
D a-stream.ads		20141120112812 119b8fb3 ada.streams%s
D a-tags.ads		20151016130316 01f5e3ef ada.tags%s
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D anet.ads		20160718084454 db94a232 anet%s
D anet-constants.ads	20160718084454 ee8dd842 anet.constants%s
D anet-os_constants.ads	20160718084454 790c2382 anet.os_constants%s
D anet-receivers.ads	20160718084454 fd0eebef anet.receivers%s
D anet-receivers-stream.ads  20160718084454 9340fb26 anet.receivers.stream%s
D anet-receivers-stream.adb  20160718084454 b6493c77 anet.receivers.stream%b
D anet-socket_families.ads  20160718084454 09edb115 anet.socket_families%s
D anet-sockets.ads	20160718084454 ec471120 anet.sockets%s
D interfac.ads		20151118101227 4be8ce1b interfaces%s
D i-c.ads		20110801143639 5421119b interfaces.c%s
D system.ads		20151123113124 6326c08a system%s
D s-atacco.ads		20120515093410 4c36d12f system.address_to_access_conversions%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-finroo.ads		20120426095924 4ff27390 system.finalization_root%s
D s-linux.ads		20150107101203 2fda6ad1 system.linux%s
D s-multip.ads		20101011073009 38ac9f73 system.multiprocessors%s
D s-oscons.ads		20160724174210 4bd50652 system.os_constants%s
D s-osinte.ads		20151016132500 64f6e3c7 system.os_interface%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-soflin.ads		20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads		20140225151139 a37c21ec system.stack_checking%s
D s-stausa.ads		20110804134155 017a0a05 system.stack_usage%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-stopoo.ads		20131010103753 b16154c2 system.storage_pools%s
D s-tasinf.ads		20140613095942 2b3f8252 system.task_info%s
D s-taspri.ads		20141120144719 e3ab4429 system.task_primitives%s
D s-taskin.ads		20151023124846 0766baa7 system.tasking%s
D s-taprob.ads		20110927094500 502249e3 system.tasking.protected_objects%s
D s-tpoben.ads		20121029113218 b641f948 system.tasking.protected_objects.entries%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads		20140731130224 9d58a4c0 system.unsigned_types%s
X 1 ada.ads
16K9*Ada 19e8 11|28r18 36r24 40r23 41r23 42r23 77r24 12|27r23 28r23 29r23
. 120r28 122r40 124r40
X 4 a-stream.ads
36K13*Streams 87e16 11|28r22 36r28 40r27 41r27 42r27 77r28 12|27r27 28r27
. 29r27 120r32 122r44 124r44
42M9*Stream_Element
44I9*Stream_Element_Offset<long_long_integer> 11|28r30 36r36 42r35 77r36
. 12|29r35 120r40 124r52
54A9*Stream_Element_Array(42M9)<44I9> 11|40r35 41r35 12|27r35 28r35 122r52
X 7 anet.ads
36K9*Anet 136e9 11|24r6 34r9 102r5 12|24r14 163r5
X 10 anet-receivers.ads
28K14*Receivers 7|36k9 10|82e19 11|34r14 102r10 12|24r19 163r10
30M9*Count_Type 11|51r65 12|33r65
32P9*Error_Handler_Callback 11|63r25 85r37 12|63r25 83r24 97r47
33r7 E{2|63R9} 12|151r38
34b7 Stop_Flag{boolean} 12|152r38
40U14 No_Op_Cb 12|83r50
46W19 Trigger_Type 70e20 11|97r19
48U17 Activate 12|54s24
51U17 Shutdown 12|74s24
54Y13 Stop 12|110s31 127s37
57U17 Signal_Termination 12|159s25
61Y13 Wait_For_Termination 12|75s24
64V16 Is_Listening{boolean} 12|44s31
73W19 Protected_Count_Type 78e28 11|96r19
74V16 Get{30M9} 12|36s33
75U17 Increment 12|138s36
X 11 anet-receivers-stream.ads
28i4 Buffer_Size{4|44I9} 77r61 12|123r27
31R9 Socket_Type<14|75R9> 46r44 94r27 98r19 14|78p14 83p14 91p14 96p14
34k24*Stream 10|28k14 11|28z4 31z9 77E4 102l20 102e26 12|24b29 163l20 163t26
36i4*Buffsize{4|44I9} 77c4
39P9*Rcv_Send_Callback 40>7 41<7 42<7 56r25 81r26 12|51r25 82r24 90r36
40a7 Recv_Data{4|54A9} 12|141r22
41a7 Send_Data{4|54A9} 12|142r22
42i7 Send_Last{4|44I9} 12|143r22
46R9*Receiver_Type 46d24 51p13 51r43 54p14 55r25 61p14 62r25 69p14 69r38
. 72p13 72r38 79r54 93c9 99r44 100e14 12|33r43 41r38 50r25 62r25 71r38
51V13*Get_Rcv_Msg_Count{10|30M9} 51>32 12|33b13 37l8 37t25
51r32 Receiver{46R9} 12|33b32 36r14
54U14*Listen 55=7 56>7 12|49b14 57l8 57t14
55r7 Receiver{46R9} 12|50b7 54r7 55r7 56r7
56p7 Callback{39P9} 12|51b7 56r37
61U14*Register_Error_Handler 62=7 63>7 12|61b14 67l8 67t30
62r7 Receiver{46R9} 12|62b7 66r7
63p7 Callback{10|32P9} 12|63b7 66r48
69U14*Stop 69=20 12|71b14 76l8 76t12
69r20 Receiver{46R9} 12|71b20 74r7 75r7
72V13*Is_Listening{boolean} 72>27 12|41b13 45l8 45t20
72r27 Receiver{46R9} 12|41b27 44r14
79T14 Receiver_Task 79d29 91l8 91e21 99r19 12|80b14 161l8 161t21
81Y13 Listen 81>21 12|56s23 90b23 93l20 93t26
81p21 Cb{39P9} 12|56r31 92r36
85Y13 Set_Error_Handler 85>32 12|66s23 97b23 100l20 100t37
85p32 Cb{10|32P9} 12|66r42 99r37
96w7 Rcv_Count{10|73W19} 12|36r23 138m26
97w7 Trigger{10|46W19} 12|44r23 54m16 74m16 75m16 110m23 127m29 159m17
98*7 S_Comm{31R9} 12|114m40 130r29 145r26
99t7 R_Task{79T14} 12|56m16 66m16
X 12 anet-receivers-stream.adb
26U14 Empty_Cb 27>7 28<7 29<7 82r50
27a7 Recv_Data{4|54A9}
28a7 Send_Data{4|54A9}
29i7 Send_Last{4|44I9}
82p7 Data_Callback{11|39P9} 92m19 140r19
83p7 Error_Callback{10|32P9} 99m19 151r22
84b7 Stop{boolean} 152m51 152r51 153r25
87l10 Setup_Loop 95r21 105l19 105e29
90p31 Cb{11|39P9}
97p42 Cb{10|32P9}
107l10 Main_Loop 111r21 128r27 154r30 158l19 158e28
117l13 Processing_Loop 136r24 157l22 157e37
122a19 R_Buffer{4|54A9} 130m53 141r35 141r45
122a29 S_Buffer{4|54A9} 142m35 146r30 147r25
124i19 R_Last{4|44I9} 131m53 136r45 141r63
124i27 S_Last{4|44I9} 143m35 147r43
150r24 Ex{2|63R9} 151r51
X 14 anet-sockets.ads
31K14*Sockets 11|24w11 31r36 14|191e17
75h9*Stream_Socket_Type 11|31r44
78x14*Send 12|145s33
80a7 Item{4|54A9} 12|146r22
83x14*Receive 12|130s36
85a7 Item{4|54A9} 12|130r45
86i7 Last{4|44I9} 12|131r45
91x14*Listen 12|55s18
96x14*Accept_Connection 12|113s29
98*7 New_Socket{11|31R9} 12|114r19
X 28 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22