/* MA_Request::Send_MA */
void Send_MA_MA_Request(
/* MA_Request::Send_MA::msg132 */Radio_TrainTrack_Message_T_Radio_Types_Pkg *msg132,
outC_Send_MA_MA_Request *outC)
{
kcg_copy_Radio_TrainTrack_Message_T_Radio_Types_Pkg(&outC->_L1, msg132);
kcg_copy_Radio_TrainTrack_Message_T_Radio_Types_Pkg(
&outC->message_out,
&outC->_L1);
}
/* RBC_Messaging_Pkg::RBC_RadioTrainTrackFactory_Pkg::RadioTrainTrackFactory__CreateDefaultMsg */
void RadioTrainTrackFactory__CreateDefaultMsg_RBC_Messaging_Pkg_RBC_RadioTrainTrackFactory_Pkg(
/* RBC_Messaging_Pkg::RBC_RadioTrainTrackFactory_Pkg::RadioTrainTrackFactory__CreateDefaultMsg::o_RadioTrainTrackMessage */Radio_TrainTrack_Message_T_Radio_Types_Pkg *o_RadioTrainTrackMessage)
{
kcg_copy_Radio_TrainTrack_Message_T_Radio_Types_Pkg(
o_RadioTrainTrackMessage,
(Radio_TrainTrack_Message_T_Radio_Types_Pkg *)
&RADIO_TRAIN_TRACK_MESSAGE_DEFAULT);
}
/* RBC_Messaging_Pkg::RadioTrainTrackInputHandler */
void RadioTrainTrackInputHandler_RBC_Messaging_Pkg(
/* RBC_Messaging_Pkg::RadioTrainTrackInputHandler::inRadioTrainTrack */Radio_TrainTrack_Message_T_Radio_Types_Pkg *inRadioTrainTrack,
outC_RadioTrainTrackInputHandler_RBC_Messaging_Pkg *outC)
{
/* 1 */
RadioTrainTrackMessageConsistencyChecker__IsConsistentMsg_RBC_Messaging_Pkg_RBC_Consistency_Pkg(
inRadioTrainTrack,
&outC->Context_1);
if (outC->Context_1.outIsConsistent) {
kcg_copy_Radio_TrainTrack_Message_T_Radio_Types_Pkg(
&outC->outRadioTrainTrack,
inRadioTrainTrack);
}
else {
/* 1 */
RadioTrainTrackFactory__CreateDefaultMsg_RBC_Messaging_Pkg_RBC_RadioTrainTrackFactory_Pkg(
&outC->outRadioTrainTrack);
}
}
/* MA_Request::Build_MA_request */
void Build_MA_request_MA_Request(
/* MA_Request::Build_MA_request::trackDescrDeleted */kcg_bool trackDescrDeleted,
/* MA_Request::Build_MA_request::trainProps */trainProperties_T_TrainPosition_Types_Pck *trainProps,
/* MA_Request::Build_MA_request::packet0 */PT0_PositionReport_T_Packet_TrainTypes_Pkg *packet0,
/* MA_Request::Build_MA_request::packet1 */PT1_PositionReport_2BG_T_Packet_TrainTypes_Pkg *packet1,
/* MA_Request::Build_MA_request::t_train */T_TRAIN t_train,
outC_Build_MA_request_MA_Request *outC)
{
outC->_L83 = t_train;
kcg_copy_PT9_Level23_TransitionInformation_T_Packet_TrainTypes_Pkg(
&outC->_L82,
(PT9_Level23_TransitionInformation_T_Packet_TrainTypes_Pkg *)
&cPT9_Level23_MA_Request);
kcg_copy_PT5_TrainRunningNumber_Packet_TrainTypes_Pkg(
&outC->_L81,
(PT5_TrainRunningNumber_Packet_TrainTypes_Pkg *)
&cPT5_TrainRunningNumber_MA_Request);
kcg_copy_PT4_ErrorReporting_T_Packet_TrainTypes_Pkg(
&outC->_L80,
(PT4_ErrorReporting_T_Packet_TrainTypes_Pkg *)
&cPT4_ErrorReporting_MA_Request);
kcg_copy_PT3_OnboardTelephoneNumbers_T_Packet_TrainTypes_Pkg(
&outC->_L79,
(PT3_OnboardTelephoneNumbers_T_Packet_TrainTypes_Pkg *)
&cPT3_OBUTelephoneNumber_MA_Request);
kcg_copy_PT11_ValidatedTrainData_T_Packet_TrainTypes_Pkg(
&outC->_L78,
(PT11_ValidatedTrainData_T_Packet_TrainTypes_Pkg *)
&cPT11_ValidateTrainData_MA_Request);
kcg_copy_PT0_PositionReport_T_Packet_TrainTypes_Pkg(&outC->_L61, packet0);
kcg_copy_PT1_PositionReport_2BG_T_Packet_TrainTypes_Pkg(&outC->_L62, packet1);
kcg_copy_PT0_PositionReport_T_Packet_TrainTypes_Pkg(
&outC->_L77.p0,
&outC->_L61);
kcg_copy_PT1_PositionReport_2BG_T_Packet_TrainTypes_Pkg(
&outC->_L77.p1,
&outC->_L62);
kcg_copy_PT3_OnboardTelephoneNumbers_T_Packet_TrainTypes_Pkg(
&outC->_L77.p3,
&outC->_L79);
kcg_copy_PT4_ErrorReporting_T_Packet_TrainTypes_Pkg(
&outC->_L77.p4,
&outC->_L80);
kcg_copy_PT5_TrainRunningNumber_Packet_TrainTypes_Pkg(
&outC->_L77.p5,
&outC->_L81);
kcg_copy_PT9_Level23_TransitionInformation_T_Packet_TrainTypes_Pkg(
&outC->_L77.p9,
&outC->_L82);
kcg_copy_PT11_ValidatedTrainData_T_Packet_TrainTypes_Pkg(
&outC->_L77.p11,
&outC->_L78);
outC->_L60 = kcg_true;
outC->_L26 = kcg_true;
outC->_L27 = 132;
kcg_copy_trainProperties_T_TrainPosition_Types_Pck(&outC->_L30, trainProps);
outC->_L31 = outC->_L30.nid_engine;
outC->_L33 = trackDescrDeleted;
outC->_L35 = Q_MARQSTREASON_Track_description_deleted;
outC->_L34 = Q_MARQSTREASON_Start_selected_by_driver;
if (outC->_L33) {
outC->_L32 = outC->_L35;
}
else {
outC->_L32 = outC->_L34;
}
outC->_L56 = cNid_em_MA_Request;
outC->_L57 = cQemergencyStop_MA_Request;
outC->_L58 = cNidTextMessage_MA_Request;
outC->_L54.present = outC->_L26;
outC->_L54.nid_message = outC->_L27;
outC->_L54.t_train = outC->_L83;
outC->_L54.nid_engine = outC->_L31;
outC->_L54.xQ_MARQSTREASON = outC->_L32;
outC->_L54.xT_TRAIN = outC->_L83;
outC->_L54.xNID_EM = outC->_L56;
outC->_L54.xQ_EMERGENCYSTOP = outC->_L57;
outC->_L54.xNID_TEXTMESSAGE = outC->_L58;
outC->_L59.present = outC->_L60;
kcg_copy_Radio_TrainTrack_Header_T_Radio_Types_Pkg(
&outC->_L59.header,
&outC->_L54);
kcg_copy_outPackets_T_Common_Types_Pkg(&outC->_L59.packets, &outC->_L77);
kcg_copy_Radio_TrainTrack_Message_T_Radio_Types_Pkg(
&outC->message132,
&outC->_L59);
}
/* RBC_Model_Pkg::RBC__PingTrain */
void RBC__PingTrain_RBC_Model_Pkg(
/* RBC_Model_Pkg::RBC__PingTrain::inForceTrigger */kcg_bool inForceTrigger,
/* RBC_Model_Pkg::RBC__PingTrain::inDataBus */RBC_Data_T_RBC_DataBus_Pkg *inDataBus,
/* RBC_Model_Pkg::RBC__PingTrain::inRadioTrainTrackMessage */Radio_TrainTrack_Message_T_Radio_Types_Pkg *inRadioTrainTrackMessage,
/* RBC_Model_Pkg::RBC__PingTrain::inTriggeredRadioTrackTrainMessage */CompressedRadioMessage_TM *inTriggeredRadioTrackTrainMessage,
outC_RBC__PingTrain_RBC_Model_Pkg *outC)
{
static Radio_TrackTrain_Header_T_TM tmp5;
static NationalParams_T tmp4;
static RadioTrackTrainMessageQueueEntry_T tmp3;
static CompressedRadioMessage_TM tmp2;
static NID_LRBG tmp1;
static P042_trackside_int_T_TM tmp;
/* RBC_Model_Pkg::RBC__PingTrain::IfBlock1::then::_L87 */
static kcg_bool _L87_IfBlock1;
/* RBC_Model_Pkg::RBC__PingTrain::IfBlock1::then::_L79 */
static M_LEVEL _L79_IfBlock1;
/* RBC_Model_Pkg::RBC__PingTrain::IfBlock1::then::_L21 */
static PosData_T _L21_IfBlock1;
/* RBC_Model_Pkg::RBC__PingTrain::Level_2_or_3 */
static kcg_bool last_Level_2_or_3;
/* RBC_Model_Pkg::RBC__PingTrain::trigger */
static kcg_bool trigger;
kcg_copy_CompressedRadioMessage_TM(
&outC->outTriggeredRadioTrackTrainMessage,
inTriggeredRadioTrackTrainMessage);
kcg_copy_Radio_TrainTrack_Message_T_Radio_Types_Pkg(
&outC->outRadioTrainTrackMessage,
inRadioTrainTrackMessage);
if (outC->init) {
last_Level_2_or_3 = kcg_false;
}
else {
last_Level_2_or_3 = outC->Level_2_or_3;
}
trigger = /* 2 */
RadioTrackTrainMessage__IsValid_RBC_Messaging_Pkg_RBC_RadioTrackTrain_Pkg(
&(*inDataBus).lastSentTrackTrainMessage);
if (trigger) {
/* 2 */
RadioTrackTrainMessage__GetHeader_RBC_Messaging_Pkg_RBC_RadioTrackTrain_Pkg(
&(*inDataBus).lastSentTrackTrainMessage,
&tmp5);
outC->lastRadioTrackTrainMessageWasSentTimestamp = /* 2 */
RadioTrackTrainHeader__Get_T_TRAIN_RBC_Messaging_Pkg_RBC_RadioTrackTrain_Pkg(
&tmp5);
}
else if (outC->init) {
outC->lastRadioTrackTrainMessageWasSentTimestamp = T_TRAIN_MIN;
}
outC->init = kcg_false;
/* 1 */
DynamicConfig__GetNationalParams_RBC_Config_Pkg(&(*inDataBus).config, &tmp4);
tmp1 = /* 1 */ NationalParams__Get_T_NVCONTACT_RBC_Config_Pkg(&tmp4);
trigger = inForceTrigger | ((/* 1 */
RadioTrackTrainMessageQueue__GetRemainingCapacity_RBC_Collections_Pkg(
&(*inDataBus).messageQueue) ==
RADIO_TRACK_TRAIN_MESSAGE_QUEUE_CAPACITY) & (/* 1 */
Clock__GetSeconds_RBC_Time_Pkg(&(*inDataBus).clockk) -
outC->lastRadioTrackTrainMessageWasSentTimestamp >= T_NVCONTACT_FACTOR *
tmp1) & ((tmp1 > T_NVCONTACT_DEFAULT) & (tmp1 <
T_NVCONTACT_UNLIMITED)));
kcg_copy_RBC_Data_T_RBC_DataBus_Pkg(&outC->outDataBus, inDataBus);
if (trigger) {
/* 11 */
SessionManagement__GetPosData_RBC_Session_Pkg(
&(*inDataBus).session,
&_L21_IfBlock1);
_L79_IfBlock1 = /* 8 */
PosData__Get_M_LEVEL_RBC_Session_Pkg(&_L21_IfBlock1);
_L87_IfBlock1 = (M_LEVEL_Level_3 == _L79_IfBlock1) | (_L79_IfBlock1 ==
M_LEVEL_Level_2);
outC->Level_2_or_3 = _L87_IfBlock1;
tmp1 = /* 3 */ PosData__Get_NID_LRBG_RBC_Session_Pkg(&_L21_IfBlock1);
if ((!_L87_IfBlock1 & last_Level_2_or_3) | inForceTrigger) {
kcg_copy_P042_trackside_int_T_TM(
&tmp,
(P042_trackside_int_T_TM *) &P042_RequestSessionTermination);
}
else {
kcg_copy_P042_trackside_int_T_TM(
&tmp,
(P042_trackside_int_T_TM *) &P042_DEFAULT);
}
/* 1 */
RadioTrackTrainFactory__CreateMsg024_BSL2_RBC_Messaging_Pkg_RBC_RadioTrackTrainFactory_Pkg(
T_TRAIN_MIN,
M_ACK_No_acknowledgement_required,
tmp1,
(P003V1_trackside_int_T_TM_baseline2 *) &P003_DEFAULT,
(P005_trackside_int_T_TM *) &P005_DEFAULT,
&tmp,
(P057_trackside_int_T_TM *) &P057_DEFAULT,
(P058_trackside_int_T_TM *) &P058_DEFAULT,
&tmp2);
/* 2 */
RadioTrackTrainMessageQueueEntry__Create_RBC_Collections_Pkg(&tmp2, &tmp3);
/* 2 */
RadioTrackTrainMessageQueue__TryPut_RBC_Collections_Pkg(
&(*inDataBus).messageQueue,
&tmp3,
&outC->outDataBus.messageQueue);
}
else {
outC->Level_2_or_3 = last_Level_2_or_3;
kcg_copy_RadioTrackTrainMessageQueue_T(
&outC->outDataBus.messageQueue,
&(*inDataBus).messageQueue);
}
}
/* RBC_Model_Pkg::RBC__PingTrain */
void RBC__PingTrain_RBC_Model_Pkg(
/* RBC_Model_Pkg::RBC__PingTrain::inP42 */P042_trackside_int_T_TM *inP42,
/* RBC_Model_Pkg::RBC__PingTrain::inDataBus */RBC_Data_T_RBC_DataBus_Pkg *inDataBus,
/* RBC_Model_Pkg::RBC__PingTrain::inRadioTrainTrackMessage */Radio_TrainTrack_Message_T_Radio_Types_Pkg *inRadioTrainTrackMessage,
/* RBC_Model_Pkg::RBC__PingTrain::inTriggeredRadioTrackTrainMessage */CompressedRadioMessage_TM *inTriggeredRadioTrackTrainMessage,
outC_RBC__PingTrain_RBC_Model_Pkg *outC)
{
Radio_TrackTrain_Header_T_TM tmp5;
NationalParams_T tmp4;
RadioTrackTrainMessageQueueEntry_T tmp3;
CompressedRadioMessage_TM tmp2;
NID_LRBG tmp1;
PosData_T tmp;
/* RBC_Model_Pkg::RBC__PingTrain::trigger */ kcg_bool trigger;
kcg_copy_CompressedRadioMessage_TM(
&outC->outTriggeredRadioTrackTrainMessage,
inTriggeredRadioTrackTrainMessage);
kcg_copy_Radio_TrainTrack_Message_T_Radio_Types_Pkg(
&outC->outRadioTrainTrackMessage,
inRadioTrainTrackMessage);
trigger = /* 2 */
RadioTrackTrainMessage__IsValid_RBC_Messaging_Pkg_RBC_RadioTrackTrain_Pkg(
&(*inDataBus).lastSentTrackTrainMessage);
if (trigger) {
/* 2 */
RadioTrackTrainMessage__GetHeader_RBC_Messaging_Pkg_RBC_RadioTrackTrain_Pkg(
&(*inDataBus).lastSentTrackTrainMessage,
&tmp5);
outC->lastRadioTrackTrainMessageWasSentTimestamp = /* 2 */
RadioTrackTrainHeader__Get_T_TRAIN_RBC_Messaging_Pkg_RBC_RadioTrackTrain_Pkg(
&tmp5);
}
else if (outC->init) {
outC->lastRadioTrackTrainMessageWasSentTimestamp = T_TRAIN_MIN;
}
outC->init = kcg_false;
/* 1 */
DynamicConfig__GetNationalParams_RBC_Config_Pkg(&(*inDataBus).config, &tmp4);
tmp1 = /* 1 */ NationalParams__Get_T_NVCONTACT_RBC_Config_Pkg(&tmp4);
trigger = (/* 1 */
RadioTrackTrainMessageQueue__GetRemainingCapacity_RBC_Collections_Pkg(
&(*inDataBus).messageQueue) ==
RADIO_TRACK_TRAIN_MESSAGE_QUEUE_CAPACITY) & (/* 1 */
Clock__GetSeconds_RBC_Time_Pkg(&(*inDataBus).clockk) -
outC->lastRadioTrackTrainMessageWasSentTimestamp >= T_NVCONTACT_FACTOR *
tmp1) & ((tmp1 > T_NVCONTACT_DEFAULT) & (tmp1 < T_NVCONTACT_UNLIMITED));
kcg_copy_RBC_Data_T_RBC_DataBus_Pkg(&outC->outDataBus, inDataBus);
if (trigger) {
/* 3 */
SessionManagement__GetPosData_RBC_Session_Pkg(&(*inDataBus).session, &tmp);
tmp1 = /* 3 */ PosData__Get_NID_LRBG_RBC_Session_Pkg(&tmp);
/* 1 */
RadioTrackTrainFactory__CreateMsg024_BSL2_RBC_Messaging_Pkg_RBC_RadioTrackTrainFactory_Pkg(
T_TRAIN_MIN,
M_ACK_No_acknowledgement_required,
tmp1,
(P003V1_trackside_int_T_TM_baseline2 *) &P003_DEFAULT,
(P005_trackside_int_T_TM *) &P005_DEFAULT,
inP42,
(P057_trackside_int_T_TM *) &P057_DEFAULT,
(P058_trackside_int_T_TM *) &P058_DEFAULT,
&tmp2);
/* 2 */
RadioTrackTrainMessageQueueEntry__Create_RBC_Collections_Pkg(&tmp2, &tmp3);
/* 2 */
RadioTrackTrainMessageQueue__TryPut_RBC_Collections_Pkg(
&(*inDataBus).messageQueue,
&tmp3,
&outC->outDataBus.messageQueue);
}
else {
kcg_copy_RadioTrackTrainMessageQueue_T(
&outC->outDataBus.messageQueue,
&(*inDataBus).messageQueue);
}
}
/* RBC_Model_Pkg::RBC__ProcessConditionalEmergencyStop */
void RBC__ProcessConditionalEmergencyStop_RBC_Model_Pkg(
/* RBC_Model_Pkg::RBC__ProcessConditionalEmergencyStop::inDataBus */RBC_Data_T_RBC_DataBus_Pkg *inDataBus,
/* RBC_Model_Pkg::RBC__ProcessConditionalEmergencyStop::inRadioTrainTrackMessage */Radio_TrainTrack_Message_T_Radio_Types_Pkg *inRadioTrainTrackMessage,
/* RBC_Model_Pkg::RBC__ProcessConditionalEmergencyStop::inTriggeredRadioTrackTrainMessage */CompressedRadioMessage_TM *inTriggeredRadioTrackTrainMessage,
outC_RBC__ProcessConditionalEmergencyStop_RBC_Model_Pkg *outC)
{
NID_EM tmp5;
Radio_TrainTrack_Header_T_Radio_Types_Pkg tmp4;
PosData_T tmp3;
PosData_T tmp2;
RadioTrackTrainMessageQueueEntry_T tmp1;
Radio_TrackTrain_Header_T_TM tmp;
/* RBC_Model_Pkg::RBC__ProcessConditionalEmergencyStop::CONDITIONAL_EMERGENCY_STOP_SM::TRY_PROCESS_ACKNOWLEDGEMENT::IfBlock1 */ kcg_bool IfBlock1_clock_CONDITIONAL_EMERGENCY_STOP_SM_TRY_PROCESS_ACKNOWLEDGEMENT;
/* RBC_Model_Pkg::RBC__ProcessConditionalEmergencyStop::invalidAck */ kcg_bool last_invalidAck;
/* RBC_Model_Pkg::RBC__ProcessConditionalEmergencyStop::radioTrackTrainMessageWasSentEmergencyStopId */ NID_EM last_radioTrackTrainMessageWasSentEmergencyStopId;
/* RBC_Model_Pkg::RBC__ProcessConditionalEmergencyStop::CONDITIONAL_EMERGENCY_STOP_SM */ SSM_ST_CONDITIONAL_EMERGENCY_STOP_SM CONDITIONAL_EMERGENCY_STOP_SM_state_sel;
/* RBC_Model_Pkg::RBC__ProcessConditionalEmergencyStop::CONDITIONAL_EMERGENCY_STOP_SM */ SSM_ST_CONDITIONAL_EMERGENCY_STOP_SM CONDITIONAL_EMERGENCY_STOP_SM_state_act;
/* RBC_Model_Pkg::RBC__ProcessConditionalEmergencyStop::radioTrainTrackMessageId */ NID_MESSAGE radioTrainTrackMessageId;
kcg_copy_CompressedRadioMessage_TM(
&outC->outTriggeredRadioTrackTrainMessage,
inTriggeredRadioTrackTrainMessage);
kcg_copy_Radio_TrainTrack_Message_T_Radio_Types_Pkg(
&outC->outRadioTrainTrackMessage,
inRadioTrainTrackMessage);
if (outC->init) {
outC->init = kcg_false;
IfBlock1_clock_CONDITIONAL_EMERGENCY_STOP_SM_TRY_PROCESS_ACKNOWLEDGEMENT =
kcg_false;
last_invalidAck = kcg_false;
last_radioTrackTrainMessageWasSentEmergencyStopId = NID_EM_DEFAULT;
CONDITIONAL_EMERGENCY_STOP_SM_state_sel =
SSM_st_IDLE_CONDITIONAL_EMERGENCY_STOP_SM;
}
else {
last_invalidAck = outC->invalidAck;
IfBlock1_clock_CONDITIONAL_EMERGENCY_STOP_SM_TRY_PROCESS_ACKNOWLEDGEMENT =
outC->validAck;
last_radioTrackTrainMessageWasSentEmergencyStopId =
outC->radioTrackTrainMessageWasSentEmergencyStopId;
CONDITIONAL_EMERGENCY_STOP_SM_state_sel =
outC->CONDITIONAL_EMERGENCY_STOP_SM_state_nxt;
}
/* 4 */
RadioTrackTrainMessage__GetHeader_RBC_Messaging_Pkg_RBC_RadioTrackTrain_Pkg(
&outC->outTriggeredRadioTrackTrainMessage,
&tmp);
tmp5 = /* 2 */
RadioTrackTrainHeader__Get_NID_MESSAGE_RBC_Messaging_Pkg_RBC_RadioTrackTrain_Pkg(
&tmp);
/* 4 */
RadioTrainTrackMessage__GetHeader_RBC_Messaging_Pkg_RBC_RadioTrainTrack_Pkg(
&outC->outRadioTrainTrackMessage,
&tmp4);
radioTrainTrackMessageId = /* 2 */
RadioTrainTrackHeader__Get_NID_MESSAGE_RBC_Messaging_Pkg_RBC_RadioTrainTrack_Pkg(
&tmp4);
switch (CONDITIONAL_EMERGENCY_STOP_SM_state_sel) {
case SSM_st_IDLE_CONDITIONAL_EMERGENCY_STOP_SM :
if (tmp5 == 15) {
CONDITIONAL_EMERGENCY_STOP_SM_state_act =
SSM_st_SEND_CONDITIONAL_EMERGENCY_STOP_CONDITIONAL_EMERGENCY_STOP_SM;
}
else {
CONDITIONAL_EMERGENCY_STOP_SM_state_act =
SSM_st_IDLE_CONDITIONAL_EMERGENCY_STOP_SM;
}
break;
case SSM_st_SEND_CONDITIONAL_EMERGENCY_STOP_CONDITIONAL_EMERGENCY_STOP_SM :
if (radioTrainTrackMessageId == 147) {
CONDITIONAL_EMERGENCY_STOP_SM_state_act =
SSM_st_TRY_PROCESS_ACKNOWLEDGEMENT_CONDITIONAL_EMERGENCY_STOP_SM;
}
else if (radioTrainTrackMessageId != 147) {
CONDITIONAL_EMERGENCY_STOP_SM_state_act =
SSM_st_AWAIT_ACKNOWLEDGEMENT_CONDITIONAL_EMERGENCY_STOP_SM;
}
else {
CONDITIONAL_EMERGENCY_STOP_SM_state_act =
SSM_st_SEND_CONDITIONAL_EMERGENCY_STOP_CONDITIONAL_EMERGENCY_STOP_SM;
}
break;
case SSM_st_AWAIT_ACKNOWLEDGEMENT_CONDITIONAL_EMERGENCY_STOP_SM :
if (radioTrainTrackMessageId == 147) {
CONDITIONAL_EMERGENCY_STOP_SM_state_act =
SSM_st_TRY_PROCESS_ACKNOWLEDGEMENT_CONDITIONAL_EMERGENCY_STOP_SM;
}
else {
CONDITIONAL_EMERGENCY_STOP_SM_state_act =
SSM_st_AWAIT_ACKNOWLEDGEMENT_CONDITIONAL_EMERGENCY_STOP_SM;
}
break;
case SSM_st_TRY_PROCESS_ACKNOWLEDGEMENT_CONDITIONAL_EMERGENCY_STOP_SM :
if (IfBlock1_clock_CONDITIONAL_EMERGENCY_STOP_SM_TRY_PROCESS_ACKNOWLEDGEMENT &
(tmp5 == 15)) {
CONDITIONAL_EMERGENCY_STOP_SM_state_act =
SSM_st_SEND_CONDITIONAL_EMERGENCY_STOP_CONDITIONAL_EMERGENCY_STOP_SM;
}
else if (IfBlock1_clock_CONDITIONAL_EMERGENCY_STOP_SM_TRY_PROCESS_ACKNOWLEDGEMENT) {
CONDITIONAL_EMERGENCY_STOP_SM_state_act =
SSM_st_IDLE_CONDITIONAL_EMERGENCY_STOP_SM;
}
else if (last_invalidAck & (radioTrainTrackMessageId == 147)) {
CONDITIONAL_EMERGENCY_STOP_SM_state_act =
SSM_st_TRY_PROCESS_ACKNOWLEDGEMENT_CONDITIONAL_EMERGENCY_STOP_SM;
}
else if (last_invalidAck) {
CONDITIONAL_EMERGENCY_STOP_SM_state_act =
SSM_st_AWAIT_ACKNOWLEDGEMENT_CONDITIONAL_EMERGENCY_STOP_SM;
}
else {
CONDITIONAL_EMERGENCY_STOP_SM_state_act =
SSM_st_TRY_PROCESS_ACKNOWLEDGEMENT_CONDITIONAL_EMERGENCY_STOP_SM;
}
break;
}
kcg_copy_RBC_Data_T_RBC_DataBus_Pkg(&outC->outDataBus, inDataBus);
switch (CONDITIONAL_EMERGENCY_STOP_SM_state_act) {
case SSM_st_TRY_PROCESS_ACKNOWLEDGEMENT_CONDITIONAL_EMERGENCY_STOP_SM :
/* 3 */
RadioTrainTrackMessage__GetHeader_RBC_Messaging_Pkg_RBC_RadioTrainTrack_Pkg(
&outC->outRadioTrainTrackMessage,
&tmp4);
IfBlock1_clock_CONDITIONAL_EMERGENCY_STOP_SM_TRY_PROCESS_ACKNOWLEDGEMENT =
/* 1 */
RadioTrainTrackHeader__Get_NID_EM_RBC_Messaging_Pkg_RBC_RadioTrainTrack_Pkg(
&tmp4) == last_radioTrackTrainMessageWasSentEmergencyStopId;
kcg_copy_RadioTrackTrainMessageQueue_T(
&outC->outDataBus.messageQueue,
&(*inDataBus).messageQueue);
outC->CONDITIONAL_EMERGENCY_STOP_SM_state_nxt =
SSM_st_TRY_PROCESS_ACKNOWLEDGEMENT_CONDITIONAL_EMERGENCY_STOP_SM;
outC->radioTrackTrainMessageWasSentEmergencyStopId =
last_radioTrackTrainMessageWasSentEmergencyStopId;
if (IfBlock1_clock_CONDITIONAL_EMERGENCY_STOP_SM_TRY_PROCESS_ACKNOWLEDGEMENT) {
/* 5 */
SessionManagement__GetPosData_RBC_Session_Pkg(
&(*inDataBus).session,
&tmp2);
/* 5 */
PosData__Update_RBC_Session_Pkg(
&tmp2,
&outC->outRadioTrainTrackMessage,
&tmp3);
/* 5 */
SessionManagement__SetPosData_RBC_Session_Pkg(
&(*inDataBus).session,
&tmp3,
&outC->session);
outC->validAck = kcg_true;
outC->invalidAck = kcg_false;
}
else {
outC->validAck = kcg_false;
outC->invalidAck = kcg_true;
}
break;
case SSM_st_AWAIT_ACKNOWLEDGEMENT_CONDITIONAL_EMERGENCY_STOP_SM :
kcg_copy_SessionManagement_T(&outC->session, &(*inDataBus).session);
kcg_copy_RadioTrackTrainMessageQueue_T(
&outC->outDataBus.messageQueue,
&(*inDataBus).messageQueue);
outC->validAck = kcg_false;
outC->invalidAck = kcg_false;
outC->CONDITIONAL_EMERGENCY_STOP_SM_state_nxt =
SSM_st_AWAIT_ACKNOWLEDGEMENT_CONDITIONAL_EMERGENCY_STOP_SM;
outC->radioTrackTrainMessageWasSentEmergencyStopId =
last_radioTrackTrainMessageWasSentEmergencyStopId;
break;
case SSM_st_SEND_CONDITIONAL_EMERGENCY_STOP_CONDITIONAL_EMERGENCY_STOP_SM :
kcg_copy_SessionManagement_T(&outC->session, &(*inDataBus).session);
/* 3 */
RadioTrackTrainMessageQueueEntry__Create_RBC_Collections_Pkg(
&outC->outTriggeredRadioTrackTrainMessage,
&tmp1);
/* 3 */
RadioTrackTrainMessageQueue__TryPut_RBC_Collections_Pkg(
&(*inDataBus).messageQueue,
&tmp1,
&outC->outDataBus.messageQueue);
outC->validAck = kcg_false;
outC->invalidAck = kcg_false;
outC->CONDITIONAL_EMERGENCY_STOP_SM_state_nxt =
SSM_st_SEND_CONDITIONAL_EMERGENCY_STOP_CONDITIONAL_EMERGENCY_STOP_SM;
/* 3 */
RadioTrackTrainMessage__GetHeader_RBC_Messaging_Pkg_RBC_RadioTrackTrain_Pkg(
&outC->outTriggeredRadioTrackTrainMessage,
&tmp);
outC->radioTrackTrainMessageWasSentEmergencyStopId = /* 1 */
RadioTrackTrainHeader__Get_NID_EM_RBC_Messaging_Pkg_RBC_RadioTrackTrain_Pkg(
&tmp);
break;
case SSM_st_IDLE_CONDITIONAL_EMERGENCY_STOP_SM :
kcg_copy_SessionManagement_T(&outC->session, &(*inDataBus).session);
kcg_copy_RadioTrackTrainMessageQueue_T(
&outC->outDataBus.messageQueue,
&(*inDataBus).messageQueue);
outC->validAck = kcg_false;
outC->invalidAck = kcg_false;
outC->CONDITIONAL_EMERGENCY_STOP_SM_state_nxt =
SSM_st_IDLE_CONDITIONAL_EMERGENCY_STOP_SM;
outC->radioTrackTrainMessageWasSentEmergencyStopId =
last_radioTrackTrainMessageWasSentEmergencyStopId;
break;
}
kcg_copy_SessionManagement_T(&outC->outDataBus.session, &outC->session);
}
