Commit b5efac05 authored by rennoch's avatar rennoch
Browse files

further parameterization of generic message templates

parent 4b1204ff
Loading
Loading
Loading
Loading
+39 −12
Original line number Original line Diff line number Diff line
@@ -12,6 +12,7 @@ module S1AP_Templates {


	import from S1AP_Types all;
	import from S1AP_Types all;


	group g_initiatingMessage {    	
		
		
	template S1AP_PDU m_initiatingMessage (ProcedureCode p_procedureCode, anytype p_value):= {
	template S1AP_PDU m_initiatingMessage (ProcedureCode p_procedureCode, anytype p_value):= {
		initiatingMessage := {
		initiatingMessage := {
@@ -21,6 +22,18 @@ module S1AP_Templates {
		}
		}
	}
	}


	template S1AP_PDU m_initiatingMessage_E_RABSetup(RecordOf_E_RABSetupRequestIEs p_value) := {
		initiatingMessage := {
			procedureCode := id_E_RABSetup,
			criticality := reject,
			value_ := {RecordOf_E_RABSetupRequestIEs := p_value}
		}
	}
	
    } // end of group g_initiatingMessage

	group g_outcomeMessage {

		template S1AP_PDU mw_successfulOutcome(template ProcedureCode
		template S1AP_PDU mw_successfulOutcome(template ProcedureCode
												   p_procedureCode := ?,
												   p_procedureCode := ?,
											   template anytype p_value) := {
											   template anytype p_value) := {
@@ -37,6 +50,20 @@ module S1AP_Templates {
			}
			}
		}
		}


		template S1AP_PDU mw_successfulOutcome_E_RABSetupResponse
		(template ProcedureCode p_procedureCode := ?,
											   template RecordOf_E_RABSetupResponseIEs p_value) := {
			successfulOutcome := {
				procedureCode := p_procedureCode,
				criticality := reject,
				value_ := {
					RecordOf_E_RABSetupResponseIEs := p_value
				}
			}
		}

	} // end of group g_outcomeMessage
	
group g_E_RAB_SetupRequest {
group g_E_RAB_SetupRequest {


	template(value) E_RABSetupRequest.protocolIEs[-] m_E_RABSetupRequestIEs_MME := {
	template(value) E_RABSetupRequest.protocolIEs[-] m_E_RABSetupRequestIEs_MME := {
+11 −16
Original line number Original line Diff line number Diff line
@@ -19,22 +19,17 @@ module S1AP_Testcase {
	 */
	 */
	testcase TP_S1AP_ENB_RAB_01() runs on MME {
	testcase TP_S1AP_ENB_RAB_01() runs on MME {
		eBport
		eBport
		.send(m_initiatingMessage(id_E_RABSetup,
		.send(m_initiatingMessage_E_RABSetup({
								  {
									  RecordOf_E_RABSetupRequestIEs := {
												 m_E_RABSetupRequestIEs_MME,
												 m_E_RABSetupRequestIEs_MME,
												 m_E_RABSetupRequestIEs_ENB,
												 m_E_RABSetupRequestIEs_ENB,
												 m_E_RABSetupRequestIEs_ERAB
												 m_E_RABSetupRequestIEs_ERAB
									  }
											 }));
											 }));
		eBport
		eBport
		.receive(mw_successfulOutcome(-,
		.receive(mw_successfulOutcome_E_RABSetupResponse(-,
														 {
														 {
										  RecordOf_E_RABSetupResponseIEs := {
															 mw_E_RABSetupResponseIEs_MME,
															 mw_E_RABSetupResponseIEs_MME,
															 mw_E_RABSetupResponseIEs_ENB,
															 mw_E_RABSetupResponseIEs_ENB,
															 mw_E_RABSetupResponseIEs_ERAB
															 mw_E_RABSetupResponseIEs_ERAB
										  }
														 }));
														 }));
	}
	}
}
}
 No newline at end of file