/usr/lib/ada/adalib/anet/anet-sockets-packet.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 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 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 | 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 SS ZX
RN
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTIONS
RV NO_FINALIZATION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U anet.sockets.packet%b anet-sockets-packet.adb 20db7781 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.byte_swapping%s anet-byte_swapping.adb anet-byte_swapping.ali
W anet.constants%s anet-constants.ads anet-constants.ali
W anet.errno%s anet-errno.adb anet-errno.ali
W anet.net_ifaces%s anet-net_ifaces.adb anet-net_ifaces.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.packet%s anet-sockets-thin-packet.ads anet-sockets-thin-packet.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
U anet.sockets.packet%s anet-sockets-packet.ads 0cd7fcf8 EE OO PF PK
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.types%s anet-types.adb anet-types.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 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 a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D anet.ads 20160718084454 db94a232 anet%s
D anet-byte_swapping.ads 20160718084454 5c646e80 anet.byte_swapping%s
D anet-constants.ads 20160718084454 ee8dd842 anet.constants%s
D anet-errno.ads 20160718084454 56fdad5f anet.errno%s
D anet-net_ifaces.ads 20160718084454 1f5f83f6 anet.net_ifaces%s
D anet-os_constants.ads 20160718084454 790c2382 anet.os_constants%s
D anet-socket_families.ads 20160718084454 09edb115 anet.socket_families%s
D anet-sockets.ads 20160718084454 ec471120 anet.sockets%s
D anet-sockets-packet.ads 20160718084454 696845b8 anet.sockets.packet%s
D anet-sockets-packet.adb 20160718084454 6ed414aa anet.sockets.packet%b
D anet-sockets-thin.ads 20160718084454 5b615886 anet.sockets.thin%s
D anet-sockets-thin-packet.ads 20160718084454 dc2cbef8 anet.sockets.thin.packet%s
D anet-types.ads 20160718084454 89f8a860 anet.types%s
D gnat.ads 20140801083227 fd2ad2f1 gnat%s
D g-os_lib.ads 20090409150019 0db74523 gnat.os_lib%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-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s
D s-oscons.ads 20160724174210 4bd50652 system.os_constants%s
D s-os_lib.ads 20151118101046 53e9e388 system.os_lib%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
D s-secsta.ads 20140225151139 86a2856d system.secondary_stack%s
D s-soflin.ads 20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
D s-stoele.adb 20140801093848 ed88f8fb system.storage_elements%b
D s-stopoo.ads 20131010103753 b16154c2 system.storage_pools%s
D s-string.ads 20140225151139 8fe54fb7 system.strings%s
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
X 1 ada.ads
16K9*Ada 19e8 16|46r16 55r20 56r20 17|92r20 93r20 95r16 119r34 127r16
X 3 a-finali.ads
53U14*Initialize<27|44p14>
X 4 a-stream.ads
36K13*Streams 87e16 16|46r20 55r24 56r24 17|92r24 93r24 95r20 119r38 127r20
42M9*Stream_Element
44I9*Stream_Element_Offset<long_long_integer> 16|56r32 17|93r32 95r28 119r46
54A9*Stream_Element_Array(42M9)<44I9> 16|46r28 55r32 17|92r32 127r28
X 8 anet.ads
36K9*Anet 136e9 16|24r6 26r9 90r5 17|24r6 25r6 26r6 27r6 28r6 30r14 160r5
38I9*Byte<short_integer>
51I9*Double_Byte<integer> 17|34r50
71A9*Hardware_Addr_Type(38I9)<68I9> 16|28r31 47r16 54r20 17|91r20 128r16
74V13*To_String{string} 17|152s38 157s12
74a24 Address{71A9} 17|152r49 157r23
116X4*Socket_Error 17|115r19
X 9 anet-byte_swapping.ads
24K14*Byte_Swapping 42e23 17|28w11 69r25 83r25
26V13*Host_To_Network{8|51I9} 17|69s39 83s39
26i30 Input{8|51I9} 17|70r16 84r16
X 10 anet-constants.ads
28K14*Constants 77e19 17|27w11 35r30 36r30
68N4*ETH_P_ALL 17|36r40
69N4*ETH_P_IP 17|35r40
X 11 anet-errno.ads
34K14*Errno 49e15 17|24w11 50r7 116r17 149r7
37V13*Get_Errno_String=41:27{string} 17|116s23
45U14*Check_Or_Raise 17|50s13 149s13
46i7 Result{24|35I9} 17|51r10 150r10
47a7 Message{string} 17|55r10 151r10
X 12 anet-net_ifaces.ads
26K14*Net_Ifaces 52e20 17|25w11 48r35 134r37
28V13*Get_Iface_Index{positive} 17|48s46 134s48
28a30 Name{20|31A9} 17|48r63 135r38
X 14 anet-socket_families.ads
28K14*Socket_Families 46e25 17|67r25 81r25
34n7*Family_Packet{30E9} 17|67r41 81r41
X 15 anet-sockets.ads
31K14*Sockets 8|36k9 15|191e17 16|26r14 90r10 17|26r11 30r19 160r10
34n7*Datagram_Socket{33E9} 17|68r25
35n7*Raw_Socket{33E9} 17|82r25
42H9*Socket_Type<3|50R9> 150e14 16|36r44 82r44
45U14*Close
48U14*Send
53U14*Receive
61U14*Listen
68U14*Set_Nonblocking_Mode
72h9*Dgram_Socket_Type 16|62r10 71r10 85r10 88r10
110U14*Set_Socket_Option
116U14*Set_Socket_Option
148i7*Sock_FD{24|35I9} 17|52r31 104r49 142r26
149i7*Protocol{8|51I9} 17|47r53 137r55
153U14 Finalize<3|54p14>
156U14 Init 17|66s7 80s7
157r7 Socket{16|61R9} 17|66r13 80r13
158e7 Family{14|30E9} 17|67r13 81r13
159e7 Mode{33E9} 17|68r13 82r13
160i7 Protocol{8|51I9} 17|69r13 83r13
163U14 Check_Complete_Send 17|153s7
164a7 Item{4|54A9} 17|154r10
165i7 Result{24|37I9} 17|155r10
166a7 Error_Msg{string} 17|156r10
173n7 Recv_Op_Ok{172E9} 17|117r15
174n7 Recv_Op_Aborted{172E9} 17|113r42
175n7 Recv_Op_Error{172E9} 17|114r15
176n7 Recv_Op_Orderly_Shutdown{172E9} 17|113r15
179V13 Check_Receive{172E9} 17|111s12
179i28 Result{24|37I9} 17|111r27
X 16 anet-sockets-packet.ads
26K22*Packet 15|31k14 16|82E9 90l18 90e24 17|30b27 160l18 160t24
28A12*Ether_Addr_Type{8|71A9}<8|68I9>
31E9*Protocol_Type 33e24 67r25 77r25 17|34r32 63r25 77r25
32n7*Proto_Packet_Ip{31E9} 67r42 17|35r10 63r42
33n7*Proto_Packet_All{31E9} 77r42 17|36r10 77r42
36H9*Packet_Socket_Type<15|42R9> 3|53P14 15|45p14 48p14 53p14 61p14 68p14
. 110p14 116p14 153P14 156p14 16|39p14 40r23 44p14 45r16 52p14 53r20 61r32
. 70r32 82c9 82e72 84r32 87r32 17|42r23 90r20 126r16 27|42p14
39U14*Bind 40=7 41>7 17|41b14 57l8 57t12
40r7 Socket{36R9} 17|42b7 47r46 52r24
41a7 Iface{20|31A9} 17|43b7 48r71 56r20
44U14*Send 45>7 46>7 47>7 48>7 17|125b14 158l8 158t12
45r7 Socket{36R9} 17|126b7 137r48 142r19
46a7 Item{4|54A9} 17|127b7 143r19 144r19 154r23
47a7 To{8|71A9} 17|128b7 136r30 139r29 139r43 152r60 157r34
48a7 Iface{20|31A9} 17|129b7 135r46 152r20
52U14*Receive 53>7 54<7 55<7 56<7 17|89b14 121l8 121t15
53r7 Socket{36R9} 17|90b7 104r42
54a7 Src{8|71A9} 17|91b7 101m7 118m13 118r59
55a7 Item{4|54A9} 17|92b7 105m42 105r42 106r42 119r21
56i7 Last{4|44I9} 17|93b7 102m7 119m13
61R9*UDP_Socket_Type<36R9><15|72R9> 3|53P14 15|45p14 48p14 53p14 61p14 68p14
. 110p14 116p14 153P14 156p14 16|39p14 44p14 52p14 65p14 66r25 84c9 85e44
. 17|62r25 27|42p14
65U14*Init 66=7 67>7 17|61b14 71l8 71t12
66r7 Socket{61R9} 17|62b7 66m25
67e7 Protocol{31E9} 17|63b7 70r36
70R9*Raw_Socket_Type<36R9><15|72R9> 3|53P14 15|45p14 48p14 53p14 61p14 68p14
. 110p14 116p14 153P14 156p14 16|39p14 44p14 52p14 75p14 76r25 87c9 88e44
. 17|76r25 27|42p14
75U14*Init 76=7 77>7 17|75b14 85l8 85t12
76r7 Socket{70R9} 17|76b7 80m25
77e7 Protocol{31E9} 17|77b7 84r36
X 17 anet-sockets-packet.adb
32K12 C=32:33 47r28 48r28 97r15 99r23 131r17 134r30 137r30 150r21
34a4 Protocols(8|51I9) 70r25 84r25
45r7 Value{19|27R9} 47m7 48m7 53m24 53r24 54r24
97i7 Res{24|37I9} 104m7 111r37 119r69
98r7 Saddr{19|27R9} 99r32 108m42 108r42 118r21 118r36
99i7 Len{24|35I9} 109m42 109r42
131i7 Res{24|37I9} 141m7 150r28 155r23
132r7 Ll_Dest{19|27R9} 134m7 136m7 137m7 139m7 146m19 146r19 147r19
X 18 anet-sockets-thin.ads
26K22*Thin 17|26r19 45r15 51r21 98r15 104r14 132r17 141r14 18|135e22
53V13*C_Bind{24|35I9} 17|51s26
54i7 S{24|35I9} 17|52r13
55m7 Name{25|67M9} 17|53r13
56m7 Namelen{24|45M9} 17|54r13
75V13*C_Recvfrom{24|37I9} 17|104s19
76i7 S{24|35I9} 17|104r31
77m7 Msg{25|67M9} 17|105r31
78m7 Len{24|60M9} 17|106r31
79i7 Flags{24|35I9} 17|107r31
80m7 From{25|67M9} 17|108r31
81p7 Fromlen(24|35I9) 17|109r31
93V13*C_Sendto{24|37I9} 17|141s19
94i7 S{24|35I9} 17|142r10
95m7 Buf{25|67M9} 17|143r10
96m7 Len{24|60M9} 17|144r10
97i7 Flags{24|35I9} 17|145r10
98m7 To{25|67M9} 17|146r10
99m7 Tolen{24|45M9} 17|147r10
X 19 anet-sockets-thin-packet.ads
25K27*Packet 17|26w24 45r20 98r20 132r22 19|46e29
27R9*Sockaddr_Ll_Type 17|45r27 98r27 132r29 19|42e14
30m7*Sa_Protocol{24|44M9} 17|47m13 137m15
32i7*Sa_Ifindex{24|35I9} 17|48m13 134m15
38m7*Sa_Halen{24|47M9} 17|136m15
40a7*Sa_Addr{8|71A9} 17|118r27 118r42 139m15
X 20 anet-types.ads
26K14*Types 16|24w11 41r23 48r16 17|43r23 129r16 20|37e15
31A9*Iface_Name_Type(character)<integer> 16|41r29 48r22 17|43r29 129r22
X 23 interfac.ads
38K9*Interfaces 17|32r22 23|183e15
X 24 i-c.ads
18K20*C 17|32r33 24|230e17
35I9*int<integer> 17|48r30 99r25 134r32 150r23
37I9*long<long_integer> 17|97r17 131r19
44M9*unsigned_short 17|47r30 137r32
45M9*unsigned_long
47M9*unsigned_char
60M9*size_t
X 25 system.ads
67M9*Address
X 27 s-finroo.ads
42U14*Adjust
|