Loading ttcn/LibIms_Steps.ttcn +30 −20 Original line number Diff line number Diff line Loading @@ -1301,6 +1301,12 @@ module LibIms_Steps { ) runs on ImsComponent { var Response v_response; var Request v_request; var SUBSCRIBE_Request v_subscribe_request; var REGISTER_Request v_register_request; var BYE_Request v_bye_reqest; var CANCEL_Request v_cancel_request; var NOTIFY_Request v_notify_request; var INFO_Request v_info_request; var CSeq v_cSeq; [] any timer.timeout { log("*** " & testcasename() & ": FAIL: Timeout while waiting for message. ***"); Loading Loading @@ -1349,46 +1355,46 @@ module LibIms_Steps { [vc_ignore200OKinv] SIPP.receive(mw_Response_Base(c_statusLine200, vc_callId, ?)) { repeat; } [] SIPP.receive(mw_INFO_Request_Base(vc_callId)) -> value v_request sender vc_sent_label { f_setHeadersOnReceiptOfRequest(v_request); [] SIPP.receive(mw_INFO_Request_Base(vc_callId)) -> value v_info_request sender vc_sent_label { f_setHeadersOnReceiptOfRequest(v_info_request); f_send200OK(); repeat; } // awaiting of Notify [] SIPP.receive(mw_NOTIFY_Request_Base(vc_callId)) -> value v_request sender vc_sent_label { f_setHeadersOnReceiptOfRequest(v_request); [] SIPP.receive(mw_NOTIFY_Request_Base(vc_callId)) -> value v_notify_request sender vc_sent_label { f_setHeadersOnReceiptOfRequest(v_notify_request); f_send200OK(); repeat; } // awaiting of subscribe from UE [vc_ignore_subscribe] SIPP.receive(mw_SUBSCRIBE_Request_Base) -> value v_request sender vc_sent_label { f_setHeadersOnReceiptOfSUBSCRIBE(v_request); [vc_ignore_subscribe] SIPP.receive(mw_SUBSCRIBE_Request_Base) -> value v_subscribe_request sender vc_sent_label { f_setHeadersOnReceiptOfSUBSCRIBE(v_subscribe_request); f_send200OK(); repeat; } // awaiting of subscribe on proxy [] SIPP.receive(mw_SUBSCRIBE_Request_Base) -> value v_request sender vc_sent_label { f_setHeadersOnReceiptOfRequest(v_request); [] SIPP.receive(mw_SUBSCRIBE_Request_Base) -> value v_subscribe_request sender vc_sent_label { f_setHeadersOnReceiptOfRequest(v_subscribe_request); f_sendResponse(m_Response_Contact(c_statusLine200, vc_callId, vc_cSeq, vc_callee_From, vc_callee_To, vc_via, vc_contact)); f_SendNOTIFY(m_NOTIFY_Request_contact(v_request.msgHeader.contact.contactBody.contactAddresses[0].addressField.nameAddr.addrSpec, vc_callId, vc_cSeq, vc_callee_From, vc_callee_To, vc_via, vc_contact)); f_SendNOTIFY(m_NOTIFY_Request_contact(v_subscribe_request.msgHeader.contact.contactBody.contactAddresses[0].addressField.nameAddr.addrSpec, vc_callId, vc_cSeq, vc_callee_From, vc_callee_To, vc_via, vc_contact)); f_awaitingOkResponse(vc_cSeq); repeat; } // unexpected BYE is acknowledged to avoid retransmissions [] SIPP.receive(mw_BYE_Request_Base(?)) -> value v_request sender vc_sent_label { [] SIPP.receive(mw_BYE_Request_Base(?)) -> value v_bye_reqest sender vc_sent_label { log("*** " & testcasename() & ": FAIL: Unexpected BYE message received. ***"); setverdict(fail); f_setHeadersOnReceiptOfRequest(v_request); f_setHeadersOnReceiptOfRequest(v_bye_reqest); f_send200OK(); action("Please de-register"); f_IMS_awaitDeRegistration(p_to_user, p_qop); f_componentStop(); } // unexpected CANCEL is acknowledged to avoid retransmissions [] SIPP.receive(mw_CANCEL_Request_Base(?)) -> value v_request sender vc_sent_label { [] SIPP.receive(mw_CANCEL_Request_Base(?)) -> value v_cancel_request sender vc_sent_label { log("*** " & testcasename() & ": FAIL: Unexpected CANCEL message received. ***"); setverdict(fail); f_setHeadersOnReceiptOfRequest(v_request); f_setHeadersOnReceiptOfRequest(v_cancel_request); // Answer to the CANCEL f_send200OK(); action("Please de-register"); Loading Loading @@ -1420,7 +1426,7 @@ module LibIms_Steps { f_componentStop(); } // catch invalid REGISTER [] SIPP.receive(mw_REGISTER_Request_Base) -> value v_request sender vc_sent_label { [] SIPP.receive(mw_REGISTER_Request_Base) -> value v_register_request sender vc_sent_label { log("*** " & testcasename() & ": FAIL: Unexpected REGISTER received. ***"); setverdict(fail); f_componentStop(); Loading @@ -1443,6 +1449,10 @@ module LibIms_Steps { altstep a_altstep_AS( ) runs on SipComponent { var Request v_request; var REGISTER_Request v_register_request; var BYE_Request v_bye_request; var CANCEL_Request v_cancel_request; [] any timer.timeout { log("*** " & testcasename() & ": FAIL: Timeout while waiting for message. ***"); setverdict(fail); Loading @@ -1453,8 +1463,8 @@ module LibIms_Steps { repeat; } // handle REGISTER requests [] SIPP.receive(mw_REGISTER_Request_Base) -> value v_request sender vc_sent_label { f_setHeadersOnReceiptOfREGISTER(v_request); [] SIPP.receive(mw_REGISTER_Request_Base) -> value v_register_request sender vc_sent_label { f_setHeadersOnReceiptOfREGISTER(v_register_request); // vc_contact := vc_request.msgHeader.contact; f_sendResponse(m_Response_Contact(c_statusLine200, vc_callId, vc_cSeq, vc_caller_From, vc_caller_To, vc_via, vc_contact)); repeat; Loading @@ -1464,17 +1474,17 @@ module LibIms_Steps { repeat; } // unexpected CANCEL is acknowledged to avoid retransmissions [] SIPP.receive(mw_CANCEL_Request_Base(?)) -> value v_request sender vc_sent_label { [] SIPP.receive(mw_CANCEL_Request_Base(?)) -> value v_cancel_request sender vc_sent_label { log("*** " & testcasename() & ": FAIL: Unexpected CANCEL message received. ***"); setverdict(fail); f_setHeadersOnReceiptOfRequest(v_request); f_setHeadersOnReceiptOfRequest(v_cancel_request); f_send200OK(); } // unexpected BYE is acknowledged to avoid retransmissions [] SIPP.receive(mw_BYE_Request_Base(?)) -> value v_request sender vc_sent_label { [] SIPP.receive(mw_BYE_Request_Base(?)) -> value v_bye_request sender vc_sent_label { log("*** " & testcasename() & ": FAIL: Unexpected BYE message received. ***"); setverdict(fail); f_setHeadersOnReceiptOfRequest(v_request); f_setHeadersOnReceiptOfRequest(v_bye_request); f_send200OK(); } [] SIPP.receive(mw_Response_Base(?, vc_callId, vc_cSeq)) -> value vc_response { Loading Loading
ttcn/LibIms_Steps.ttcn +30 −20 Original line number Diff line number Diff line Loading @@ -1301,6 +1301,12 @@ module LibIms_Steps { ) runs on ImsComponent { var Response v_response; var Request v_request; var SUBSCRIBE_Request v_subscribe_request; var REGISTER_Request v_register_request; var BYE_Request v_bye_reqest; var CANCEL_Request v_cancel_request; var NOTIFY_Request v_notify_request; var INFO_Request v_info_request; var CSeq v_cSeq; [] any timer.timeout { log("*** " & testcasename() & ": FAIL: Timeout while waiting for message. ***"); Loading Loading @@ -1349,46 +1355,46 @@ module LibIms_Steps { [vc_ignore200OKinv] SIPP.receive(mw_Response_Base(c_statusLine200, vc_callId, ?)) { repeat; } [] SIPP.receive(mw_INFO_Request_Base(vc_callId)) -> value v_request sender vc_sent_label { f_setHeadersOnReceiptOfRequest(v_request); [] SIPP.receive(mw_INFO_Request_Base(vc_callId)) -> value v_info_request sender vc_sent_label { f_setHeadersOnReceiptOfRequest(v_info_request); f_send200OK(); repeat; } // awaiting of Notify [] SIPP.receive(mw_NOTIFY_Request_Base(vc_callId)) -> value v_request sender vc_sent_label { f_setHeadersOnReceiptOfRequest(v_request); [] SIPP.receive(mw_NOTIFY_Request_Base(vc_callId)) -> value v_notify_request sender vc_sent_label { f_setHeadersOnReceiptOfRequest(v_notify_request); f_send200OK(); repeat; } // awaiting of subscribe from UE [vc_ignore_subscribe] SIPP.receive(mw_SUBSCRIBE_Request_Base) -> value v_request sender vc_sent_label { f_setHeadersOnReceiptOfSUBSCRIBE(v_request); [vc_ignore_subscribe] SIPP.receive(mw_SUBSCRIBE_Request_Base) -> value v_subscribe_request sender vc_sent_label { f_setHeadersOnReceiptOfSUBSCRIBE(v_subscribe_request); f_send200OK(); repeat; } // awaiting of subscribe on proxy [] SIPP.receive(mw_SUBSCRIBE_Request_Base) -> value v_request sender vc_sent_label { f_setHeadersOnReceiptOfRequest(v_request); [] SIPP.receive(mw_SUBSCRIBE_Request_Base) -> value v_subscribe_request sender vc_sent_label { f_setHeadersOnReceiptOfRequest(v_subscribe_request); f_sendResponse(m_Response_Contact(c_statusLine200, vc_callId, vc_cSeq, vc_callee_From, vc_callee_To, vc_via, vc_contact)); f_SendNOTIFY(m_NOTIFY_Request_contact(v_request.msgHeader.contact.contactBody.contactAddresses[0].addressField.nameAddr.addrSpec, vc_callId, vc_cSeq, vc_callee_From, vc_callee_To, vc_via, vc_contact)); f_SendNOTIFY(m_NOTIFY_Request_contact(v_subscribe_request.msgHeader.contact.contactBody.contactAddresses[0].addressField.nameAddr.addrSpec, vc_callId, vc_cSeq, vc_callee_From, vc_callee_To, vc_via, vc_contact)); f_awaitingOkResponse(vc_cSeq); repeat; } // unexpected BYE is acknowledged to avoid retransmissions [] SIPP.receive(mw_BYE_Request_Base(?)) -> value v_request sender vc_sent_label { [] SIPP.receive(mw_BYE_Request_Base(?)) -> value v_bye_reqest sender vc_sent_label { log("*** " & testcasename() & ": FAIL: Unexpected BYE message received. ***"); setverdict(fail); f_setHeadersOnReceiptOfRequest(v_request); f_setHeadersOnReceiptOfRequest(v_bye_reqest); f_send200OK(); action("Please de-register"); f_IMS_awaitDeRegistration(p_to_user, p_qop); f_componentStop(); } // unexpected CANCEL is acknowledged to avoid retransmissions [] SIPP.receive(mw_CANCEL_Request_Base(?)) -> value v_request sender vc_sent_label { [] SIPP.receive(mw_CANCEL_Request_Base(?)) -> value v_cancel_request sender vc_sent_label { log("*** " & testcasename() & ": FAIL: Unexpected CANCEL message received. ***"); setverdict(fail); f_setHeadersOnReceiptOfRequest(v_request); f_setHeadersOnReceiptOfRequest(v_cancel_request); // Answer to the CANCEL f_send200OK(); action("Please de-register"); Loading Loading @@ -1420,7 +1426,7 @@ module LibIms_Steps { f_componentStop(); } // catch invalid REGISTER [] SIPP.receive(mw_REGISTER_Request_Base) -> value v_request sender vc_sent_label { [] SIPP.receive(mw_REGISTER_Request_Base) -> value v_register_request sender vc_sent_label { log("*** " & testcasename() & ": FAIL: Unexpected REGISTER received. ***"); setverdict(fail); f_componentStop(); Loading @@ -1443,6 +1449,10 @@ module LibIms_Steps { altstep a_altstep_AS( ) runs on SipComponent { var Request v_request; var REGISTER_Request v_register_request; var BYE_Request v_bye_request; var CANCEL_Request v_cancel_request; [] any timer.timeout { log("*** " & testcasename() & ": FAIL: Timeout while waiting for message. ***"); setverdict(fail); Loading @@ -1453,8 +1463,8 @@ module LibIms_Steps { repeat; } // handle REGISTER requests [] SIPP.receive(mw_REGISTER_Request_Base) -> value v_request sender vc_sent_label { f_setHeadersOnReceiptOfREGISTER(v_request); [] SIPP.receive(mw_REGISTER_Request_Base) -> value v_register_request sender vc_sent_label { f_setHeadersOnReceiptOfREGISTER(v_register_request); // vc_contact := vc_request.msgHeader.contact; f_sendResponse(m_Response_Contact(c_statusLine200, vc_callId, vc_cSeq, vc_caller_From, vc_caller_To, vc_via, vc_contact)); repeat; Loading @@ -1464,17 +1474,17 @@ module LibIms_Steps { repeat; } // unexpected CANCEL is acknowledged to avoid retransmissions [] SIPP.receive(mw_CANCEL_Request_Base(?)) -> value v_request sender vc_sent_label { [] SIPP.receive(mw_CANCEL_Request_Base(?)) -> value v_cancel_request sender vc_sent_label { log("*** " & testcasename() & ": FAIL: Unexpected CANCEL message received. ***"); setverdict(fail); f_setHeadersOnReceiptOfRequest(v_request); f_setHeadersOnReceiptOfRequest(v_cancel_request); f_send200OK(); } // unexpected BYE is acknowledged to avoid retransmissions [] SIPP.receive(mw_BYE_Request_Base(?)) -> value v_request sender vc_sent_label { [] SIPP.receive(mw_BYE_Request_Base(?)) -> value v_bye_request sender vc_sent_label { log("*** " & testcasename() & ": FAIL: Unexpected BYE message received. ***"); setverdict(fail); f_setHeadersOnReceiptOfRequest(v_request); f_setHeadersOnReceiptOfRequest(v_bye_request); f_send200OK(); } [] SIPP.receive(mw_Response_Base(?, vc_callId, vc_cSeq)) -> value vc_response { Loading