[M] Change in osmo-ttcn3-hacks[master]: SGP32Definitions_Templates: improve tr/ts_getEimPackageResponse_euicc...

2024-05-16 Thread laforge
laforge has submitted this change. ( 
https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/36849?usp=email )

Change subject: SGP32Definitions_Templates: improve 
tr/ts_getEimPackageResponse_euiccPkgReq
..

SGP32Definitions_Templates: improve tr/ts_getEimPackageResponse_euiccPkgReq

The template ts_getEimPackageResponse_euiccPkgReq has a fixed eUICC package,
let's turn the contained eUICC package into a template parameter so that
we can define the eUICC package templates separately. To be complete, let's
also add a tr_getEimPackageResponse_euiccPkgReq

Related: SYS#6824
Change-Id: Ibcea9063f25cc8ba90b53c34218c766fa5cab895
---
M library/euicc/SGP32Definitions_Templates.ttcn
1 file changed, 126 insertions(+), 11 deletions(-)

Approvals:
  laforge: Looks good to me, approved
  pespin: Looks good to me, but someone else must approve
  Jenkins Builder: Verified




diff --git a/library/euicc/SGP32Definitions_Templates.ttcn 
b/library/euicc/SGP32Definitions_Templates.ttcn
index fa1f756..191d9e4 100644
--- a/library/euicc/SGP32Definitions_Templates.ttcn
+++ b/library/euicc/SGP32Definitions_Templates.ttcn
@@ -251,9 +251,118 @@
}
 }

+/* GSMA SGP.32, section 2.11.1.1.3 */
+template (present) EuiccPackage
+tr_euiccPackage_enablePsmo := {
+   psmoList := {
+   {
+   enable := {
+   iccid := ?,
+   rollbackFlag := *
+   }
+   }
+   }
+}
+template (value) EuiccPackage
+ts_euiccPackage_enablePsmo := {
+   psmoList := {
+   {
+   enable := {
+   iccid := '123456789ABCDEFF'O,
+   rollbackFlag := NULL
+   }
+   }
+   }
+}
+template (present) EuiccPackage
+tr_euiccPackage_disablePsmo := {
+   psmoList := {
+   {
+   disable := {
+   iccid := ?
+   }
+   }
+   }
+}
+template (value) EuiccPackage
+ts_euiccPackage_disablePsmo := {
+   psmoList := {
+   {
+   disable := {
+   iccid := '123456789ABCDEFF'O
+   }
+   }
+   }
+}
+template (present) EuiccPackage
+tr_euiccPackage_deletePsmo := {
+   psmoList := {
+   {
+   delete := {
+   iccid := ?
+   }
+   }
+   }
+}
+template (value) EuiccPackage
+ts_euiccPackage_deletePsmo := {
+   psmoList := {
+   {
+   delete := {
+   iccid := '123456789ABCDEFF'O
+   }
+   }
+   }
+}
+template (present) EuiccPackage
+tr_euiccPackage_disableAndDeletePsmo := {
+   psmoList := {
+   {
+   disable := {
+   iccid := ?
+   }
+   },
+   {
+   delete := {
+   iccid := ?
+   }
+   }
+   }
+}
+template (value) EuiccPackage
+ts_euiccPackage_disableAndDeletePsmo := {
+   psmoList := {
+   {
+   disable := {
+   iccid := '123456789ABCDEFF'O
+   }
+   },
+   {
+   delete := {
+   iccid := '123456789ABCDEFF'O
+   }
+   }
+   }
+}
+
 /* GSMA SGP.32, section 6.3.2.6 */
+template (present) EsipaMessageFromEimToIpa
+tr_getEimPackageResponse_euiccPkgReq(template (present) EuiccPackage 
euiccPackage := tr_euiccPackage_enablePsmo) := {
+   getEimPackageResponse := {
+   euiccPackageRequest := {
+   euiccPackageSigned := {
+   eimId := ?,
+   eidValue := ?,
+   counterValue := ?,
+   transactionId := *,
+   euiccPackage := euiccPackage
+   },
+   eimSignature := ?
+   }
+   }
+}
 template (value) EsipaMessageFromEimToIpa
-ts_getEimPackageResponse_euiccPkgReq := {
+ts_getEimPackageResponse_euiccPkgReq(template (value) EuiccPackage 
euiccPackage := ts_euiccPackage_enablePsmo) := {
getEimPackageResponse := {
euiccPackageRequest := {
euiccPackageSigned := {
@@ -261,16 +370,7 @@
eidValue := '00112233445566778899AABBCCDDEEFF'O,
counterValue := 123,
transactionId := omit,
-   euiccPackage := {
-  

[M] Change in osmo-ttcn3-hacks[master]: SGP32Definitions_Templates: improve tr/ts_getEimPackageResponse_euicc...

2024-05-16 Thread laforge
Attention is currently required from: dexter.

laforge has posted comments on this change. ( 
https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/36849?usp=email )

Change subject: SGP32Definitions_Templates: improve 
tr/ts_getEimPackageResponse_euiccPkgReq
..


Patch Set 1: Code-Review+2


--
To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/36849?usp=email
To unsubscribe, or for help writing mail filters, visit 
https://gerrit.osmocom.org/settings

Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Change-Id: Ibcea9063f25cc8ba90b53c34218c766fa5cab895
Gerrit-Change-Number: 36849
Gerrit-PatchSet: 1
Gerrit-Owner: dexter 
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: laforge 
Gerrit-Reviewer: pespin 
Gerrit-Attention: dexter 
Gerrit-Comment-Date: Thu, 16 May 2024 22:01:39 +
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment


[M] Change in osmo-ttcn3-hacks[master]: SGP32Definitions_Templates: improve tr/ts_getEimPackageResponse_euicc...

2024-05-16 Thread pespin
Attention is currently required from: dexter.

pespin has posted comments on this change. ( 
https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/36849?usp=email )

Change subject: SGP32Definitions_Templates: improve 
tr/ts_getEimPackageResponse_euiccPkgReq
..


Patch Set 1: Code-Review+1


--
To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/36849?usp=email
To unsubscribe, or for help writing mail filters, visit 
https://gerrit.osmocom.org/settings

Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Change-Id: Ibcea9063f25cc8ba90b53c34218c766fa5cab895
Gerrit-Change-Number: 36849
Gerrit-PatchSet: 1
Gerrit-Owner: dexter 
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: pespin 
Gerrit-Attention: dexter 
Gerrit-Comment-Date: Thu, 16 May 2024 15:02:21 +
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment


[M] Change in osmo-ttcn3-hacks[master]: SGP32Definitions_Templates: improve tr/ts_getEimPackageResponse_euicc...

2024-05-16 Thread dexter
dexter has uploaded this change for review. ( 
https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/36849?usp=email )


Change subject: SGP32Definitions_Templates: improve 
tr/ts_getEimPackageResponse_euiccPkgReq
..

SGP32Definitions_Templates: improve tr/ts_getEimPackageResponse_euiccPkgReq

The template ts_getEimPackageResponse_euiccPkgReq has a fixed eUICC package,
let's turn the contained eUICC package into a template parameter so that
we can define the eUICC package templates separately. To be complete, let's
also add a tr_getEimPackageResponse_euiccPkgReq

Related: SYS#6824
Change-Id: Ibcea9063f25cc8ba90b53c34218c766fa5cab895
---
M library/euicc/SGP32Definitions_Templates.ttcn
1 file changed, 126 insertions(+), 11 deletions(-)



  git pull ssh://gerrit.osmocom.org:29418/osmo-ttcn3-hacks 
refs/changes/49/36849/1

diff --git a/library/euicc/SGP32Definitions_Templates.ttcn 
b/library/euicc/SGP32Definitions_Templates.ttcn
index fa1f756..191d9e4 100644
--- a/library/euicc/SGP32Definitions_Templates.ttcn
+++ b/library/euicc/SGP32Definitions_Templates.ttcn
@@ -251,9 +251,118 @@
}
 }

+/* GSMA SGP.32, section 2.11.1.1.3 */
+template (present) EuiccPackage
+tr_euiccPackage_enablePsmo := {
+   psmoList := {
+   {
+   enable := {
+   iccid := ?,
+   rollbackFlag := *
+   }
+   }
+   }
+}
+template (value) EuiccPackage
+ts_euiccPackage_enablePsmo := {
+   psmoList := {
+   {
+   enable := {
+   iccid := '123456789ABCDEFF'O,
+   rollbackFlag := NULL
+   }
+   }
+   }
+}
+template (present) EuiccPackage
+tr_euiccPackage_disablePsmo := {
+   psmoList := {
+   {
+   disable := {
+   iccid := ?
+   }
+   }
+   }
+}
+template (value) EuiccPackage
+ts_euiccPackage_disablePsmo := {
+   psmoList := {
+   {
+   disable := {
+   iccid := '123456789ABCDEFF'O
+   }
+   }
+   }
+}
+template (present) EuiccPackage
+tr_euiccPackage_deletePsmo := {
+   psmoList := {
+   {
+   delete := {
+   iccid := ?
+   }
+   }
+   }
+}
+template (value) EuiccPackage
+ts_euiccPackage_deletePsmo := {
+   psmoList := {
+   {
+   delete := {
+   iccid := '123456789ABCDEFF'O
+   }
+   }
+   }
+}
+template (present) EuiccPackage
+tr_euiccPackage_disableAndDeletePsmo := {
+   psmoList := {
+   {
+   disable := {
+   iccid := ?
+   }
+   },
+   {
+   delete := {
+   iccid := ?
+   }
+   }
+   }
+}
+template (value) EuiccPackage
+ts_euiccPackage_disableAndDeletePsmo := {
+   psmoList := {
+   {
+   disable := {
+   iccid := '123456789ABCDEFF'O
+   }
+   },
+   {
+   delete := {
+   iccid := '123456789ABCDEFF'O
+   }
+   }
+   }
+}
+
 /* GSMA SGP.32, section 6.3.2.6 */
+template (present) EsipaMessageFromEimToIpa
+tr_getEimPackageResponse_euiccPkgReq(template (present) EuiccPackage 
euiccPackage := tr_euiccPackage_enablePsmo) := {
+   getEimPackageResponse := {
+   euiccPackageRequest := {
+   euiccPackageSigned := {
+   eimId := ?,
+   eidValue := ?,
+   counterValue := ?,
+   transactionId := *,
+   euiccPackage := euiccPackage
+   },
+   eimSignature := ?
+   }
+   }
+}
 template (value) EsipaMessageFromEimToIpa
-ts_getEimPackageResponse_euiccPkgReq := {
+ts_getEimPackageResponse_euiccPkgReq(template (value) EuiccPackage 
euiccPackage := ts_euiccPackage_enablePsmo) := {
getEimPackageResponse := {
euiccPackageRequest := {
euiccPackageSigned := {
@@ -261,16 +370,7 @@
eidValue := '00112233445566778899AABBCCDDEEFF'O,
counterValue := 123,
transactionId := omit,
-   euiccPackage := {
-   psmoList := {
-