Commit cc03096f authored by berge's avatar berge
Browse files

Fixed some 'default' related issues

parent f75ef557
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -87,8 +87,8 @@
         */
        function f_prInitialState() runs on ItsNt {
            
            f_prDefault();
            f_utInitializeIut(m_btpInitialize);
			f_prDefault();

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

			f_prDefault();
            
            return v_ret;
        }