libanet0.3.1-dev 0.3.1-1ubuntu1 / usr / lib / ada / adalib / anet / anet-udp.ali

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_EXCEPTIONS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U anet.udp%b		anet-udp.adb		a96a31e0 NE OO PK
W ada.exceptions%s	a-except.adb		a-except.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.util%s		anet-util.adb		anet-util.ali
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali
W system.img_int%s	s-imgint.adb		s-imgint.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali

U anet.udp%s		anet-udp.ads		a023ac7c EE OO PK
W ada.tags%s		a-tags.adb		a-tags.ali
W anet%s		anet.adb		anet.ali
W system%s		system.ads		system.ali
W system.exception_table%s  s-exctab.adb	s-exctab.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali

D ada.ads		20070406091342 3ffc8e18
D a-except.ads		20140129161953 f86a4103
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-byte_swapping.ads  20140811220322 5c646e80
D anet-constants.ads	20140811220322 ee8dd842
D anet-udp.ads		20140811220322 a60ee9d9
D anet-udp.adb		20140811220322 a2e27fdd
D anet-util.ads		20140811220322 1f6f1126
D interfac.ads		20140225151838 69adb1b9
D i-c.ads		20110801143639 5421119b
D system.ads		20140730121111 90249111
D s-exctab.ads		20140225151139 54135002
D s-imgint.ads		20090409150019 02dbe0c2
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-traent.ads		20140225151139 b5116092
X 1 ada.ads
16K9*Ada 19e8 9|30r18 35r14 40r16 10|30r8 77r20 87r20 122r18 127r14 155r16
X 3 a-stream.ads
36K13*Streams 84e16 9|30r22 35r18 40r20 10|30r12 77r24 87r24 122r22 127r18
. 155r20
42M9*Stream_Element 10|73r42
44I9*Stream_Element_Offset<long_integer> 10|96r33 99r30
51A9*Stream_Element_Array(42M9)<44I9> 9|30r30 35r26 40r28 10|50r6 72r34 77r32
. 87r32 102r23 122r30 127r26 155r28
X 6 anet.ads
36K9*Anet 136e9 9|24r9 50r5 10|24r6 25r6 26r6 28r14 190r5
38I9*Byte<short_integer> 10|55r24 56r24
51I9*Double_Byte<integer> 10|33r16 34r16 35r16 36r16 57r24 80r14 90r14 137r19
. 139r19 165r27
63I12*Port_Type{51I9} 9|33r18 34r18 10|125r18 126r18
80A9*IPv4_Addr_Type(38I9)<integer> 9|31r18 32r18 41r16 42r16 10|53r24 54r24
. 78r20 79r20 88r20 89r20 123r18 124r18 156r16 157r16
X 7 anet-byte_swapping.ads
24K14*Byte_Swapping 42e23 10|24w11 109r36 136r25 138r25 140r25 142r25 174r18
26V13*Host_To_Network{6|51I9} 10|109s50 136s39 138s39 140s39 142s39
26i30 Input{6|51I9} 10|110r10 137r10 139r10 141r10 143r10
34V13*Network_To_Host{6|51I9} 10|174s32
34i30 Input{6|51I9} 10|174r49
X 8 anet-constants.ads
28K14*Constants 77e19 10|25w11 108r36
30K12*Sys=30:31 10|108r46
X 9 anet-udp.ads
24K14*UDP 6|36k9 9|50l10 50e13 10|28b19 190l10 190t13
26N4*UDP_Header_Length 10|50r33 168r41 180r28
29V13*Create_Header{3|51A9} 30>7 31>7 32>7 33>7 34>7 10|121b13 150l8 150t21
30a7 Payload{3|51A9} 10|122b7 141r19 145r27
31a7 Src_IP{6|80A9} 10|123b7 146r27
32a7 Dst_IP{6|80A9} 10|124b7 147r27
33i7 Src_Port{6|63I12} 10|125b7 137r32
34i7 Dst_Port{6|63I12} 10|126b7 139r32
39U14*Validate_Checksum 40>7 41>7 42>7 10|154b14 188l8 188t25
40a7 Packet{3|51A9} 10|155b7 167r21 168r10 168r26 179r24 180r13 180r49
41a7 Src_IP{6|80A9} 10|156b7 181r24
42a7 Dst_IP{6|80A9} 10|157b7 182r24
48X4*Invalid_UDP_Packet 10|185r16
X 10 anet-udp.adb
32R9 Raw_UDP_Hdr_Type 37e14 40r8 47r8 132r17 162r17
33i7*Source{6|51I9} 41r7 136m15
34i7*Dest{6|51I9} 42r7 138m15
35i7*Len{6|51I9} 43r7 140m15
36i7*Check{6|51I9} 44r7 135m15 142m15 170r18 174r66 175m15
49A12 Raw_UDP_Hdr_Buffer_Type{3|51A9}<3|44I9> 76r20 86r20 129r20 159r20
52R9 Pseudo_Hdr_Type 58e14 61r8 69r8 70r8 73r12 93r23
53a7*Source_Address{6|80A9} 62r7 105m18
54a7*Dest_Address{6|80A9} 63r7 106m18
55i7*Reserved{6|38I9} 64r7 107m18
56i7*Protocol{6|38I9} 65r7 108m18
57i7*Length{6|51I9} 66r7 109m18
72A12 Pseudo_Buffer_Type{3|51A9}<3|44I9> 92r23
75V13 Compute_Checksum{6|51I9} 76>7 77>7 78>7 79>7 85b13 117l8 117t24 143s19
. 177s19
76a7 Hdr_Buffer{49A12} 86b7 100r58 103r38 110r36 113r47 144r13 178r10
77a7 Payload{3|51A9} 87b7 103r58 110r19 114r69 145r13 179r10
78a7 Src_IP{6|80A9} 88b7 105r36 146r13 181r10
79a7 Dst_IP{6|80A9} 89b7 106r36 147r13 182r10
92a7 Pseudo_Buffer{72A12} 94m34 94r34 97r14 103r15 112r47
93r7 Pseudo_Hdr{52R9} 94m11 94r11 105m7 106m7 107m7 108m7 109m7
96I15 Pseudo_Hdr_Idx{3|44I9} 100r9 100r36 112r22
99I15 UDP_Hdr_Idx{3|44I9} 113r22 114r22
102a7 Chksum_Buffer{3|51A9} 112m7 113m7 114m7 114r46 116r53
129a7 Hdr_Buffer{49A12} 130r11 133m31 133r31 141r36 144r27 149r14
132r7 UDP_Hdr{32R9} 133m11 133r11 135m7 136m7 138m7 140m7 142m7
159a7 Hdr_Buffer{49A12} 160r11 163m31 163r31 167m7 178r24
162r7 UDP_Hdr{32R9} 163m11 163r11 170r10 174r58 175m7
165i7 Chk_Pkt{6|51I9} 174m7 184r22 185r64
165i16 Chk_Calc{6|51I9} 177m7 184r10 186r38
X 11 anet-util.ads
24K14*Util 10|26w11 116r14 11|43e14
26V13*Calculate_One_Complement{6|51I9} 10|116s19
27a7 Data{3|51A9} 10|116r45
X 17 s-oscons.ads
265N4*IPPROTO_UDP 10|108r50