ttcn3
/
osmo-ttcn3-hacks
mirror of https://gerrit.osmocom.org/osmo-ttcn3-hacks
10
0
Fork 1
Code Issues Releases Wiki Activity

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
This commit is contained in:
Philipp Maier 2024-05-16 15:15:03 +02:00
parent bff633723a
commit ee47821ff9
1 changed files with 111 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

122
library/euicc/SGP32Definitions_Templates.ttcn
View File

@ -251,9 +251,118 @@ ts_getEimPackageResponse_eimPkgErrUndef := {
}
}
/* 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 := '123456789ABCDEFFAAAA'O,
rollbackFlag := NULL
}
}
}
}
template (present) EuiccPackage
tr_euiccPackage_disablePsmo := {
psmoList := {
{
disable := {
iccid := ?
}
}
}
}
template (value) EuiccPackage
ts_euiccPackage_disablePsmo := {
psmoList := {
{
disable := {
iccid := '123456789ABCDEFFAAAA'O
}
}
}
}
template (present) EuiccPackage
tr_euiccPackage_deletePsmo := {
psmoList := {
{
delete := {
iccid := ?
}
}
}
}
template (value) EuiccPackage
ts_euiccPackage_deletePsmo := {
psmoList := {
{
delete := {
iccid := '123456789ABCDEFFAAAA'O
}
}
}
}
template (present) EuiccPackage
tr_euiccPackage_disableAndDeletePsmo := {
psmoList := {
{
disable := {
iccid := ?
}
},
{
delete := {
iccid := ?
}
}
}
}
template (value) EuiccPackage
ts_euiccPackage_disableAndDeletePsmo := {
psmoList := {
{
disable := {
iccid := '123456789ABCDEFFAAAA'O
}
},
{
delete := {
iccid := '123456789ABCDEFFAAAA'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 @@ ts_getEimPackageResponse_euiccPkgReq := {
eidValue := '00112233445566778899AABBCCDDEEFF'O,
counterValue := 123,
transactionId := omit,
euiccPackage := {
psmoList := {
{
enable := {
iccid := '123456789ABCDEFFAAAA'O,
rollbackFlag := NULL
}
}
}
}
euiccPackage := euiccPackage
},
eimSignature := '1234567890'O
}