RTE RBC 2oo2 Reference Application 0.1.0 build 0006685
SIL 4 2oo2 Dual-Site Fault-Tolerant ERTMS Radio Block Centre Reference Architecture
Loading...
Searching...
No Matches
ab_gp_train_data_fsm.h
Go to the documentation of this file.
1
24
25#ifndef AB_GP_TRAIN_DATA_FSM_H
26#define AB_GP_TRAIN_DATA_FSM_H
27
28#include <stdbool.h>
29
30#include "../ab_gp_event.h"
31#include "../../ertms_procedures/ab_gp_ertms_types.h"
32
33#ifdef __cplusplus
34extern "C" {
35#endif
36
47bool ab_gp_train_data_fsm_can_handle(ab_gp_train_data_state_t from, ab_gp_event_t event,
48 ab_gp_train_data_state_t *out_to);
49
64bool ab_gp_train_data_fsm_handle_event(ab_gp_ertms_train_context_t *ctx, ab_gp_event_t event);
65
66#ifdef __cplusplus
67}
68#endif
69
70#endif /* AB_GP_TRAIN_DATA_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_train_data_fsm_can_handle
bool ab_gp_train_data_fsm_can_handle(ab_gp_train_data_state_t from, ab_gp_event_t event, ab_gp_train_data_state_t *out_to)
Read-only lookup, no side effect.
Definition ab_gp_train_data_fsm.c:52
ab_gp_train_data_fsm_handle_event
bool ab_gp_train_data_fsm_handle_event(ab_gp_ertms_train_context_t *ctx, ab_gp_event_t event)
Applies event to ctx->train_data.state, and keeps ctx->train_data.valid in sync (true iff the new sta...
Definition ab_gp_train_data_fsm.c:118
ab_gp_ertms_types.h
ERTMS Subset-026 Chapter 5 Operational Procedure Data Types and Enums.
ab_gp_train_data_state_t
ab_gp_train_data_state_t
Validated-train-data acceptance state (Subset-026 ยง5.4). ab_gp_train_data_fsm.c's own (state,...
Definition ab_gp_ertms_types.h:69
ab_gp_ertms_train_context_t
Complete ERTMS state and procedure context for one train slot.
Definition ab_gp_ertms_types.h:235