dexter has uploaded this change for review.
WIP: SGP32Definitions: apply (questionable) workaround
Depends: osmo-ttcn3-hacks.git Change-Id I4e9834a8a5ae29397542c696c0bc81692d4d564b
Change-Id: I566571778d2433bd87a46276e81d9d526ae97325
Related: SYS#8100
---
M asn1/SGP32Definitions.asn1
1 file changed, 3 insertions(+), 3 deletions(-)
git pull ssh://gerrit.osmocom.org:29418/onomondo-eim refs/changes/77/43177/1
diff --git a/asn1/SGP32Definitions.asn1 b/asn1/SGP32Definitions.asn1
index d5500bf..76cae00 100644
--- a/asn1/SGP32Definitions.asn1
+++ b/asn1/SGP32Definitions.asn1
@@ -696,9 +696,8 @@
tbsOtherNotification NotificationMetadata,
euiccNotificationSignature [APPLICATION 55] OCTET STRING -- eUICC signature of tbsOtherNotification, Tag '5F37'
}
--- workaround for erlang asn1ct: remove already specified context-specific tag [65]
-- workaround: add prefix ("SGP32-") to avoid clash with SGP.22
-SGP32-CancelSessionResponse ::= CHOICE { -- Tag 'BF41'
+SGP32-CancelSessionResponse ::= [65] CHOICE { -- Tag 'BF41'
cancelSessionResponseOk CancelSessionResponseOk,
cancelSessionResponseError INTEGER {invalidTransactionId(5), undefinedError(127)},
compactCancelSessionResponseOk CompactCancelSessionResponseOk
@@ -822,8 +821,9 @@
pendingNotification [0] SGP32-PendingNotification, -- A Notification to be delivered to a Notification Receiver, possibly in compact format
provideEimPackageResult [80] ProvideEimPackageResult -- Tag 'BF50'
}
+-- workaround: explicitly assign tag [0] to member transactionId, exactly like it is done with other esipa-types
CancelSessionRequestEsipa ::= [65] SEQUENCE { -- Tag 'BF41'
- transactionId TransactionId, -- The TransactionID generated by the SM-DP+
+ transactionId [0] TransactionId, -- The TransactionID generated by the SM-DP+
cancelSessionResponse SGP32-CancelSessionResponse -- This is the response from ES10b. CancelSession function, possibly in compact format
}
CancelSessionResponseEsipa ::= [65] CHOICE { -- Tag 'BF41'
To view, visit change 43177. To unsubscribe, or for help writing mail filters, visit settings.