laforge has submitted this change. (
https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/16493 )
Change subject: remsim: Update RSPRO for ResetState{Req,Res} messages
......................................................................
remsim: Update RSPRO for ResetState{Req,Res} messages
Change-Id: Ia9520b50c4ec2e703cc876cc7f79f3aeda90dba3
---
M remsim/RSPRO.asn
M remsim/RSPRO_Server.ttcn
M remsim/RSPRO_Types.ttcn
3 files changed, 42 insertions(+), 0 deletions(-)
Approvals:
Jenkins Builder: Verified
laforge: Looks good to me, approved
diff --git a/remsim/RSPRO.asn b/remsim/RSPRO.asn
index aaafb96..ce29003 100644
--- a/remsim/RSPRO.asn
+++ b/remsim/RSPRO.asn
@@ -310,6 +310,17 @@
...
}
+-- SERVER->*: request reset of all state on peer side
+ResetStateReq ::= SEQUENCE {
+ ...
+}
+
+-- *->SERVER: confirm reset of all state on peer side
+ResetStateRes ::= SEQUENCE {
+ result ResultCode,
+ ...
+}
+
----------------------------------------------------------------------
-- PDU
@@ -330,6 +341,8 @@
configClientBankReq [17] ConfigClientBankReq,
configClientBankRes [18] ConfigClientBankRes,
errorInd [16] ErrorInd,
+ resetStateReq [19] ResetStateReq,
+ resetStateRes [20] ResetStateRes,
-- APDUs etc.
setAtrReq [10] SetAtrReq,
setAtrRes [11] SetAtrRes,
diff --git a/remsim/RSPRO_Server.ttcn b/remsim/RSPRO_Server.ttcn
index 977e7c6..5c9051c 100644
--- a/remsim/RSPRO_Server.ttcn
+++ b/remsim/RSPRO_Server.ttcn
@@ -147,6 +147,12 @@
f_rspro_srv_exp(tr_RSPRO_ConfigClientBankRes(exp_res));
}
+function f_rspro_srv_reset_state(template ResultCode exp_res := ok, integer i
:= 0)
+runs on rspro_server_CT
+{
+ RSPRO_SRV[i].send(ts_RSPRO_ResetStateReq);
+ f_rspro_srv_exp(tr_RSPRO_ResetStateRes(exp_res));
+}
altstep as_connectBankReq(template ComponentIdentity comp_id :=
tr_CompId(remsimBankd, ?,
"remsim-bankd", ?),
diff --git a/remsim/RSPRO_Types.ttcn b/remsim/RSPRO_Types.ttcn
index 1eb84bd..44b80f6 100644
--- a/remsim/RSPRO_Types.ttcn
+++ b/remsim/RSPRO_Types.ttcn
@@ -371,5 +371,28 @@
}
});
+template (value) RsproPDU ts_RSPRO_ResetStateReq :=
+ ts_RSPRO(RsproPDUchoice: {
+ resetStateReq := {}
+ });
+template RsproPDU tr_RSPRO_ResetStateReq :=
+ tr_RSPRO(RsproPDUchoice: {
+ resetStateReq := {}
+ });
+
+template (value) RsproPDU ts_RSPRO_ResetStateRes(template (value) ResultCode
res) :=
+ ts_RSPRO(RsproPDUchoice:{
+ resetStateRes := {
+ result := res
+ }
+ });
+template RsproPDU tr_RSPRO_ResetStateRes(template ResultCode res) :=
+ tr_RSPRO(RsproPDUchoice:{
+ resetStateRes := {
+ result := res
+ }
+ });
+
+
}
--
To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/16493
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: Ia9520b50c4ec2e703cc876cc7f79f3aeda90dba3
Gerrit-Change-Number: 16493
Gerrit-PatchSet: 1
Gerrit-Owner: laforge <lafo...@osmocom.org>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: laforge <lafo...@osmocom.org>
Gerrit-MessageType: merged
