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
[struct].s_transitions Struct Reference

The full transition set as { from, event, to } triples - every (state, event) pair NOT listed here has no outcome (the event does nothing from that state; not an error). More...

Data Fields

ab_gp_train_data_state_t from
ab_gp_event_t event
ab_gp_train_data_state_t to

Detailed Description

The full transition set as { from, event, to } triples - every (state, event) pair NOT listed here has no outcome (the event does nothing from that state; not an error).

The one deliberate guard: VALIDATED + TRAIN_DATA_REJECTED is absent. A validated train cannot be invalidated by a stray reject; a fresh Msg 129 must move it back through RECEIVED first. Every other pair among the three train-data events resolves to the state the event names, including the direct NONE -> VALIDATED / NONE -> REJECTED paths that ab_gp_proc_train_data_validate() uses (it fires TRAIN_DATA_VALIDATED / _REJECTED straight from its result, without a preceding RECEIVED, when a caller does not raise one).

Definition at line 26 of file ab_gp_train_data_fsm.c.

Field Documentation

◆ from

ab_gp_train_data_state_t [struct].s_transitions from

◆ event

ab_gp_event_t [struct].s_transitions event

◆ to

ab_gp_train_data_state_t [struct].s_transitions to

The documentation for this struct was generated from the following files: