Hi Everybody,
I want to change the values of some of the fields in RequestMsg in some
action definitions in state machine (*.sm) file. But I am not sure which
method I can use for getting the RequestMsg so that I can update some of
the fields. For example in the following action peek is used, but here
in_msg can't be updated (but I want to update like peek_update(...)).
action(xx_recordPutXL1ID, "\x", desc="Record L1 PutX for store response") {
peek(requestFromL1ToL2Network_in, RequestMsg) {
L2TBEs[address].L1_PutX_ID := in_msg.RequestorMachId;
}
}
Can anyone plz tell me whether there is any such method and if so what
is that?
Thanks.
------------------
Hemayet
|