Commit b80d5e1a authored by nikolajev's avatar nikolajev
Browse files

Default parameter values added, where possible

parent aed7cbe5
Loading
Loading
Loading
Loading
+15 −5
Original line number Diff line number Diff line
@@ -56,7 +56,9 @@ module LibSip_SMSTemplates {
            iel := '00'O
        }

        template(omit) RP_UserData cs_RP_UserData_DELIVER(octetstring p_Digits) := {
        template(omit) RP_UserData cs_RP_UserData_DELIVER(
            octetstring p_Digits
        ) := {
            spare := omit,
            iei := omit,
            iel := int2oct((153 + lengthof(p_Digits)), 1),
@@ -102,7 +104,9 @@ module LibSip_SMSTemplates {
            rP_UserData := cs_RP_UserData_DELIVER('0000'O)
        }

        template(value) RP_DATA_dl_Type cs_RP_DATA_dl_DELIVER(octetstring p_Digits) modifies cs_RP_DATA_dl_base := {rP_UserData := cs_RP_UserData_DELIVER(p_Digits)}
        template(value) RP_DATA_dl_Type cs_RP_DATA_dl_DELIVER(
            octetstring p_Digits
        ) modifies cs_RP_DATA_dl_base := {rP_UserData := cs_RP_UserData_DELIVER(p_Digits)}

        template(value) RP_DATA_dl_Type cs_RP_DATA_dl_STATUS_REPORT(
            template(value) TP_MessageReference_Type p_MessageRef,
@@ -122,7 +126,9 @@ module LibSip_SMSTemplates {
            rP_UserData := cr_RP_UserData_SUBMIT
        }

        template(value) RP_ACK_Type cs_RP_ACK_SUBMIT_REPORT(template(value) Oct1 p_msgReference := '00'O) := {
        template(value) RP_ACK_Type cs_RP_ACK_SUBMIT_REPORT(
            template(value) Oct1 p_msgReference := '00'O
        ) := {
            spare5 := '00000'B,
            rP_MessageTypeIndicator := tsc_MT_RP_ACK_dl,
            rP_MessageReference := p_msgReference,
@@ -161,7 +167,9 @@ module LibSip_SMSTemplates {
            digits := *
        }

        template(value) TP_Address_Type cs_TP_Address(octetstring p_Digits) := {
        template(value) TP_Address_Type cs_TP_Address(
            octetstring p_Digits
        ) := {
            iel := int2oct(2 * lengthof(p_Digits), 1),
            // length is number of useful semi-octets
            // as p_digits is declared as octetstring the number must be even
@@ -179,7 +187,9 @@ module LibSip_SMSTemplates {

        /* End SM-TP Type Constraints */
        /* SM-TP PDU Constraints */
        template(value) SMS_DELIVER_Type cs_SMS_DELIVER(octetstring p_Digits) := {
        template(value) SMS_DELIVER_Type cs_SMS_DELIVER(
            octetstring p_Digits
        ) := {
            tP_ReplyPath := '0'B,
            tP_UserDataHeaderIndicator := '0'B,
            tP_StatusReportIndication := '1'B,
+34 −34
Original line number Diff line number Diff line
@@ -3089,7 +3089,7 @@ module LibSip_Steps {
         * @param p_register expected REGISTER request
         */
        function f_awaitingREGISTER(
            in template(present) REGISTER_Request p_register
            in template(present) REGISTER_Request p_register := ?
        ) runs on SipComponent  {
            var Request v_request;

@@ -3111,7 +3111,7 @@ module LibSip_Steps {
         * @param p_register expected SUBSCRIBE request
         */
        function f_awaitingSUBSCRIBE(
            in template(present) SUBSCRIBE_Request p_subscribe
            in template(present) SUBSCRIBE_Request p_subscribe := ?
        ) runs on SipComponent  {
            var Request v_request;

@@ -3135,7 +3135,7 @@ module LibSip_Steps {
         * @param p_reply flag used to avoid the 200OK response sending
         */
        function f_awaitingREGISTER_sendReply(
            in template(present) REGISTER_Request p_register,
            in template(present) REGISTER_Request p_register := ?,
            in boolean p_reply
        ) runs on SipComponent  {
            var Request v_request;
@@ -3182,14 +3182,14 @@ module LibSip_Steps {
         * @param p_Response expected response message
         */
        function f_awaitingResponse(
            in template(present) Response p_Response
            in template(present) Response p_Response := ?
        ) runs on SipComponent  {
            tc_resp.start(PX_SIP_TRESP);
            a_awaitingResponse(p_Response);
        } // end f_awaitingResponse

        altstep a_awaitingResponse(
            in template(present) Response p_Response
            in template(present) Response p_Response := ?
        ) runs on SipComponent {
            [] SIPP.receive(p_Response) -> value vc_response {
                tc_resp.stop;
@@ -3204,7 +3204,7 @@ module LibSip_Steps {
         * @param p_Response expected response message
         */
        function f_awaitingResponseIgnore100Trying(
            in template(present) Response p_Response
            in template(present) Response p_Response := ?
        ) runs on SipComponent  {
            tc_resp.start(PX_SIP_TRESP);
            alt {
@@ -3224,7 +3224,7 @@ module LibSip_Steps {
         * @param p_Response expected response message
         */
        function f_awaitingResponseSendACK(
            in template(present) Response p_Response
            in template(present) Response p_Response := ?
        ) runs on SipComponent  {
            tc_resp.start(PX_SIP_TRESP);
            alt {
@@ -3243,7 +3243,7 @@ module LibSip_Steps {
         * @param p_Response expected response message
         */
        function f_awaitingResponsePassOnTimeout(
            in template(present) Response p_Response
            in template(present) Response p_Response := ?
        ) runs on SipComponent  {
            tc_resp.start(PX_SIP_TRESP);
            alt {
@@ -3267,7 +3267,7 @@ module LibSip_Steps {
         */
        function f_awaitingOkResponseAndNOTIFY_sendReply(
            inout CSeq p_cSeq_s,
            in template(present) NOTIFY_Request p_MSG
            in template(present) NOTIFY_Request p_MSG := ?
        ) runs on SipComponent  {

            var boolean received_OK := false;
@@ -3325,7 +3325,7 @@ module LibSip_Steps {
         * @param p_request expected message
         */
        function f_awaitingINVITE(
            template(present) INVITE_Request p_request
            template(present) INVITE_Request p_request := ?
        ) runs on SipComponent  {
            var INVITE_Request v_INVITE_Request;

@@ -3360,7 +3360,7 @@ module LibSip_Steps {
         * @param p_request expected message
         */
        function f_awaitingINVITE_No100Response(
            template(present) INVITE_Request p_request
            template(present) INVITE_Request p_request := ?
        ) runs on SipComponent  {
            var INVITE_Request v_INVITE_Request;

@@ -3381,7 +3381,7 @@ module LibSip_Steps {
         * @param p_request expected message
         */
        function f_awaitingINVITE_PassOnTimeout(
            template(present) INVITE_Request p_request
            template(present) INVITE_Request p_request := ?
        ) runs on SipComponent  {
            var INVITE_Request v_INVITE_Request;

@@ -3405,7 +3405,7 @@ module LibSip_Steps {
         * @desc function awaiting ACK request
         */
        function f_awaitingACK(
            in template(present) ACK_Request p_ACK
            in template(present) ACK_Request p_ACK := ?
        ) runs on SipComponent  {
            f_awaitingACK_setHeaders(p_ACK, false);
        } // end f_awaitingACK
@@ -3415,7 +3415,7 @@ module LibSip_Steps {
         * @desc function awaiting ACK request
         */
        function f_awaitingACK_setHeaders(
            in template(present) ACK_Request p_ACK,
            in template(present) ACK_Request p_ACK := ?,
            in boolean p_setHeaders
        ) runs on SipComponent  {
            var Request v_ACK_Request;
@@ -3436,7 +3436,7 @@ module LibSip_Steps {
         * @param p_BYE expected BYE
         */
        function f_awaitingBYE(
            in template(present) BYE_Request p_BYE
            in template(present) BYE_Request p_BYE := ?
        ) runs on SipComponent  {
            var BYE_Request v_BYE_Request;

@@ -3456,7 +3456,7 @@ module LibSip_Steps {
         * @param p_BYE expected BYE
         */
        function f_awaitingBYE_sendReply(
            in template(present) BYE_Request p_BYE
            in template(present) BYE_Request p_BYE := ?
        ) runs on SipComponent  {
            var BYE_Request v_BYE_Request;

@@ -3476,7 +3476,7 @@ module LibSip_Steps {
         * @param p_BYE expected BYE
         */
        function f_awaitingBYE_sendReply_PassOnTimeout(
            in template(present) BYE_Request p_BYE
            in template(present) BYE_Request p_BYE := ?
        ) runs on SipComponent  {
            var BYE_Request v_BYE_Request;

@@ -3500,7 +3500,7 @@ module LibSip_Steps {
         * @param p_CANCEL expected CANCEL
         */
        function f_awaitingCANCEL(
            in template(present) CANCEL_Request p_CANCEL
            in template(present) CANCEL_Request p_CANCEL := ?
        ) runs on SipComponent  {
            var CANCEL_Request v_MSG;

@@ -3516,7 +3516,7 @@ module LibSip_Steps {
         * @desc await MESSAGE request
         */
        function f_awaitingMESSAGE(
            in template(present) MESSAGE_Request p_MSG
            in template(present) MESSAGE_Request p_MSG := ?
        ) runs on SipComponent  {
            var MESSAGE_Request v_MSG;

@@ -3557,7 +3557,7 @@ module LibSip_Steps {
         * @desc await MESSAGE request
         */
        function f_awaitingMESSAGE_sendReply_PassOnTimeout(
            in template(present) MESSAGE_Request p_MSG
            in template(present) MESSAGE_Request p_MSG := ?
        ) runs on SipComponent  {
            var MESSAGE_Request v_MSG;

@@ -3583,7 +3583,7 @@ module LibSip_Steps {
         * @desc await NOTIFY request
         */
        function f_awaitingNOTIFY(
            in template(present) NOTIFY_Request p_MSG
            in template(present) NOTIFY_Request p_MSG := ?
        ) runs on SipComponent  {
            var NOTIFY_Request v_MSG;

@@ -3601,7 +3601,7 @@ module LibSip_Steps {
         * @desc await NOTIFY request reply with 200 OK
         */
        function f_awaitingNOTIFY_sendReply(
            in template(present) NOTIFY_Request p_MSG
            in template(present) NOTIFY_Request p_MSG := ?
        ) runs on SipComponent  {
            var NOTIFY_Request v_MSG;

@@ -3618,7 +3618,7 @@ module LibSip_Steps {
        } // end of f_awaitingNOTIFY_sendReply

        function f_awaitingNOTIFY_sendReply_postamble(
            in template(present) NOTIFY_Request p_MSG
            in template(present) NOTIFY_Request p_MSG := ?
        ) runs on SipComponent  {
            var NOTIFY_Request v_MSG;

@@ -3641,7 +3641,7 @@ module LibSip_Steps {
         * @desc await PRACK request reply with 200 OK
         */
        function f_awaitingPRACK_sendReply(
            in template(present) PRACK_Request p_MSG
            in template(present) PRACK_Request p_MSG := ?
        ) runs on SipComponent  {
            var PRACK_Request v_MSG;

@@ -3664,7 +3664,7 @@ module LibSip_Steps {

        // TODO STF471 added: check!!!
        function f_awaitingPRACK(
            in template(present) PRACK_Request p_MSG
            in template(present) PRACK_Request p_MSG := ?
        ) runs on SipComponent  {
            var PRACK_Request v_MSG;

@@ -3681,7 +3681,7 @@ module LibSip_Steps {
         * @desc await PUBLISH request reply with 200 OK
         */
        function f_awaitingPUBLISH_sendReply(
            in template(present) PUBLISH_Request p_MSG
            in template(present) PUBLISH_Request p_MSG := ?
        ) runs on SipComponent  {
            var PUBLISH_Request v_MSG;

@@ -3700,7 +3700,7 @@ module LibSip_Steps {
         * @desc await UPDATE request
         */
        function f_awaitingUPDATE(
            in template(present) UPDATE_Request p_MSG
            in template(present) UPDATE_Request p_MSG := ?
        ) runs on SipComponent  {
            var UPDATE_Request v_MSG;

@@ -3717,7 +3717,7 @@ module LibSip_Steps {
         * @desc await UPDATE request reply with 200 OK
         */
        function f_awaitingUPDATE_sendReply(
            in template(present) UPDATE_Request p_MSG
            in template(present) UPDATE_Request p_MSG := ?
        ) runs on SipComponent  {
            var UPDATE_Request v_MSG;

@@ -3743,7 +3743,7 @@ module LibSip_Steps {
         * @desc await REFER request
         */
        function f_awaitingREFER(
            in template(present) REFER_Request p_MSG
            in template(present) REFER_Request p_MSG := ?
        ) runs on SipComponent  {
            var REFER_Request v_MSG;

@@ -4338,7 +4338,7 @@ module LibSip_Steps {
        function f_SubscriptionWithNotification(
            inout CSeq p_cSeq_s,
            template(value) SUBSCRIBE_Request p_subscribe,
            template(present) NOTIFY_Request p_notify
            template(present) NOTIFY_Request p_notify := ?
        ) runs on SipComponent  {
            f_setHeaders_SUBSCRIBE(p_cSeq_s);
            // send SUBSCRIBE
@@ -4356,7 +4356,7 @@ module LibSip_Steps {
         */
        function f_awaitingSubscription(
            inout CSeq p_cSeq_s,
            template(present) SUBSCRIBE_Request p_subscribe
            template(present) SUBSCRIBE_Request p_subscribe := ?
        ) runs on SipComponent  {
            var Request v_request;

@@ -4487,7 +4487,7 @@ module LibSip_Steps {
        }

        function f_awaitCancelCall_send487(
            template(present) CANCEL_Request p_request
            template(present) CANCEL_Request p_request := ?
        ) runs on SipComponent  {
            f_awaitingCANCEL(p_request);
            f_sendResponse(m_Response_Base(c_statusLine200, vc_callId, vc_cSeq, vc_caller_From, vc_caller_To, vc_via));
@@ -4503,7 +4503,7 @@ module LibSip_Steps {

        // TODO STF471 added
        altstep a_receiveCANCELorNothing(
            in template(present) CANCEL_Request p_CANCEL
            in template(present) CANCEL_Request p_CANCEL := ?
        ) runs on SipComponent {
            var CANCEL_Request v_MSG;
            [] SIPP.receive(p_CANCEL) -> value v_MSG sender vc_sent_label {
@@ -4515,7 +4515,7 @@ module LibSip_Steps {

        // TODO STF471 added
        altstep a_awaitNotify(
            in template(present) NOTIFY_Request p_MSG,
            in template(present) NOTIFY_Request p_MSG := ?,
            inout boolean p_receivedNotify
        ) runs on SipComponent {
            var NOTIFY_Request v_MSG;
+472 −223

File changed.

Preview size limit exceeded, changes collapsed.