Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
/**
* @author ETSI / STF569
* @version $URL$
* $ID:$
* @desc This module provides the custom templates for ITS HTTP based protocols.
* @copyright ETSI Copyright Notification
* No part may be reproduced except as authorized by written permission.
* The copyright and the foregoing restriction extend to reproduction in all media.
* All rights reserved.
*/
module LibItsHttp_JsonTemplates {
// LibMec/LocationAPI
import from LocationAPI_TypesAndValues all;
import from LocationAPI_Templates all;
// TODO Add here your custom RFCs import
// LibItsHttp
import from LibItsHttp_JsonMessageBodyTypes all;
import from LibItsHttp_JSONTypes all;
template (value) JsonBody m_json_body_raw(
in template (value) charstring p_raw
) := {
raw := p_raw
} // End of template m_json_body_raw
template (present) JsonBody mw_json_body_raw(
template (present) charstring p_raw := ?
) := {
raw := p_raw
} // End of template mw_json_body_raw
template (value) JsonBody m_body_json_user_info(
in template (value) UserInfo p_user_info
) := {
userInfo := p_user_info
} // End of template m_body_json_user_info
template (present) JsonBody mw_body_json_user_info(
template (present) UserInfo p_user_info := ?
) := {
userInfo := p_user_info
} // End of template mw_body_json_user_info
template (value) JsonBody m_body_json_zone_info(
in template (value) ZoneInfo p_zone_info
) := {
zoneInfo := p_zone_info
} // End of template m_body_json_zone_info
template (present) JsonBody mw_body_json_zone_info(
template (present) ZoneInfo p_zone_info := ?
) := {
zoneInfo := p_zone_info
} // End of template mw_body_json_zone_info
} // End of module LibItsHttp_JsonTemplates