void maintaining_a_Session_reset_MoRC_Pck_Subfunc_Pkg(
outC_maintaining_a_Session_MoRC_Pck_Subfunc_Pkg *outC)
{
outC->init1 = kcg_true;
outC->init = kcg_true;
/* 1 */ countDownTimer_reset_MoRC_Pck_Utils(&outC->Context_1);
}
void HourGlassAnimation_reset_DMI_Control_Pkg_Sub_func(
outC_HourGlassAnimation_DMI_Control_Pkg_Sub_func *outC)
{
/* 1 */ Counter_reset_pwlinear_int(&outC->_2_Context_1);
/* 1 */ RisingEdge_reset_digital(&outC->_1_Context_1);
/* 1 */ countDownTimer_reset_MoRC_Pck_Utils(&outC->Context_1);
}
void requestRadioConnectionSetupFromOBU_v2_reset_MoRC_Pck_Subfunc_Pkg(
outC_requestRadioConnectionSetupFromOBU_v2_MoRC_Pck_Subfunc_Pkg *outC)
{
outC->init = kcg_true;
/* 1 */ RisingEdge_reset_digital(&outC->_1_Context_1);
/* 1 */ countDownTimer_reset_MoRC_Pck_Utils(&outC->Context_1);
/* 2 */ RisingEdge_reset_digital(&outC->Context_2);
}
/* MoRC_Pck::Subfunc_Pkg::maintaining_a_Session */
void maintaining_a_Session_MoRC_Pck_Subfunc_Pkg(
/* MoRC_Pck::Subfunc_Pkg::maintaining_a_Session::communicationSessionEstablished */ kcg_bool communicationSessionEstablished,
/* MoRC_Pck::Subfunc_Pkg::maintaining_a_Session::safeRadioConnectionReestablished */ kcg_bool safeRadioConnectionReestablished,
/* MoRC_Pck::Subfunc_Pkg::maintaining_a_Session::lossOfTheSafeRadioConnection */ kcg_bool lossOfTheSafeRadioConnection,
/* MoRC_Pck::Subfunc_Pkg::maintaining_a_Session::disconnectionHasNotBeenOrdered */ kcg_bool disconnectionHasNotBeenOrdered,
/* MoRC_Pck::Subfunc_Pkg::maintaining_a_Session::trainFrontInsideInAnAnnouncedRadioHole */ kcg_bool trainFrontInsideInAnAnnouncedRadioHole,
/* MoRC_Pck::Subfunc_Pkg::maintaining_a_Session::actualTime */ time_Type_MoRC_Pck actualTime,
outC_maintaining_a_Session_MoRC_Pck_Subfunc_Pkg *outC)
{
SSM_TR_Maintaining_SM tmp1;
kcg_bool tmp;
/* MoRC_Pck::Subfunc_Pkg::maintaining_a_Session::Maintaining_SM::CommunicationSessionEstablished::RadioConnection_SM */ SSM_ST_RadioConnection_SM_Maintaining_SM_CommunicationSessionEstablished RadioConnection_SM_state_act_Maintaining_SM_CommunicationSessionEstablished;
/* MoRC_Pck::Subfunc_Pkg::maintaining_a_Session::Maintaining_SM::CommunicationSessionEstablished::RadioConnection_SM */ SSM_ST_RadioConnection_SM_Maintaining_SM_CommunicationSessionEstablished RadioConnection_SM_state_sel_Maintaining_SM_CommunicationSessionEstablished;
/* MoRC_Pck::Subfunc_Pkg::maintaining_a_Session::Maintaining_SM::CommunicationSessionEstablished */ kcg_bool CommunicationSessionEstablished_weakb_clock_Maintaining_SM;
/* MoRC_Pck::Subfunc_Pkg::maintaining_a_Session::Maintaining_SM::CommunicationSessionEstablished::RadioConnection_SM::ConnecctionLostInAnnouncedRadioHole */ kcg_bool br_1_guard_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM_ConnecctionLostInAnnouncedRadioHole;
/* MoRC_Pck::Subfunc_Pkg::maintaining_a_Session::Maintaining_SM::CommunicationSessionEstablished::RadioConnection_SM::SafeRadio_connected */ kcg_bool br_1_guard_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM_SafeRadio_connected;
/* MoRC_Pck::Subfunc_Pkg::maintaining_a_Session::Maintaining_SM::CommunicationSessionEstablished::RadioConnection_SM::SafeRadio_connected */ kcg_bool br_2_guard_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM_SafeRadio_connected;
/* MoRC_Pck::Subfunc_Pkg::maintaining_a_Session::Maintaining_SM::CommunicationSessionEstablished */ kcg_bool br_1_guard_Maintaining_SM_CommunicationSessionEstablished;
/* MoRC_Pck::Subfunc_Pkg::maintaining_a_Session::Maintaining_SM */ SSM_ST_Maintaining_SM Maintaining_SM_state_sel;
/* MoRC_Pck::Subfunc_Pkg::maintaining_a_Session::Maintaining_SM */ SSM_ST_Maintaining_SM Maintaining_SM_state_act;
/* MoRC_Pck::Subfunc_Pkg::maintaining_a_Session::Maintaining_SM */ kcg_bool Maintaining_SM_reset_act;
if (outC->init) {
outC->init = kcg_false;
Maintaining_SM_state_sel =
SSM_st_CommunicationSessionNotEstablished_Maintaining_SM;
}
else {
Maintaining_SM_state_sel = outC->Maintaining_SM_state_nxt;
}
switch (Maintaining_SM_state_sel) {
case SSM_st_CommunicationSessionEstablished_Maintaining_SM :
Maintaining_SM_state_act =
SSM_st_CommunicationSessionEstablished_Maintaining_SM;
Maintaining_SM_reset_act = kcg_false;
break;
case SSM_st_CommunicationSessionNotEstablished_Maintaining_SM :
if (communicationSessionEstablished) {
Maintaining_SM_state_act =
SSM_st_CommunicationSessionEstablished_Maintaining_SM;
}
else {
Maintaining_SM_state_act =
SSM_st_CommunicationSessionNotEstablished_Maintaining_SM;
}
Maintaining_SM_reset_act = communicationSessionEstablished;
break;
}
switch (Maintaining_SM_state_act) {
case SSM_st_CommunicationSessionEstablished_Maintaining_SM :
switch (Maintaining_SM_state_sel) {
case SSM_st_CommunicationSessionNotEstablished_Maintaining_SM :
if (communicationSessionEstablished) {
tmp1 = SSM_TR_CommunicationSessionNotEstablished_1_Maintaining_SM;
}
else {
tmp1 = SSM_TR_no_trans_Maintaining_SM;
}
break;
case SSM_st_CommunicationSessionEstablished_Maintaining_SM :
tmp1 = SSM_TR_no_trans_Maintaining_SM;
break;
}
CommunicationSessionEstablished_weakb_clock_Maintaining_SM = tmp1 !=
SSM_TR_no_trans_Maintaining_SM;
if (Maintaining_SM_reset_act) {
outC->init1 = kcg_true;
/* 1 */ countDownTimer_reset_MoRC_Pck_Utils(&outC->Context_1);
}
if (outC->init1) {
RadioConnection_SM_state_sel_Maintaining_SM_CommunicationSessionEstablished =
SSM_st_SafeRadio_connected_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM;
}
else {
RadioConnection_SM_state_sel_Maintaining_SM_CommunicationSessionEstablished =
outC->RadioConnection_SM_state_nxt_Maintaining_SM_CommunicationSessionEstablished;
}
switch (RadioConnection_SM_state_sel_Maintaining_SM_CommunicationSessionEstablished) {
case SSM_st_SafeRadio_connected_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM :
br_1_guard_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM_SafeRadio_connected =
trainFrontInsideInAnAnnouncedRadioHole &
lossOfTheSafeRadioConnection;
br_2_guard_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM_SafeRadio_connected =
lossOfTheSafeRadioConnection & disconnectionHasNotBeenOrdered;
if (br_1_guard_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM_SafeRadio_connected) {
outC->firstRequestToSetupASafeRadioConnection = kcg_false;
}
else if (br_2_guard_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM_SafeRadio_connected) {
outC->firstRequestToSetupASafeRadioConnection = kcg_true;
}
else {
outC->firstRequestToSetupASafeRadioConnection = kcg_false;
}
break;
case SSM_st_ConnectionLost_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM :
outC->firstRequestToSetupASafeRadioConnection = kcg_false;
break;
case SSM_st_RadioConnectionLostTimerExpired_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM :
outC->firstRequestToSetupASafeRadioConnection = kcg_false;
break;
case SSM_st_ConnecctionLostInAnnouncedRadioHole_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM :
br_1_guard_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM_ConnecctionLostInAnnouncedRadioHole =
!trainFrontInsideInAnAnnouncedRadioHole;
if (br_1_guard_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM_ConnecctionLostInAnnouncedRadioHole) {
outC->firstRequestToSetupASafeRadioConnection = kcg_true;
}
else {
outC->firstRequestToSetupASafeRadioConnection = kcg_false;
}
break;
}
/* 1 */
countDownTimer_MoRC_Pck_Utils(
outC->firstRequestToSetupASafeRadioConnection,
kcg_false,
actualTime,
kcg_false,
cRadioConnectionReestablishingTimeout_MoRC_Pck,
&outC->Context_1);
switch (RadioConnection_SM_state_sel_Maintaining_SM_CommunicationSessionEstablished) {
case SSM_st_ConnecctionLostInAnnouncedRadioHole_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM :
if (br_1_guard_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM_ConnecctionLostInAnnouncedRadioHole) {
RadioConnection_SM_state_act_Maintaining_SM_CommunicationSessionEstablished =
SSM_st_ConnectionLost_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM;
}
else {
RadioConnection_SM_state_act_Maintaining_SM_CommunicationSessionEstablished =
SSM_st_ConnecctionLostInAnnouncedRadioHole_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM;
}
tmp = kcg_false;
break;
case SSM_st_RadioConnectionLostTimerExpired_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM :
RadioConnection_SM_state_act_Maintaining_SM_CommunicationSessionEstablished =
SSM_st_RadioConnectionLostTimerExpired_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM;
tmp = kcg_false;
break;
case SSM_st_ConnectionLost_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM :
if (safeRadioConnectionReestablished) {
RadioConnection_SM_state_act_Maintaining_SM_CommunicationSessionEstablished =
SSM_st_SafeRadio_connected_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM;
}
else if (outC->Context_1.expired) {
RadioConnection_SM_state_act_Maintaining_SM_CommunicationSessionEstablished =
SSM_st_RadioConnectionLostTimerExpired_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM;
}
else {
RadioConnection_SM_state_act_Maintaining_SM_CommunicationSessionEstablished =
SSM_st_ConnectionLost_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM;
}
tmp = kcg_false;
break;
case SSM_st_SafeRadio_connected_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM :
if (br_1_guard_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM_SafeRadio_connected) {
RadioConnection_SM_state_act_Maintaining_SM_CommunicationSessionEstablished =
SSM_st_ConnecctionLostInAnnouncedRadioHole_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM;
tmp = kcg_true;
}
else {
if (br_2_guard_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM_SafeRadio_connected) {
RadioConnection_SM_state_act_Maintaining_SM_CommunicationSessionEstablished =
SSM_st_ConnectionLost_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM;
}
else {
RadioConnection_SM_state_act_Maintaining_SM_CommunicationSessionEstablished =
SSM_st_SafeRadio_connected_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM;
}
tmp = kcg_false;
}
break;
}
switch (RadioConnection_SM_state_act_Maintaining_SM_CommunicationSessionEstablished) {
case SSM_st_ConnecctionLostInAnnouncedRadioHole_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM :
outC->RadioConnection_SM_state_nxt_Maintaining_SM_CommunicationSessionEstablished =
SSM_st_ConnecctionLostInAnnouncedRadioHole_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM;
outC->tryToSetupANewSafeRadioConnection = kcg_false;
break;
case SSM_st_RadioConnectionLostTimerExpired_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM :
outC->RadioConnection_SM_state_nxt_Maintaining_SM_CommunicationSessionEstablished =
SSM_st_RadioConnectionLostTimerExpired_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM;
outC->tryToSetupANewSafeRadioConnection = kcg_false;
break;
case SSM_st_ConnectionLost_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM :
outC->RadioConnection_SM_state_nxt_Maintaining_SM_CommunicationSessionEstablished =
SSM_st_ConnectionLost_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM;
outC->tryToSetupANewSafeRadioConnection = kcg_true;
break;
case SSM_st_SafeRadio_connected_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM :
outC->RadioConnection_SM_state_nxt_Maintaining_SM_CommunicationSessionEstablished =
SSM_st_SafeRadio_connected_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM;
outC->tryToSetupANewSafeRadioConnection = kcg_false;
break;
}
if (CommunicationSessionEstablished_weakb_clock_Maintaining_SM) {
outC->informTheDriverThatNoConnectionWasSetup = kcg_false;
outC->Maintaining_SM_state_nxt =
SSM_st_CommunicationSessionEstablished_Maintaining_SM;
}
else {
br_1_guard_Maintaining_SM_CommunicationSessionEstablished =
outC->RadioConnection_SM_state_nxt_Maintaining_SM_CommunicationSessionEstablished ==
SSM_st_RadioConnectionLostTimerExpired_Maintaining_SM_CommunicationSessionEstablished_RadioConnection_SM;
if (br_1_guard_Maintaining_SM_CommunicationSessionEstablished) {
outC->informTheDriverThatNoConnectionWasSetup = kcg_true;
outC->Maintaining_SM_state_nxt =
SSM_st_CommunicationSessionNotEstablished_Maintaining_SM;
}
else {
outC->informTheDriverThatNoConnectionWasSetup = kcg_false;
outC->Maintaining_SM_state_nxt =
SSM_st_CommunicationSessionEstablished_Maintaining_SM;
}
}
outC->init1 = kcg_false;
break;
case SSM_st_CommunicationSessionNotEstablished_Maintaining_SM :
outC->informTheDriverThatNoConnectionWasSetup = kcg_false;
tmp = kcg_false;
outC->firstRequestToSetupASafeRadioConnection = kcg_false;
outC->tryToSetupANewSafeRadioConnection = kcg_false;
outC->Maintaining_SM_state_nxt =
SSM_st_CommunicationSessionNotEstablished_Maintaining_SM;
break;
}
outC->finalAttemptToSetupTheSafeRadioConnectionFailed =
outC->informTheDriverThatNoConnectionWasSetup;
outC->requestsToSetupTheSafeRadioConnectionStopped =
outC->finalAttemptToSetupTheSafeRadioConnectionFailed | tmp;
}
void waitAndRepeatTimer_reset_MoRC_Pck_Utils(
outC_waitAndRepeatTimer_MoRC_Pck_Utils *outC)
{
outC->init = kcg_true;
/* 1 */ countDownTimer_reset_MoRC_Pck_Utils(&outC->Context_1);
}
