.. index:: single: http_websocket_service_loop_options .. _http_websocket_service_loop_options/0:

.. rst-class:: right

object

http_websocket_service_loop_options

Auxiliary object defining the supported session-loop options and default values for callback-driven WebSocket services.

| Availability: | logtalk_load(http_websocket_service(loader))

| Author: Paulo Moura | Version: 1:0:0 | Date: 2026-07-13

| Compilation flags: | static, context_switching_calls

| Imports: | public :ref:`options <options/0>`

| Remarks: | (none)

| Inherited public predicates: | Â :ref:`options_protocol/0::check_option/1` Â :ref:`options_protocol/0::check_options/1` Â :ref:`options_protocol/0::default_option/1` Â :ref:`options_protocol/0::default_options/1` Â :ref:`options_protocol/0::option/2` Â :ref:`options_protocol/0::option/3` Â :ref:`options_protocol/0::valid_option/1` Â :ref:`options_protocol/0::valid_options/1` Â

.. contents:: :local: :backlinks: top

Public predicates

.. index:: merged_options/2 .. _http_websocket_service_loop_options/0::merged_options/2:

merged_options/2 ^^^^^^^^^^^^^^^^^^^^

Merges validated session-loop options with the declared default options.

| Compilation flags: | static

| Template: | merged_options(UserOptions,MergedOptions) | Mode and number of proofs: | merged_options(+list(compound),-list(compound)) - one

---

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)