/usr/lib/ada/adalib/anet/anet-receivers-stream.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 | 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 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_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 7938cf2e 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 12157813 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
D a-except.ads 20140129161953 f86a4103
D a-finali.ads 20111121113555 52ecdc1b
D a-stream.ads 20140122164720 1a984740
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_constants.ads 20140811220322 bdafab0d
D anet-receivers.ads 20140811220322 fd0eebef
D anet-receivers-stream.ads 20140811220322 9340fb26
D anet-receivers-stream.adb 20140811220322 ea783408
D anet-socket_families.ads 20140811220322 09edb115
D anet-sockets.ads 20140811220322 7c5b68da
D interfac.ads 20140225151838 69adb1b9
D i-c.ads 20110801143639 5421119b
D system.ads 20140730121111 90249111
D s-atacco.ads 20120515093410 4c36d12f
D s-exctab.ads 20140225151139 54135002
D s-finmas.ads 20140225151139 814daec4
D s-finroo.ads 20120426095924 4ff27390
D s-linux.ads 20140409145429 5b2f79a5
D s-multip.ads 20101011073009 38ac9f73
D s-oscons.ads 20140730121112 a445b120
D s-osinte.ads 20140409145429 59011f13
D s-parame.ads 20140225151139 ab8cb46a
D s-pooglo.ads 20110804083314 542f33d0
D s-soflin.ads 20140225151139 aa763b52
D s-stache.ads 20140225151139 a37c21ec
D s-stausa.ads 20110804134155 017a0a05
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-tasinf.ads 20120730151500 21316953
D s-taspri.ads 20110927094500 15f617a8
D s-taskin.ads 20140131154341 3f821f32
D s-taprob.ads 20110927094500 502249e3
D s-tpoben.ads 20121029113218 b641f948
D s-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
X 1 ada.ads
16K9*Ada 19e8 11|28r18 36r24 40r23 41r23 42r23 77r24 12|27r23 28r23 29r23
. 119r25 121r37 123r37
X 4 a-stream.ads
36K13*Streams 84e16 11|28r22 36r28 40r27 41r27 42r27 77r28 12|27r27 28r27
. 29r27 119r29 121r41 123r41
42M9*Stream_Element
44I9*Stream_Element_Offset<long_integer> 11|28r30 36r36 42r35 77r36 12|29r35
. 119r37 123r49
51A9*Stream_Element_Array(42M9)<44I9> 11|40r35 41r35 12|27r35 28r35 121r49
X 7 anet.ads
36K9*Anet 136e9 11|24r6 34r9 102r5 12|24r14 161r5
X 10 anet-receivers.ads
28K14*Receivers 7|36k9 10|82e19 11|34r14 102r10 12|24r19 161r10
30M9*Count_Type 11|51r65 12|33r65
32P9*Error_Handler_Callback 11|63r25 85r37 12|63r25 83r24 96r44
33r7 E{2|62R9} 12|150r35
34b7 Stop_Flag{boolean} 12|151r35
40U14 No_Op_Cb 12|83r50
46W19 Trigger_Type 70e20 11|97r19
48U17 Activate 12|54s24
51U17 Shutdown 12|74s24
54Y13 Stop 12|109s28 126s34
57U17 Signal_Termination 12|158s22
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|137s33
X 11 anet-receivers-stream.ads
28i4 Buffer_Size{4|44I9} 77r61 12|122r24
31R9 Socket_Type<14|69R9> 46r44 94r27 98r19 14|72p14 77p14 85p14 90p14
34k24*Stream 10|28k14 11|28z4 31z9 77E4 102l20 102e26 12|24b29 161l20 161t26
36i4*Buffsize{4|44I9} 77c4
39P9*Rcv_Send_Callback 40>7 41<7 42<7 56r25 81r26 12|51r25 82r24 89r33
40a7 Recv_Data{4|51A9} 12|140r19
41a7 Send_Data{4|51A9} 12|141r19
42i7 Send_Last{4|44I9} 12|142r19
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 159l8 159t21
81Y13 Listen 81>21 12|56s23 89b20 92l17 92t23
81p21 Cb{39P9} 12|56r31 91r33
85Y13 Set_Error_Handler 85>32 12|66s23 96b20 99l17 99t34
85p32 Cb{10|32P9} 12|66r42 98r34
96w7 Rcv_Count{10|73W19} 12|36r23 137m23
97w7 Trigger{10|46W19} 12|44r23 54m16 74m16 75m16 109m20 126m26 158m14
98*7 S_Comm{31R9} 12|113m37 129r26 144r23
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|51A9}
28a7 Send_Data{4|51A9}
29i7 Send_Last{4|44I9}
82p7 Data_Callback{11|39P9} 91m16 139r16
83p7 Error_Callback{10|32P9} 98m16 150r19
84b7 Stop{boolean} 151m48 151r48 152r22
86l7 Setup_Loop 94r18 104l16 104e26
89p28 Cb{11|39P9}
96p39 Cb{10|32P9}
106l7 Main_Loop 110r18 127r24 153r27 157l16 157e25
116l10 Processing_Loop 135r21 156l19 156e34
121a16 R_Buffer{4|51A9} 129m50 140r32 140r42
121a26 S_Buffer{4|51A9} 141m32 145r27 146r22
123i16 R_Last{4|44I9} 130m50 135r42 140r60
123i24 S_Last{4|44I9} 142m32 146r40
149r21 Ex{2|62R9} 150r48
X 14 anet-sockets.ads
31K14*Sockets 11|24w11 31r36 14|187e17
69h9*Stream_Socket_Type 11|31r44
72x14*Send 12|144s30
74a7 Item{4|51A9} 12|145r19
77x14*Receive 12|129s33
79a7 Item{4|51A9} 12|129r42
80i7 Last{4|44I9} 12|130r42
85x14*Listen 12|55s18
90x14*Accept_Connection 12|112s26
92*7 New_Socket{11|31R9} 12|113r16
X 30 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
|