category

http_router_server_session(Manager)

  • Manager - Server-session manager handle used for request begin and response finish processing.

Optional server-session middleware helpers for router objects importing the http_router category.

Availability:
logtalk_load(http_session(loader))
Author: Paulo Moura
Version: 1:0:0
Date: 2026-07-09
Compilation flags:
static
Uses:
http_server_core_session
Remarks:
(none)
Inherited public predicates:
(none)

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

annotate_server_session_request/2

Router middleware helper that annotates a normalized request with a server-session handle and state before route dispatch.

Compilation flags:
static
Template:
annotate_server_session_request(Request,Action)
Mode and number of proofs:
annotate_server_session_request(+compound,-compound) - one_or_error
Exceptions:
The configured manager is not an open server-session manager handle:
domain_error(http_server_core_session,Manager)
Request is not a valid normalized HTTP request:
domain_error(http_server_core_session_request,Request)

add_server_session_response/3

Router response-middleware helper that finalizes server-session cookie lifecycle changes after route dispatch.

Compilation flags:
static
Template:
add_server_session_response(Request,Response0,Response)
Mode and number of proofs:
add_server_session_response(+compound,+compound,-compound) - one_or_error
Exceptions:
Request is not a valid annotated server-session request:
domain_error(http_server_core_session_request,Request)
Response0 is not a valid normalized HTTP response:
domain_error(http_server_core_session_response,Response0)
The decorated response violates normalized HTTP response semantics:
domain_error(http_header_semantics,Header)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)