object

http_socket_transport

Sockets-backed HTTP transport predicates built on top of the sockets, http_client_core, and http_server_core libraries.

Availability:

logtalk_load(http_socket_transport(loader))

Author: Paulo Moura

Version: 1:0:0

Date: 2026-07-08

Compilation flags:

static, context_switching_calls, threaded

Implements:

public http_transport_protocol

Imports:

public options

public http_message_helpers

public http_text_helpers

Uses:

http_client_core

http_core

http_server_core

list

socket

user

Remarks:

(none)

Inherited public predicates:

 check_option/1  check_options/1  close_connection/1  close_connection_pool/1  close_listener/1  connection_pool_stats/2  connection_streams/3  default_option/1  default_options/1  exchange/3  exchange/4  exchange/5  exchange_sequence/3  exchange_sequence/4  open_connection/4  open_connection_pool/4  open_listener/4  option/2  option/3  request_listener_shutdown/1  request_shutdown/1  serve_listener/4  serve_listener/5  serve_once/3  serve_until_shutdown/4  serve_until_shutdown/5  serve_websocket_once/5  supported_request_scheme/1  supported_websocket_scheme/1  valid_option/1  valid_options/1

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

connection_pool_seed_/1

Last allocated connection pool identifier.

Compilation flags:

dynamic

Template:

connection_pool_seed_(PoolId)

Mode and number of proofs:

connection_pool_seed_(?positive_integer) - zero_or_one

---

connection_pool_config_/6

Stored connection pool configuration indexed by pool identifier.

Compilation flags:

dynamic

Template:

connection_pool_config_(PoolId,Host,Port,MinSize,MaxSize,ConnectionOptions)

Mode and number of proofs:

connection_pool_config_(?positive_integer,?atom,?integer,?non_negative_integer,?positive_integer,?list) - zero_or_more

---

connection_pool_available_/2

Reusable idle client connections indexed by pool identifier.

Compilation flags:

dynamic

Template:

connection_pool_available_(PoolId,Connection)

Mode and number of proofs:

connection_pool_available_(?positive_integer,?compound) - zero_or_more

---

connection_pool_in_use_/2

Checked-out client connections indexed by pool identifier.

Compilation flags:

dynamic

Template:

connection_pool_in_use_(PoolId,Connection)

Mode and number of proofs:

connection_pool_in_use_(?positive_integer,?compound) - zero_or_more

---

listener_shutdown_seed_/1

Last allocated shutdown run identifier for open-ended listener loops.

Compilation flags:

dynamic

Template:

listener_shutdown_seed_(RunId)

Mode and number of proofs:

listener_shutdown_seed_(?positive_integer) - zero_or_one

---

listener_shutdown_control_/3

Registered shutdown control terms and their associated listeners.

Compilation flags:

dynamic

Template:

listener_shutdown_control_(Control,Listener,RunId)

Mode and number of proofs:

listener_shutdown_control_(?nonvar,?compound,?positive_integer) - zero_or_more

---

listener_shutdown_requested_/2

Recorded shutdown requests indexed by control term and run identifier.

Compilation flags:

dynamic

Template:

listener_shutdown_requested_(Control,RunId)

Mode and number of proofs:

listener_shutdown_requested_(?nonvar,?positive_integer) - zero_or_more

---

listener_active_worker_/3

Active listener worker records indexed by control term and run identifier.

Compilation flags:

dynamic

Template:

listener_active_worker_(Control,RunId,Worker)

Mode and number of proofs:

listener_active_worker_(?nonvar,?positive_integer,?compound) - zero_or_more

---

listener_endpoint_/3

Stored listener endpoints indexed by listener handle.

Compilation flags:

dynamic

Template:

listener_endpoint_(Listener,Host,Port)

Mode and number of proofs:

listener_endpoint_(?compound,?atom,?integer) - zero_or_more

---

Operators

(none)