Loading ttcn/BTP/LibItsBtp_Functions.ttcn +1 −1 Original line number Original line Diff line number Diff line Loading @@ -87,8 +87,8 @@ */ */ function f_prInitialState() runs on ItsNt { function f_prInitialState() runs on ItsNt { f_prDefault(); f_utInitializeIut(m_btpInitialize); f_utInitializeIut(m_btpInitialize); f_prDefault(); } } Loading ttcn/CAM/LibItsCam_Functions.ttcn +5 −5 Original line number Original line Diff line number Diff line Loading @@ -58,8 +58,8 @@ module LibItsCam_Functions { altstep a_default() runs on ItsFa { altstep a_default() runs on ItsFa { [] camPort.receive(mw_camInd ( mw_camMsg_any )){ [] camPort.receive(mw_camInd ( mw_camMsg_any )){ log("*** a_default: ERROR: CAM message received in default ***"); log("*** a_default: INFO: CAM message received in default ***"); f_selfOrClientSyncAndVerdict("error", e_error); repeat; } } [] camPort.receive { [] camPort.receive { log("*** a_default: ERROR: event received on CAM port in default ***"); log("*** a_default: ERROR: event received on CAM port in default ***"); Loading Loading @@ -89,11 +89,11 @@ module LibItsCam_Functions { */ */ function f_prInitialState() runs on ItsFa { function f_prInitialState() runs on ItsFa { f_utInitializeIut(m_camInitialize); // basic default altstep // basic default altstep activate(a_default()); activate(a_default()); f_utInitializeIut(m_camInitialize); } // end f_prInitialState } // end f_prInitialState } // end of preambles } // end of preambles Loading ttcn/DENM/LibItsDenm_Functions.ttcn +2 −2 Original line number Original line Diff line number Diff line Loading @@ -109,10 +109,10 @@ module LibItsDenm_Functions { function f_prInitialState() runs on ItsFa return FncRetCode { function f_prInitialState() runs on ItsFa return FncRetCode { var FncRetCode v_ret := e_success; var FncRetCode v_ret := e_success; f_prDefault(); f_utInitializeIut(m_denmInitialize); f_utInitializeIut(m_denmInitialize); f_prDefault(); return v_ret; return v_ret; } } Loading Loading
ttcn/BTP/LibItsBtp_Functions.ttcn +1 −1 Original line number Original line Diff line number Diff line Loading @@ -87,8 +87,8 @@ */ */ function f_prInitialState() runs on ItsNt { function f_prInitialState() runs on ItsNt { f_prDefault(); f_utInitializeIut(m_btpInitialize); f_utInitializeIut(m_btpInitialize); f_prDefault(); } } Loading
ttcn/CAM/LibItsCam_Functions.ttcn +5 −5 Original line number Original line Diff line number Diff line Loading @@ -58,8 +58,8 @@ module LibItsCam_Functions { altstep a_default() runs on ItsFa { altstep a_default() runs on ItsFa { [] camPort.receive(mw_camInd ( mw_camMsg_any )){ [] camPort.receive(mw_camInd ( mw_camMsg_any )){ log("*** a_default: ERROR: CAM message received in default ***"); log("*** a_default: INFO: CAM message received in default ***"); f_selfOrClientSyncAndVerdict("error", e_error); repeat; } } [] camPort.receive { [] camPort.receive { log("*** a_default: ERROR: event received on CAM port in default ***"); log("*** a_default: ERROR: event received on CAM port in default ***"); Loading Loading @@ -89,11 +89,11 @@ module LibItsCam_Functions { */ */ function f_prInitialState() runs on ItsFa { function f_prInitialState() runs on ItsFa { f_utInitializeIut(m_camInitialize); // basic default altstep // basic default altstep activate(a_default()); activate(a_default()); f_utInitializeIut(m_camInitialize); } // end f_prInitialState } // end f_prInitialState } // end of preambles } // end of preambles Loading
ttcn/DENM/LibItsDenm_Functions.ttcn +2 −2 Original line number Original line Diff line number Diff line Loading @@ -109,10 +109,10 @@ module LibItsDenm_Functions { function f_prInitialState() runs on ItsFa return FncRetCode { function f_prInitialState() runs on ItsFa return FncRetCode { var FncRetCode v_ret := e_success; var FncRetCode v_ret := e_success; f_prDefault(); f_utInitializeIut(m_denmInitialize); f_utInitializeIut(m_denmInitialize); f_prDefault(); return v_ret; return v_ret; } } Loading