Commit 0a58c2d5 authored by rennoch's avatar rennoch
Browse files

further parameterization of IE templates

parent b5efac05
Loading
Loading
Loading
Loading
+8 −8
Original line number Diff line number Diff line
@@ -66,27 +66,27 @@ module S1AP_Templates {
	
group g_E_RAB_SetupRequest {

	template(value) E_RABSetupRequest.protocolIEs[-] m_E_RABSetupRequestIEs_MME := {
	template(value) E_RABSetupRequest.protocolIEs[-] m_E_RABSetupRequestIEs_MME (MME_UE_S1AP_ID p_value:= 1):= {
		id := S1AP_Constants.id_MME_UE_S1AP_ID,
		criticality := S1AP_CommonDataTypes.reject,
		value_ := { MME_UE_S1AP_ID := 1 }
		value_ := { MME_UE_S1AP_ID := p_value }
	}
	template(value) E_RABSetupRequest.protocolIEs[-] m_E_RABSetupRequestIEs_ENB := {
	template(value) E_RABSetupRequest.protocolIEs[-] m_E_RABSetupRequestIEs_ENB (ENB_UE_S1AP_ID p_value:= 1):= {
		id := S1AP_Constants.id_eNB_UE_S1AP_ID,
		criticality := S1AP_CommonDataTypes.reject,
		value_ := { ENB_UE_S1AP_ID := 1 }
		value_ := { ENB_UE_S1AP_ID := p_value }
	}		
	template(value) E_RABSetupRequest.protocolIEs[-] m_E_RABSetupRequestIEs_ERAB := {
	template(value) E_RABSetupRequest.protocolIEs[-] m_E_RABSetupRequestIEs_ERAB (E_RABToBeSetupListBearerSUReq p_value := m_e_rABToBeSetupListBearerSUReq({m_E_RABToBeSetupItemBearerSUReq})):= {
		id := S1AP_Constants.id_E_RABToBeSetupListBearerSUReq,
		criticality := S1AP_CommonDataTypes.reject,
		value_ := { E_RABToBeSetupListBearerSUReq := m_e_rABToBeSetupListBearerSUReq }
		value_ := { E_RABToBeSetupListBearerSUReq := p_value }
	}

	template(value) E_RABToBeSetupListBearerSUReq m_e_rABToBeSetupListBearerSUReq := {
	template(value) E_RABToBeSetupListBearerSUReq m_e_rABToBeSetupListBearerSUReq (template RecordOf_E_RABToBeSetupItemBearerSUReq p_value := {m_E_RABToBeSetupItemBearerSUReq}):= {
		{
			id := id_E_RABToBeSetupItemBearerSUReq, 
			criticality := reject,
			value_ := { E_RABToBeSetupItemBearerSUReq := m_E_RABToBeSetupItemBearerSUReq }
			value_ := { RecordOf_E_RABToBeSetupItemBearerSUReq := valueof(p_value) }
		}
	}

+30 −2
Original line number Diff line number Diff line
@@ -20,9 +20,37 @@ module S1AP_Testcase {
	testcase TP_S1AP_ENB_RAB_01() runs on MME {
		eBport
		.send(m_initiatingMessage_E_RABSetup({
												 m_E_RABSetupRequestIEs_MME,
												 m_E_RABSetupRequestIEs_ENB,
												 m_E_RABSetupRequestIEs_MME(1),
												 m_E_RABSetupRequestIEs_ENB(1),
												 m_E_RABSetupRequestIEs_ERAB
												 (m_e_rABToBeSetupListBearerSUReq
												  ({
													   m_E_RABToBeSetupItemBearerSUReq
												   }))
											 }));
		eBport
		.receive(mw_successfulOutcome_E_RABSetupResponse(-,
														 {
															 mw_E_RABSetupResponseIEs_MME,
															 mw_E_RABSetupResponseIEs_ENB,
															 mw_E_RABSetupResponseIEs_ERAB
														 }));
	}
	/**
	 * @desc
	 * @verdict
	 */
	testcase TP_S1AP_ENB_RAB_02() runs on MME {
		eBport
		.send(m_initiatingMessage_E_RABSetup({
												 m_E_RABSetupRequestIEs_MME(1),
												 m_E_RABSetupRequestIEs_ENB(1),
												 m_E_RABSetupRequestIEs_ERAB
												 (m_e_rABToBeSetupListBearerSUReq
												  ({
													   m_E_RABToBeSetupItemBearerSUReq,
													   m_E_RABToBeSetupItemBearerSUReq
												   }))
											 }));
		eBport
		.receive(mw_successfulOutcome_E_RABSetupResponse(-,
+1 −0
Original line number Diff line number Diff line
@@ -16,5 +16,6 @@ module S1AP_Types {

	type record of E_RABSetupRequest.protocolIEs[-] RecordOf_E_RABSetupRequestIEs;
	type record of E_RABSetupResponse.protocolIEs[-] RecordOf_E_RABSetupResponseIEs;
    type record of E_RABToBeSetupItemBearerSUReq RecordOf_E_RABToBeSetupItemBearerSUReq;

}
 No newline at end of file