Commit ed421598 authored by rennoch's avatar rennoch
Browse files

further IE and parameter templates

parent 873e52e3
Loading
Loading
Loading
Loading
+32 −17
Original line number Diff line number Diff line
@@ -76,19 +76,19 @@ group g_E_RAB_SetupRequest {
		criticality := S1AP_CommonDataTypes.reject,
		value_ := { ENB_UE_S1AP_ID := p_value }
	}		
	template(value) E_RABSetupRequest.protocolIEs[-] m_E_RABSetupRequestIEs_ERAB (E_RABToBeSetupListBearerSUReq p_value := m_e_rABToBeSetupListBearerSUReq({m_E_RABToBeSetupItemBearerSUReq})):= {
	template(value) E_RABSetupRequest.protocolIEs[-] m_E_RABSetupRequestIEs_ERAB (RecordOf_E_RABToBeSetupItemBearerSUReq p_value := {m_E_RABToBeSetupItemBearerSUReq}):= {
		id := S1AP_Constants.id_E_RABToBeSetupListBearerSUReq,
		criticality := S1AP_CommonDataTypes.reject,
		value_ := { E_RABToBeSetupListBearerSUReq := p_value }
		value_ := { RecordOf_E_RABToBeSetupItemBearerSUReq := p_value }
	}

	template(value) E_RABToBeSetupListBearerSUReq m_e_rABToBeSetupListBearerSUReq (template RecordOf_E_RABToBeSetupItemBearerSUReq p_value := {m_E_RABToBeSetupItemBearerSUReq}):= {
		{
			id := id_E_RABToBeSetupItemBearerSUReq, 
			criticality := reject,
			value_ := { RecordOf_E_RABToBeSetupItemBearerSUReq := valueof(p_value) }
		}
	}
//	template(value) E_RABToBeSetupListBearerSUReq m_e_rABToBeSetupListBearerSUReq (template RecordOf_E_RABToBeSetupItemBearerSUReq p_value := {m_E_RABToBeSetupItemBearerSUReq}):= {
//		{
//			id := id_E_RABToBeSetupItemBearerSUReq, 
//			criticality := reject,
//			value_ := { RecordOf_E_RABToBeSetupItemBearerSUReq := valueof(p_value) }
//		}
//	}
  } // end of group g_E_RAB_SetupRequest

group g_E_RAB_SetupResponse {
@@ -105,17 +105,18 @@ group g_E_RAB_SetupResponse {
		value_ := { ENB_UE_S1AP_ID := ? }
	}

	template E_RABSetupResponse.protocolIEs[-] mw_E_RABSetupResponseIEs_ERAB := {
	template E_RABSetupResponse.protocolIEs[-] mw_E_RABSetupResponseIEs_ERAB 
	  (template(present) RecordOf_E_RABSetupItemBearerSURes p_value := {mw_E_RABSetupItemBearerSURes}):= {
		id := S1AP_Constants.id_E_RABSetupListBearerSURes,
		criticality := S1AP_CommonDataTypes.ignore,
		value_ := { E_RABSetupItemBearerSURes := mw_E_RABSetupItemBearerSURes }
		value_ := { RecordOf_E_RABSetupItemBearerSURes := p_value }
	}
	
	template(present) E_RABSetupItemBearerSURes mw_E_RABSetupItemBearerSURes:=  {
		e_RAB_ID                        := ?,
		transportLayerAddress           := '?'B,
		gTP_TEID                        := ?,
		iE_Extensions                   := *
	template E_RABSetupResponse.protocolIEs[-] mw_E_RABSetupResponseIEs_fSUL 
	  (template(present) RecordOf_E_RABItem p_value := {?}):= {
		id := S1AP_Constants.id_E_RABFailedToSetupListBearerSURes,
		criticality := S1AP_CommonDataTypes.ignore,
		value_ := { RecordOf_E_RABItem := p_value }
	}
	
} // end of group g_E_RAB_SetupResponse
@@ -144,6 +145,20 @@ group g_IEParameters {
		gbrQosInformation := omit,
		iE_Extensions := omit
	}
	
	template(present) E_RABSetupItemBearerSURes mw_E_RABSetupItemBearerSURes:=  {
		 e_RAB_ID                        := ?,
		 transportLayerAddress           := '?'B,
		 gTP_TEID                        := ?,
		 iE_Extensions                   := *
	 }
	 
	template(present) E_RABItem mw_E_RABItem (template Cause p_cause:=?):=  {
		 e_RAB_ID                        := ?,
		 cause                           := p_cause,
		 iE_Extensions                   := *
	 }
	        
} // end of group g_IEParameters

} // end of module S1AP_Templates
 No newline at end of file
+30 −16
Original line number Diff line number Diff line
@@ -22,13 +22,13 @@ module S1AP_Testcase {
		.send(m_initiatingMessage_E_RABSetup({
												 m_E_RABSetupRequestIEs_MME(1),
												 m_E_RABSetupRequestIEs_ENB(1),
												 m_E_RABSetupRequestIEs_ERAB
												 (m_e_rABToBeSetupListBearerSUReq
												  ({
												 m_E_RABSetupRequestIEs_ERAB({
																				 m_E_RABToBeSetupItemBearerSUReq
													   (-,
														m_e_RABlevelQoSParameters(5))
												   }))
																				 (-
																				  ,
																				  m_e_RABlevelQoSParameters
																				  (5))
																			 })
											 }));
		eBport
		.receive(mw_successfulOutcome_E_RABSetupResponse(-,
@@ -36,6 +36,9 @@ module S1AP_Testcase {
															 mw_E_RABSetupResponseIEs_MME,
															 mw_E_RABSetupResponseIEs_ENB,
															 mw_E_RABSetupResponseIEs_ERAB
															 ({
																  mw_E_RABSetupItemBearerSURes
															  })
														 }));
	}
	/**
@@ -47,15 +50,14 @@ module S1AP_Testcase {
		.send(m_initiatingMessage_E_RABSetup({
												 m_E_RABSetupRequestIEs_MME(1),
												 m_E_RABSetupRequestIEs_ENB(1),
												 m_E_RABSetupRequestIEs_ERAB
												 (m_e_rABToBeSetupListBearerSUReq
												  ({
												 m_E_RABSetupRequestIEs_ERAB({
																				 m_E_RABToBeSetupItemBearerSUReq,
																				 m_E_RABToBeSetupItemBearerSUReq
													   (-,
																				 (-
																				  ,
																				  m_e_RABlevelQoSParameters
																				  (255))
												   }))
																			 })
											 }));
		eBport
		.receive(mw_successfulOutcome_E_RABSetupResponse(-,
@@ -63,6 +65,18 @@ module S1AP_Testcase {
															 mw_E_RABSetupResponseIEs_MME,
															 mw_E_RABSetupResponseIEs_ENB,
															 mw_E_RABSetupResponseIEs_ERAB
															 ({
																  mw_E_RABSetupItemBearerSURes
															  }),
															 mw_E_RABSetupResponseIEs_fSUL
															 ({
																  mw_E_RABItem
																  ({
																	   radioNetwork
																		   :=
																		   not_supported_QCI_value
																   })
															  })
														 }));
	}
}
 No newline at end of file
+2 −0
Original line number Diff line number Diff line
@@ -17,5 +17,7 @@ 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;
    type record of E_RABSetupItemBearerSURes RecordOf_E_RABSetupItemBearerSURes;
    type record of E_RABItem RecordOf_E_RABItem;

}
 No newline at end of file