Module LibMsrp_Templates

• LibMsrp_TypesAndValues
     all

• constants
• codes
• comments
• delimiterLines
• msrpAddressing
• msrpHeaders
• msrpContent
• msrpRequest
• msrpAUTH
• msrpSEND
• msrpResponse

msrp://biloxi.

msrp://atlanta.

msrp://atlanta.

msrp://atlanta.

Message-ID: 87652491

Byte-Range: 1-25/25

 Content-Type: text/plain
 
 
 Hey Bob, are you there?

     MSRP a786hjs2 SEND
     To-Path: msrp://biloxi.

      MSRP a786hjs2 REPORT
      To-Path: msrp://alicepc.

Details

const StatusCode c_OKCode := 200

const StatusCode c_BadRequestCode := 400

const StatusCode c_ForbiddenCode := 403

const StatusCode c_RequestTimeoutCode := 408

const StatusCode c_RequestEntityTooLargeCode := 413

const StatusCode c_UnsupportedMediaTypeCode := 415

const StatusCode c_LockedCode := 423

const StatusCode c_CallTransactionDoesNotExistCode := 481

const StatusCode c_NotImplementedCode := 501

const StatusCode c_VariantNegotiatesCode := 506

const charstring c_OKComment := "OK"

const charstring c_BadRequestComment := "Bad request"

const charstring c_ForbiddenComment := "Forbidden"

const charstring c_RequestTimeoutComment := "Request Time-out"

const charstring c_RequestEntityTooLargeComment := "Request Entity Too Large"

const charstring c_UnsupportedMediaTypeComment := "Unsupported Media Type"

const charstring c_LockedComment := "Locked"

const charstring c_CallTransactionDoesNotExistComment := "Call/Transaction Does Not Exist"

const charstring c_NotImplementedComment := "Not Implemented"

const charstring c_VariantNegotiatesComment := "Variant also negotiates"

template MsrpRequestLine mw_RequestLine_any := {
tagMsrp := e_MSRP, 
transactionID := ?, 
method := ?
}

template MsrpRequestLine mw_RequestLine_SEND_any := {
tagMsrp := e_MSRP, 
transactionID := ?, 
method := SEND_E
}

template MsrpRequestLine mw_RequestLine_REPORT_any := {
tagMsrp := e_MSRP, 
transactionID := ?, 
method := REPORT_E
}

template MsrpResponseLine mw_ResponseLine_any := {
tagMsrp := e_MSRP, 
transactionID := ?, 
statusCode := ?, 
comment := * 
}

template MsrpResponseLine mw_ResponseLine_success 
modifies mw_ResponseLine_any := { 
statusCode := c_OKCode, 
comment := c_OKComment 
}

template EndLine mw_EndLine_any := {
transactionID := ?, 
continuationFlag := ?
}

template EndLine mw_EndLine_noMore := {
transactionID := ?, 
continuationFlag := e_endMessage 
}

template (value) MsrpURI m_msrpURIs_ToPath_Dummy := { 
scheme := { 
scheme := e_SCHEME 
}, 
authority := {
host := "biloxi.example.com",
portNumber := 12763
}, 
sessionID := "kjhd37s2s20w2a", 
transport := "tcp", 
uriParams := omit 
}

msrp://biloxi.example.com:12763/kjhd37s2s20w2a;tcp

template (value) MsrpURI m_msrpURIs_FromPath_Dummy := { 
scheme := { 
scheme := e_SCHEME 
}, 
authority := {
host := "atlanta.example.com",
portNumber := 7654
}, 
sessionID := "jshA7weztas", 
transport := "tcp", 
uriParams := omit 
}

msrp://atlanta.example.com:7654/jshA7weztas;tcp

template (value) ToPath m_msrpToPath_Dummy := { 
headerName := TO_PATH_E, 
msrpURIs := { 
m_msrpURIs_ToPath_Dummy
}
}

msrp://atlanta.example.com:7654/jshA7weztas;tcp

template (value) FromPath m_msrpFromPath_Dummy := { 
headerName := FROM_PATH_E, 
msrpURIs := { 
m_msrpURIs_FromPath_Dummy
}
}

msrp://atlanta.example.com:7654/jshA7weztas;tcp

template ToPath mw_toPath(in template (present) MsrpURI p_path) := {
headerName := TO_PATH_E,
msrpURIs := {
p_path
}
}

• p_path -

template FromPath mw_fromPath(in template (present) MsrpURI p_path) := {
headerName := FROM_PATH_E,
msrpURIs := {
p_path
}
}

• p_path -

template (value) MessageID m_msrpMessageID_Dummy := {
headerName := MESSAGE_ID_E, 
messageId := "87652491" 
}

Message-ID: 87652491

template (value) ByteRange m_msrpByteRange_Dummy := { 
headerName := BYTE_RANGE_E, 
startValue := 1, 
endValue := { intValue := 25 }, 
totalValue := { intValue := 25 } 
}

Byte-Range: 1-25/25

template Headers mw_Headers_any := {
toPath := ?, 
fromPath := ?, 
headers := * 
}

template Headers mw_Headers_toPath_FromPath(
in template ToPath p_toPath,
in template FromPath p_fromPath
) modifies mw_Headers_any := {
toPath := p_toPath,
fromPath := p_fromPath
}

• p_toPath -
• p_fromPath -

template (value) ContentStuff m_msrpContentStuff_Dummy := {
mimeHeaders := omit, 
contentType := { 
headerName := CONTENT_TYPE_E, 
mediaType := { 
mediaType := "text", 
subType := "plain", 
genParams := omit 
} 
}, 
data := char2oct("Hey Bob, are you there?")
}

 Content-Type: text/plain
 
 
 Hey Bob, are you there?
 

template MediaType mw_mediaType_any := {
mediaType := ?,
subType := ?,
genParams := *
}

template MsrpContentType mw_contentType_any := {
headerName := CONTENT_TYPE_E,
mediaType := mw_mediaType_any
}

template ContentStuff mw_contentStuff_any := {
mimeHeaders := *,
contentType := mw_contentType_any,
data := ?
}

template MsrpContentType mw_contentType( 
in charstring p_mediaType, 
in charstring p_subType
) modifies mw_contentType_any := { 
headerName := CONTENT_TYPE_E, 
mediaType := { 
mediaType := p_mediaType, 
subType := p_subType, 
genParams := * 
} 
}

• p_mediaType -
• p_subType -

template SEND_request mw_msrpRequest_any := {
startLine := mw_RequestLine_any,
headers := mw_Headers_any,
contentStuff := *,
endLine := mw_EndLine_any
}

template (value) SEND_request m_msrpSend_Dummy := { 
startLine := { 
tagMsrp := e_MSRP, 
transactionID := "a786hjs2", 
method := SEND_E 
}, 
headers := { 
toPath := m_msrpToPath_Dummy, 
fromPath := m_msrpFromPath_Dummy, 
headers := { 
authenticationInfo := omit,
authorization := omit,
byteRange := m_msrpByteRange_Dummy,
expires := omit,
extHeaders := omit,
failureReport := omit,
maxExpires := omit,
messageID := m_msrpMessageID_Dummy, 
minExpires := omit,
status := omit,
successReport := omit,
usePath := omit,
wwwAuthenticate := omit
} 
}, 
contentStuff := m_msrpContentStuff_Dummy, 
endLine := { 
transactionID := "a786hjs2", 
continuationFlag := e_endMessage 
} 
}

     MSRP a786hjs2 SEND
     To-Path: msrp://biloxi.example.com:12763/kjhd37s2s20w2a;tcp
     From-Path: msrp://atlanta.example.com:7654/jshA7weztas;tcp
     Message-ID: 87652491
     Byte-Range: 1-25/25
     Content-Type: text/plain
  
     Hey Bob, are you there?
     -------a786hjs2$
  
     MSRP a786hjs2 200 OK
     To-Path: msrp://atlanta.example.com:7654/jshA7weztas;tcp
     From-Path: msrp://biloxi.example.com:12763/kjhd37s2s20w2a;tcp
     -------a786hjs2$
 

template (value) SEND_request m_msrpReport_Dummy := { 
startLine := { 
tagMsrp := e_MSRP, 
transactionID := "a786hjs2", 
method := REPORT_E 
}, 
headers := { 
toPath := m_msrpToPath_Dummy, 
fromPath := m_msrpFromPath_Dummy, 
headers := { 
messageID := m_msrpMessageID_Dummy, 
byteRange := m_msrpByteRange_Dummy 
} 
}, 
contentStuff := m_msrpContentStuff_Dummy, 
endLine := { 
transactionID := "a786hjs2", 
continuationFlag := e_endMessage 
} 
}

      MSRP a786hjs2 REPORT
      To-Path: msrp://alicepc.example.com:7777/iau39soe2843z;tcp
      From-Path: msrp://bob.example.com:8888/9di4eae923wzd;tcp
      Message-ID: 87652491
      Byte-Range: 1-25/25
      Status: 000 200 OK
      ——-a786hjs2$
 

template SEND_request mw_msrpSEND_any := {
startLine := mw_RequestLine_SEND_any,
headers := mw_Headers_any,
contentStuff := mw_contentStuff_any,
endLine := mw_EndLine_noMore
}

template SEND_request mw_msrpSEND_toPath_fromPath_contentType( 
in template ToPath p_toPath,
in template FromPath p_fromPath,
in template MsrpContentType p_contentType
) modifies mw_msrpSEND_any := {
headers := mw_Headers_toPath_FromPath(
p_toPath, 
p_fromPath),
contentStuff := {
contentType := p_contentType
}
}

• p_toPath -
• p_fromPath -
• p_contentType -

template SEND_request mw_msrpREPORT_success modifies mw_msrpSEND_any := {
startLine := mw_RequestLine_REPORT_any,
headers := {
headers := {
status := {
headerName := STATUS_E, 
namespace := 0,
statusCode := c_OKCode, 
comment := c_OKComment
} 
}
} 
}

template (value) RECEIVE_response m_msrpResponse_Dummy := {
startLine := { 
tagMsrp := e_MSRP, 
transactionID := "a786hjs2", 
statusCode := c_OKCode, 
comment := c_OKComment
}, 
headers := { 
toPath := m_msrpToPath_Dummy, 
fromPath := m_msrpFromPath_Dummy,
headers := { 
authenticationInfo := omit,
authorization := omit,
byteRange := omit,
expires := omit,
extHeaders := omit,
failureReport := omit,
maxExpires := omit,
messageID := m_msrpMessageID_Dummy,
minExpires := omit,
status := omit,
successReport := omit,
usePath := omit,
wwwAuthenticate := omit
} 
}, 
endLine := { 
transactionID := "a786hjs2", 
continuationFlag := e_endMessage 
} 
}

template RECEIVE_response mw_msrpResponse_any := {
startLine := mw_ResponseLine_any,
headers := mw_Headers_any,
endLine := mw_EndLine_noMore
}

template RECEIVE_response mw_msrpResponse_success 
modifies mw_msrpResponse_any := {
startLine := mw_ResponseLine_success
}

template RECEIVE_response mw_msrpResponse_toPath_fromPath( 
in template ToPath p_toPath, 
in template FromPath p_fromPath 
) modifies mw_msrpResponse_success := {
headers := { 
toPath := p_toPath, 
fromPath := p_fromPath 
} 
}

• p_toPath -
• p_fromPath -

template RECEIVE_response mw_msrpResponse_toPath_fromPath_with_transferReports( 
in template ToPath p_toPath, 
in template FromPath p_fromPath 
) modifies mw_msrpResponse_toPath_fromPath := {
headers := { 
headers := {
successReport := {
headerName := SUCCESS_REPORT_E,
reportStatus := e_YES
},
failureReport := {
headerName := FAILURE_REPORT_E,
reportStatus := e_NO
}
} 
} 
}

• p_toPath -
• p_fromPath -