Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TTCN-3 Libraries
LibIts
Commits
bf548622
Commit
bf548622
authored
Mar 16, 2022
by
YannGarcia
Browse files
Validate ITS-S enrolment/authorization
parent
8cc82f90
Changes
3
Hide whitespace changes
Inline
Side-by-side
Showing
3 changed files
with
20 additions
and
0 deletions
+20
-0
ttcn/Http/LibItsHttp_BinaryMessageBodyTypes.ttcn
ttcn/Http/LibItsHttp_BinaryMessageBodyTypes.ttcn
+1
-0
ttcn/Http/LibItsHttp_BinaryTemplates.ttcn
ttcn/Http/LibItsHttp_BinaryTemplates.ttcn
+12
-0
ttcn/Http/LibItsHttp_Templates.ttcn
ttcn/Http/LibItsHttp_Templates.ttcn
+7
-0
No files found.
ttcn/Http/LibItsHttp_BinaryMessageBodyTypes.ttcn
View file @
bf548622
...
...
@@ -26,6 +26,7 @@ module LibItsHttp_BinaryMessageBodyTypes {
type
union
BinaryBody
{
// TODO Add here your custom variants
Ieee1609Dot2Data
ieee1609dot2_data
,
Certificate
ieee1609dot2_certificate
,
octetstring
raw
}
with
{
variant
""
...
...
ttcn/Http/LibItsHttp_BinaryTemplates.ttcn
View file @
bf548622
...
...
@@ -47,4 +47,16 @@ module LibItsHttp_BinaryTemplates {
ieee1609dot2_data
:=
p_ieee1609dot2_data
}
// End of template mw_binary_body_ieee1609dot2_data
template
(
value
)
BinaryBody
m_binary_body_ieee1609dot2_certificate
(
in
template
(
value
)
CertificateBase
p_ieee1609dot2_certificate
)
:=
{
ieee1609dot2_certificate
:=
p_ieee1609dot2_certificate
}
// End of template m_binary_body_ieee1609dot2_certificate
template
(
present
)
BinaryBody
mw_binary_body_ieee1609dot2_certificate
(
template
(
present
)
CertificateBase
p_ieee1609dot2_certificate
:=
?
)
:=
{
ieee1609dot2_certificate
:=
p_ieee1609dot2_certificate
}
// End of template mw_binary_body_ieee1609dot2_certificate
}
// End of module LibItsHttp_BinaryTemplates
ttcn/Http/LibItsHttp_Templates.ttcn
View file @
bf548622
...
...
@@ -257,6 +257,13 @@ module LibItsHttp_Templates {
body
:=
omit
}
// End of template m_http_response_ko_no_body
template
(
value
)
Response
m_http_response_500_internal_error
(
in
template
(
value
)
Headers
p_header
,
in
template
(
value
)
integer
p_statuscode
:=
500
,
in
template
(
value
)
charstring
p_statustext
:=
"Internal Error"
)
modifies
m_http_response_ko_no_body
:=
{
}
// End of template m_http_response_ko
template
(
present
)
Response
mw_http_response_ko_no_body
(
template
(
present
)
Headers
p_header
:=
?
,
template
(
present
)
integer
p_statuscode
:=
404
,
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment