void MoRC_registeringToTheRadioNetwork_reset( MoRC_outC_registeringToTheRadioNetwork *outC) { outC->init = kcg_true; /* 1 */ MoRC_radioNetworkMobile_reset(&outC->Context_1); /* 4 */ MoRC_RisingEdge_reset_digital(&outC->Context_4); /* 2 */ MoRC_RisingEdge_reset_digital(&outC->Context_2); /* 3 */ MoRC_RisingEdge_reset_digital(&outC->Context_3); }
void MoRC_managementOfRadioCommunication_reset( MoRC_outC_managementOfRadioCommunication *outC) { outC->init = kcg_true; /* 1 */ MoRC_Initiate_a_Session_reset(&outC->Context_1); /* 1 */ MoRC_safeRadioConnectionIndication_reset(&outC->_1_Context_1); /* 3 */ MoRC_RisingEdge_reset_digital(&outC->Context_3); /* 2 */ MoRC_FallingEdge_reset_digital(&outC->Context_2); /* 2 */ MoRC_RisingEdge_reset_digital(&outC->_2_Context_2); /* 2 */ MoRC_initiateTerminatingASession_reset(&outC->_3_Context_2); /* 1 */ MoRC_FallingEdge_reset_digital(&outC->_4_Context_1); /* 1 */ MoRC_registeringToTheRadioNetwork_reset(&outC->_5_Context_1); /* 1 */ MoRC_maintaining_a_CommunicationSession_reset(&outC->_6_Context_1); /* 1 */ MoRC_terminating_a_CommunicationSession_reset(&outC->_7_Context_1); /* 2 */ MoRC_establish_a_CommunicationSession_reset(&outC->_8_Context_2); /* 1 */ MoRC_terminateAndEstablishSession_reset(&outC->_9_Context_1); }