remsim: Update RSPRO for ResetState{Req,Res} messages
Change-Id: Ia9520b50c4ec2e703cc876cc7f79f3aeda90dba3
This commit is contained in:
parent
a3f0a85eb2
commit
eb172b3942
|
@ -310,6 +310,17 @@ ErrorInd ::= SEQUENCE {
|
|||
...
|
||||
}
|
||||
|
||||
-- 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 @@ RsproPDUchoice ::= CHOICE {
|
|||
configClientBankReq [17] ConfigClientBankReq,
|
||||
configClientBankRes [18] ConfigClientBankRes,
|
||||
errorInd [16] ErrorInd,
|
||||
resetStateReq [19] ResetStateReq,
|
||||
resetStateRes [20] ResetStateRes,
|
||||
-- APDUs etc.
|
||||
setAtrReq [10] SetAtrReq,
|
||||
setAtrRes [11] SetAtrRes,
|
||||
|
|
|
@ -147,6 +147,12 @@ runs on rspro_server_CT {
|
|||
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", ?),
|
||||
|
|
|
@ -371,5 +371,28 @@ template RsproPDU tr_RSPRO_ConfigClientBankRes(template ResultCode res) :=
|
|||
}
|
||||
});
|
||||
|
||||
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
|
||||
}
|
||||
});
|
||||
|
||||
|
||||
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue