Change in osmo-ttcn3-hacks[master]: remsim: Update RSPRO for ResetState{Req, Res} messages

This is merely a historical archive of years 2008-2021, before the migration to mailman3.

A maintained and still updated list archive can be found at https://lists.osmocom.org/hyperkitty/list/gerrit-log@lists.osmocom.org/.

laforge gerrit-no-reply at lists.osmocom.org
Wed Dec 4 21:13:51 UTC 2019


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 <laforge at osmocom.org>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: laforge <laforge at osmocom.org>
Gerrit-MessageType: merged
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20191204/07bd350c/attachment.htm>


More information about the gerrit-log mailing list