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 options

Remarks:

(none)

Inherited public predicates:

 check_option/1  check_options/1  default_option/1  default_options/1  option/2  option/3  valid_option/1  valid_options/1

Public predicates

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)