<p>laforge <strong>submitted</strong> this change.</p><p><a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/16493">View Change</a></p><div style="white-space:pre-wrap">Approvals:
Jenkins Builder: Verified
laforge: Looks good to me, approved
</div><pre style="font-family: monospace,monospace; white-space: pre-wrap;">remsim: Update RSPRO for ResetState{Req,Res} messages<br><br>Change-Id: Ia9520b50c4ec2e703cc876cc7f79f3aeda90dba3<br>---<br>M remsim/RSPRO.asn<br>M remsim/RSPRO_Server.ttcn<br>M remsim/RSPRO_Types.ttcn<br>3 files changed, 42 insertions(+), 0 deletions(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/remsim/RSPRO.asn b/remsim/RSPRO.asn</span><br><span>index aaafb96..ce29003 100644</span><br><span>--- a/remsim/RSPRO.asn</span><br><span>+++ b/remsim/RSPRO.asn</span><br><span>@@ -310,6 +310,17 @@</span><br><span> ...</span><br><span> }</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+-- SERVER->*: request reset of all state on peer side</span><br><span style="color: hsl(120, 100%, 40%);">+ResetStateReq ::= SEQUENCE {</span><br><span style="color: hsl(120, 100%, 40%);">+ ...</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+-- *->SERVER: confirm reset of all state on peer side</span><br><span style="color: hsl(120, 100%, 40%);">+ResetStateRes ::= SEQUENCE {</span><br><span style="color: hsl(120, 100%, 40%);">+ result ResultCode,</span><br><span style="color: hsl(120, 100%, 40%);">+ ...</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> </span><br><span> ----------------------------------------------------------------------</span><br><span> -- PDU</span><br><span>@@ -330,6 +341,8 @@</span><br><span> configClientBankReq [17] ConfigClientBankReq,</span><br><span> configClientBankRes [18] ConfigClientBankRes,</span><br><span> errorInd [16] ErrorInd,</span><br><span style="color: hsl(120, 100%, 40%);">+ resetStateReq [19] ResetStateReq,</span><br><span style="color: hsl(120, 100%, 40%);">+ resetStateRes [20] ResetStateRes,</span><br><span> -- APDUs etc.</span><br><span> setAtrReq [10] SetAtrReq,</span><br><span> setAtrRes [11] SetAtrRes,</span><br><span>diff --git a/remsim/RSPRO_Server.ttcn b/remsim/RSPRO_Server.ttcn</span><br><span>index 977e7c6..5c9051c 100644</span><br><span>--- a/remsim/RSPRO_Server.ttcn</span><br><span>+++ b/remsim/RSPRO_Server.ttcn</span><br><span>@@ -147,6 +147,12 @@</span><br><span> f_rspro_srv_exp(tr_RSPRO_ConfigClientBankRes(exp_res));</span><br><span> }</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+function f_rspro_srv_reset_state(template ResultCode exp_res := ok, integer i := 0)</span><br><span style="color: hsl(120, 100%, 40%);">+runs on rspro_server_CT</span><br><span style="color: hsl(120, 100%, 40%);">+{</span><br><span style="color: hsl(120, 100%, 40%);">+ RSPRO_SRV[i].send(ts_RSPRO_ResetStateReq);</span><br><span style="color: hsl(120, 100%, 40%);">+ f_rspro_srv_exp(tr_RSPRO_ResetStateRes(exp_res));</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span> </span><br><span> altstep as_connectBankReq(template ComponentIdentity comp_id := tr_CompId(remsimBankd, ?,</span><br><span> "remsim-bankd", ?),</span><br><span>diff --git a/remsim/RSPRO_Types.ttcn b/remsim/RSPRO_Types.ttcn</span><br><span>index 1eb84bd..44b80f6 100644</span><br><span>--- a/remsim/RSPRO_Types.ttcn</span><br><span>+++ b/remsim/RSPRO_Types.ttcn</span><br><span>@@ -371,5 +371,28 @@</span><br><span> }</span><br><span> });</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+template (value) RsproPDU ts_RSPRO_ResetStateReq :=</span><br><span style="color: hsl(120, 100%, 40%);">+ ts_RSPRO(RsproPDUchoice: {</span><br><span style="color: hsl(120, 100%, 40%);">+ resetStateReq := {}</span><br><span style="color: hsl(120, 100%, 40%);">+ });</span><br><span style="color: hsl(120, 100%, 40%);">+template RsproPDU tr_RSPRO_ResetStateReq :=</span><br><span style="color: hsl(120, 100%, 40%);">+ tr_RSPRO(RsproPDUchoice: {</span><br><span style="color: hsl(120, 100%, 40%);">+ resetStateReq := {}</span><br><span style="color: hsl(120, 100%, 40%);">+ });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) RsproPDU ts_RSPRO_ResetStateRes(template (value) ResultCode res) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ ts_RSPRO(RsproPDUchoice:{</span><br><span style="color: hsl(120, 100%, 40%);">+ resetStateRes := {</span><br><span style="color: hsl(120, 100%, 40%);">+ result := res</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ });</span><br><span style="color: hsl(120, 100%, 40%);">+template RsproPDU tr_RSPRO_ResetStateRes(template ResultCode res) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ tr_RSPRO(RsproPDUchoice:{</span><br><span style="color: hsl(120, 100%, 40%);">+ resetStateRes := {</span><br><span style="color: hsl(120, 100%, 40%);">+ result := res</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> </span><br><span> }</span><br><span></span><br></pre><p>To view, visit <a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/16493">change 16493</a>. To unsubscribe, or for help writing mail filters, visit <a href="https://gerrit.osmocom.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/16493"/><meta itemprop="name" content="View Change"/></div></div>
<div style="display:none"> Gerrit-Project: osmo-ttcn3-hacks </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-Change-Id: Ia9520b50c4ec2e703cc876cc7f79f3aeda90dba3 </div>
<div style="display:none"> Gerrit-Change-Number: 16493 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: laforge <laforge@osmocom.org> </div>
<div style="display:none"> Gerrit-Reviewer: Jenkins Builder </div>
<div style="display:none"> Gerrit-Reviewer: laforge <laforge@osmocom.org> </div>
<div style="display:none"> Gerrit-MessageType: merged </div>