Commit 371bd52a authored by rennoch's avatar rennoch
Browse files

f_TC_S1AP_eNB_CMP_05 and f_TC_S1AP_eNB_CMP_06 (correction: use of mw_InitialContextSetupFailureIEs)

parent 83d64226
Loading
Loading
Loading
Loading
+12 −5
Original line number Diff line number Diff line
@@ -511,16 +511,23 @@ module LibS1AP_Templates {
																			   template (present) MME_UE_S1AP_ID p_MME_value := ?,
																			   template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
																			   template RecordOf_E_RABSetupItemBearerSURes p_RecordOf_E_RABSetupItem_value := omit,
																			   template RecordOf_E_RABItem p_E_RABItem_value := omit,
																			   template Cause p_cause := omit
																			   template (present) RecordOf_E_RABItem p_E_RABItem_value := ?
					) := {
						mw_MME_UE_S1AP_ID(p_MME_value, ignore),
						mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
						mw_E_RABSetupList(p_RecordOf_E_RABSetupItem_value) ifpresent,
						mw_E_RABFailedToSetupList(p_E_RABItem_value) ifpresent,
						mw_cause_IE(p_cause) ifpresent
						mw_E_RABFailedToSetupList(p_E_RABItem_value)
					} // End of template mw_InitialContextSetupResIEs

					template (present) RecordOf_ProtocolIE mw_InitialContextSetupFailureIEs(
																			   template (present) MME_UE_S1AP_ID p_MME_value := ?,
																			   template (present) ENB_UE_S1AP_ID p_eNB_value := ?,
																			   template (present) Cause p_cause := ?
					) := {
						mw_MME_UE_S1AP_ID(p_MME_value, ignore),
						mw_eNB_UE_S1AP_ID(p_eNB_value, ignore),
						mw_cause_IE(p_cause)
					} // End of template mw_InitialContextSetupResIEs                    
                    
				} // End of group Context_management_group
                
+2 −6
Original line number Diff line number Diff line
@@ -631,11 +631,9 @@ module S1AP_TCFunctions {
					m_securityKey
				));

				f_recv_InitialContext_SetupResponse(mw_InitialContextSetupResIEs(
				f_recv_InitialContext_SetupResponse(mw_InitialContextSetupFailureIEs(
					vc_MME_UE_ID,
					vc_eNB_UE_ID,
					-,
					-,
					mw_cause_ran(encryption_and_or_integrity_protection_algorithms_not_supported)
				));
                
@@ -681,11 +679,9 @@ module S1AP_TCFunctions {
					m_securityKey
				));

				f_recv_InitialContext_SetupResponse(mw_InitialContextSetupResIEs(
				f_recv_InitialContext_SetupResponse(mw_InitialContextSetupFailureIEs(
					vc_MME_UE_ID,
					vc_eNB_UE_ID,
					-,
					-,
					mw_cause_ran(encryption_and_or_integrity_protection_algorithms_not_supported)
				));