<p>laforge <strong>merged</strong> this change.</p><p><a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/15195">View Change</a></p><div style="white-space:pre-wrap">Approvals:
pespin: Looks good to me, approved
Jenkins Builder: Verified
</div><pre style="font-family: monospace,monospace; white-space: pre-wrap;">library: Add S1AP Templates<br><br>Change-Id: I148b33eb5074d3549e7cd533af2cbf90f1c6d23f<br>---<br>A library/s1ap/S1AP_Templates.ttcn<br>1 file changed, 907 insertions(+), 0 deletions(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/library/s1ap/S1AP_Templates.ttcn b/library/s1ap/S1AP_Templates.ttcn</span><br><span>new file mode 100644</span><br><span>index 0000000..6c5dbce</span><br><span>--- /dev/null</span><br><span>+++ b/library/s1ap/S1AP_Templates.ttcn</span><br><span>@@ -0,0 +1,907 @@</span><br><span style="color: hsl(120, 100%, 40%);">+/* S1AP Templates in TTCN-3</span><br><span style="color: hsl(120, 100%, 40%);">+ * (C) 2019 Harald Welte <laforge@gnumonks.org></span><br><span style="color: hsl(120, 100%, 40%);">+ * All rights reserved.</span><br><span style="color: hsl(120, 100%, 40%);">+ *</span><br><span style="color: hsl(120, 100%, 40%);">+ * Released under the terms of GNU General Public License, Version 2 or</span><br><span style="color: hsl(120, 100%, 40%);">+ * (at your option) any later version.</span><br><span style="color: hsl(120, 100%, 40%);">+ *</span><br><span style="color: hsl(120, 100%, 40%);">+ * SPDX-License-Identifier: GPL-2.0-or-later</span><br><span style="color: hsl(120, 100%, 40%);">+ */</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+module S1AP_Templates {</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+import from S1AP_IEs all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from S1AP_CommonDataTypes all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from S1AP_Constants all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from S1AP_Containers all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from S1AP_PDU_Contents all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from S1AP_PDU_Descriptions all;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/*********************************************************************************</span><br><span style="color: hsl(120, 100%, 40%);">+ * non-UE related</span><br><span style="color: hsl(120, 100%, 40%);">+ *********************************************************************************/</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/*********************************************************************************</span><br><span style="color: hsl(120, 100%, 40%);">+ * 9.1.8 Management Messages </span><br><span style="color: hsl(120, 100%, 40%);">+ *********************************************************************************/</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* 9.1.8.4 S1 SETUP REQUEST */</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_S1AP_SetupReq(template (value) Global_ENB_ID p_global_ENB_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) SupportedTAs p_supportedTAs,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) PagingDRX p_pagingDRXs) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initiatingMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_S1Setup,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ S1SetupRequest := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_Global_ENB_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := { Global_ENB_ID := p_global_ENB_ID }</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_SupportedTAs,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {SupportedTAs := p_supportedTAs}</span><br><span style="color: hsl(120, 100%, 40%);">+ } /* HACK: work around nextepc bug</span><br><span style="color: hsl(120, 100%, 40%);">+ , {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_pagingDRX,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {PagingDRX := p_pagingDRXs}</span><br><span style="color: hsl(120, 100%, 40%);">+ } */</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_S1AP_SetupReq(template (present) Global_ENB_ID p_global_ENB_ID := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) SupportedTAs p_supportedTAs := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) PagingDRX p_pagingDRXs := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initiatingMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_S1Setup,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ S1SetupRequest := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_Global_ENB_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := { Global_ENB_ID := p_global_ENB_ID }</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_SupportedTAs,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {SupportedTAs := p_supportedTAs}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, *</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* 9.1.8.5 S1 SETUP RESPONSE */</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_S1AP_SetupResp(template (value) ServedGUMMEIs served_gummeis,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) RelativeMMECapacity rel_mme_capacity) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ successfulOutcome := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_S1Setup,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ S1SetupResponse := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_ServedGUMMEIs,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := { ServedGUMMEIs := served_gummeis }</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_RelativeMMECapacity,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := { RelativeMMECapacity := rel_mme_capacity }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_S1AP_SetupResp(template (present) ServedGUMMEIs served_gummeis := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) RelativeMMECapacity rel_mme_capacity := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ successfulOutcome := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_S1Setup,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ S1SetupResponse := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_ServedGUMMEIs,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := { ServedGUMMEIs := served_gummeis }</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_RelativeMMECapacity,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := { RelativeMMECapacity := rel_mme_capacity }</span><br><span style="color: hsl(120, 100%, 40%);">+ }, *</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* 9.1.8.6 S1 SETUP FAILURE */</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_S1AP_SetupFail(template (value) Cause cause) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ unsuccessfulOutcome := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_S1Setup,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ S1SetupFailure := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_Cause,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := { Cause := cause }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_S1AP_SetupFail(template (present) Cause cause := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ unsuccessfulOutcome := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_S1Setup,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ S1SetupFailure := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_Cause,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := { Cause := cause }</span><br><span style="color: hsl(120, 100%, 40%);">+ }, *</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* 9.1.8.1 RESET */</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_S1AP_Reset(template (value) Cause cause,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) ResetType reset_type) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initiatingMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_Reset,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ Reset := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_Cause,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := { Cause := cause }</span><br><span style="color: hsl(120, 100%, 40%);">+ } , {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_ResetType,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := { resetType := reset_type }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_S1AP_Reset(template (present) Cause cause := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) ResetType reset_type := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initiatingMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_Reset,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ Reset := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_Cause,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := { Cause := cause }</span><br><span style="color: hsl(120, 100%, 40%);">+ } , {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_ResetType,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := { resetType := reset_type }</span><br><span style="color: hsl(120, 100%, 40%);">+ }, *</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* 9.1.8.2 RESET ACKNOWLEDGE */</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_S1AP_ResetAck(template (value) UE_associatedLogicalS1_ConnectionListResAck val) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ successfulOutcome := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_Reset,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ ResetAcknowledge := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_UE_associatedLogicalS1_ConnectionListResAck,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := { UE_associatedLogicalS1_ConnectionListResAck := val }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_S1AP_ResetAck(template (present) UE_associatedLogicalS1_ConnectionListResAck val := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ successfulOutcome := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_Reset,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ ResetAcknowledge := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_UE_associatedLogicalS1_ConnectionListResAck,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := { UE_associatedLogicalS1_ConnectionListResAck := val }</span><br><span style="color: hsl(120, 100%, 40%);">+ }, *</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/*********************************************************************************</span><br><span style="color: hsl(120, 100%, 40%);">+ * 9.1.7 NAS Transport</span><br><span style="color: hsl(120, 100%, 40%);">+ *********************************************************************************/</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* 9.1.7.1 INITIAL UE MESSAGE */</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_S1AP_InitialUE(template (value) ENB_UE_S1AP_ID p_eNB_value,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) NAS_PDU p_nasPdu,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) TAI p_tAI,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) EUTRAN_CGI p_eUTRAN_CGI,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) RRC_Establishment_Cause p_rrcCause) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initiatingMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_initialUEMessage,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ InitialUEMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_eNB_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {ENB_UE_S1AP_ID := p_eNB_value}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_NAS_PDU,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {nAS_PDU := p_nasPdu}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_TAI,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {TAI := p_tAI}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_EUTRAN_CGI,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {EUTRAN_CGI := p_eUTRAN_CGI}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_RRC_Establishment_Cause,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {RRC_Establishment_Cause := p_rrcCause}</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_S1AP_InitialUE(template (present) ENB_UE_S1AP_ID p_eNB_value := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) NAS_PDU p_nasPdu := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) TAI p_tAI := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) EUTRAN_CGI p_eUTRAN_CGI := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) RRC_Establishment_Cause p_rrcCause := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initiatingMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_initialUEMessage,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ InitialUEMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_eNB_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {ENB_UE_S1AP_ID := p_eNB_value}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_NAS_PDU,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {nAS_PDU := p_nasPdu}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_TAI,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {TAI := p_tAI}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_EUTRAN_CGI,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {EUTRAN_CGI := p_eUTRAN_CGI}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_RRC_Establishment_Cause,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {RRC_Establishment_Cause := p_rrcCause}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, *</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* 9.1.7.2 DOWNLINK NAS TRANSPORT */</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_S1AP_DlNasTransport(template (value) MME_UE_S1AP_ID mme_id,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) ENB_UE_S1AP_ID enb_id,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) octetstring p_nasPdu) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initiatingMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_downlinkNASTransport,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ DownlinkNASTransport := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_MME_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {MME_UE_S1AP_ID := mme_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_eNB_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {ENB_UE_S1AP_ID := enb_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_NAS_PDU,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {nAS_PDU := p_nasPdu}</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_S1AP_DlNasTransport(template (present) MME_UE_S1AP_ID mme_id := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) ENB_UE_S1AP_ID enb_id := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) octetstring p_nasPdu := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initiatingMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_downlinkNASTransport,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ DownlinkNASTransport := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_MME_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {MME_UE_S1AP_ID := mme_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_eNB_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {ENB_UE_S1AP_ID := enb_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_NAS_PDU,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {nAS_PDU := p_nasPdu}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, *</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* 9.1.7.3 UPNLINK NAS TRANSPORT */</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_S1AP_UlNasTransport(template (value) MME_UE_S1AP_ID mme_id,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) ENB_UE_S1AP_ID enb_id,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) octetstring p_nasPdu,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) EUTRAN_CGI p_eUTRAN_CGI,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) TAI p_tAI) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initiatingMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_uplinkNASTransport,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ UplinkNASTransport := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_MME_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {MME_UE_S1AP_ID := mme_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_eNB_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {ENB_UE_S1AP_ID := enb_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_NAS_PDU,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {nAS_PDU := p_nasPdu}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_EUTRAN_CGI,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {EUTRAN_CGI := p_eUTRAN_CGI}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_TAI,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {TAI := p_tAI}</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_S1AP_UlNasTransport(template (present) MME_UE_S1AP_ID mme_id := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) ENB_UE_S1AP_ID enb_id := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) octetstring p_nasPdu := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) EUTRAN_CGI p_eUTRAN_CGI := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) TAI p_tAI := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initiatingMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_uplinkNASTransport,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ UplinkNASTransport := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_MME_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {MME_UE_S1AP_ID := mme_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_eNB_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {ENB_UE_S1AP_ID := enb_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_NAS_PDU,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {nAS_PDU := p_nasPdu}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_EUTRAN_CGI,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {EUTRAN_CGI := p_eUTRAN_CGI}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_TAI,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {TAI := p_tAI}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, *</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/*********************************************************************************</span><br><span style="color: hsl(120, 100%, 40%);">+ * 9.1.4 Context Management</span><br><span style="color: hsl(120, 100%, 40%);">+ *********************************************************************************/</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* 9.1.4.1 INITIAL CONTEXT SETUP REQ */</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_S1AP_IntialCtxSetupReq(template (value) MME_UE_S1AP_ID mme_id,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) ENB_UE_S1AP_ID enb_id,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) UEAggregateMaximumBitrate max_br,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) E_RABToBeSetupListCtxtSUReq rab_setup_items,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) UESecurityCapabilities ue_sec_par,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) SecurityKey sec_key) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initiatingMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_InitialContextSetup,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initialContextSetupRequest := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_MME_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {MME_UE_S1AP_ID := mme_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_eNB_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {ENB_UE_S1AP_ID := enb_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_uEaggregateMaximumBitrate,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {UEAggregateMaximumBitrate := max_br}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_E_RABToBeSetupListCtxtSUReq,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {E_RABToBeSetupListCtxtSUReq := rab_setup_items}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_UESecurityCapabilities,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {UESecurityCapabilities := ue_sec_par}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_SecurityKey,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {SecurityKey := sec_key}</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_S1AP_IntialCtxSetupReq(template (present) MME_UE_S1AP_ID mme_id := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) ENB_UE_S1AP_ID enb_id := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) UEAggregateMaximumBitrate max_br := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) E_RABToBeSetupListCtxtSUReq rab_setup_items := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) UESecurityCapabilities ue_sec_par := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) SecurityKey sec_key := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initiatingMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_InitialContextSetup,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initialContextSetupRequest := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_MME_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {MME_UE_S1AP_ID := mme_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_eNB_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {ENB_UE_S1AP_ID := enb_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_uEaggregateMaximumBitrate,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {UEAggregateMaximumBitrate := max_br}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_E_RABToBeSetupListCtxtSUReq,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {E_RABToBeSetupListCtxtSUReq := rab_setup_items}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_UESecurityCapabilities,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {UESecurityCapabilities := ue_sec_par}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_SecurityKey,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {SecurityKey := sec_key}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, *</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* 9.1.4.3 INITIAL CONTEXT SETUP RESPONSE */</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_S1AP_InitialCtxSetupResp(template (value) MME_UE_S1AP_ID mme_id,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) ENB_UE_S1AP_ID enb_id,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) E_RABSetupListCtxtSURes rab_setup_items,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) E_RABList rab_items) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ successfulOutcome := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_InitialContextSetup,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ InitialContextSetupResponse := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_MME_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {MME_UE_S1AP_ID := mme_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_eNB_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {ENB_UE_S1AP_ID := enb_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_E_RABSetupListBearerSURes,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {E_RABSetupListCtxtSURes := rab_setup_items}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_E_RABFailedToSetupListBearerSURes,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {E_RABList := rab_items}</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_S1AP_InitialCtxSetupResp(template (present) MME_UE_S1AP_ID mme_id := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) ENB_UE_S1AP_ID enb_id := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) E_RABSetupListCtxtSURes rab_setup_items := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) E_RABList rab_items := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ successfulOutcome := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_InitialContextSetup,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ InitialContextSetupResponse := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_MME_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {MME_UE_S1AP_ID := mme_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_eNB_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {ENB_UE_S1AP_ID := enb_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_E_RABSetupListBearerSURes,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {E_RABSetupListCtxtSURes := rab_setup_items}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_E_RABFailedToSetupListBearerSURes,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {E_RABList := rab_items}</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* 9.1.4.4 INITIAL CONTEXT SETUP FAILURE */</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_S1AP_InitialCtxSetupFail(template (value) MME_UE_S1AP_ID mme_id,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) ENB_UE_S1AP_ID enb_id,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) Cause cause) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ unsuccessfulOutcome := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_InitialContextSetup,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ InitialContextSetupFailure := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_MME_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {MME_UE_S1AP_ID := mme_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_eNB_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {ENB_UE_S1AP_ID := enb_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_Cause,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {Cause := cause}</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_S1AP_InitialCtxSetupFail(template (present) MME_UE_S1AP_ID mme_id := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) ENB_UE_S1AP_ID enb_id := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) Cause cause := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ unsuccessfulOutcome := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_InitialContextSetup,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ InitialContextSetupFailure := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_MME_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {MME_UE_S1AP_ID := mme_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_eNB_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {ENB_UE_S1AP_ID := enb_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_Cause,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {Cause := cause}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, *</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* 9.1.4.5 UE CONTEXT RELEASE REQUEST */</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_S1AP_UeContextReleaseReq(template (value) MME_UE_S1AP_ID mme_id,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) ENB_UE_S1AP_ID enb_id,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) Cause cause) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initiatingMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_UEContextReleaseRequest,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ UEContextReleaseRequest := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_MME_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {MME_UE_S1AP_ID := mme_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_eNB_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {ENB_UE_S1AP_ID := enb_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_Cause,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {Cause := cause}</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_S1AP_UeContextReleaseReq(template (present) MME_UE_S1AP_ID mme_id := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) ENB_UE_S1AP_ID enb_id := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) Cause cause := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initiatingMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_UEContextReleaseRequest,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ UEContextReleaseRequest := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_MME_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {MME_UE_S1AP_ID := mme_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_eNB_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {ENB_UE_S1AP_ID := enb_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_Cause,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {Cause := cause}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, *</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* 9.1.4.6 UE CONTEXT RELEASE COMMAND */</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_S1AP_UeContextReleaseCmd(template (value) UE_S1AP_IDs mme_ids,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) Cause cause) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initiatingMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_UEContextRelease,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ UEContextReleaseCommand := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_UE_S1AP_IDs,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {UE_S1AP_IDs := mme_ids}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_Cause,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {Cause := cause}</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_S1AP_UeContextReleaseCmd(template (present) UE_S1AP_IDs ue_ids := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) Cause cause := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initiatingMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_UEContextRelease,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ UEContextReleaseCommand := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_UE_S1AP_IDs,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {UE_S1AP_IDs := ue_ids}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_Cause,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {Cause := cause}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, *</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* 9.1.4.7 UE CONTEXT RELEASE COMPLETE */</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_S1AP_UeContextReleaseCompl(template (value) MME_UE_S1AP_ID mme_id,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) ENB_UE_S1AP_ID enb_id) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ successfulOutcome := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_UEContextRelease,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ UEContextReleaseComplete := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_MME_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {MME_UE_S1AP_ID := mme_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_eNB_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {ENB_UE_S1AP_ID := enb_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_S1AP_UeContextReleaseCompl(template (present) MME_UE_S1AP_ID mme_id := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) ENB_UE_S1AP_ID enb_id := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ successfulOutcome := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_UEContextRelease,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ UEContextReleaseComplete := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_MME_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {MME_UE_S1AP_ID := mme_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_eNB_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {ENB_UE_S1AP_ID := enb_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, *</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* 9.1.4.20 CONNECTION ESTABLISHMENT INDICATION */</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_S1AP_ConnEstInd(template (value) MME_UE_S1AP_ID mme_id,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) ENB_UE_S1AP_ID enb_id) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initiatingMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_ConnectionEstablishmentIndication,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ ConnectionEstablishmentIndication := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_MME_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {MME_UE_S1AP_ID := mme_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_eNB_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {ENB_UE_S1AP_ID := enb_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_S1AP_ConnEstInd(template (present) MME_UE_S1AP_ID mme_id := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) ENB_UE_S1AP_ID enb_id := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ initiatingMessage := {</span><br><span style="color: hsl(120, 100%, 40%);">+ procedureCode := id_ConnectionEstablishmentIndication,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := reject,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {</span><br><span style="color: hsl(120, 100%, 40%);">+ ConnectionEstablishmentIndication := {</span><br><span style="color: hsl(120, 100%, 40%);">+ protocolIEs := {</span><br><span style="color: hsl(120, 100%, 40%);">+ {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_MME_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {MME_UE_S1AP_ID := mme_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, {</span><br><span style="color: hsl(120, 100%, 40%);">+ id := S1AP_Constants.id_eNB_UE_S1AP_ID,</span><br><span style="color: hsl(120, 100%, 40%);">+ criticality := ignore,</span><br><span style="color: hsl(120, 100%, 40%);">+ value_ := {ENB_UE_S1AP_ID := enb_id}</span><br><span style="color: hsl(120, 100%, 40%);">+ }, *</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* all non-UE-related S1AP messages */</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) S1AP_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_S1AP_nonUErelated := (tr_S1AP_SetupReq, tr_S1AP_SetupResp, tr_S1AP_SetupFail,</span><br><span style="color: hsl(120, 100%, 40%);">+ tr_S1AP_Reset, tr_S1AP_ResetAck</span><br><span style="color: hsl(120, 100%, 40%);">+ );</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span></span><br></pre><p>To view, visit <a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/15195">change 15195</a>. To unsubscribe, or for help writing mail filters, visit <a href="https://gerrit.osmocom.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/15195"/><meta itemprop="name" content="View Change"/></div></div>
<div style="display:none"> Gerrit-Project: osmo-ttcn3-hacks </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-Change-Id: I148b33eb5074d3549e7cd533af2cbf90f1c6d23f </div>
<div style="display:none"> Gerrit-Change-Number: 15195 </div>
<div style="display:none"> Gerrit-PatchSet: 2 </div>
<div style="display:none"> Gerrit-Owner: laforge <laforge@gnumonks.org> </div>
<div style="display:none"> Gerrit-Reviewer: Jenkins Builder </div>
<div style="display:none"> Gerrit-Reviewer: laforge <laforge@gnumonks.org> </div>
<div style="display:none"> Gerrit-Reviewer: pespin <pespin@sysmocom.de> </div>
<div style="display:none"> Gerrit-MessageType: merged </div>