object

http_websocket_session_write_options

Auxiliary object defining the supported write options and default values for HTTP WebSocket sessions.

Availability:

logtalk_load(http_websocket_session(loader))

Author: Paulo Moura

Version: 1:0:0

Date: 2026-06-26

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 write 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)