[M] Change in osmo-ttcn3-hacks[master]: SGP32Definitions_Templates: improve tr/ts_getEimPackageResponse_euicc...
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...
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...
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...
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 := { -