session_core.h File Reference

#include "b2c.h"
#include "msg_session_bs.h"
#include "session_channel_it.h"
#include "session_core_1.h"
#include "session_core_it.h"
#include "user_authentication.h"
#include "channel_mgr.h"
#include "constants.h"
#include "constants_statuscodes_bs.h"
#include "message_in_bs.h"
#include "message_out_bs.h"
#include "request_handle_bs.h"
#include "time_reference_bs.h"

Go to the source code of this file.

Macros
#define	session_core__allocate_x509_token_from_user   user_authentication__allocate_x509_token_from_user
#define	session_core__client_gen_activate_orphaned_session_internal_event   session_core_1__client_gen_activate_orphaned_session_internal_event
#define	session_core__client_gen_activate_user_session_internal_event   session_core_1__client_gen_activate_user_session_internal_event
#define	session_core__client_gen_create_session_internal_event   session_core_1__client_gen_create_session_internal_event
#define	session_core__client_get_token_from_session   session_core_1__client_get_token_from_session
#define	session_core__deallocate_user   user_authentication__deallocate_user
#define	session_core__deallocate_x509_token   user_authentication__deallocate_x509_token
#define	session_core__drop_user_server   session_core_1__drop_user_server
#define	session_core__get_channel_nb_sessions   session_core_1__get_channel_nb_sessions
#define	session_core__get_local_user   user_authentication__get_local_user
#define	session_core__get_server_session_preferred_locales   session_core_1__get_server_session_preferred_locales
#define	session_core__get_session_channel   session_core_1__get_session_channel
#define	session_core__get_session_user_client   session_core_1__get_session_user_client
#define	session_core__get_session_user_server   session_core_1__get_session_user_server
#define	session_core__getall_orphaned   session_core_1__getall_orphaned
#define	session_core__getall_session_channel   session_core_1__getall_session_channel
#define	session_core__getall_to_create   session_core_1__getall_to_create
#define	session_core__has_user_token_policy_available   user_authentication__has_user_token_policy_available
#define	session_core__is_valid_session   session_core_1__is_valid_session
#define	session_core__is_valid_user_x509_authentication   user_authentication__is_valid_user_x509_authentication
#define	session_core__reset_session_to_create   session_core_1__reset_session_to_create
#define	session_core__server_get_session_from_token   session_core_1__server_get_session_from_token
#define	session_core__server_session_timeout_evaluation   session_core_1__server_session_timeout_evaluation
#define	session_core__server_session_timeout_msg_received   session_core_1__server_session_timeout_msg_received
#define	session_core__server_session_timeout_start_timer   session_core_1__server_session_timeout_start_timer
#define	session_core__session_has_user_server   session_core_1__session_has_user_server
#define	session_core__set_session_app_context   session_core_1__set_session_app_context
#define	session_core__set_session_to_create   session_core_1__set_session_to_create
#define	session_core__set_session_user_client   session_core_1__set_session_user_client

Functions
void	session_core__INITIALISATION (void)
void	session_core__l_client_secure_channel_lost_session_sm (const t_bool session_core__p_dom, const constants__t_channel_i session_core__p_channel, const constants__t_channel_i session_core__p_lost_channel, const constants__t_session_i session_core__p_session, const constants__t_channel_config_idx_i session_core__p_channel_config_idx)
void	session_core__l_server_secure_channel_lost_session_sm (const t_bool session_core__p_dom, const constants__t_channel_i session_core__p_channel, const constants__t_channel_i session_core__p_lost_channel, const constants__t_session_i session_core__p_session)
void	session_core__server_internal_activate_req_and_resp (const constants__t_channel_i session_core__channel, const constants__t_session_i session_core__session, const constants__t_sessionState_i session_core__transitoryState, const constants__t_user_i session_core__p_user, const constants__t_msg_i session_core__activate_req_msg, const constants__t_msg_i session_core__activate_resp_msg, t_bool *const session_core__res_activated)
void	session_core__allocate_authenticated_user (const constants__t_channel_i session_core__p_channel, const constants__t_session_i session_core__p_session, const constants__t_user_token_i session_core__p_user_token, const constants__t_SignatureData_i session_core__p_user_token_signature, constants_statuscodes_bs__t_StatusCode_i *const session_core__p_sc_valid_user, t_bool *const session_core__p_max_attempts, constants__t_user_i *const session_core__p_user)
void	session_core__client_activate_session_resp_sm (const constants__t_channel_i session_core__channel, const constants__t_session_i session_core__session, const constants__t_msg_i session_core__activate_resp_msg, t_bool *const session_core__bret)
void	session_core__client_close_session_req_sm (const constants__t_session_i session_core__session, const constants__t_msg_i session_core__close_req_msg, constants_statuscodes_bs__t_StatusCode_i *const session_core__ret, constants__t_channel_i *const session_core__channel, constants__t_session_token_i *const session_core__session_token)
void	session_core__client_close_session_resp_sm (const constants__t_channel_i session_core__channel, const constants__t_session_i session_core__session, const constants__t_msg_i session_core__close_resp_msg)
void	session_core__client_close_session_sm (const constants__t_session_i session_core__session, const constants_statuscodes_bs__t_StatusCode_i session_core__sc_reason)
void	session_core__client_create_session_req_sm (const constants__t_session_i session_core__session, const constants__t_channel_i session_core__channel, const constants__t_msg_i session_core__create_req_msg, t_bool *const session_core__valid)
void	session_core__client_create_session_resp_sm (const constants__t_channel_i session_core__channel, const constants__t_session_i session_core__session, const constants__t_session_token_i session_core__session_token, const constants__t_msg_i session_core__create_resp_msg, t_bool *const session_core__bret)
void	session_core__client_init_session_sm (constants__t_session_i *const session_core__nsession)
void	session_core__client_sc_activate_session_req_sm (const constants__t_session_i session_core__session, const constants__t_channel_i session_core__channel, const constants__t_msg_i session_core__activate_req_msg, constants__t_session_token_i *const session_core__session_token)
void	session_core__client_secure_channel_lost_session_sm (const constants__t_channel_i session_core__p_lost_channel, const constants__t_channel_config_idx_i session_core__p_channel_config_idx)
void	session_core__client_user_activate_session_req_sm (const constants__t_session_i session_core__session, const constants__t_user_token_i session_core__p_user_token, const constants__t_msg_i session_core__activate_req_msg, constants_statuscodes_bs__t_StatusCode_i *const session_core__ret, constants__t_channel_i *const session_core__channel, constants__t_session_token_i *const session_core__session_token)
void	session_core__find_channel_to_close (t_bool *const session_core__p_has_channel_to_close, constants__t_channel_i *const session_core__p_channel_to_close)
void	session_core__get_session_state_or_closed (const constants__t_session_i session_core__session, constants__t_sessionState_i *const session_core__state)
void	session_core__getall_valid_session_channel (const constants__t_session_i session_core__session, t_bool *const session_core__bres, constants__t_channel_i *const session_core__channel)
void	session_core__is_session_valid_for_service (const constants__t_channel_i session_core__channel, const constants__t_session_i session_core__session, t_bool *const session_core__ret)
void	session_core__may_close_unactivated_session (void)
void	session_core__server_activate_session_req_and_resp_sm (const constants__t_channel_i session_core__channel, const constants__t_session_i session_core__session, const constants__t_user_i session_core__user, const constants__t_msg_i session_core__activate_req_msg, const constants__t_msg_i session_core__activate_resp_msg, constants_statuscodes_bs__t_StatusCode_i *const session_core__ret)
void	session_core__server_close_session_req_and_resp_sm (const constants__t_channel_i session_core__channel, const constants__t_session_i session_core__session, const constants__t_msg_i session_core__close_req_msg, const constants__t_msg_i session_core__close_resp_msg, constants_statuscodes_bs__t_StatusCode_i *const session_core__ret)
void	session_core__server_close_session_sm (const constants__t_session_i session_core__session, const constants_statuscodes_bs__t_StatusCode_i session_core__sc_reason)
void	session_core__server_create_session_req_and_resp_sm (const constants__t_channel_i session_core__channel, const constants__t_msg_i session_core__create_req_msg, const constants__t_msg_i session_core__create_resp_msg, constants__t_session_i *const session_core__nsession, constants_statuscodes_bs__t_StatusCode_i *const session_core__service_ret)
void	session_core__server_secure_channel_lost_session_sm (const constants__t_channel_i session_core__p_lost_channel)
void	session_core__session_core_UNINITIALISATION (void)

Macro Definition Documentation

session_core__allocate_x509_token_from_user

#define session_core__allocate_x509_token_from_user   user_authentication__allocate_x509_token_from_user

session_core__client_gen_activate_orphaned_session_internal_event

#define session_core__client_gen_activate_orphaned_session_internal_event   session_core_1__client_gen_activate_orphaned_session_internal_event

session_core__client_gen_activate_user_session_internal_event

#define session_core__client_gen_activate_user_session_internal_event   session_core_1__client_gen_activate_user_session_internal_event

session_core__client_gen_create_session_internal_event

#define session_core__client_gen_create_session_internal_event   session_core_1__client_gen_create_session_internal_event

session_core__client_get_token_from_session

#define session_core__client_get_token_from_session   session_core_1__client_get_token_from_session

session_core__deallocate_user

#define session_core__deallocate_user   user_authentication__deallocate_user

session_core__deallocate_x509_token

#define session_core__deallocate_x509_token   user_authentication__deallocate_x509_token

session_core__drop_user_server

#define session_core__drop_user_server   session_core_1__drop_user_server

session_core__get_channel_nb_sessions

#define session_core__get_channel_nb_sessions   session_core_1__get_channel_nb_sessions

session_core__get_local_user

#define session_core__get_local_user   user_authentication__get_local_user

session_core__get_server_session_preferred_locales

#define session_core__get_server_session_preferred_locales   session_core_1__get_server_session_preferred_locales

session_core__get_session_channel

#define session_core__get_session_channel   session_core_1__get_session_channel

session_core__get_session_user_client

#define session_core__get_session_user_client   session_core_1__get_session_user_client

session_core__get_session_user_server

#define session_core__get_session_user_server   session_core_1__get_session_user_server

session_core__getall_orphaned

#define session_core__getall_orphaned   session_core_1__getall_orphaned

session_core__getall_session_channel

#define session_core__getall_session_channel   session_core_1__getall_session_channel

session_core__getall_to_create

#define session_core__getall_to_create   session_core_1__getall_to_create

session_core__has_user_token_policy_available

#define session_core__has_user_token_policy_available   user_authentication__has_user_token_policy_available

session_core__is_valid_session

#define session_core__is_valid_session   session_core_1__is_valid_session

session_core__is_valid_user_x509_authentication

#define session_core__is_valid_user_x509_authentication   user_authentication__is_valid_user_x509_authentication

session_core__reset_session_to_create

#define session_core__reset_session_to_create   session_core_1__reset_session_to_create

session_core__server_get_session_from_token

#define session_core__server_get_session_from_token   session_core_1__server_get_session_from_token

session_core__server_session_timeout_evaluation

#define session_core__server_session_timeout_evaluation   session_core_1__server_session_timeout_evaluation

session_core__server_session_timeout_msg_received

#define session_core__server_session_timeout_msg_received   session_core_1__server_session_timeout_msg_received

session_core__server_session_timeout_start_timer

#define session_core__server_session_timeout_start_timer   session_core_1__server_session_timeout_start_timer

session_core__session_has_user_server

#define session_core__session_has_user_server   session_core_1__session_has_user_server

session_core__set_session_app_context

#define session_core__set_session_app_context   session_core_1__set_session_app_context

session_core__set_session_to_create

#define session_core__set_session_to_create   session_core_1__set_session_to_create

session_core__set_session_user_client

#define session_core__set_session_user_client   session_core_1__set_session_user_client

Function Documentation

session_core__INITIALISATION()

void session_core__INITIALISATION ( void )

extern

session_core__l_client_secure_channel_lost_session_sm()

void session_core__l_client_secure_channel_lost_session_sm ( const t_bool session_core__p_dom, const constants__t_channel_i session_core__p_channel, const constants__t_channel_i session_core__p_lost_channel, const constants__t_session_i session_core__p_session, const constants__t_channel_config_idx_i session_core__p_channel_config_idx )

extern

session_core__l_server_secure_channel_lost_session_sm()

void session_core__l_server_secure_channel_lost_session_sm ( const t_bool session_core__p_dom, const constants__t_channel_i session_core__p_channel, const constants__t_channel_i session_core__p_lost_channel, const constants__t_session_i session_core__p_session )

extern

session_core__server_internal_activate_req_and_resp()

void session_core__server_internal_activate_req_and_resp ( const constants__t_channel_i session_core__channel, const constants__t_session_i session_core__session, const constants__t_sessionState_i session_core__transitoryState, const constants__t_user_i session_core__p_user, const constants__t_msg_i session_core__activate_req_msg, const constants__t_msg_i session_core__activate_resp_msg, t_bool *const session_core__res_activated )

extern

session_core__allocate_authenticated_user()

void session_core__allocate_authenticated_user ( const constants__t_channel_i session_core__p_channel, const constants__t_session_i session_core__p_session, const constants__t_user_token_i session_core__p_user_token, const constants__t_SignatureData_i session_core__p_user_token_signature, constants_statuscodes_bs__t_StatusCode_i *const session_core__p_sc_valid_user, t_bool *const session_core__p_max_attempts, constants__t_user_i *const session_core__p_user )

extern

session_core__client_activate_session_resp_sm()

void session_core__client_activate_session_resp_sm ( const constants__t_channel_i session_core__channel, const constants__t_session_i session_core__session, const constants__t_msg_i session_core__activate_resp_msg, t_bool *const session_core__bret )

extern

session_core__client_close_session_req_sm()

void session_core__client_close_session_req_sm ( const constants__t_session_i session_core__session, const constants__t_msg_i session_core__close_req_msg, constants_statuscodes_bs__t_StatusCode_i *const session_core__ret, constants__t_channel_i *const session_core__channel, constants__t_session_token_i *const session_core__session_token )

extern

session_core__client_close_session_resp_sm()

void session_core__client_close_session_resp_sm ( const constants__t_channel_i session_core__channel, const constants__t_session_i session_core__session, const constants__t_msg_i session_core__close_resp_msg )

extern

session_core__client_close_session_sm()

void session_core__client_close_session_sm ( const constants__t_session_i session_core__session, const constants_statuscodes_bs__t_StatusCode_i session_core__sc_reason )

extern

session_core__client_create_session_req_sm()

void session_core__client_create_session_req_sm ( const constants__t_session_i session_core__session, const constants__t_channel_i session_core__channel, const constants__t_msg_i session_core__create_req_msg, t_bool *const session_core__valid )

extern

session_core__client_create_session_resp_sm()

void session_core__client_create_session_resp_sm ( const constants__t_channel_i session_core__channel, const constants__t_session_i session_core__session, const constants__t_session_token_i session_core__session_token, const constants__t_msg_i session_core__create_resp_msg, t_bool *const session_core__bret )

extern

session_core__client_init_session_sm()

void session_core__client_init_session_sm ( constants__t_session_i *const session_core__nsession )

extern

session_core__client_sc_activate_session_req_sm()

void session_core__client_sc_activate_session_req_sm ( const constants__t_session_i session_core__session, const constants__t_channel_i session_core__channel, const constants__t_msg_i session_core__activate_req_msg, constants__t_session_token_i *const session_core__session_token )

extern

session_core__client_secure_channel_lost_session_sm()

void session_core__client_secure_channel_lost_session_sm ( const constants__t_channel_i session_core__p_lost_channel, const constants__t_channel_config_idx_i session_core__p_channel_config_idx )

extern

session_core__client_user_activate_session_req_sm()

void session_core__client_user_activate_session_req_sm ( const constants__t_session_i session_core__session, const constants__t_user_token_i session_core__p_user_token, const constants__t_msg_i session_core__activate_req_msg, constants_statuscodes_bs__t_StatusCode_i *const session_core__ret, constants__t_channel_i *const session_core__channel, constants__t_session_token_i *const session_core__session_token )

extern

session_core__find_channel_to_close()

void session_core__find_channel_to_close ( t_bool *const session_core__p_has_channel_to_close, constants__t_channel_i *const session_core__p_channel_to_close )

extern

session_core__get_session_state_or_closed()

void session_core__get_session_state_or_closed ( const constants__t_session_i session_core__session, constants__t_sessionState_i *const session_core__state )

extern

session_core__getall_valid_session_channel()

void session_core__getall_valid_session_channel ( const constants__t_session_i session_core__session, t_bool *const session_core__bres, constants__t_channel_i *const session_core__channel )

extern

session_core__is_session_valid_for_service()

void session_core__is_session_valid_for_service ( const constants__t_channel_i session_core__channel, const constants__t_session_i session_core__session, t_bool *const session_core__ret )

extern

session_core__may_close_unactivated_session()

void session_core__may_close_unactivated_session ( void )

extern

session_core__server_activate_session_req_and_resp_sm()

void session_core__server_activate_session_req_and_resp_sm ( const constants__t_channel_i session_core__channel, const constants__t_session_i session_core__session, const constants__t_user_i session_core__user, const constants__t_msg_i session_core__activate_req_msg, const constants__t_msg_i session_core__activate_resp_msg, constants_statuscodes_bs__t_StatusCode_i *const session_core__ret )

extern

session_core__server_close_session_req_and_resp_sm()

void session_core__server_close_session_req_and_resp_sm ( const constants__t_channel_i session_core__channel, const constants__t_session_i session_core__session, const constants__t_msg_i session_core__close_req_msg, const constants__t_msg_i session_core__close_resp_msg, constants_statuscodes_bs__t_StatusCode_i *const session_core__ret )

extern

session_core__server_close_session_sm()

void session_core__server_close_session_sm ( const constants__t_session_i session_core__session, const constants_statuscodes_bs__t_StatusCode_i session_core__sc_reason )

extern

session_core__server_create_session_req_and_resp_sm()

void session_core__server_create_session_req_and_resp_sm ( const constants__t_channel_i session_core__channel, const constants__t_msg_i session_core__create_req_msg, const constants__t_msg_i session_core__create_resp_msg, constants__t_session_i *const session_core__nsession, constants_statuscodes_bs__t_StatusCode_i *const session_core__service_ret )

extern

session_core__server_secure_channel_lost_session_sm()

void session_core__server_secure_channel_lost_session_sm ( const constants__t_channel_i session_core__p_lost_channel )

extern

session_core__session_core_UNINITIALISATION()

void session_core__session_core_UNINITIALISATION ( void )

extern