Commit cc003f48 authored by Steffen Ludtke's avatar Steffen Ludtke
Browse files

add initial steps

parent d703af65
Loading
Loading
Loading
Loading
+9 −1
Original line number Diff line number Diff line
@@ -177,7 +177,7 @@ module NGAP_Steps {
         * @desc
         */
        function f_NGAP_amf_UE_NoLongerAvailable() runs on NGAPComponent {
        //FIXME: Implementation of PDU session resource setup
        //FIXME: Implementation of PDU not longer available
        } // End of function f_NGAP_amf_UE_NoLongerAvailable

        /**
@@ -301,6 +301,14 @@ module NGAP_Steps {
        //FIXME: Implementation of UE has suspended context
        } // End of function f_NGAP_amf_UE_hasSuspendedContext
        
        /**
         * @desc
         */
        function f_NGAP_gnb_UE_alreadyPreparedHandover() runs on NGAPComponent {
        //FIXME: Implementation of UE halready prepared Handover
        } // End of function f_NGAP_amf_UE_hasSuspendedContext
        

    }//end group BehaviorFunctions

} // End of module NGAP_Steps
+6 −9
Original line number Diff line number Diff line
@@ -1414,8 +1414,8 @@ module NGAP_TCFunctions {
             	   // Preamble
                   f_NGAP_amf_init();
                   f_NGAP_amf_UE_Register();
                   f_NGAP_gnb_UE_Has_EstablishedContextInproperly();
                   
                   // TODO: hasEstablishedContextInproperly  
                   
                   f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
                   log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
@@ -1685,11 +1685,11 @@ module NGAP_TCFunctions {
                 
                   // Preamble
                   
                   // TODO: alreadyPreparedHandover
                   
                   f_NGAP_amf_init();
                   f_NGAP_amf_UE_Register();
                   f_NGAP_amf_UE_PDU_ResourceSetup();
                   f_NGAP_gnb_UE_EstablishedInitialContext();
                   f_NGAP_gnb_UE_alreadyPreparedHandover();
                   f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
                   log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
                   
@@ -1728,11 +1728,8 @@ module NGAP_TCFunctions {
                   // Preamble
                   f_NGAP_amf_init();
                   f_NGAP_amf_UE_Register();
                   f_NGAP_gnb_UE_Has_Suspended_Context();
                   f_NGAP_gnb_UE_EstablishedInitialContext();
                  
                   f_NGAP_amf_init();
                   f_NGAP_amf_UE_Register();
                   f_NGAP_amf_UE_PDU_ResourceSetup();
                   f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
                   log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");
                   
@@ -1774,7 +1771,7 @@ module NGAP_TCFunctions {
                   // Preamble
                   f_NGAP_amf_init();
                   f_NGAP_amf_UE_Register();
                   f_NGAP_amf_UE_PDU_ResourceSetup();
                   f_NGAP_gnb_UE_EstablishedInitialContext();
                   f_selfOrClientSyncAndVerdict(c_prDone, f_getVerdict());
                   log("*** " & __SCOPE__ & ": INFO: Preamble done. ***");