Newer
Older
/*
* @author STF 574
* @version $Id$
* @desc This module provides TP related templates used at MM interface
*/
module AtsImsIot_Templates_MM {
// LibCommon
//import from LibCommon_BasicTypesAndValues all;
//import from LibCommon_VerdictControl all;
// libSip
import from LibSip_SIPTypesAndValues all;
Yann Garcia
committed
import from LibSip_MessageBodyTypes all;
import from LibSip_Templates all;
import from LibSip_Common all;
// LibIms
import from LibIms_Templates all;
//import from LibMsrp_TypesAndValues all;
// LibIot
//import from LibIot_TypesAndValues all;
import from LibIot_PIXITS all;
// AtsImsIot
//import from AtsImsIot_TypesAndValues all;
import from AtsImsIot_PIXITS all;
import from AtsImsIot_Templates all;
Yann Garcia
committed
* @desc INVITE Request checking TP_MM_ECSCF_INVITE_01
*/
template(present) INVITE_Request mw_TP_MM_ECSCF_INVITE_01 (template (present) SipUrl p_invite_uri := ?,
template (present) From p_from := ?,
template (present) To p_to := ?,
template (present) Contact p_contact := ?,
template (present) MessageBody p_messageBody := ?,
template (present) PAssertedID p_pAssertedID := ?
)
modifies mw_INVITE_Request_Base := {
msgHeader := {
fromField := p_from,
toField := p_to,
route := ({
fieldName := ROUTE_E,
routeBody := {
*,
Yann Garcia
committed
complement(mw_routeBody(p_invite_uri)),
*
}
}, omit),
recordRoute := {
fieldName := RECORD_ROUTE_E,
Yann Garcia
committed
routeBody := {mw_routeBody(p_invite_uri), *}
Yann Garcia
committed
contact := p_contact,
pAssertedID := p_pAssertedID
},
messageBody := p_messageBody
}
template(present) INVITE_Request mw_TP_MM_ECSCF_INVITE_02 (template (present) SipUrl p_invite_uri := ?,
template (present) From p_from := ?,
template (present) To p_to := ?,
template (present) Contact p_contact := ?,
template (present) MessageBody p_messageBody := ?,
template (present) PAssertedID p_pAssertedID := ?
)
modifies mw_TP_MM_ECSCF_INVITE_01 := {
msgHeader := {
pChargingFunctionAddresses := omit
Yann Garcia
committed
template(present) INVITE_Request mw_TP_MM_ECSCF_INVITE_03 (template (present) SipUrl p_invite_uri := ?,
template (present) From p_from := ?,
template (present) To p_to := ?,
template (present) Contact p_contact := ?,
template (present) MessageBody p_messageBody := ?,
template (present) PAssertedID p_pAssertedID := ?
)
modifies mw_TP_MM_ECSCF_INVITE_02 := {
}
template (present) CSeq p_cSeq := ?,
template (present) From p_from := ?,
template (present) To p_to := ?
) modifies mw_100Trying_Base := {
msgHeader := {
cSeq := p_cSeq,
fromField := p_from,
toField := p_to
}
template (present) CSeq p_cSeq := ?,
template (present) From p_from := ?,
template (present) To p_to := ?
) modifies mw_180Ringing_Base := {
msgHeader := {
cSeq := p_cSeq,
fromField := p_from,
toField := p_to
}
template (present) Response mw_TP_MM_ECSCF_183SessionProgress_01(
template (present) CSeq p_cSeq := ?,
template (present) From p_from := ?,
template (present) To p_to := ?
) modifies mw_183SessionProgress_Base := {
msgHeader := {
cSeq := p_cSeq,
fromField := p_from,
toField := p_to
}
template (present) ACK_Request mw_TP_MM_ECSCF_ACK_01( // TODO To be enforced
template (present) CallId p_callId := ?,
template (present) CSeq p_cSeq := ?,
template (present) SipUrl p_ack_uri := ?,
template (present) From p_from := ?,
template (present) To p_to := ?
) modifies mw_ACK_Request_Base := {
requestLine := {
method := ACK_E,
requestUri := p_ack_uri, // @TODO
sipVersion := c_sipNameVersion
},
msgHeader := {
callId := p_callId,
fromField := p_from,
toField := p_to,
route := {
fieldName := ROUTE_E,
routeBody := {
*,
?,
*
}
template (present) BYE_Request mw_TP_MM_ECSCF_BYE_01( // TODO To be enforced
template (present) CallId p_callId := ?,
template (present) CSeq p_cSeq := ?,
template (present) SipUrl p_bye_uri := ?,
template (present) From p_from := ?,
template (present) To p_to := ?
) modifies mw_BYE_Request_Base := {
requestLine := {
method := BYE_E,
requestUri := p_bye_uri, // @TODO
sipVersion := c_sipNameVersion
},
msgHeader := {
callId := p_callId,
fromField := p_from,
toField := p_to,
route := {
fieldName := ROUTE_E,
routeBody := {
*,
?,
*
Yann Garcia
committed
} // End of template mw_TP_MM_ECSCF_BYE_01
template (present) BYE_Request mw_TP_MM_ECSCF_BYE_02( // TODO To be enforced
template (present) CallId p_callId := ?,
template (present) CSeq p_cSeq := ?,
template (present) SipUrl p_bye_uri := ?,
template (present) From p_from := ?,
template (present) To p_to := ?
) modifies mw_TP_MM_ECSCF_BYE_01 := {
msgHeader := {
route := *
}
} // End of template mw_TP_MM_ECSCF_BYE_02
template (present) CANCEL_Request mw_TP_MM_ECSCF_CANCEL_01( // TODO To be enforced
template (present) CallId p_callId := ?,
template (present) CSeq p_cSeq := ?,
template (present) SipUrl p_bye_uri := ?,
template (present) From p_from := ?,
template (present) To p_to := ?
) modifies mw_CANCEL_Request_Base := {
requestLine := {
method := CANCEL_E,
requestUri := p_bye_uri, // @TODO
sipVersion := c_sipNameVersion
},
msgHeader := {
callId := p_callId,
fromField := p_from,
toField := p_to,
route := {
fieldName := ROUTE_E,
routeBody := {
*,
?,
*
}
}
}
} // End of module AtsImsIot_Templates_MM