Module HTTP_TemplatesAndFunctions

• HTTP_ASP_TypeDefs
     all
• LibSip_SIPTypesAndValues
     all
• IP_ASP_TypeDefs
     all
• IMS_SIP_Templates
     all
• NAS_AuthenticationCommon
     all
• RCS_Parameters
     function getRandomCookie
• IMS_CommonFunctions
     all
• CommonDefs
     all
• HTTP_Component
     all
• IMS_CommonDefs
     all
• IP_ASP_Common
     all

• g_C_6_Autoconfiguration_Procedures

Details

type union HTTP_AuthenticationResult_Type {
charstring Error,
HttpRequest InitialRequest,
Null_Type NoError
  }

const charstring tsc_HTTP_Version_1_1 := "HTTP/1.1"

const charstring tsc_Simservs_ContentType := "application/vnd.etsi.simservs+xml"

const charstring C_6_1_1 := "C.6.1.1"

template (value) TLSInfo cs_TLSInfo_PSK(template (omit) octetstring p_Psk := omit,
                                  template (omit) TLS_CIPHER_Type p_CipherSuite := psk_3DES_EDE_CBC_SHA) :=
  {
tlsType := pskTLS,
psk := p_Psk,
cipherSuite := p_CipherSuite
  };

• p_Psk -
• p_CipherSuite -

template (value) HttpCtlReq cs_HttpCtlReq(template (omit) charstring p_ServerIPAddr,
                                    template (omit) HttpAuthenticationMechanism p_HttpAuthenticationMechanism,
                                    template (omit) TLSInfo p_TLSInfo := omit) :=
  {
serverIPAddr := p_ServerIPAddr,
authenticationMechanism := p_HttpAuthenticationMechanism,
tlsInfo := p_TLSInfo
  };

• p_ServerIPAddr -
• p_HttpAuthenticationMechanism -
• p_TLSInfo -

template (present) HttpCtlCnf cr_HttpCtlCnf := { status  := success };

template (present) HttpRequestLine cr_HttpRequestLine(template (present) charstring p_Uri := ?) :=
  {
method := ("GET", "PUT", "DELETE"),
uri := p_Uri, 
version := tsc_HTTP_Version_1_1
  };

• p_Uri -

template (present) HttpRequest cr_HttpRequest(template (present) HttpRequestLine p_HttpRequestLine := cr_HttpRequestLine,    
                                        template Authorization p_Authorization := *)  :=
  {
requestLine := p_HttpRequestLine, 
authorization := p_Authorization,
contentType := *,
x3GPPIntendetIdentity := *,
messageBody := *
  };

• p_HttpRequestLine -
• p_Authorization -

template (present) HttpRequest cr_HttpRequest_a(template (present) HttpRequestLine p_HttpRequestLine := cr_HttpRequestLine,
                                                template (present) charstring p_cookie,
                                                template Authorization p_Authorization := *)  :=
  {
    requestLine := p_HttpRequestLine,
    cookie := p_cookie,
    authorization := p_Authorization,
    contentType := *,
    x3GPPIntendetIdentity := *,
    messageBody := *
  };

• p_HttpRequestLine -
• p_cookie -
• p_Authorization -

template (present) HttpDataInd cr_HttpDataInd(template (present) HttpRequest p_HttpRequest) := { httpRequest := p_HttpRequest };

• p_HttpRequest -

template (value) HttpStatusLine cs_HttpStatusLine(integer p_Code,
                                            charstring p_ReasonPhrase) :=
  {
version := tsc_HTTP_Version_1_1,
code := p_Code,
reasonPhrase := p_ReasonPhrase
  };

• p_Code -
• p_ReasonPhrase -

template (value) HttpStatusLine cs_HttpStatusLine_200 := cs_HttpStatusLine(200, "OK");

template (value) HttpStatusLine cs_HttpStatusLine_401 := cs_HttpStatusLine(401, "Unauthorized");

template (value) HttpResponse cs_HttpResponse(template (value) HttpStatusLine p_HttpStatusLine,
                                        template (omit)  WwwAuthenticate p_WwwAuthenticate := omit,
                                        template (omit)  AuthenticationInfo p_AuthenticationInfo := omit,
                                        template (omit)  Expires p_Expires := omit,
                                        template (omit)  charstring p_MessageBody := omit) :=
  {
statusLine := p_HttpStatusLine,
wwwauthenticate := p_WwwAuthenticate,
authenticationInfo := p_AuthenticationInfo,
expires := p_Expires,
contentType := fl_ContentType_TX(p_MessageBody),
messageBody := p_MessageBody
  };

• p_HttpStatusLine -
• p_WwwAuthenticate -
• p_AuthenticationInfo -
• p_Expires -
• p_MessageBody -

template (value) HttpResponse cs_HttpResponse_a(template (value) HttpStatusLine p_HttpStatusLine,
                                                    template (value) charstring p_cookie,
                                          template (omit)  WwwAuthenticate p_WwwAuthenticate := omit,
                                          template (omit)  AuthenticationInfo p_AuthenticationInfo := omit,
                                          template (omit)  Expires p_Expires := omit,
                                          template (omit)  charstring p_MessageBody := omit) :=
{
  statusLine := p_HttpStatusLine,
  cookie := p_cookie, 
  wwwauthenticate := p_WwwAuthenticate,
  authenticationInfo := p_AuthenticationInfo,
  expires := p_Expires,
  contentType := fl_ContentType_TX(p_MessageBody),
  messageBody := p_MessageBody
};

• p_HttpStatusLine -
• p_cookie -
• p_WwwAuthenticate -
• p_AuthenticationInfo -
• p_Expires -
• p_MessageBody -

template (value) HttpResponse cs_HttpResponse_200(template (omit) charstring p_MessageBody := omit) := cs_HttpResponse(cs_HttpStatusLine_200, -, -, -, p_MessageBody);

• p_MessageBody -

template (value) HttpResponse cs_HttpResponse_200_a(template (value) charstring p_cookie, template (omit) charstring p_MessageBody := omit) := cs_HttpResponse_a(cs_HttpStatusLine_200, p_cookie,  -, -, -, p_MessageBody);

• p_cookie -
• p_MessageBody -

template (value) HttpResponse cs_HttpResponse_401(template (omit) WwwAuthenticate p_Authorization) := cs_HttpResponse(cs_HttpStatusLine_401, p_Authorization);

• p_Authorization -

template (value) HttpDataReq cs_HttpDataReq(template (value) HttpResponse p_HttpResponse) := { httpResponse := p_HttpResponse };

• p_HttpResponse -

template (present) HttpRequestLine cr_HttpGetRequestLine(template (present) charstring p_Uri := ?) 
  modifies cr_HttpRequestLine := 
  {
method := "GET"
  };

• p_Uri -

function fl_ContentType_TX(template (omit) charstring p_MessageBody) return template (omit) ContentType
  

• p_MessageBody -

function f_HTTP_Configure(HTTP_CTRL_PORT p_HttpCtrl,
                    template (omit) HttpAuthenticationMechanism p_AuthMech := omit,
                    template (omit) IP_Socket_Type p_XcapServerAddrAndPort := omit,
                    template (omit) IP_Socket_Type p_BsfServerAddrAndPort := omit,
                    template (omit) IP_DrbInfo_Type p_DrbRoutingInfo := omit,
                    template (omit) TLSInfo p_TLSInfo := omit)
  

• p_HttpCtrl -
• p_AuthMech -
• p_XcapServerAddrAndPort -
• p_BsfServerAddrAndPort -
• p_DrbRoutingInfo -
• p_TLSInfo -

function f_HTTP_ReceiveRequest(HTTP_DATA_PORT p_Port,
                         timer p_Watchdog,
                         float p_InactivityDuration := 9999.0,
                         template (present) HttpRequest p_HttpRequest := cr_HttpRequest) return template (omit) HttpRequest
  

• p_Port -
• p_Watchdog -
• p_InactivityDuration -
• p_HttpRequest -

function f_HTTP_SendResponse(HTTP_DATA_PORT p_Port,
                       template (value) HttpResponse p_HttpResponse)
  

• p_Port -
• p_HttpResponse -

function fl_GAA_AuthenticationInit(Common_AuthenticationParams_Type p_AuthenticationParams) return Common_AuthenticationParams_Type
  

• p_AuthenticationParams -

function fl_ComputeGAAPsk(Common_AuthenticationParams_Type p_AuthenticationParams) return octetstring
  

• p_AuthenticationParams -

function fl_HTTP_CommonAuthenticationProcedure(HTTP_DATA_PORT p_HttpData,
                                         timer p_Watchdog,
                                         Common_AuthenticationParams_Type p_AuthenticationParams,
                                         charstring p_HomeDomainName,
                                         charstring p_PrivateUserId) return HTTP_AuthenticationResult_Type
  

• p_HttpData -
• p_Watchdog -
• p_AuthenticationParams -
• p_HomeDomainName -
• p_PrivateUserId -

function f_HTTP_Authentication(HTTP_CTRL_PORT p_HttpCtrl,
                         HTTP_DATA_PORT p_HttpData,
                         timer p_Watchdog,
                         HttpAuthenticationMechanism p_HttpAuthenticationMechanism,
                         Common_AuthenticationParams_Type p_AuthenticationParams,
                         charstring p_HomeDomainName,
                         charstring p_Private_UserId) return HTTP_AuthenticationResult_Type
  

• p_HttpCtrl -
• p_HttpData -
• p_Watchdog -
• p_HttpAuthenticationMechanism -
• p_AuthenticationParams -
• p_HomeDomainName -
• p_Private_UserId -

function f_C_6_1_1() runs on HTTP_PTC 

function f_TC_HTTP_1_2_con_001()runs on HTTP_PTC

function f_TC_HTTP_1_2_con_004()runs on HTTP_PTC