V "GNAT Lib v15"
A -O3
A -gnatA
A -ffunction-sections
A -fdata-sections
A -gnata
A -gnato1
A -gnatVa
A -gnatwa
A -gnatwJ
A -gnatwK
A -gnat2022
A -mcpu=arm1176jzf-s
A -mfloat-abi=hard
A -mfpu=vfpv2
A -mtls-dialect=gnu
A -marm
A -mlibarch=armv6kz+fp
A -march=armv6kz+fp
P SS ZX

RN
RV NO_CALENDAR
RV NO_DELAY
RV NO_DISPATCH
RV NO_DISPATCHING_CALLS
RV NO_ENUMERATION_MAPS
RV NO_FINALIZATION
RV NO_IMPLICIT_CONDITIONALS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_IMPLICIT_LOOPS
RV NO_ELABORATION_CODE

U aws.net.websocket.protocol.rfc6455%b  aws-net-websocket-protocol-rfc6455.adb  26f03e56 OO PK IU
W ada%s			ada.ads			ada.ali
W ada.strings%s		a-string.ads		a-string.ali
W ada.strings.fixed%s	a-strfix.adb		a-strfix.ali
Z ada.strings.text_buffers%s  a-sttebu.adb	a-sttebu.ali
Z ada.tags%s		a-tags.adb		a-tags.ali
W aws%s			aws.ads			aws.ali
W aws.messages%s	aws-messages.adb	aws-messages.ali
W aws.net%s		aws-net.adb		aws-net.ali
W aws.net.buffered%s	aws-net-buffered.adb	aws-net-buffered.ali
W aws.net.websocket.protocol%s  aws-net-websocket-protocol.ads  aws-net-websocket-protocol.ali
W aws.translator%s	aws-translator.adb	aws-translator.ali
W gnat%s		gnat.ads		gnat.ali
W gnat.byte_swapping%s	g-bytswa.adb		g-bytswa.ali
W gnat.sha1%s		g-sha1.ads		g-sha1.ali
W system%s		system.ads		system.ali
Z system.assertions%s	s-assert.adb		s-assert.ali
Z system.secondary_stack%s  s-secsta.adb	s-secsta.ali
Z system.storage_elements%s  s-stoele.ads	s-stoele.ali
Z system.unsigned_types%s  s-unstyp.ads		s-unstyp.ali
Z system.val_uns%s	s-valuns.ads		s-valuns.ali

U aws.net.websocket.protocol.rfc6455%s  aws-net-websocket-protocol-rfc6455.ads  60fd7c7f EE OO PF PK IU
Z ada.exceptions%s	a-except.adb		a-except.ali
Z ada.streams%s		a-stream.adb		a-stream.ali
Z ada.strings.text_buffers%s  a-sttebu.adb	a-sttebu.ali
Z ada.tags%s		a-tags.adb		a-tags.ali
W aws.net.websocket.protocol%s  aws-net-websocket-protocol.ads  aws-net-websocket-protocol.ali
Z system%s		system.ads		system.ali
Z system.put_images%s	s-putima.adb		s-putima.ali
Z system.return_stack%s	s-retsta.ads		s-retsta.ali
Z system.secondary_stack%s  s-secsta.adb	s-secsta.ali
Z system.stream_attributes%s  s-stratt.adb	s-stratt.ali
Z system.wch_stw%s	s-wchstw.adb		s-wchstw.ali

D ada.ads		20250808065140 76789da1 ada%s
D a-assert.ads		20250808065140 ba465f5c ada.assertions%s
D a-calend.ads		20250808065140 bf7f3cc9 ada.calendar%s
D a-charac.ads		20250808065140 2d3ec45b ada.characters%s
D a-chlat1.ads		20250808065140 e0d72e76 ada.characters.latin_1%s
D a-comlin.ads		20250808065140 4aa66568 ada.command_line%s
D a-contai.ads		20250808065140 61e5e089 ada.containers%s
D a-cdlili.ads		20250808065140 2434d8f6 ada.containers.doubly_linked_lists%s
D a-cohata.ads		20250808065140 bea783e3 ada.containers.hash_tables%s
D a-conhel.ads		20250808065140 46fe1ce3 ada.containers.helpers%s
D a-cihama.ads		20250808065140 42861819 ada.containers.indefinite_hashed_maps%s
D a-cihase.ads		20250808065140 b5cdb105 ada.containers.indefinite_hashed_sets%s
D a-coinho.ads		20250808065140 8f8529e2 ada.containers.indefinite_holders%s
D a-ciorma.ads		20250808065140 1fd25f9a ada.containers.indefinite_ordered_maps%s
D a-coinve.ads		20250808065140 b20d0098 ada.containers.indefinite_vectors%s
D a-crbltr.ads		20250808065140 d3d16ba4 ada.containers.red_black_trees%s
D a-convec.ads		20250808065140 91fb49f3 ada.containers.vectors%s
D a-direct.ads		20250808065140 467e87a1 ada.directories%s
D a-envvar.ads		20250808065140 00080416 ada.environment_variables%s
D a-except.ads		20250808065140 e7970cd9 ada.exceptions%s
D a-finali.ads		20250808065140 bf4f806b ada.finalization%s
D a-ioexce.ads		20250808065140 40018c65 ada.io_exceptions%s
D a-iteint.ads		20250808065140 49a8bee2 ada.iterator_interfaces%s
D a-numeri.ads		20250808065140 84bea7a3 ada.numerics%s
D a-nubinu.ads		20250808065140 93f1f3d1 ada.numerics.big_numbers%s
D a-nbnbig.ads		20250808065140 31ff4aa1 ada.numerics.big_numbers.big_integers_ghost%s
D a-reatim.ads		20250808065140 d11673fd ada.real_time%s
D a-stream.ads		20250808065140 17477cbd ada.streams%s
D a-string.ads		20250808065140 90ac6797 ada.strings%s
D a-secain.ads		20250808065140 37402117 ada.strings.equal_case_insensitive%s
D a-strfix.ads		20250808065140 8648dedb ada.strings.fixed%s
D a-strhas.ads		20250808065140 e06866e7 ada.strings.hash%s
D a-shcain.ads		20250808065140 08af52df ada.strings.hash_case_insensitive%s
D a-strmap.ads		20250808065140 1f91ebb6 ada.strings.maps%s
D a-stmaco.ads		20250808065140 4b1f2a0b ada.strings.maps.constants%s
D a-strsea.ads		20250808065140 18c3c634 ada.strings.search%s
D a-sttebu.ads		20250808065140 f1ad67a2 ada.strings.text_buffers%s
D a-strunb.ads		20250808065140 b10770ab ada.strings.unbounded%s
D a-stuten.ads		20250808065140 c6ced0ae ada.strings.utf_encoding%s
D a-tags.ads		20250808065140 fbca0ad5 ada.tags%s
D a-tasatt.ads		20250808065140 a641cb7e ada.task_attributes%s
D a-taside.ads		20250808065140 c0a7c8d8 ada.task_identification%s
D a-taster.ads		20250808065140 fe3f8ac8 ada.task_termination%s
D a-unccon.ads		20250808065140 0e9b276f ada.unchecked_conversion%s
D a-uncdea.ads		20250808065140 c3a8ac65 ada.unchecked_deallocation%s
D aws.ads		20250822150029 d28ddbae aws%s
D aws-attachments.ads	20250822150028 2270236e aws.attachments%s
D aws-client.ads	20250822150028 f468f4fb aws.client%s
D aws-config.ads	20250822150028 17e5b2cd aws.config%s
D aws-containers.ads	20250822150028 c7ab8288 aws.containers%s
D aws-containers-memory_streams.ads  20250822150028 ea28c859 aws.containers.memory_streams%s
D aws-containers-string_vectors.ads  20250822150028 b5692847 aws.containers.string_vectors%s
D aws-containers-tables.ads  20250822150028 dda133b5 aws.containers.tables%s
D aws-default.ads	20250822150028 9ec982b1 aws.default%s
D aws-headers.ads	20250822150028 25633780 aws.headers%s
D aws-messages.ads	20250822150028 0ce1462a aws.messages%s
D aws-mime.ads		20250822150028 796c9a32 aws.mime%s
D aws-net.ads		20250822150029 4345e169 aws.net%s
D aws-net-buffered.ads	20250822150029 98a7e729 aws.net.buffered%s
D aws-net-log.ads	20250822150029 dca57234 aws.net.log%s
D aws-net-ssl.ads	20250822150029 0e3b7ef4 aws.net.ssl%s
D aws-net-ssl.adb	20250822150029 172950c9 aws.net.ssl%b
D aws-net-ssl-certificate.ads  20250822150029 4eafed25 aws.net.ssl.certificate%s
D aws-net-ssl-certificate-impl.ads  20250822150029 4789c570 aws.net.ssl.certificate.impl%s
D aws-net-ssl-rsa_dh_generators.ads  20250822150029 5a71331d aws.net.ssl.rsa_dh_generators%s
D aws-net-std.ads	20250822150029 956a50f7 aws.net.std%s
D aws-net-std.adb	20250822150029 e3290d32 aws.net.std%b
D aws-net-websocket.ads	20250822150029 d604c0d4 aws.net.websocket%s
D aws-net-websocket.adb	20250822150029 30cb3be7 aws.net.websocket%b
D aws-net-websocket-protocol.ads  20250822150029 e28a7cae aws.net.websocket.protocol%s
D aws-net-websocket-protocol-draft76.ads  20250822150029 82f78b7e aws.net.websocket.protocol.draft76%s
D aws-net-websocket-protocol-rfc6455.ads  20250822150029 827700d1 aws.net.websocket.protocol.rfc6455%s
D aws-net-websocket-protocol-rfc6455.adb  20250822150029 cc14dad7 aws.net.websocket.protocol.rfc6455%b
D aws-os_lib.ads	20250822150029 21ade907 aws.os_lib%s
D aws-parameters.ads	20250822150029 ff4aa491 aws.parameters%s
D aws-resources.ads	20250822150029 407ba395 aws.resources%s
D aws-resources-streams.ads  20250822150029 95c86167 aws.resources.streams%s
D aws-resources-streams-memory.ads  20250822150029 eb23d323 aws.resources.streams.memory%s
D aws-resources-streams-memory-zlib.ads  20250822150029 964b70a5 aws.resources.streams.memory.zlib%s
D aws-response.ads	20250822150029 907d00d3 aws.response%s
D aws-session.ads	20250822150029 7ee0b17c aws.session%s
D aws-status.ads	20250822150029 715df1ae aws.status%s
D aws-status-set.ads	20250822150029 5dfb9c81 aws.status.set%s
D aws-translator.ads	20250822150029 098e71c4 aws.translator%s
D aws-url.ads		20250822150029 62bbe824 aws.url%s
D aws-utils.ads		20250822150029 8ed0e56a aws.utils%s
D gnat.ads		20250808065140 b5988c27 gnat%s
D g-bytswa.ads		20250808065140 a4d21639 gnat.byte_swapping%s
D g-os_lib.ads		20250808065140 0db74523 gnat.os_lib%s
D g-regexp.ads		20250808065140 691be386 gnat.regexp%s
D g-sechas.ads		20250808065140 302163b5 gnat.secure_hashes%s
D g-sehash.ads		20250808065140 3c0b3e8a gnat.secure_hashes.sha1%s
D g-shsh32.ads		20250808065140 ff78221c gnat.secure_hashes.sha2_32%s
D g-shshco.ads		20250808065140 1144502c gnat.secure_hashes.sha2_common%s
D g-sha1.ads		20250808065140 077f0b47 gnat.sha1%s
D g-sha256.ads		20250808065140 c083f050 gnat.sha256%s
D g-socket.ads		20250808065140 6a480829 gnat.sockets%s
D interfac.ads		20250808065140 9111f9c1 interfaces%s
D i-c.ads		20250808065140 e94c966a interfaces.c%s
D i-cstrin.ads		20250808065140 5409c1a4 interfaces.c.strings%s
D memory_streams.ads	20250822150029 bf3b9ce5 memory_streams%s
D ssl.ads		20250822150029 3abd0079 ssl%s
D ssl-thin.ads		20250822150029 9f7bed1d ssl.thin%s
D system.ads		20250808065140 d0bef732 system%s
D s-atacco.ads		20250808065140 5868e3ba system.address_to_access_conversions%s
D s-arit64.ads		20250808065140 e45973b2 system.arith_64%s
D s-assert.ads		20250808065140 9c4520c7 system.assertions%s
D s-atocou.ads		20250808065140 dc18efc3 system.atomic_counters%s
D s-exctab.ads		20250808065140 91bef6ef system.exception_table%s
D s-finpri.ads		20250808065140 5970d55a system.finalization_primitives%s
D s-finroo.ads		20250808065140 0a7c3ed4 system.finalization_root%s
D s-imagef.ads		20250808065140 2a557a85 system.image_f%s
D s-imagei.ads		20250808065140 5e131ce0 system.image_i%s
D s-imageu.ads		20250808065140 b0b50650 system.image_u%s
D s-imfi64.ads		20250808065140 c2808cae system.img_fixed_64%s
D s-imgint.ads		20250808065140 67e4edfb system.img_int%s
D s-imglli.ads		20250808065140 d88f4f3b system.img_lli%s
D s-imguns.ads		20250808065140 c4e23690 system.img_uns%s
D s-linux.ads		20250808065140 34850a8c system.linux%s
D s-memory.ads		20250808065140 18949c1a system.memory%s
D s-multip.ads		20250808065140 38ac9f73 system.multiprocessors%s
D s-oscons.ads		20251021062004 42659860 system.os_constants%s
D s-osinte.ads		20250808065140 89e0af7e system.os_interface%s
D s-os_lib.ads		20250808065140 dd4133ed system.os_lib%s
D s-oslock.ads		20250808065140 13fa6b78 system.os_locks%s
D s-parame.ads		20250808065140 3597fc11 system.parameters%s
D s-pooglo.ads		20250808065140 91708d21 system.pool_global%s
D s-putima.ads		20250808065140 17291fe4 system.put_images%s
D s-regexp.ads		20250808065140 9c7d27a7 system.regexp%s
D s-retsta.ads		20250808065140 0f6b06cb system.return_stack%s
D s-secsta.ads		20250808065140 578279f5 system.secondary_stack%s
D s-soflin.ads		20250808065140 5d88fdea system.soft_links%s
D s-stache.ads		20250808065140 0b81c1fe system.stack_checking%s
D s-stausa.ads		20250808065140 5be75682 system.stack_usage%s
D s-stalib.ads		20250808065140 1c9580f6 system.standard_library%s
D s-stoele.ads		20250808065140 ccded4e8 system.storage_elements%s
D s-stopoo.ads		20250808065140 e9fa2dd8 system.storage_pools%s
D s-stposu.ads		20250808065140 e0b9fefd system.storage_pools.subpools%s
D s-stratt.ads		20250808065140 516607ae system.stream_attributes%s
D s-string.ads		20250808065140 582aac7d system.strings%s
D s-ststop.ads		20250808065140 c569db7c system.strings.stream_ops%s
D s-tasinf.ads		20250808065140 528dde74 system.task_info%s
D s-taspri.ads		20250808065140 1a856d40 system.task_primitives%s
D s-taprop.ads		20250808065140 750673ca system.task_primitives.operations%s
D s-taskin.ads		20250808065140 38289021 system.tasking%s
D s-taprob.ads		20250808065140 acd6094d system.tasking.protected_objects%s
D s-tpoben.ads		20250808065140 60ad3dae system.tasking.protected_objects.entries%s
D s-tpobop.ads		20250808065140 5f548bb3 system.tasking.protected_objects.operations%s
D s-tassta.ads		20250808065140 cca55c94 system.tasking.stages%s
D s-traent.ads		20250808065140 c81cbf8c system.traceback_entries%s
D s-unstyp.ads		20250808065140 fa2a7f59 system.unsigned_types%s
D s-vaenu8.ads		20250808065140 c24e5e75 system.val_enum_8%s
D s-valint.ads		20250808065140 8bab724f system.val_int%s
D s-valspe.ads		20250808065140 f810d31c system.val_spec%s
D s-valuns.ads		20250808065140 f7ddb71d system.val_uns%s
D s-valuei.ads		20250808065140 d9377ca5 system.value_i%s
D s-vaispe.ads		20250808065140 8280550e system.value_i_spec%s
D s-valuen.ads		20250808065140 5bd81154 system.value_n%s
D s-valueu.ads		20250808065140 a38d32a6 system.value_u%s
D s-vauspe.ads		20250808065140 89269ba5 system.value_u_spec%s
D s-vs_int.ads		20250808065140 06b6b724 system.vs_int%s
D s-vs_lli.ads		20250808065140 b945cf7d system.vs_lli%s
D s-vs_llu.ads		20250808065140 8f3536c5 system.vs_llu%s
D s-vs_uns.ads		20250808065140 e7f47a27 system.vs_uns%s
D s-wchcon.ads		20250808065140 d9032363 system.wch_con%s
D s-wchstw.ads		20250808065140 2d112c01 system.wch_stw%s
D templates_parser.ads	20250822150029 1cb5e754 templates_parser%s
D templates_parser-utils.ads  20250822150029 8849593d templates_parser.utils%s
D templates_parser_tasking.ads  20250822150029 4c0209f0 templates_parser_tasking%s
D zlib.ads		20250822150029 0714e1ed zlib%s
G a e
G c Z s b [send aws__net__websocket__protocol__rfc6455 36 25 none]
G c Z s b [send aws__net__websocket__protocol__rfc6455 42 25 none]
G c Z s b [close aws__net__websocket__protocol__rfc6455 49 25 none]
G c Z s b [receive aws__net__websocket__protocol__rfc6455 56 25 none]
G c Z s b [end_of_message aws__net__websocket__protocol__rfc6455 63 24 none]
G c Z s b [send_header aws__net__websocket__protocol__rfc6455 66 14 none]
G c Z s b [add_connect_headers aws__net__websocket__protocol__rfc6455 70 25 none]
G c Z s b [check_connect_response aws__net__websocket__protocol__rfc6455 74 24 none]
G c Z s s [Tmasking_keyBIP aws__net__websocket__protocol__rfc6455 85 4 none]
G c Z s s [stateDA aws__net__websocket__protocol__rfc6455 91 9 none]
G c Z s s [stateDF aws__net__websocket__protocol__rfc6455 91 9 none]
G c Z s s [stateIP aws__net__websocket__protocol__rfc6455 91 9 none]
G c Z b b [send_frame_header aws__net__websocket__protocol__rfc6455 91 14 none]
G c Z b b [send_frame aws__net__websocket__protocol__rfc6455 102 14 none]
G c Z b b [is_library_error aws__net__websocket__protocol__rfc6455 110 13 none]
G c Z b b [is_valid_close_code aws__net__websocket__protocol__rfc6455 113 13 none]
G c Z b b [get_websocket_accept aws__net__websocket__protocol__rfc6455 116 13 none]
G c Z b b [create_random_mask aws__net__websocket__protocol__rfc6455 119 13 none]
G c Z b b [frame_headerIP aws__net__websocket__protocol__rfc6455 62 9 none]
G r c none [send aws__net__websocket__protocol__rfc6455 36 25 none] [is_client_side aws__net__websocket 296 13 none]
G r c none [send aws__net__websocket__protocol__rfc6455 36 25 none] [random aws__utils 83 13 none]
G r c none [send aws__net__websocket__protocol__rfc6455 36 25 none] [write aws__net__buffered 51 14 none]
G r c none [send aws__net__websocket__protocol__rfc6455 36 25 none] [flush aws__net__buffered 55 14 none]
G r c none [send aws__net__websocket__protocol__rfc6455 42 25 none] [is_client_side aws__net__websocket 296 13 none]
G r c none [send aws__net__websocket__protocol__rfc6455 42 25 none] [random aws__utils 83 13 none]
G r c none [send aws__net__websocket__protocol__rfc6455 42 25 none] [write aws__net__buffered 51 14 none]
G r c none [send aws__net__websocket__protocol__rfc6455 42 25 none] [to_stream_element_array aws__translator 144 13 none]
G r c none [send aws__net__websocket__protocol__rfc6455 42 25 none] [flush aws__net__buffered 55 14 none]
G r c none [close aws__net__websocket__protocol__rfc6455 49 25 none] [to_stream_element_array aws__translator 144 13 none]
G r c none [close aws__net__websocket__protocol__rfc6455 49 25 none] [write aws__net__buffered 51 14 none]
G r c none [close aws__net__websocket__protocol__rfc6455 49 25 none] [flush aws__net__buffered 55 14 none]
G r c none [receive aws__net__websocket__protocol__rfc6455 56 25 none] [to_string aws__translator 138 13 none]
G r c none [receive aws__net__websocket__protocol__rfc6455 56 25 none] [is_valid_utf8 aws__utils 197 13 none]
G r c none [receive aws__net__websocket__protocol__rfc6455 56 25 none] [error aws__net__websocket 205 13 none]
G r c none [receive aws__net__websocket__protocol__rfc6455 56 25 none] [write aws__net__buffered 51 14 none]
G r c none [receive aws__net__websocket__protocol__rfc6455 56 25 none] [flush aws__net__buffered 55 14 none]
G r c none [send_header aws__net__websocket__protocol__rfc6455 66 14 none] [sec_websocket_key aws__status 164 13 none]
G r c none [send_header aws__net__websocket__protocol__rfc6455 66 14 none] [base64_encode aws__translator 90 13 none]
G r c none [send_header aws__net__websocket__protocol__rfc6455 66 14 none] [sec_websocket_accept aws__messages 366 13 none]
G r c none [send_header aws__net__websocket__protocol__rfc6455 66 14 none] [put_line aws__net__buffered 44 14 none]
G r c none [add_connect_headers aws__net__websocket__protocol__rfc6455 70 25 none] [random aws__utils 83 13 none]
G r c none [add_connect_headers aws__net__websocket__protocol__rfc6455 70 25 none] [add aws__containers__tables 129 14 none]
G r c none [add_connect_headers aws__net__websocket__protocol__rfc6455 70 25 none] [base64_encode aws__translator 90 13 none]
G r c none [check_connect_response aws__net__websocket__protocol__rfc6455 74 24 none] [get aws__containers__tables 75 13 none]
G r c none [check_connect_response aws__net__websocket__protocol__rfc6455 74 24 none] [base64_encode aws__translator 90 13 none]
G r c none [check_connect_response aws__net__websocket__protocol__rfc6455 74 24 none] [header aws__response 287 13 none]
G r s state [stateIP aws__net__websocket__protocol__rfc6455 91 9 none] [stateIP aws__net__websocket__protocol 38 9 none]
G r c none [send_frame_header aws__net__websocket__protocol__rfc6455 91 14 none] [write aws__net__buffered 51 14 none]
G r c none [send_frame aws__net__websocket__protocol__rfc6455 102 14 none] [write aws__net__buffered 51 14 none]
G r c none [send_frame aws__net__websocket__protocol__rfc6455 102 14 none] [flush aws__net__buffered 55 14 none]
G r c none [get_websocket_accept aws__net__websocket__protocol__rfc6455 116 13 none] [base64_encode aws__translator 90 13 none]
G r c none [create_random_mask aws__net__websocket__protocol__rfc6455 119 13 none] [random aws__utils 83 13 none]
X 1 ada.ads
18K9*Ada 22e8 73|34r6
X 10 a-conhel.ads
84R12 Reference_Control_Type<21|43R9>
X 23 a-iteint.ads
24h9 Forward_Iterator
32h9 Reversible_Iterator<24R9[14|78]>
X 28 a-stream.ads
42M9*Stream_Element 73|220r15
44I9*Stream_Element_Offset<long_long_integer> 72|60r22 92r23 93r23 73|95r21
. 219r18 261r22 267r44 278r18 279r18 294r21 296r33 297r24 298r24 299r24 303r17
. 343r18 365r34 374r34 378r15 430r18 574r39 579r41 595r32 641r29 673r36 709r21
54A9*Stream_Element_Array(42M9)<44I9> 72|39r18 59r22 85r28 73|106r18 134r11
. 213r16 260r22 270r39 277r39 331r18 335r18 339r18 382r24 456r26 588r17 614r18
. 637r17 663r18 683r17 717r18 721r18 725r18
X 29 a-string.ads
16K13*Strings 35e16 73|34r10 208r37 208r62
33n37*Both{33E9} 73|208r70
X 31 a-strfix.ads
49K21*Fixed 1390e22 73|34w18 208r45
1133V13*Trim{string} 73|208s51
X 38 a-strunb.ads
105R9*Unbounded_String<21|43R9> 1620e15 72|45r18 73|558r21
111V13*Length{natural} 73|561s41
236V13*Slice{string} 73|590s22
X 46 aws.ads
32K9*AWS 41e8 72|32r9 67r47 73r25 76r18 77r18 101r5 73|40r6 41r6 42r6 44r14
. 129r26 132r32 133r26 150r19 151r19 157r24 158r36 159r35 160r28 186r22 186r50
. 793r47 797r18 802r5
X 53 aws-containers-tables.ads
75V13*Get{string} 73|157s36
129U14*Add 73|137s15 138s15 139s15 140s15 141s15
X 55 aws-headers.ads
35K13*Headers 102e16 72|73r29 76r22 73|129r30 150r23 157r28
37R9*List<53|42R9> 97e70 72|73r37 76r30 73|129r38 150r31
X 56 aws-messages.ads
36K13*Messages 401e17 73|40w10 158r40 160r32 799r36
157a4*Sec_WebSocket_Accept_Token{string} 73|160r41
159a4*Sec_WebSocket_Key_Token{string} 73|158r49
366V13*Sec_WebSocket_Accept{string} 73|799s45
X 58 aws-net.ads
44K13*Net 46|32k9 58|501e12 72|32r13 67r14 101r9 73|41r10 44r18 600r13 608r7
. 645r13 649r10 652r7 690r13 696r7 698r7 767r7 774r10 776r10 783r13 793r14
. 799r7 802r9
54H9*Socket_Type<21|43R9> 471e14 72|67r18 73|793r18
55P9*Socket_Access(54R9)
175x14*Receive 73|282R27 307R30
X 59 aws-net-buffered.ads
35K17*Buffered 142e21 73|41w14 600r17 608r11 645r17 649r14 652r11 690r17
. 696r11 698r11 767r11 774r14 776r14 783r17 799r11
44U14*Put_Line 73|799s20
51U14*Write 73|600s26 645s26 649s23 690s26 696s20 767s20 774s23 776s23 783s26
55U14*Flush 73|608s20 652s20 698s20
X 68 aws-net-websocket.ads
42K17*WebSocket 58|44k13 68|415e22 72|32r17 101r13 73|44r22 802r13
46R9*Object<58|54R9> 294e14 72|38r18 44r18 51r18 58r18 73|93r21 104r18 171r18
. 259r18 557r21 613r18 661r18 707r21
52n10*Unknown{51E9} 73|414r34 511r37 525r37 535r37 547r34
52n36*Text{51E9} 73|434r34 572r30 625r30
52n42*Binary{51E9} 73|439r34
52n50*Ping{51E9} 73|515r34
52n56*Pong{51E9} 73|529r34
52n62*Connection_Close{51E9} 73|508r37
55E9*Error_Type 73e15 73|113r42 240r42
56n7*Normal_Closure{55E9} 73|243r15 491r53
57n7*Going_Away{55E9} 73|243r32
58n7*Protocol_Error{55E9} 73|243r45 477r42 487r53
59n7*Unsupported_Data{55E9} 73|243r62
62n7*Invalid_Frame_Payload_Data{55E9} 73|244r14
66n7*Internal_Server_Error{55E9} 73|244r44
205V13*Error{55E9} 73|468s55
263e7*Kind{51E9} 73|414m26 434m26 439m26 508m29 511m29 515m26 525m29 529m26
. 535m29 547m26 572r23 625r23
264m7*Errno{98|84M9} 73|463m35 482m35 487m32 491m32 505r44
267P9 Internal_State_Access(262R9)
280p7 Socket{58|55P9} 73|282r20 307r23
284p7 State{267P9} 73|414r20 434r20 439r20 463r29 482r29 487r26 491r26 505r38
. 508r23 511r23 515r20 525r23 529r20 535r23 547r20 572r17 625r17
296V13 Is_Client_Side{boolean} 73|560s48 616s48
370a4 Error_Code(98|84M9) 73|477r30 487r41 491r41
X 70 aws-net-websocket-protocol.ads
36K27*Protocol 68|42k17 70|87e31 72|32r27 34r22 91r22 101r23 73|44r32 802r23
38H9*State 38e45 72|34r31 91r31
41M12*Status_Code{98|84M9} 72|53r18 73|107r18 173r18 664r18 668r16
X 72 aws-net-websocket-protocol-rfc6455.ads
32K36*RFC6455 70|36k27 72|84E9 101l32 101e39 73|44b41 802l32 802t39
34R9*State<70|38R9> 36P25 37r25 42P25 43r25 49P25 50r25 56P25 57r25 63P24
. 63r51 70P25 71r18 74P24 75r18 91c9 99e14 73|92r28 103r25 127r19 149r19
. 170r25 196r51 258r25 267r28 293r28 345r20 556r28 612r25 660r25 706r28
36U25*Send<70|43p14> 37=7 38>7 39>7 73|611b25 653l8 653t12
37r7 Protocol{34R9} 73|612b7 626m29 629m29
38r7 Socket{68|46R9} 73|613b7 616r41 625r10 626r39 629r39 645r33 649r30 652r27
39a7 Data{28|54A9} 73|614b7 626r55 629r57 637r39 639r24 640r27 649r38
42U25*Send<70|50p14> 43=7 44>7 45>7 73|555b25 609l8 609t12
43r7 Protocol{34R9} 73|556b7 574m13 579m13
44r7 Socket{68|46R9} 73|557b7 560r41 572r10 574r23 579r23 600r33 608r27
45r7 Data{38|105R9} 73|558b7 561r49 590r29
49U25*Close<70|57p14> 50=7 51>7 52>7 53>7 73|169b25 179l8 179t13
50r7 Protocol{34R9} 73|170b7 176m10 178m7
51r7 Socket{68|46R9} 73|171b7 176r20
52a7 Data{string} 73|172b7 177r46
53m7 Error{70|41M12} 73|173b7 177r53
56U25*Receive<70|64p14> 57=7 58>7 59<7 60<7 73|257b25 549l8 549t15
57r7 Protocol{34R9} 73|258b7 345r29 393r30 410r31 436m13 441m13 496r23 497m19
. 502m22 523m19
58r7 Socket{68|46R9} 73|259b7 282r13 307r16 414m13 414r13 434m13 434r13 439m13
. 439r13 463m22 463r22 468r62 482m22 482r22 487m19 487r19 491m19 491r19 503r22
. 505r31 508m16 508r16 511m16 511r16 515m13 515r13 523r29 525m16 525r16 529m13
. 529r13 535m16 535r16 547m13 547r13
59a7 Data{28|54A9} 73|260b7 298r49 301r18 303r44 307m39 307r39 315r33 323r25
. 324m19 324r31 325r59 350r22 430r45 453r26 457r28 457r34 457r48 473r31 473r37
. 485r29 504r22 504r28 523r45 523r51
60i7 Last{28|44I9} 73|261b7 301m10 303r55 307m60 309r24 315r26 317r25 323r39
. 415m13 453r19 473r55 485r22 504r46 523r65
63V24*End_Of_Message{boolean}<70|71p13> 63>40 73|196b24 199l8 199t22
63r40 Protocol{34R9} 73|196b40 198r14 198r46
66U14*Send_Header 67>7 67>37 73|792b14 800l8 800t19
67c7 Sock<58|54R9> 73|793b7 799r30
67r37 Request{82|58R9} 73|793b37 797r48
70U25*Add_Connect_Headers<70|74p14> 71>7 72>7 73=7 73|126b25 142l8 142t27
71r7 Protocol{34R9} 73|127b8 131r28
72a7 Host{string} 73|128b8 137r28
73r7 Headers{55|37R9} 73|129b8 137m7 137r7 138m7 138r7 139m7 139r7 140m7
. 140r7 141m7 141r7
74V24*Check_Connect_Response{boolean}<70|80p13> 75>7 76>7 77>7 73|148b24
. 163l8 163t30
75r7 Protocol{34R9} 73|149b8 154r28
76r7 Request{55|37R9} 73|150b8 158r27
77r7 Response{80|59R9} 73|151b8 160r18
84M9 Masking_Key_Index 73|566r21 619r18
85A9 Masking_Key<28|54A9>(28|42M9)<28|44I9> 86r8 96r23 73|59r30 97r21 119r39
. 185r39 187r13 565r21 618r18 711r21
88M9 Opcode 89r8 94r23 73|49r34 50r34 51r34 52r34 53r34 54r34 67r24 94r21
. 105r18 346r20 662r18 708r21
92i7 Remaining{28|44I9} 73|198r23 312m25 312r47 314r35 355r18 365m21 374m21
. 377m21 430r66
93i7 Read{28|44I9} 73|296r67 311m25 311r47 420m18
94m7 Opcd{88M9} 73|399r29 422m18 425r26
95b7 Has_Mask{boolean} 73|322r25 419m18
96a7 Mask{85A9} 73|325r34 382m54
97b7 Close_Sent{boolean} 73|178m16 496r32 497m28
98b7 Last_Fragment{boolean} 73|198r55 393r39 410r40 421m18
X 73 aws-net-websocket-protocol-rfc6455.adb
46I9 Bit<short_short_integer> 47r8 63r24 64r24 65r24 66r24 68r24
49m4 O_Continuation{72|88M9} 392r35 398r27 538r15
50m4 O_Text{72|88M9} 409r33 433r15 574r31 626r47
51m4 O_Binary{72|88M9} 409r62 438r15 579r31 629r47
52m4 O_Connection_Close{72|88M9} 176r28 443r15 503r30 671r36
53m4 O_Ping{72|88M9} 514r15
54m4 O_Pong{72|88M9} 523r37 528r15
59a4 No_Masking_Key{72|85A9} 97r36 711r36
62R9 Frame_Header 70e15 72r8 73r8 74r8 76r8 332r18 718r18
63i7*FIN{46I9} 78r7 421r42 449r61 521r61 534r59 730m14
64i7*RSV1{46I9} 79r7 389r31 733m14
65i7*RSV2{46I9} 80r7 390r27 734m14
66i7*RSV3{46I9} 81r7 391r27 735m14
67m7*Opcd{72|88M9} 82r7 392r28 398r20 401r28 409r26 409r55 731m14
68i7*Mask{46I9} 85r7 381r20 419r42 732m14
69i7*Payload_Length{integer} 86r7 358r20 367r23 378r45 449r23 521r23 534r23
. 746m17 749m17 757m17
91U14 Send_Frame_Header 92=7 93>7 94>7 95>7 96>7 97>7 573s10 578s10 626s10
. 629s10 677s7 705b14 786l8 786t25
92r7 Protocol{72|34R9} 706b7 713r28
93r7 Socket{68|46R9} 707b7 767r27 774r30 776r30 783r33
94m7 Opcd{72|88M9} 708b7 731r22
95i7 Data_Length{28|44I9} 709b7 745r10 746r44 748r13 750r42 758r42 771r10
. 773r13
96b7 Has_Mask{boolean} 575r13 580r13 627r29 630r29 710b7 732r26 781r10
97a7 Mask{72|85A9} 576r13 581r13 627r54 630r54 711b7 782r19 783r47
102U14 Send_Frame 103=7 104>7 105>7 106>7 107>7 175s7 501s19 522s16 659b14
. 699l8 699t18
103r7 Protocol{72|34R9} 660b7 677m26
104r7 Socket{68|46R9} 661b7 677r36 690r33 696r27 698r27
105m7 Opcd{72|88M9} 662b7 671r29 677r44
106a7 Data{28|54A9} 663b7 674r29 696r35
107m7 Error{70|41M12} 505r22 664b7 671r64 685r43
110V13 Is_Library_Error{boolean} 110>31 231b13 234l8 234t24 467s26
110m31 Code{98|84M9} 231b31 233r14
113V13 Is_Valid_Close_Code{boolean} 113>34 240b13 251l8 251t27 468s34
113e34 Error{68|55E9} 240b34 242r12
116V13 Get_Websocket_Accept{string} 116>35 156s20 205b13 225l8 225t28 796s15
116a35 Key{string} 205b35 208r57
119V13 Create_Random_Mask{72|85A9} 185b13 190l8 190t26 569s18 622s18
132a7 Ints(86|51I9) 134m66 134r66
134a7 H{28|54A9} 140r67
155a7 Expected{string} 162r14
159a7 Actual{string} 162r25
186i7 Int{86|51I9} 187r49
187a7 Arr{72|85A9} 189r14
207a7 GUID{string} 211r59
208a7 Trim_Key{string} 211r48
211a10 SHA{91|178A15[95|42]} 213r43 218r24 220r45
213a10 Hex{28|54A9} 219m13 223r43
218i14 K{integer} 219r41 220r50 220r63
266U17 Read_Payload 267=10 267>35 292b17 329l11 329t23 435s13 440s13 444s13
. 516s13 530s13
267r10 Protocol{72|34R9} 293b10 296r58 311m16 311r38 312m16 312r38 314r26
. 322r16 325r25
267i35 Length{28|44I9} 294b10 301r31 305r13
270U17 Read_Data 270<28 277b17 286l11 286t20 356s10 359s13 368s13 382s13
270a28 Data{28|54A9} 277b28 278r43 282m36 282r36 282r51 283r30
278i10 First{28|44I9} 282r42 284m13
279i10 Last{28|44I9} 282m63 283r23 284r22
296i10 Read_Before{28|44I9} 325r41
297i10 Read{28|44I9} 309m16 311r54 312r59
298i10 First{28|44I9} 307r45 309r31 317m16
299i10 Max{28|44I9} 303m10 307r54
323i20 K<long_long_integer> 324r25 324r37 325r55
331a7 D_Header{28|54A9} 332m47 332r47 356m21
332r7 Header{62R9} 333m27 333r27 358r13 367r16 378r38 381r13 389r24 390r20
. 391r20 392r21 398r13 401r21 409r19 409r48 419r35 421r35 449r16 449r54 521r16
. 521r54 534r16 534r52
335a7 D_16{28|54A9} 336r11 337m57 337r57 359m24
337m7 L_16{98|84M9} 362m37 362r37 365r57
339a7 D_64{28|54A9} 340r11 341m57 341r57 368m24
341m7 L_64{98|95M9} 371m37 371r37 374r57
343i7 To_Read{28|44I9} 430m7 435r36 440r36 444r36 516r36 530r36
345r7 L_State{72|34R9} 355r10 365m13 374m13 377m13 382m46 382r46 399r21 419m10
. 420m10 421m10 422m10 425r18 430r58 435m27 435r27 436r25 440m27 440r27 441r25
. 444m27 444r27 516m27 516r27 530m27 530r27
346m7 Opcd{72|88M9} 399m13 401m13 422r35 425m10 432r12
347b7 Bad_Header{boolean} 389m10 407m13 407r27 413r13
456a22 D{28|54A9} 458m65 458r65
458m22 E{98|84M9} 461m46 461r46 463r44 467r44 477m25 482r44
560b7 From_Client{boolean} 568r10 575r25 580r25 592r16
561i7 Len_Data{natural} 574r62 579r64 585r32 603r37
562i7 Chunk_Size{positive} 585r50
563i7 First{positive} 585r42 590r35 605m10
564i7 Last{natural} 585m10 590r42 603r30 605r19
565a7 Mask{72|85A9} 569m10 576r25 581r25 595r26
566m7 Mask_Pos{72|84M9} 595r55 596m19 596r31
584l7 Send_Data 603r15 606l16 606e25
588a13 S{28|54A9} 593r27 594r19 594r30 600r41
593i20 Idx<long_long_integer> 594r22 594r33
616b7 From_Client{boolean} 621r10 627r41 630r41 635r10
618a7 Mask{72|85A9} 622m10 627r62 630r62 641r23
619m7 Mask_Pos{72|84M9} 641r52 642m16 642r28
637a13 D{28|54A9} 640m16 645r41
639i17 Idx<long_long_integer> 640r19 640r33
670b7 Error_Code_Needed{boolean} 674r47 681r10
673i7 Frame_Length{28|44I9} 677r50
683a13 D{28|54A9} 684r17 685m65 685r65 690r41
685m13 E{98|84M9} 688m37 688r37
717a7 D_Header{28|54A9} 718m47 718r47 767r35
718r7 Header{62R9} 719m27 719r27 730m7 731m7 732m7 733m7 734m7 735m7 746m10
. 749m10 757m10
721a7 D_16{28|54A9} 722r11 723m57 723r57 774r38
723m7 L_16{98|84M9} 750m10 753m34 753r34
725a7 D_64{28|54A9} 726r11 727m57 727r57 776r38
727m7 L_64{98|95M9} 758m10 761m34 761r34
782i14 J<long_long_integer> 783r53
795a7 Acc{string} 799r67
X 80 aws-response.ads
51K13*Response 72|77r22 73|151r23 159r39 80|455e17
59R9*Data<21|43R9> 72|77r31 73|151r32 80|446e14
287V13*Header{string} 73|159s48
X 82 aws-status.ads
52K13*Status 72|67r51 73|793r51 797r22 82|405e15
58R9*Data 72|67r58 73|793r58 82|403e14
164V13*Sec_WebSocket_Key{string} 73|797s29
X 84 aws-translator.ads
38K13*Translator 73|42w10 140r41 177r10 223r17 472r29 589r18 84|180e19
59A12*Base64_String{string}<integer>
90V13*Base64_Encode{59A12} 73|140s52 223s28
138V13*To_String{string} 73|472s40
144V13*To_Stream_Element_Array{28|54A9} 73|177s21 589s29
X 86 aws-utils.ads
44K13*Utils 73|132r36 133r30 186r26 186r54 471r26 86|460e14
51I9*Random_Integer<integer> 73|132r42 186r32
83V13*Random{51I9} 73|133s36 186s60
197V13*Is_Valid_UTF8{boolean} 73|471s32
X 87 gnat.ads
40K9*GNAT 73|37r6 38r6 206r11 263r11 666r11 714r11 87|63e9
X 88 g-bytswa.ads
162K14*Byte_Swapping 73|37w11 362r16 371r16 461r25 688r16 753r13 761r13 88|206e23
192U14*Swap2 73|362s30 461s39 688s30 753s27
200U14*Swap8 73|371s30 761s27
X 91 g-sechas.ads
178A15*Message_Digest{string}<integer>
186V16*Digest{178A15[95|42]} 73|211s40[95|42]
X 95 g-sha1.ads
42K14*SHA1[91|126] 73|38w11 211r35
X 98 interfac.ads
47K9*Interfaces 73|110r38 231r38 336r30 337r18 340r30 341r18 458r26 684r33
. 685r17 722r30 723r18 726r30 727r18 750r18 758r18 98|247e15
68I9*Integer_64<long_long_integer>
84M9*Unsigned_16 73|110r49 231r49 336r41 337r29 458r37 684r44 685r28 722r41
. 723r29 750r29
95M9*Unsigned_64 73|340r41 341r29 726r41 727r29 758r29
X 104 system.ads
37K9*System 73|35w6 74r35 264r11 667r11 715r11 104|156e11
67M9*Address
81V14*"="{boolean} 11|47i19
91n23*High_Order_First{91E9} 73|74r42
91n41*Low_Order_First{91E9} 73|361r36 370r36 460r45 687r36 752r33 760r33
92e4*Default_Bit_Order{91E9} 73|361r16 370r16 460r25 687r16 752r13 760r13
X 106 s-arit64.ads
59I12*Int64{98|68I9}
108V13*Multiply_With_Ovflo_Check64{59I12} 112i<c,__gnat_mulv64>22
X 120 s-memory.ads
51V13*Alloc{104|67M9} 101i<c,__gnat_malloc>22
66U14*Free 102i<c,__gnat_free>22
74V13*Realloc{104|67M9} 103i<c,__gnat_realloc>22
X 134 s-stausa.ads
207U14*Initialize 208i<c,__gnat_stack_usage_initialize>22
272U14*Output_Results 276i<c,__gnat_stack_usage_output_results>22