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
 
 |