RTE RBC 2oo2 Reference Application: src/application/AB/GP/state_machines/session/ab_gp_session_fsm.h Source File

#ifndef AB_GP_SESSION_FSM_H

#define AB_GP_SESSION_FSM_H


#include "../../ertms_procedures/ab_gp_ertms_types.h"

#include "../ab_gp_event.h"


#ifdef __cplusplus

extern "C" {

#endif


typedef ab_gp_event_t ab_gp_session_event_t;


bool ab_gp_session_fsm_can_handle(ab_gp_ertms_session_state_t from, ab_gp_session_event_t event,

                                  ab_gp_ertms_session_state_t *out_to);


bool ab_gp_session_fsm_handle_event(ab_gp_ertms_train_context_t *ctx, ab_gp_session_event_t event);


#ifdef __cplusplus

}

#endif


#endif /* AB_GP_SESSION_FSM_H */

ab_gp_event.h
The one shared event vocabulary for every GP procedure state machine under state_machines/.

ab_gp_event_t
ab_gp_event_t
Every event any GP procedure state machine reacts to. One per distinct real trigger in ertms_procedur...
Definition ab_gp_event.h:53

ab_gp_session_fsm_handle_event
bool ab_gp_session_fsm_handle_event(ab_gp_ertms_train_context_t *ctx, ab_gp_session_event_t event)
Applies event to ctx->session_state.
Definition ab_gp_session_fsm.c:314

ab_gp_session_fsm_can_handle
bool ab_gp_session_fsm_can_handle(ab_gp_ertms_session_state_t from, ab_gp_session_event_t event, ab_gp_ertms_session_state_t *out_to)
Read-only lookup, no side effect: what event does from a given state produce, if anything.
Definition ab_gp_session_fsm.c:211

ab_gp_session_event_t
ab_gp_event_t ab_gp_session_event_t
The events this state machine reacts to are the leading (session-lifecycle) block of the shared ab_gp...
Definition ab_gp_session_fsm.h:81

ab_gp_ertms_types.h
ERTMS Subset-026 Chapter 5 Operational Procedure Data Types and Enums.

ab_gp_ertms_session_state_t
ab_gp_ertms_session_state_t
ERTMS On-Board / RBC Session Lifecycle States.
Definition ab_gp_ertms_types.h:43

ab_gp_ertms_train_context_t
Complete ERTMS state and procedure context for one train slot.
Definition ab_gp_ertms_types.h:235