| module RSL_Tests { |
| |
| import from GSM_Types all; |
| import from RSL_Types all; |
| import from MobileL3_Types all; |
| import from MobileL3_CommonIE_Types all; |
| import from L3_Templates all; |
| import from RSL_Emulation all; |
| |
| type component RSL_Tests_CT extends RSL_DchanHdlr { |
| } |
| |
| private function f_rx_l3(PDU_ML3_NW_MS l3) runs on RSL_Tests_CT { |
| log("L3 received ", l3); |
| if (ischosen(l3.msgs.rrm.channelRelease)) { |
| } |
| } |
| |
| function test_mahlzeit(hexstring imsi) runs on RSL_Tests_CT { |
| |
| var RSL_Message rsl; |
| var RslLinkId link_id := valueof(ts_RslLinkID_DCCH(0)); |
| var MobileIdentityLV mi := valueof(ts_MI_IMSI_LV(imsi)); |
| var PDU_ML3_MS_NW l3_info := valueof(ts_CM_SERV_REQ('0001'B, mi)); |
| timer T := 1.0; |
| |
| f_chan_est('23'O, enc_PDU_ML3_MS_NW(l3_info), link_id, 23); |
| /* if we reach here, we have established a dedicated channel */ |
| |
| alt { |
| [] RSL.receive(tr_RSL_MsgTypeR(RSL_MT_DATA_REQ)) -> value rsl { |
| var PDU_ML3_NW_MS l3 := dec_PDU_ML3_NW_MS(rsl.ies[2].body.l3_info.payload); |
| f_rx_l3(l3); |
| } |
| } |
| } |
| |
| |
| |
| } |