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 -march=armv8-a A -mlittle-endian A -mabi=lp64 P SS ZX RN RV NO_ALLOCATORS RV NO_CALENDAR RV NO_DELAY RV NO_DISPATCH RV NO_DISPATCHING_CALLS RV NO_EXCEPTION_HANDLERS RV NO_EXCEPTION_PROPAGATION RV NO_EXCEPTIONS RV NO_FINALIZATION RV NO_FIXED_POINT RV NO_IMPLICIT_CONDITIONALS RV NO_IMPLICIT_HEAP_ALLOCATIONS RV NO_LOCAL_ALLOCATORS RV NO_NESTED_FINALIZATION RV NO_SECONDARY_STACK RV NO_STANDARD_STORAGE_POOLS RV NO_UNCHECKED_ACCESS RV NO_UNCHECKED_DEALLOCATION RV NO_DEFAULT_INITIALIZATION RV NO_DYNAMIC_SIZED_OBJECTS RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS RV NO_IMPLEMENTATION_ATTRIBUTES RV NO_IMPLEMENTATION_PRAGMAS RV NO_IMPLICIT_ALIASING RV NO_IMPLICIT_LOOPS RV NO_ELABORATION_CODE RV MAX_ENTRY_QUEUE_LENGTH=1+ U aws.net.websocket%b aws-net-websocket.adb 341f2a50 OO PF PK IU W ada%s ada.ads ada.ali Z ada.exceptions%s a-except.adb a-except.ali Z ada.strings.text_buffers%s a-sttebu.adb a-sttebu.ali Z ada.tags%s a-tags.adb a-tags.ali W ada.unchecked_deallocation%s W aws%s aws.ads aws.ali W aws.default%s aws-default.ads aws-default.ali W aws.headers%s aws-headers.adb aws-headers.ali W aws.messages%s aws-messages.adb aws-messages.ali W aws.net%s aws-net.adb aws-net.ali AD W aws.net.websocket%s aws-net-websocket.adb aws-net-websocket.ali W aws.net.websocket.protocol%s aws-net-websocket-protocol.ads aws-net-websocket-protocol.ali W aws.net.websocket.protocol.draft76%s aws-net-websocket-protocol-draft76.adb aws-net-websocket-protocol-draft76.ali W aws.net.websocket.protocol.rfc6455%s aws-net-websocket-protocol-rfc6455.adb aws-net-websocket-protocol-rfc6455.ali W aws.response%s aws-response.adb aws-response.ali W aws.status%s aws-status.adb aws-status.ali W aws.status.set%s aws-status-set.adb aws-status-set.ali W aws.translator%s aws-translator.adb aws-translator.ali W aws.url%s aws-url.adb aws-url.ali Z system%s system.ads system.ali Z system.assertions%s s-assert.adb s-assert.ali Z system.finalization_primitives%s s-finpri.adb s-finpri.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.soft_links%s s-soflin.adb s-soflin.ali Z system.standard_library%s s-stalib.adb s-stalib.ali Z system.storage_elements%s s-stoele.ads s-stoele.ali Z system.storage_pools%s s-stopoo.adb s-stopoo.ali Z system.storage_pools.subpools%s s-stposu.adb s-stposu.ali Z system.val_int%s s-valint.ads s-valint.ali U aws.net.websocket%s aws-net-websocket.ads ab2949bd BN EE OO PF PK IU W ada%s ada.ads ada.ali W ada.calendar%s a-calend.adb a-calend.ali W ada.containers%s a-contai.ads a-contai.ali W ada.containers.doubly_linked_lists%s Z ada.containers.helpers%s a-conhel.adb a-conhel.ali Z ada.containers.stable_sorting%s a-costso.adb a-costso.ali Z ada.exceptions%s a-except.adb a-except.ali Z ada.finalization%s a-finali.ads a-finali.ali Z ada.iterator_interfaces%s Z ada.streams%s a-stream.adb a-stream.ali W ada.strings%s a-string.ads a-string.ali Z ada.strings.text_buffers%s a-sttebu.adb a-sttebu.ali W ada.strings.unbounded%s a-strunb.adb a-strunb.ali Z ada.tags%s a-tags.adb a-tags.ali Z ada.unchecked_deallocation%s W aws%s aws.ads aws.ali W aws.client%s aws-client.adb aws-client.ali W aws.net%s aws-net.adb aws-net.ali W aws.status%s aws-status.adb aws-status.ali W interfaces%s interfac.ads interfac.ali Z system%s system.ads system.ali Z system.assertions%s s-assert.adb s-assert.ali Z system.finalization_primitives%s s-finpri.adb s-finpri.ali Z system.img_fixed_64%s s-imfi64.ads s-imfi64.ali Z system.pool_global%s s-pooglo.adb s-pooglo.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.soft_links%s s-soflin.adb s-soflin.ali Z system.standard_library%s s-stalib.adb s-stalib.ali Z system.storage_elements%s s-stoele.ads s-stoele.ali Z system.storage_pools%s s-stopoo.adb s-stopoo.ali Z system.storage_pools.subpools%s s-stposu.adb s-stposu.ali Z system.stream_attributes%s s-stratt.adb s-stratt.ali Z system.strings.stream_ops%s s-ststop.adb s-ststop.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-cdlili.adb 20250808065140 777aaced ada.containers.doubly_linked_lists%b D a-cohata.ads 20250808065140 bea783e3 ada.containers.hash_tables%s D a-conhel.ads 20250808065140 46fe1ce3 ada.containers.helpers%s D a-conhel.adb 20250808065140 854d323e ada.containers.helpers%b 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-costso.ads 20250808065140 937a171b ada.containers.stable_sorting%s D a-costso.adb 20250808065140 d34bf6bb ada.containers.stable_sorting%b 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-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-os_lib.ads 20250822150029 3dff7682 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-shsh32.ads 20250808065140 ff78221c gnat.secure_hashes.sha2_32%s D g-shshco.ads 20250808065140 1144502c gnat.secure_hashes.sha2_common%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-atocou.adb 20250808065140 6fe685de system.atomic_counters%b D s-atopri.ads 20250808065140 e19c1d89 system.atomic_primitives%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-imgllli.ads 20250808065140 404e72c5 system.img_llli%s D s-imgllu.ads 20250808065140 55ba53d8 system.img_llu%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 20251019144612 5fab350e 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-stalib.adb 20250808065140 eb464a47 system.standard_library%b 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 1e109e82 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-vsllli.ads 20250808065140 3a5ba700 system.vs_llli%s D s-vslllu.ads 20250808065140 678200a0 system.vs_lllu%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 b b b [b aws__net__websocket 42 1 none] G c s s s [s aws__net__websocket 42 1 none] G c Z s b [create aws__net__websocket 80 13 none] G c Z s s [on_message aws__net__websocket 90 14 none] G c Z s b [on_message aws__net__websocket 98 14 none] G c Z s s [on_open aws__net__websocket 107 14 none] G c Z s s [on_close aws__net__websocket 110 14 none] G c Z s s [on_error aws__net__websocket 115 14 none] G c Z s b [send aws__net__websocket 118 14 none] G c Z s b [send aws__net__websocket 125 14 none] G c Z s b [send aws__net__websocket 132 14 none] G c Z s b [close aws__net__websocket 138 14 none] G c Z s b [connect aws__net__websocket 148 14 none] G c Z s b [poll aws__net__websocket 156 13 none] G c Z s b [kind aws__net__websocket 188 13 none] G c Z s b [protocol_version aws__net__websocket 191 13 none] G c Z s b [uri aws__net__websocket 194 13 none] G c Z s b [origin aws__net__websocket 197 13 none] G c Z s b [request aws__net__websocket 201 13 none] G c Z s b [error aws__net__websocket 205 13 none] G c Z s b [end_of_message aws__net__websocket 208 13 none] G c Z s b [shutdown aws__net__websocket 215 25 none] G c Z s b [get_fd aws__net__websocket 220 24 none] G c Z s b [peer_addr aws__net__websocket 223 24 none] G c Z s b [peer_port aws__net__websocket 226 24 none] G c Z s b [get_addr aws__net__websocket 229 24 none] G c Z s b [get_port aws__net__websocket 232 24 none] G c Z s b [errno aws__net__websocket 235 24 none] G c Z s b [get_send_buffer_size aws__net__websocket 238 24 none] G c Z s b [get_receive_buffer_size aws__net__websocket 242 24 none] G c Z s b [get_uid aws__net__websocket 256 13 none] G c Z s s [message_dataIP aws__net__websocket 272 9 none] G c Z s s [empty aws__net__websocket__message_list 70 13 277_4] G c Z s s [has_element aws__net__websocket__message_list 75 13 277_4] G c Z s s [Oeq aws__net__websocket__message_list 80 13 277_4] G c Z s s [length aws__net__websocket__message_list 82 13 277_4] G c Z s s [is_empty aws__net__websocket__message_list 84 13 277_4] G c Z s s [clear aws__net__websocket__message_list 86 14 277_4] G c Z s s [element aws__net__websocket__message_list 88 13 277_4] G c Z s s [replace_element aws__net__websocket__message_list 90 14 277_4] G c Z s s [query_element aws__net__websocket__message_list 95 14 277_4] G c Z s s [update_element aws__net__websocket__message_list 99 14 277_4] G c Z s s [constant_reference aws__net__websocket__message_list 114 13 277_4] G c Z s s [reference aws__net__websocket__message_list 119 13 277_4] G c Z s s [assign aws__net__websocket__message_list 124 14 277_4] G c Z s s [copy aws__net__websocket__message_list 126 13 277_4] G c Z s s [move aws__net__websocket__message_list 128 14 277_4] G c Z s s [insert aws__net__websocket__message_list 132 14 277_4] G c Z s s [insert aws__net__websocket__message_list 138 14 277_4] G c Z s s [insert aws__net__websocket__message_list 145 14 277_4] G c Z s s [prepend aws__net__websocket__message_list 151 14 277_4] G c Z s s [append aws__net__websocket__message_list 156 14 277_4] G c Z s s [append aws__net__websocket__message_list 161 14 277_4] G c Z s s [delete aws__net__websocket__message_list 165 14 277_4] G c Z s s [delete_first aws__net__websocket__message_list 170 14 277_4] G c Z s s [delete_last aws__net__websocket__message_list 174 14 277_4] G c Z s s [reverse_elements aws__net__websocket__message_list 178 14 277_4] G c Z s s [iterate aws__net__websocket__message_list 180 13 277_4] G c Z s s [iterate aws__net__websocket__message_list 183 13 277_4] G c Z s s [swap aws__net__websocket__message_list 186 14 277_4] G c Z s s [swap_links aws__net__websocket__message_list 190 14 277_4] G c Z s s [splice aws__net__websocket__message_list 194 14 277_4] G c Z s s [splice aws__net__websocket__message_list 199 14 277_4] G c Z s s [splice aws__net__websocket__message_list 205 14 277_4] G c Z s s [first aws__net__websocket__message_list 210 13 277_4] G c Z s s [first_element aws__net__websocket__message_list 212 13 277_4] G c Z s s [last aws__net__websocket__message_list 214 13 277_4] G c Z s s [last_element aws__net__websocket__message_list 216 13 277_4] G c Z s s [next aws__net__websocket__message_list 218 13 277_4] G c Z s s [next aws__net__websocket__message_list 220 14 277_4] G c Z s s [previous aws__net__websocket__message_list 222 13 277_4] G c Z s s [previous aws__net__websocket__message_list 224 14 277_4] G c Z s s [find aws__net__websocket__message_list 226 13 277_4] G c Z s s [reverse_find aws__net__websocket__message_list 231 13 277_4] G c Z s s [contains aws__net__websocket__message_list 236 13 277_4] G c Z s s [iterate aws__net__websocket__message_list 240 14 277_4] G c Z s s [reverse_iterate aws__net__websocket__message_list 244 14 277_4] G c Z s s [adjust aws__net__websocket__message_list__implementation 90 28 266_4_277_4] G c Z s s [finalize aws__net__websocket__message_list__implementation 93 28 266_4_277_4] G c Z s s [zero_counts aws__net__websocket__message_list__implementation 96 17 266_4_277_4] G c Z s s [busy aws__net__websocket__message_list__implementation 100 17 266_4_277_4] G c Z s s [unbusy aws__net__websocket__message_list__implementation 104 17 266_4_277_4] G c Z s s [lock aws__net__websocket__message_list__implementation 108 17 266_4_277_4] G c Z s s [unlock aws__net__websocket__message_list__implementation 112 17 266_4_277_4] G c Z s s [tc_check aws__net__websocket__message_list__implementation 116 17 266_4_277_4] G c Z s s [te_check aws__net__websocket__message_list__implementation 120 17 266_4_277_4] G c Z s s [is_busy aws__net__websocket__message_list__implementation 136 16 266_4_277_4] G c Z s s [is_locked aws__net__websocket__message_list__implementation 140 16 266_4_277_4] G c Z s s [initialize aws__net__websocket__message_list__implementation 161 28 266_4_277_4] G c Z s s [finalize aws__net__websocket__message_list__implementation 162 28 266_4_277_4] G c Z s s [initialize aws__net__websocket__message_list__implementation 167 28 266_4_277_4] G c Z s s [finalize aws__net__websocket__message_list__implementation 168 28 266_4_277_4] G c Z s s [reference_control_typeDA aws__net__websocket__message_list__implementation 84 12 266_4_277_4] G c Z s s [reference_control_typeDF aws__net__websocket__message_list__implementation 84 12 266_4_277_4] G c Z s s [reference_control_typeIP aws__net__websocket__message_list__implementation 84 12 266_4_277_4] G c Z s s [with_busyDF aws__net__websocket__message_list__implementation 158 12 266_4_277_4] G c Z s s [with_busyIP aws__net__websocket__message_list__implementation 158 12 266_4_277_4] G c Z s s [with_lockDF aws__net__websocket__message_list__implementation 164 12 266_4_277_4] G c Z s s [with_lockIP aws__net__websocket__message_list__implementation 164 12 266_4_277_4] G c Z s s [put_image aws__net__websocket__message_list 290 14 277_4] G c Z s s [adjust aws__net__websocket__message_list 293 25 277_4] G c Z s s [read aws__net__websocket__message_list 297 14 277_4] G c Z s s [write aws__net__websocket__message_list 303 14 277_4] G c Z s s [read aws__net__websocket__message_list 318 14 277_4] G c Z s s [write aws__net__websocket__message_list 324 14 277_4] G c Z s s [write aws__net__websocket__message_list 343 14 277_4] G c Z s s [read aws__net__websocket__message_list 349 14 277_4] G c Z s s [write aws__net__websocket__message_list 365 14 277_4] G c Z s s [read aws__net__websocket__message_list 371 14 277_4] G c Z s s [pseudo_reference aws__net__websocket__message_list 382 13 277_4] G c Z s s [get_element_access aws__net__websocket__message_list 392 13 277_4] G c Z s s [listDA aws__net__websocket__message_list 282 9 277_4] G c Z s s [listDF aws__net__websocket__message_list 282 9 277_4] G c Z s s [listIP aws__net__websocket__message_list 282 9 277_4] G c Z s s [cursorIP aws__net__websocket__message_list 312 9 277_4] G c Z s s [finalize aws__net__websocket__message_list 409 25 277_4] G c Z s s [first aws__net__websocket__message_list 411 24 277_4] G c Z s s [last aws__net__websocket__message_list 412 24 277_4] G c Z s s [next aws__net__websocket__message_list 414 24 277_4] G c Z s s [previous aws__net__websocket__message_list 418 24 277_4] G c Z s s [constant_reference_typeDI aws__net__websocket__message_list 333 9 277_4] G c Z s s [constant_reference_typeDA aws__net__websocket__message_list 333 9 277_4] G c Z s s [constant_reference_typeDF aws__net__websocket__message_list 333 9 277_4] G c Z s s [constant_reference_typeIP aws__net__websocket__message_list 333 9 277_4] G c Z s s [reference_typeDI aws__net__websocket__message_list 355 9 277_4] G c Z s s [reference_typeDA aws__net__websocket__message_list 355 9 277_4] G c Z s s [reference_typeDF aws__net__websocket__message_list 355 9 277_4] G c Z s s [reference_typeIP aws__net__websocket__message_list 355 9 277_4] G c Z s s [node_typeIP aws__net__websocket__message_list 272 9 277_4] G c Z s s [iteratorDF aws__net__websocket__message_list 401 9 277_4] G c Z s s [iteratorIP aws__net__websocket__message_list 401 9 277_4] G c Z s s [free aws__net__websocket__message_list 49 14 277_4] G c Z s s [insert_internal aws__net__websocket__message_list 51 14 277_4] G c Z s s [splice_internal aws__net__websocket__message_list 56 14 277_4] G c Z s s [splice_internal aws__net__websocket__message_list 61 14 277_4] G c Z s s [vet aws__net__websocket__message_list 67 13 277_4] G c Z s s [is_client_side aws__net__websocket 296 13 none] G c Z s b [send aws__net__websocket 304 25 none] G c Z s b [receive aws__net__websocket 309 25 none] G c Z s s [bind aws__net__websocket 316 25 none] G c Z s s [listen aws__net__websocket 324 25 none] G c Z s s [accept_socket aws__net__websocket 327 25 none] G c Z s s [connect aws__net__websocket 330 25 none] G c Z s s [socket_pair aws__net__websocket 337 25 none] G c Z s b [pending aws__net__websocket 339 24 none] G c Z s b [is_listening aws__net__websocket 342 24 none] G c Z s s [set_send_buffer_size aws__net__websocket 344 25 none] G c Z s s [set_receive_buffer_size aws__net__websocket 347 25 none] G c Z s b [free aws__net__websocket 350 25 none] G c Z s s [objectDA aws__net__websocket 279 9 none] G c Z s s [objectDF aws__net__websocket 279 9 none] G c Z s s [objectDI aws__net__websocket 279 9 none] G c Z s s [objectIP aws__net__websocket 279 9 none] G c Z s b [websocket_exception aws__net__websocket 390 14 none] G c Z s s [internal_stateIP aws__net__websocket 262 9 none] G c Z b b [unchecked_free aws__net__websocket 51 14 none] G c Z b b [unchecked_free aws__net__websocket 53 14 none] G c Z b b [initialize aws__net__websocket 57 14 none] G c Z b b [protocol_stateIP aws__net__websocket 47 9 none] G r s counter [b aws__net__websocket 42 1 none] [counterVIP aws__utils 345 4 none] G r s socket_type [s aws__net__websocket 42 1 none] [socket_typeIP aws__net 468 9 none] G r f socket_type [s aws__net__websocket 42 1 none] [initialize aws__net 482 25 none] G r s data [s aws__net__websocket 42 1 none] [dataIP aws__status 361 9 none] G r l data [s aws__net__websocket 42 1 none] [dataDI aws__status 361 9 none] G r j data [s aws__net__websocket 42 1 none] [dataDA aws__status 361 9 none] G r d socket_type [s aws__net__websocket 42 1 none] [adjust aws__net 483 25 none] G r e socket_type [s aws__net__websocket 42 1 none] [finalize aws__net 484 25 none] G r k data [s aws__net__websocket 42 1 none] [dataDF aws__status 361 9 none] G r s socket_type [create aws__net__websocket 80 13 none] [socket_typeIP aws__net 468 9 none] G r s data [create aws__net__websocket 80 13 none] [dataIP aws__status 361 9 none] G r l data [create aws__net__websocket 80 13 none] [dataDI aws__status 361 9 none] G r k data [create aws__net__websocket 80 13 none] [dataDF aws__status 361 9 none] G r f socket_type [create aws__net__websocket 80 13 none] [initialize aws__net 482 25 none] G r e socket_type [create aws__net__websocket 80 13 none] [finalize aws__net 484 25 none] G r c none [create aws__net__websocket 80 13 none] [header aws__status 107 13 none] G r c none [create aws__net__websocket 80 13 none] [exist aws__containers__tables 72 13 none] G r s state [create aws__net__websocket 80 13 none] [stateIP aws__net__websocket__protocol__draft76 35 9 none] G r s state [create aws__net__websocket 80 13 none] [stateIP aws__net__websocket__protocol__rfc6455 91 9 none] G r c none [create aws__net__websocket 80 13 none] [get aws__containers__tables 75 13 none] G r c none [create aws__net__websocket 80 13 none] [is_number aws__utils 135 13 none] G r p none [create aws__net__websocket 80 13 none] [increment aws__utils__counter 353 17 none] G r j data [create aws__net__websocket 80 13 none] [dataDA aws__status 361 9 none] G r d socket_type [create aws__net__websocket 80 13 none] [adjust aws__net 483 25 none] G r c none [send aws__net__websocket 118 14 none] [to_stream_element_array aws__translator 144 13 none] G r j list [connect aws__net__websocket 148 14 none] [listDA aws__headers 97 9 none] G r s data [connect aws__net__websocket 148 14 none] [dataIP aws__response 436 9 none] G r l data [connect aws__net__websocket 148 14 none] [dataDI aws__response 436 9 none] G r k data [connect aws__net__websocket 148 14 none] [dataDF aws__response 436 9 none] G r c none [connect aws__net__websocket 148 14 none] [parse aws__url 68 13 none] G r s http_connection [connect aws__net__websocket 148 14 none] [http_connectionIP aws__client 604 9 none] G r l http_connection [connect aws__net__websocket 148 14 none] [http_connectionDI aws__client 604 9 none] G r k http_connection [connect aws__net__websocket 148 14 none] [http_connectionDF aws__client 604 9 none] G r s state [connect aws__net__websocket 148 14 none] [stateIP aws__net__websocket__protocol__rfc6455 91 9 none] G r c none [connect aws__net__websocket 148 14 none] [create aws__client 307 14 none] G r c none [connect aws__net__websocket 148 14 none] [host aws__url 93 13 none] G r c none [connect aws__net__websocket 148 14 none] [get aws__client 444 14 none] G r c none [connect aws__net__websocket 148 14 none] [check_connect_response aws__net__websocket__protocol 80 13 none] G r k state [connect aws__net__websocket 148 14 none] [stateDF aws__net__websocket__protocol 38 9 none] G r c none [connect aws__net__websocket 148 14 none] [get_socket aws__client 548 13 none] G r c none [connect aws__net__websocket 148 14 none] [exist aws__containers__tables 72 13 none] G r c none [connect aws__net__websocket 148 14 none] [get aws__containers__tables 75 13 none] G r c none [connect aws__net__websocket 148 14 none] [is_number aws__utils 135 13 none] G r p none [connect aws__net__websocket 148 14 none] [increment aws__utils__counter 353 17 none] G r c none [connect aws__net__websocket 148 14 none] [request aws__status__set 86 14 none] G r c none [poll aws__net__websocket 156 13 none] [poll aws__net 287 13 none] G r c none [poll aws__net__websocket 156 13 none] [to_string aws__translator 138 13 none] G r c none [poll aws__net__websocket 156 13 none] [is_valid_utf8 aws__utils 200 13 none] G r c none [uri aws__net__websocket 194 13 none] [uri aws__status 79 13 none] G r c none [origin aws__net__websocket 197 13 none] [header aws__status 107 13 none] G r c none [origin aws__net__websocket 197 13 none] [get aws__containers__tables 75 13 none] G r j data [request aws__net__websocket 201 13 none] [dataDA aws__status 361 9 none] G r k state [free aws__net__websocket 350 25 none] [stateDF aws__net__websocket__protocol 38 9 none] G r k http_connection [free aws__net__websocket 350 25 none] [http_connectionDF aws__client 604 9 none] G r c none [free aws__net__websocket 350 25 none] [free aws__net 147 14 none] G r j data [objectDA aws__net__websocket 279 9 none] [dataDA aws__status 361 9 none] G r d socket_type [objectDA aws__net__websocket 279 9 none] [adjust aws__net 483 25 none] G r e socket_type [objectDF aws__net__websocket 279 9 none] [finalize aws__net 484 25 none] G r k data [objectDF aws__net__websocket 279 9 none] [dataDF aws__status 361 9 none] G r f socket_type [objectDI aws__net__websocket 279 9 none] [initialize aws__net 482 25 none] G r s socket_type [objectIP aws__net__websocket 279 9 none] [socket_typeIP aws__net 468 9 none] G r s data [objectIP aws__net__websocket 279 9 none] [dataIP aws__status 361 9 none] G r l data [objectIP aws__net__websocket 279 9 none] [dataDI aws__status 361 9 none] G r k data [objectIP aws__net__websocket 279 9 none] [dataDF aws__status 361 9 none] G r c none [initialize aws__net__websocket 57 14 none] [exist aws__containers__tables 72 13 none] G r c none [initialize aws__net__websocket 57 14 none] [get aws__containers__tables 75 13 none] G r c none [initialize aws__net__websocket 57 14 none] [is_number aws__utils 135 13 none] G r p none [initialize aws__net__websocket 57 14 none] [increment aws__utils__counter 353 17 none] X 1 ada.ads 18K9*Ada 22e8 71|34r6 37r14 38r14 44r8 400r24 401r24 407r27 72|30r6 51r36 . 409r24 410r24 419r24 420r24 430r15 469r27 X 3 a-calend.ads 36K13*Calendar 440e17 71|37w18 265r23 72|326r28 557r37 584r37 42I9*Time<226I9> 71|265r32 56V13*Clock{42I9} 72|326s37 557s46 584s46 226I9 Time_Rep X 7 a-contai.ads 16K13*Containers 28e19 71|38r18 277r32 X 8 a-cdlili.ads 47k24*Doubly_Linked_Lists 422e39 71|38w29 277r43 54R9*List<25|43R9> 71|286r31[277] 68r4*Empty_List{54R9[71|277]} 71|363r48[277] 269R9 Node_Type 270P9 Node_Access(269R9) X 9 a-cdlili.adb 699V22 Next{8|270P9} 19|61i24 700U23 Set_Next 19|62i25 702U23 Set_Prev 19|63i25[71|277] 704V23 "<"{boolean} 19|64i25[71|277] 706U23 Update_Container 19|66i25[71|277] X 11 a-conhel.ads 84R12 Reference_Control_Type<25|43R9> X 24 a-except.ads 84V13*Exception_Message{string} 72|485s19 X 27 a-iteint.ads 24h9 Forward_Iterator 32h9 Reversible_Iterator<24R9[17|84]> X 32 a-stream.ads 36K13*Streams 90e16 71|400r28 401r28 72|409r28 410r28 419r28 420r28 42M9*Stream_Element 44I9*Stream_Element_Offset 71|307r20 312r20 401r36 72|410r36 . 420r36 473r14 554r20 576r20 51I12*Stream_Element_Count{44I9} 71|340r31 72|393r31 54A9*Stream_Element_Array(42M9)<44I9> 71|134r19 306r16 311r20 400r36 72|409r36 . 419r36 472r14 553r20 575r16 618r19 X 33 a-string.ads 16K13*Strings 35e16 71|34r10 44r12 407r31 72|430r19 469r31 X 42 a-strunb.ads 91K21*Unbounded 1641e26 71|34w18 44r20 407r39 72|430r27 469r39 105R9*Unbounded_String<25|43R9> 1620e15 71|98r60 127r19 407r49 72|355r60 . 430r37 469r49 604r19 135V13*To_String{string} 72|357s42 506s39 519s33 159U14*Append 72|495s13 X 49 a-uncdea.ads 23u15*Unchecked_Deallocation 72|30w10 51r40 53r36 218r14 220r14 X 50 aws.ads 32K9*AWS 41e8 71|35r6 39r14 42r9 82r17 201r46 282r18 290r20 297r8 415r5 72|32r6 . 33r6 34r6 35r6 36r6 37r6 38r6 39r6 40r6 42r14 52r8 52r36 61r19 78r12 90r18 . 90r38 91r18 92r18 93r27 93r45 97r32 100r7 103r25 104r25 105r25 106r25 107r25 . 109r25 110r25 112r37 114r7 117r25 118r25 124r16 129r11 132r7 143r17 147r27 . 148r20 216r16 302r19 367r10 425r36 429r15 433r12 435r17 442r20 449r12 564r46 . 649r14 675r5 X 52 aws-client.ads 49K13*Client 659e15 71|39w18 290r24 297r12 72|52r12 52r40 97r36 100r11 103r29 . 104r29 105r29 106r29 107r29 110r29 114r11 117r29 118r29 124r20 129r15 216r20 57X4*Protocol_Error 72|124r27 60a4*No_Data{string} 72|103r36 104r36 105r36 106r36 107r36 117r36 76r4*No_Timeout{72R9} 72|110r36 115r4*No_Range{110R9} 72|118r36 289R9*HTTP_Connection<25|50R9> 634e14 72|52r19 97r43 290P9*HTTP_Connection_Access(289R9) 71|290r31 72|52r47 216r27 307U14*Create 72|100s18 309a7 Host{string} 72|102r10 310a7 User{string} 72|103r10 311a7 Pwd{string} 72|104r10 312a7 Proxy{string} 72|105r10 313a7 Proxy_User{string} 72|106r10 314a7 Proxy_Pwd{string} 72|107r10 316b7 Persistent{boolean} 72|108r10 317r7 Timeouts{72R9} 72|110r10 320a7 Certificate{string} 72|109r10 444U14*Get 72|114s18 446r7 Result{82|59R9} 72|116r10 447a7 URI{string} 72|117r10 448r7 Data_Range{110R9} 72|118r10 449r7 Headers{125R12} 72|119r10 548V13*Get_Socket{62|55P9} 72|129s22 X 57 aws-containers-tables.ads 72V13*Exist{boolean} 72|150s18 151s26 307s18 75V13*Get{string} 72|310s31 366s22 X 58 aws-default.ads 38K13*Default 180e16 72|32w10 109r29 165a4*Client_Certificate{string} 72|109r37 X 59 aws-headers.ads 35K13*Headers 102e16 72|33w10 61r23 90r22 90r42 147r31 302r23 366r14 37R9*List<57|42R9> 97e70 72|61r31 90r30 147r39 302r31 43r4*Empty_List{37R9} 72|90r50 X 60 aws-messages.ads 36K13*Messages 401e17 72|34w10 150r25 151r33 307r25 310r36 367r46 98a4*Origin_Token{string} 72|367r55 160a4*Sec_WebSocket_Key1_Token{string} 72|150r34 161a4*Sec_WebSocket_Key2_Token{string} 72|151r42 162a4*Sec_WebSocket_Version_Token{string} 72|307r34 310r45 X 62 aws-net.ads 44K13*Net 50|32k9 62|501e12 71|42r13 46r23 273r18 279r23 280r18 287r18 356r21 . 415r9 72|35r10 36r10 42r18 48r15 54r7 55r7 60r19 78r16 92r22 98r23 146r18 . 153r26 155r26 301r19 425r40 429r19 433r16 435r21 442r24 449r16 482r36 675r9 50X4*Socket_Error 72|78r20 449r20 478r19 54H9*Socket_Type<25|43R9> 471e14 71|46r27 279r27 328r16 356r25 55P9*Socket_Access(54R9) 71|81r17 273r22 280r22 287r22 72|59r19 142r17 300r19 59I12*FD_Type{integer} 71|220r56 72|252r56 62N4*No_Socket 72|482r40 65n24*Error{65E9} 72|442r28 65n31*Input{65E9} 72|433r20 435r25 70A9*Event_Set(boolean)<65E9> 72|429r23 78E9*Family_Type 78e66 71|322r23 335r16 78n52*Family_Unspec{78E9} 71|322r38 335r31 80E9*Shutmode_Type 80e66 71|217r16 72|636r16 80n50*Shut_Read_Write{80E9} 71|217r33 72|636r33 140x14*Shutdown 72|639R24 147U14*Free 72|233s10 236s7 165x14*Send 72|579R26 581R24 189y13*Pending{32|51I12} 72|395R28 194V13*Output_Space{32|44I9} 198V13*Output_Busy{32|44I9} 206y13*Get_FD{59I12} 72|254R28 209y13*Peer_Addr{string} 72|376R28 212y13*Peer_Port{positive} 72|385R28 215y13*Get_Addr{string} 72|245R28 218y13*Get_Port{positive} 72|263R28 221V13*Is_Any_Address{boolean} 225V13*Is_IPv6{boolean} 247y13*Get_Send_Buffer_Size{natural} 72|282R28 252y13*Get_Receive_Buffer_Size{natural} 72|273R28 257V13*Cipher_Description{string} 261U14*Set_Blocking_Mode 266U14*Set_Timeout 270U14*Set_No_Delay 287V13*Poll{70A9} 72|432s23 290o7 Timeout{duration} 72|433r53 293y13*Errno{integer} 72|181R31 296V13*Is_Timeout{boolean} 305V13*Is_Peer_Closed{boolean} 315C9*FD_Set<315R9> 320V13*To_FD_Set{315C9} 482U25 Initialize<25|46p14> 483U25 Adjust<25|47p14> 484U25 Finalize<25|48p14> 495V13 IO_Control{32|44I9} X 71 aws-net-websocket.ads 42K17*WebSocket 62|44k13 71|262E9 415l13 415e22 72|35r14 36r14 42b22 48r19 . 54r11 55r11 60r23 92r26 98r27 146r22 153r30 155r30 301r23 425r44 675l13 . 675t22 46R9*Object<62|54R9> 62|194p13 198p13 221p13 225p13 257p13 261p14 266p14 . 270p14 296p13 305p13 320p13 482P25 483P25 484P25 495p13 71|47r36 49r25 . 82r41 90p14 90r42 98p14 98r42 107p14 107r39 110p14 110r40 115p14 115r40 . 118p14 119r26 125p14 126r26 132p14 133r26 138p14 139r24 149r23 157r24 188p13 . 188r28 191p13 191r40 194p13 194r27 197p13 197r30 201p13 201r31 205p13 205r29 . 208p13 208r38 215P25 216r16 220P24 220r41 223P24 223r44 226P24 226r44 229P24 . 229r43 232P24 232r43 235P24 235r40 238P24 238r55 242P24 243r16 256p13 256r31 . 279c9 294e14 296r38 304P25 305r16 309P25 310r16 316P25 317r30 324P25 325r16 . 327P25 328r55 330P25 331r23 337P25 337r51 339P24 340r16 342P24 342r47 344P25 . 345r16 347P25 348r16 350P25 350r47 354r25 355r18 391r35 399r36 72|58r26 . 69r24 87r23 143r41 145r18 167r38 176r40 192r29 215r47 243r43 252r41 261r43 . 271r16 280r55 289r31 299r26 336r47 346r28 355r42 357r19 364r30 374r44 383r44 . 393r16 403r24 408r36 418r36 458r40 552r16 564r31 574r16 588r26 603r26 617r26 . 635r16 647r27 657r35 47P9*Object_Class(46R9) 402r43 403r41 404r47 406r27 72|428r15 468r27 49c4*No_Object<46R9> 354c4 51E9*Kind_Type 52e79 188r43 263r23 72|346r43 52n10*Unknown{51E9} 263r36 72|324r28 535r15 52n19*Connection_Open{51E9} 72|530r15 52n36*Text{51E9} 72|494r15 502r36 595r31 610r31 624r31 52n42*Binary{51E9} 72|494r22 593r31 608r31 622r31 52n50*Ping{51E9} 72|524r15 52n56*Pong{51E9} 72|524r22 52n62*Connection_Close{51E9} 72|517r15 55E9*Error_Type 73e15 141r17 205r44 370r33 393r19 72|71r17 192r44 659r19 56n7*Normal_Closure{55E9} 141r31 371r20 72|71r31 195r32 57n7*Going_Away{55E9} 372r20 72|196r32 58n7*Protocol_Error{55E9} 373r20 72|197r32 59n7*Unsupported_Data{55E9} 374r20 72|198r32 60n7*No_Status_Received{55E9} 375r20 72|199r32 61n7*Abnormal_Closure{55E9} 376r20 72|200r32 486r19 664r19 62n7*Invalid_Frame_Payload_Data{55E9} 377r20 72|201r32 63n7*Policy_Violation{55E9} 378r20 72|202r32 64n7*Message_Too_Big{55E9} 379r20 72|203r32 65n7*Mandatory_Extension{55E9} 380r20 72|204r32 66n7*Internal_Server_Error{55E9} 381r20 72|205r32 67n7*TLS_Handshake{55E9} 382r20 72|206r32 68n7*Cannot_Resolve_Error{55E9} 383r20 72|207r32 69n7*User_01{55E9} 384r20 70n7*User_02{55E9} 385r20 71n7*User_03{55E9} 386r20 72n7*User_04{55E9} 387r20 73n7*User_05{55E9} 388r20 80V13*Create{46C9} 81>7 82>7 72|141b13 161l8 161t14 81p7 Socket{62|55P9} 83r16 72|142b7 158r27 82r7 Request{84|58R9} 72|143b7 148r39 159r25 90U14*On_Message 90=26 90>50 72|357R7 90r26 Socket{46R9} 90a50 Message{string} 98U14*On_Message 98=26 98>50 72|355b14 358l8 358t18 510R29 98r26 Socket{46R9} 72|355b26 357m33 357r33 98r50 Message{42|105R9} 72|355b50 357r53 107U14*On_Open 107=23 107>47 72|134R14 107r23 Socket{46R9} 107a47 Message{string} 110U14*On_Close 110=24 110>48 72|506R29 519R23 538R23 665R20 110r24 Socket{46R9} 110a48 Message{string} 115U14*On_Error 115=24 115>48 72|443R17 537R23 662R17 115r24 Socket{46R9} 115a48 Message{string} 118U14*Send 119=7 120>7 121>7 72|587b14 600l8 600t12 119r7 Socket{46R9} 72|588b7 593m10 593r10 595m10 595r10 598r7 599r10 120a7 Message{string} 72|589b7 599r54 121b7 Is_Binary{boolean} 72|590b7 592r10 125U14*Send 126=7 127>7 128>7 72|602b14 614l8 614t12 126r7 Socket{46R9} 72|603b7 608m10 608r10 610m10 610r10 613r7 613r34 127r7 Message{42|105R9} 72|604b7 613r42 128b7 Is_Binary{boolean} 72|605b7 607r10 132U14*Send 133=7 134>7 135>7 72|616b14 628l8 628t12 133r7 Socket{46R9} 72|617b7 622m10 622r10 624m10 624r10 627r7 627r34 134a7 Message{32|54A9} 72|618b7 627r42 135b7 Is_Binary{boolean} 72|619b7 621r10 138U14*Close 139=7 140>7 141>7 72|68b14 80l8 80t13 139r7 Socket{46R9} 72|69b7 76r7 76r35 140a7 Message{string} 72|70b7 76r43 141e7 Error{55E9} 72|71b7 76r64 148U14*Connect 149=7 150>7 72|86b14 135l8 135t15 149c7 Socket<46R9> 72|87b7 97m7 101r10 115r10 123m26 123r26 128m11 129r34 . 132m31 132r31 134m7 134r7 150a7 URI{string} 72|88b7 93r60 102r25 132r54 134r53 156V13*Poll{boolean} 157=7 158>7 72|402b13 452l8 452t12 157c7 Socket<46R9> 72|403b7 428m31 428r31 432r16 443m10 443r10 158o7 Timeout{duration} 72|404b7 433r64 188V13*Kind{51E9} 188>19 72|346b13 349l8 349t12 493R22 502R29 188r19 Socket{46R9} 72|346b19 348r14 191V13*Protocol_Version{natural} 191>31 72|458b13 461l8 461t24 191r31 Socket{46R9} 72|458b31 460r14 194V13*URI{string} 194>18 72|647b13 650l8 650t11 194r18 Socket{46R9} 72|647b18 649r30 197V13*Origin{string} 197>21 72|364b13 368l8 368t14 197r21 Socket{46R9} 72|364b21 367r29 201V13*Request{84|58R9} 201>22 72|564b13 567l8 567t15 201r22 Socket{46R9} 72|564b22 566r14 205V13*Error{55E9} 205>20 72|192b13 209l8 209t13 205r20 Socket{46R9} 72|192b20 194r12 208V13*End_Of_Message{boolean} 208>29 72|167b13 170l8 170t22 499R26 525R26 208r29 Socket{46R9} 72|167b29 169r14 215U25*Shutdown<62|140p14> 216>7 217>7 72|507R29 520R23 539R23 634b25 641l8 . 641t16 668R17 216r7 Socket{46R9} 72|635b7 638r10 639r10 217e7 How{62|80E9} 72|636b7 639r34 220V24*Get_FD{62|59I12}<62|206p13> 220>32 72|252b24 255l8 255t14 482R26 220r32 Socket{46R9} 72|252b32 254r14 223V24*Peer_Addr{string}<62|209p13> 223>35 72|374b24 377l8 377t17 223r35 Socket{46R9} 72|374b35 376r14 226V24*Peer_Port{positive}<62|212p13> 226>35 72|383b24 386l8 386t17 226r35 Socket{46R9} 72|383b35 385r14 229V24*Get_Addr{string}<62|215p13> 229>34 72|243b24 246l8 246t16 229r34 Socket{46R9} 72|243b34 245r14 232V24*Get_Port{positive}<62|218p13> 232>34 72|261b24 264l8 264t16 232r34 Socket{46R9} 72|261b34 263r14 235V24*Errno{integer}<62|293p13> 235>31 72|176b24 186l8 186t13 235r31 Socket{46R9} 72|176b31 178r46 181r17 183m10 183r10 238V24*Get_Send_Buffer_Size{natural}<62|247p13> 238>46 72|280b24 283l8 283t28 238r46 Socket{46R9} 72|280b46 282r14 242V24*Get_Receive_Buffer_Size{natural}<62|252p13> 243>7 72|270b24 274l8 . 274t31 243r7 Socket{46R9} 72|271b7 273r14 251I9*UID 253r22 256r46 281r18 352r25 72|289r46 321r24 253i4*No_UID{251I9} 352c4 358r35 256V13*Get_UID{251I9} 256>22 72|289b13 292l8 292t15 256r22 Socket{46R9} 72|289b22 291r14 262R9 Internal_State 266e14 267r41 72|218r38 323r28 263e7*Kind{51E9} 72|324m11 348r27 593m23 595m23 608m23 610m23 622m23 624m23 264m7*Errno{98|84M9} 72|178r59 183m23 194r25 325m11 661m23 265i7*Last_Activity{3|42I9} 72|326m11 557m20 584m20 267P9 Internal_State_Access(262R9) 284r18 72|218r54 269R9 Protocol_State 270r41 72|47c9 49e14 220r38 327r28 270P9 Protocol_State_Access(269R9) 285r18 72|220r54 272R9 Message_Data 275e14 277r64 273p7*Mem_Sock{62|55P9} 274o7*Timeout{duration} 277K12 Message_List[8|47] 286r18 363r35 280p7 Socket{62|55P9} 357m21 72|181r24 233m23 245r21 254r21 263r21 273r21 . 282r21 320m12 376r21 385r21 395r21 581r17 638r17 639r17 281i7 Id{251I9} 358m21 72|291r21 321m12 282r7 Request{84|58R9} 72|132m38 159m14 367r36 566r21 649r37 283i7 Version{natural} 360m21 72|322m12 460r21 284p7 State{267P9} 361m21 72|178r53 183r17 194r19 222m30 222r30 323m12 348r21 . 557r14 584r14 593r17 595r17 608r17 610r17 622r17 624r17 661r17 285p7 P_State{270P9} 362m21 72|76r14 169r21 224r17 225r33 226m33 226r33 327m12 . 556r14 598r14 613r14 627r14 286r7 Messages{8|54R9[277]} 363m21 287p7 Mem_Sock{62|55P9} 364m21 72|236m20 328m12 579r17 288b7 In_Mem{boolean} 366m21 72|329m12 578r17 290p7 Connection{52|290P9} 297r32 365m21 72|97m14 101r17 115r17 123m33 123r33 . 129r41 229r17 231m33 231r33 296V13 Is_Client_Side{boolean} 296b13 296>29 296c29 Socket<46R9> 297r25 304U25 Send<62|165p14> 305>7 306>7 307<7 72|573b25 585l8 585t12 305r7 Socket{46R9} 72|574b7 578r10 579r10 581r10 584m7 584r7 306a7 Data{32|54A9} 72|575b7 579r32 581r30 307i7 Last{32|44I9} 72|576b7 579m38 581m36 309U25 Receive<62|175p14> 310>7 311<7 312<7 72|422R17 476R20 551b25 558l8 . 558t15 310r7 Socket{46R9} 72|552b7 556r7 556r37 557m7 557r7 311a7 Data{32|54A9} 72|553b7 556m45 312i7 Last{32|44I9} 72|554b7 556m51 316U25 Bind<62|96p14> 317=7 318>7 319>7 320>7 321>7 322>7 317r7 Socket{46R9} 318i7 Port{natural} 319a7 Host{string} 320b7 Reuse_Address{boolean} 321b7 IPv6_Only{boolean} 322e7 Family{62|78E9} 324U25 Listen<62|110p14> 325>7 325>24 325r7 Socket{46R9} 325i24 Queue_Size{positive} 327U25 Accept_Socket<62|114p14> 328>7 328=35 328c7 Socket<62|54R9> 328r35 New_Socket{46R9} 330U25 Connect<62|123p14> 331=7 332>7 333>7 334>7 335>7 331r7 Socket{46R9} 332a7 Host{string} 333i7 Port{positive} 334b7 Wait{boolean} 335e7 Family{62|78E9} 337U25 Socket_Pair<62|137p14> 337<38 337<42 337r38 S1{46R9} 337r42 S2{46R9} 339V24 Pending{32|51I12}<62|189p13> 340>7 72|392b24 396l8 396t15 340r7 Socket{46R9} 72|393b7 395r14 342V24 Is_Listening{boolean}<62|227p13> 342>38 72|336b24 340l8 340t20 342r38 Socket{46R9} 72|336b38 337r28 344U25 Set_Send_Buffer_Size<62|237p14> 345>7 345>24 345r7 Socket{46R9} 345i24 Size{natural} 347U25 Set_Receive_Buffer_Size<62|242p14> 348>7 348>24 348r7 Socket{46R9} 348i24 Size{natural} 350U25 Free<62|400p14> 350=31 72|215b25 237l8 237t12 350r31 Socket{46R9} 72|215b31 222m23 222r23 224r10 225r26 226m26 226r26 229r10 . 231m26 231r26 233m16 233r16 236m13 236r13 370a4 Error_Code(98|84M9) 72|76r52 661r32 390U14 WebSocket_Exception 391^7 392>7 393>7 72|483s16 656b14 673l8 673t27 391p7 WebSocket(46R9) 72|657b7 661r7 662r7 665r10 668r7 392a7 Message{string} 72|658b7 662r27 665r30 393e7 Error{55E9} 72|659b7 661r44 664r10 398U22 Receive 399^11 400<11 401<11 72|426r11 399p11 Socket(46R9) 400a11 Data{32|54A9} 401i11 Last{32|44I9} 402U22 On_Success 402>34 72|511s19 526s16 402p34 Socket{47P9} 403U22 On_Error 403>32 72|487s16 505s19 518s13 536s13 403p32 Socket{47P9} 404U22 On_Free 404=31 72|508s19 521s13 540s13 404p31 Socket{47P9} 405v13 Read_Message 406=8 407=8 72|425r54 467b13 545l8 545t20 406p8 WebSocket{47P9} 72|468b8 476r10 482r16 484r19 487r26 493r12 499r16 . 502r19 505r29 506r19 507r19 508m28 510r19 511r31 518r23 519r13 520r13 521m22 . 525r16 526r28 536r23 537r13 538r13 539r13 540m22 407r8 Message{42|105R9} 72|469b8 496m16 503r52 506r50 510r41 519r44 X 72 aws-net-websocket.adb 44w4 WS_UID{88|345W19} 318r7 48p7*State{73|39P9} 76r22 169r29 225m41 225r41 327m44 556r22 598r22 613r22 . 627r22 51U14 Unchecked_Free[49|23] 123s10 231s10 53U14 Unchecked_Free[49|23] 122s10 225s10 57U14 Initialize 58=8 59>8 60>8 61>8 127s7 158s7 298b14 330l8 330t18 58c8 Self<71|46R9> 299b8 320m7 321m7 322m7 323m7 327m7 328m7 329m7 59p8 Socket{62|55P9} 300b8 320r24 60p8 Protocol{73|39P9} 301b8 327r53 61r8 Headers{59|37R9} 302b8 307r10 310r23 90r7 Headers{59|37R9} 112m57 112r57 119r25 121r47 131r11 91r7 Resp{82|59R9} 116m25 121r56 92p7 Protocol{73|39P9} 98m7 112r7 121r14 122m26 122r26 130r11 93r7 URL{87|60R9} 112r51 145r7 Result{71|46R9} 158m19 158r19 159m7 160r14 146p7 Protocol{73|39P9} 153m10 155m10 158r35 147r7 Headers{59|37R9} 150r10 151r18 158r45 178m7 E{98|84M9} 180r10 184r26 217U17 Unchecked_Free[49|23] 222s7 219U17 Unchecked_Free[49|23] 226s10 304i7 Version{natural} 313m16 322r24 305i7 WS_UID_Value{natural} 318m34 318r34 321r29 309a13 Value{string} 312r33 313r42 407U17 Do_Receive 408^11 409<11 410<11 417b17 423l11 423t21 426r22 408p11 Socket(71|46R9) 418b11 422r10 409a11 Data{32|54A9} 419b11 422m26 410i11 Last{32|44I9} 420b11 422m32 425V16 Read_Message[71|405]{boolean} 437s20 467b13 428p7 Obj{71|47P9} 437m34 437r34 429a7 Event{62|70A9} 432m7 435r10 442r13 430r7 Msg{42|105R9} 437m39 437r39 472a7 Data{32|54A9} 476m29 497r38 497r44 473i7 Last{32|44I9} 476m35 497r58 478r15 E{24|53R9} 485r38 X 73 aws-net-websocket-protocol.ads 36K27*Protocol 72|35r24 36r24 48r29 54r21 55r21 60r33 92r36 98r37 146r32 . 153r40 155r40 301r33 73|87e31 38H9*State 72|54r30 73|38e45 39P9*State_Class(38R9) 72|48r38 55r30 60r42 92r45 146r41 301r42 43x14*Send 72|598R28 627R28 50x14*Send 72|613R28 57x14*Close 72|76R28 64x14*Receive 72|556R28 71y13*End_Of_Message{boolean} 72|169R35 74x14*Add_Connect_Headers 72|112R16 80V13*Check_Connect_Response{boolean} 72|121R23 X 74 aws-net-websocket-protocol-draft76.ads 33K36*Draft76 72|35w33 153r49 74|77e39 35R9*State<73|38R9> 72|153r57 74|35e53 X 75 aws-net-websocket-protocol-rfc6455.ads 32K36*RFC6455 72|36w33 98r46 155r49 75|101e39 34R9*State<73|38R9> 72|98r54 155r57 75|99e14 X 82 aws-response.ads 51K13*Response 72|37w10 91r22 82|455e17 59R9*Data<25|43R9> 72|91r31 82|446e14 X 84 aws-status.ads 52K13*Status 71|35w10 82r21 201r50 282r22 72|38r10 132r11 143r21 148r24 367r14 . 564r50 649r18 84|405e15 58R9*Data 71|82r28 201r57 282r29 72|143r28 564r57 84|403e14 79V13*URI{string} 72|649s25 107V13*Header{59|37R9} 72|148s31 367s21 X 85 aws-status-set.ads 35K20*Set 72|38w17 132r18 85|165e19 86U14*Request 72|132s22 X 86 aws-translator.ads 38K13*Translator 72|39w10 497r16 599r18 86|180e19 138V13*To_String{string} 72|497s27 144V13*To_Stream_Element_Array{32|54A9} 72|599s29 X 87 aws-url.ads 37K13*URL 72|40w10 93r31 93r49 112r41 87|251e12 60R9*Object 72|93r35 87|237e14 68V13*Parse{60R9} 72|93s53 93V13*Host{string} 72|112s45 X 88 aws-utils.ads 44K13*Utils 72|44r13 312r16 503r31 88|460e14 135V13*Is_Number{boolean} 72|312s22 200V13*Is_Valid_UTF8{boolean} 72|503s37 345W19*Counter 72|44r19 88|367e15 353U17 Increment 72|318s14 353i51 Value{natural} 72|318r25 X 98 interfac.ads 47K9*Interfaces 71|40w14 264r23 264r49 370r48 72|177r16 178r20 180r14 183r32 . 325r28 98|247e15 68I9*Integer_64 84M9*Unsigned_16 71|264r34 264r60 370r59 72|177r27 178r31 180r25 183r43 325r39 X 104 system.ads 67M9*Address 81V14*"="{boolean} 13|47i19 X 106 s-arit64.ads 59I12*Int64{98|68I9} 108V13*Multiply_With_Ovflo_Check64{59I12} 112i22 X 123 s-memory.ads 51V13*Alloc{104|67M9} 101i22 66U14*Free 102i22 74V13*Realloc{104|67M9} 103i22 X 137 s-stausa.ads 207U14*Initialize 208i22 272U14*Output_Results 276i22 X 139 s-stalib.adb 87U14 Break_Start 88i22