LibItsHttp_JsonTemplates.ttcn 22.9 KB
Newer Older
Yann Garcia's avatar
Yann Garcia committed
/**
Elian Kraja's avatar
Elian Kraja committed
*    @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.
*/
Yann Garcia's avatar
Yann Garcia committed
module LibItsHttp_JsonTemplates {
Elian Kraja's avatar
Elian Kraja committed

// LibMec/LocationAPI
import from LocationAPI_TypesAndValues all;
import from LocationAPI_Templates all;
// LibMec/UEidentityAPI
import from UEidentityAPI_TypesAndValues all;
import from UEidentityAPI_Templates all;
// LibMec/RnisAPI
import from RnisAPI_TypesAndValues all;
import from RnisAPI_Templates all;
// LibMec/BwManagementAPI
import from BwManagementAPI_TypesAndValues all;
import from BwManagementAPI_Templates all;

// LibMec/Ams
import from Ams_TypesAndValues all;
import from Ams_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


group ams_api {

  template (value) JsonBody m_body_json_app_mobility_service_info(
    in template (value) AppMobilityServiceInfo p_app_mobility_service_info
  ) := {
    appMobilityServiceInfo := p_app_mobility_service_info
  } // End of template mw_body_json_app_mobility_service_info

  template (present) JsonBody mw_body_json_app_mobility_service_info(
    template (present) AppMobilityServiceInfo p_app_mobility_service_info := ?
  ) := {
    appMobilityServiceInfo := p_app_mobility_service_info
  } // End of template mw_body_json_app_mobility_service_info


  template (value) JsonBody m_body_json_ams_problem_details(
    in template (value) Ams_TypesAndValues.ProblemDetails p_problemDetails
  ) := {
    problemDetails_ams := p_problemDetails
  } // End of template m_body_json_ue_identity_problem_details

  template (present) JsonBody mw_body_json_ams_problem_details(
    template (present) Ams_TypesAndValues.ProblemDetails p_problemDetails := ?
  ) := {
    problemDetails_ams := p_problemDetails
  } // End of template mw_body_json_ue_identity_problem_details


  template (present) JsonBody mw_body_json_ams_registration_request(
    template (present) Ams_TypesAndValues.RegistrationRequest p_registrationRequest := ?
  ) := {
    registrationRequest_ams := p_registrationRequest
  } // End of template mw_body_json_ue_identity_problem_details

  template (value) JsonBody m_body_json_ams_registration_request(
    in template (value) Ams_TypesAndValues.RegistrationRequest p_registrationRequest
  ) := {
    registrationRequest_ams := p_registrationRequest
  } // End of template m_body_json_ue_identity_problem_details


  template (present) JsonBody mw_body_json_ams_subscriptions(
    template (present) Ams_TypesAndValues.AmsSubscriptionLinkLists p_amsSubscriptionLinkList := ?
  ) := {
    subscriptionLinkList_ams := p_amsSubscriptionLinkList
  } // End of template mw_body_json_ue_identity_problem_details

  template (present) JsonBody m_body_json_ams_subscriptions(
    template (present) Ams_TypesAndValues.AmsSubscriptionLinkLists p_amsSubscriptionLinkList := ?
  ) := {
    subscriptionLinkList_ams := p_amsSubscriptionLinkList
  } // End of template mw_body_json_ue_identity_problem_details

} // end of group ams api



group locarion_api {

  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_user_list(
    in template (value) UserList p_user_list
  ) := {
    userList := p_user_list
  } // End of template m_body_json_user_list

  template (present) JsonBody mw_body_json_user_list(
    template (present) UserList p_user_list := ?
  ) := {
    userList := p_user_list
  } // End of template mw_body_json_user_list


  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

  template (value) JsonBody m_body_json_access_point_list(
    in template (value) AccessPointList p_access_point_list
  ) := {
    accessPointList := p_access_point_list
  } // End of template m_body_json_access_point_list

  template (present) JsonBody mw_body_json_access_point_list(
    template (present) AccessPointList p_access_point_list := ?
  ) := {
    accessPointList := p_access_point_list
  } // End of template mw_body_json_access_point_list

  template (value) JsonBody m_body_json_user_tracking_subscription(
    in template (value) UserTrackingSubscription p_user_tracking_subscription
  ) := {
    userTrackingSubscription := p_user_tracking_subscription
  } // End of template m_body_json_user_tracking_subscription

  template (present) JsonBody mw_body_json_user_tracking_subscription(
    template (present) UserTrackingSubscription p_user_tracking_subscription := ?
  ) := {
    userTrackingSubscription := p_user_tracking_subscription
  } // End of template mw_body_json_user_rtracking_subscription

  template (value) JsonBody m_body_json_zonal_traffic_subscription(
    in template (value) ZonalTrafficSubscription p_zonal_traffic_subscription
  ) := {
    zonalTrafficSubscription := p_zonal_traffic_subscription
  } // End of template m_body_json_zonal_traffic_subscription

  template (present) JsonBody mw_body_json_zonal_traffic_subscription(
    template (present) ZonalTrafficSubscription p_zonal_traffic_subscription := ?
  ) := {
    zonalTrafficSubscription := p_zonal_traffic_subscription
  } // End of template mw_body_json_zonal_traffic_subscription

} // End of group locarion_api

group ue_identity_api {

  template (value) JsonBody m_body_json_ue_identity_tag_info(
    in template (value) UeIdentityTagInfo p_ueIdentityTagInfo
  ) := {
    ueIdentityTagInfo := p_ueIdentityTagInfo
  } // End of template m_body_json_ue_identity_tag_info

  template (present) JsonBody mw_body_json_ue_identity_tag_info(
    template (present) UeIdentityTagInfo p_ueIdentityTagInfo := ?
  ) := {
    ueIdentityTagInfo := p_ueIdentityTagInfo
  } // End of template mw_body_json_ue_identity_tag_info

  template (value) JsonBody m_body_json_ue_identity_problem_details(
    in template (value) UEidentityAPI_TypesAndValues.ProblemDetails p_problemDetails
  ) := {
    problemDetails_ue_identity := p_problemDetails
  } // End of template m_body_json_ue_identity_problem_details

  template (present) JsonBody mw_body_json_ue_identity_problem_details(
    template (present) UEidentityAPI_TypesAndValues.ProblemDetails p_problemDetails := ?
  ) := {
    problemDetails_ue_identity := p_problemDetails
  } // End of template mw_body_json_ue_identity_problem_details

} // End of group ue_identity_api

group rnis_subscriptions {

  template (value) JsonBody m_body_json_subscriptions_list(
    in template (value) SubscriptionLinkList p_subscriptionLinkList
  ) := {
    subscriptionLinkList := p_subscriptionLinkList
  } // End of template m_body_json_subscriptions_list

  template (present) JsonBody mw_body_json_subscriptions_list(
    template (present) SubscriptionLinkList p_subscriptionLinkList := ?
  ) := {
    subscriptionLinkList := p_subscriptionLinkList
  } // End of template mw_body_json_subscriptions_list

  template (value) JsonBody m_body_json_cell_change_subscription(
    in template (value) CellChangeSubscription p_cellChangeSubscription
  ) := {
    cellChangeSubscription := p_cellChangeSubscription
  } // End of template m_body_json_cell_change_subscription

  template (present) JsonBody mw_body_json_cell_change_subscription(
    template (present) CellChangeSubscription p_cellChangeSubscription := ?
  ) := {
    cellChangeSubscription := p_cellChangeSubscription
  } // End of template mw_body_json_cell_change_subscription

} // End of group rnis_subscriptions 

group bw_management_api {

  template (value) JsonBody m_body_json_bw_info(
    in template (value) BwInfo p_bwInfo
  ) := {
    bwInfo := p_bwInfo
  } // End of template m_body_json_bw_info

  template (present) JsonBody mw_body_json_bw_info(
    template (present) BwInfo p_bwInfo := ?
  ) := {
    bwInfo := p_bwInfo
  } // End of template mw_body_json_bw_info

} // End of group bw_management_api

Yann Garcia's avatar
Yann Garcia committed
  
  // LibMec/LocationAPI
  import from LocationAPI_TypesAndValues all;
  import from LocationAPI_Templates all;
Yann Garcia's avatar
Yann Garcia committed
  // LibMec/UEidentityAPI
  import from UEidentityAPI_TypesAndValues all;
  import from UEidentityAPI_Templates all;
Yann Garcia's avatar
Yann Garcia committed
  // LibMec/RnisAPI
  import from RnisAPI_TypesAndValues all;
  import from RnisAPI_Templates all;
  // LibMec/BwManagementAPI
  import from BwManagementAPI_TypesAndValues all;
  import from BwManagementAPI_Templates all;
YannGarcia's avatar
YannGarcia committed
  // LibMec/AppEnablementAPI
  import from AppEnablementAPI_TypesAndValues all;
  import from AppEnablementAPI_Templates all;
Yann Garcia's avatar
Yann Garcia committed
  
  // 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
Yann Garcia's avatar
Yann Garcia committed

  group locarion_api {
    
    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
    
Yann Garcia's avatar
Yann Garcia committed
    template (value) JsonBody m_body_json_user_list(
                                                    in template (value) UserList p_user_list
                                                    ) := {
      userList := p_user_list
    } // End of template m_body_json_user_list
    
    template (present) JsonBody mw_body_json_user_list(
                                                       template (present) UserList p_user_list := ?
                                                       ) := {
      userList := p_user_list
    } // End of template mw_body_json_user_list
    
Yann Garcia's avatar
Yann Garcia committed
    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
Yann Garcia's avatar
Yann Garcia committed
    template (present) JsonBody mw_body_json_zone_info(
                                                       template (present) ZoneInfo p_zone_info := ?
Yann Garcia's avatar
Yann Garcia committed
                                                       ) := {
Yann Garcia's avatar
Yann Garcia committed
      zoneInfo := p_zone_info
    } // End of template mw_body_json_zone_info
    
Yann Garcia's avatar
Yann Garcia committed
    template (value) JsonBody m_body_json_access_point_list(
                                                            in template (value) AccessPointList p_access_point_list
                                                            ) := {
      accessPointList := p_access_point_list
    } // End of template m_body_json_access_point_list
    
    template (present) JsonBody mw_body_json_access_point_list(
                                                               template (present) AccessPointList p_access_point_list := ?
                                                               ) := {
      accessPointList := p_access_point_list
    } // End of template mw_body_json_access_point_list
    
YannGarcia's avatar
YannGarcia committed
    template (value) JsonBody m_body_json_user_tracking_subscription(
                                                                     in template (value) UserTrackingSubscription p_user_tracking_subscription
                                                                     ) := {
      userTrackingSubscription := p_user_tracking_subscription
    } // End of template m_body_json_user_tracking_subscription
    
    template (present) JsonBody mw_body_json_user_tracking_subscription(
                                                                        template (present) UserTrackingSubscription p_user_tracking_subscription := ?
                                                                        ) := {
      userTrackingSubscription := p_user_tracking_subscription
    } // End of template mw_body_json_user_rtracking_subscription
    
    template (value) JsonBody m_body_json_zonal_traffic_subscription(
                                                                     in template (value) ZonalTrafficSubscription p_zonal_traffic_subscription
                                                                     ) := {
      zonalTrafficSubscription := p_zonal_traffic_subscription
    } // End of template m_body_json_zonal_traffic_subscription
    
    template (present) JsonBody mw_body_json_zonal_traffic_subscription(
                                                                        template (present) ZonalTrafficSubscription p_zonal_traffic_subscription := ?
                                                                        ) := {
      zonalTrafficSubscription := p_zonal_traffic_subscription
    } // End of template mw_body_json_zonal_traffic_subscription
    
Yann Garcia's avatar
Yann Garcia committed
  } // End of group locarion_api

  group ue_identity_api {

    template (value) JsonBody m_body_json_ue_identity_tag_info(
                                                               in template (value) UeIdentityTagInfo p_ueIdentityTagInfo
                                                               ) := {
      ueIdentityTagInfo := p_ueIdentityTagInfo
Yann Garcia's avatar
Yann Garcia committed
    } // End of template m_body_json_ue_identity_tag_info
Yann Garcia's avatar
Yann Garcia committed
    template (present) JsonBody mw_body_json_ue_identity_tag_info(
                                                                  template (present) UeIdentityTagInfo p_ueIdentityTagInfo := ?
                                                                  ) := {
      ueIdentityTagInfo := p_ueIdentityTagInfo
Yann Garcia's avatar
Yann Garcia committed
    } // End of template mw_body_json_ue_identity_tag_info
    template (value) JsonBody m_body_json_ue_identity_problem_details(
                                                                      in template (value) UEidentityAPI_TypesAndValues.ProblemDetails p_problemDetails
                                                                      ) := {
Yann Garcia's avatar
Yann Garcia committed
      problemDetails_ue_identity := p_problemDetails
    } // End of template m_body_json_ue_identity_problem_details
    template (present) JsonBody mw_body_json_ue_identity_problem_details(
                                                                         template (present) UEidentityAPI_TypesAndValues.ProblemDetails p_problemDetails := ?
                                                                         ) := {
Yann Garcia's avatar
Yann Garcia committed
      problemDetails_ue_identity := p_problemDetails
    } // End of template mw_body_json_ue_identity_problem_details
Yann Garcia's avatar
Yann Garcia committed
    
  } // End of group ue_identity_api
Yann Garcia's avatar
Yann Garcia committed

  group rnis_subscriptions {

YannGarcia's avatar
YannGarcia committed
    template (value) JsonBody m_body_json_subscriptions_list(
                                                             in template (value) SubscriptionLinkList p_subscriptionLinkList
                                                             ) := {
      subscriptionLinkList := p_subscriptionLinkList
    } // End of template m_body_json_subscriptions_list
    
    template (present) JsonBody mw_body_json_subscriptions_list(
                                                                template (present) SubscriptionLinkList p_subscriptionLinkList := ?
                                                                ) := {
      subscriptionLinkList := p_subscriptionLinkList
    } // End of template mw_body_json_subscriptions_list
    
Yann Garcia's avatar
Yann Garcia committed
    template (value) JsonBody m_body_json_cell_change_subscription(
                                                                   in template (value) CellChangeSubscription p_cellChangeSubscription
                                                                   ) := {
      cellChangeSubscription := p_cellChangeSubscription
    } // End of template m_body_json_cell_change_subscription
    
    template (present) JsonBody mw_body_json_cell_change_subscription(
                                                                      template (present) CellChangeSubscription p_cellChangeSubscription := ?
                                                                      ) := {
      cellChangeSubscription := p_cellChangeSubscription
    } // End of template mw_body_json_cell_change_subscription
    
YannGarcia's avatar
YannGarcia committed
    template (value) JsonBody m_body_json_rab_info(
                                                   in template (value) RabInfo p_rabInfo
                                                   ) := {
      rabInfo := p_rabInfo
    } // End of template m_body_json_rab_info
    
    template (present) JsonBody mw_body_json_rab_info(
                                                      template (present) RabInfo p_rabInfo := ?
                                                      ) := {
      rabInfo := p_rabInfo
    } // End of template mw_body_json_rab_info
    
    template (value) JsonBody m_body_json_plmn_info(
                                                   in template (value) PlmnInfo p_plmnInfo
                                                   ) := {
      plmnInfo := p_plmnInfo
    } // End of template m_body_json_plmn_info
    
    template (present) JsonBody mw_body_json_plmn_info(
                                                      template (present) PlmnInfo p_plmnInfo := ?
                                                      ) := {
      plmnInfo := p_plmnInfo
    } // End of template mw_body_json_plmn_info
    
    template (value) JsonBody m_body_json_rni_problem_details(
                                                              in template (value) RnisAPI_TypesAndValues.ProblemDetails p_problemDetails
                                                              ) := {
      problemDetails_rni := p_problemDetails
    } // End of template m_body_json_rni_problem_details
    
    template (present) JsonBody mw_body_json_rni_problem_details(
                                                                 template (present) RnisAPI_TypesAndValues.ProblemDetails p_problemDetails := ?
                                                                 ) := {
      problemDetails_rni := p_problemDetails
    } // End of template mw_body_json_rni_problem_details
    
Yann Garcia's avatar
Yann Garcia committed
  } // End of group rnis_subscriptions 
  group bw_management_api {
    
    template (value) JsonBody m_body_json_bw_info(
                                                  in template (value) BwInfo p_bwInfo
                                                  ) := {
      bwInfo := p_bwInfo
    } // End of template m_body_json_bw_info
    
    template (present) JsonBody mw_body_json_bw_info(
                                                     template (present) BwInfo p_bwInfo := ?
                                                     ) := {
      bwInfo := p_bwInfo
    } // End of template mw_body_json_bw_info
    
  } // End of group bw_management_api
  
YannGarcia's avatar
YannGarcia committed
  group svc_mgmt {
    
    template (value) JsonBody m_body_json_transport_info_list(
                                                              in template (value) TransportInfoList p_transportInfoList
                                                              ) := {
      transportInfoList := p_transportInfoList
    } // End of template m_body_json_transport_info_list
    
    template (present) JsonBody mw_body_json_transport_info_list(
                                                                 template (present) TransportInfoList p_transportInfoList := ?
                                                                 ) := {
      transportInfoList := p_transportInfoList
    } // End of template mw_body_json_transport_info_list
    
YannGarcia's avatar
YannGarcia committed
    template (value) JsonBody m_body_json_traffic_rule(
                                                       in template (value) TrafficRule p_trafficRule
                                                             ) := {
      trafficRule := p_trafficRule
    } // End of template m_body_json_traffic_rule
    
    template (present) JsonBody mw_body_json_traffic_rule(
                                                                template (present) TrafficRule p_trafficRule := ?
                                                                ) := {
      trafficRule := p_trafficRule
    } // End of template mw_body_json_traffic_rule
    
    template (value) JsonBody m_body_json_traffic_rules_list(
                                                             in template (value) TrafficRuleList p_trafficRuleList
                                                             ) := {
      trafficRuleList := p_trafficRuleList
    } // End of template m_body_json_traffic_rules_list
    
    template (present) JsonBody mw_body_json_traffic_rules_list(
                                                                template (present) TrafficRuleList p_trafficRuleList := ?
                                                                ) := {
      trafficRuleList := p_trafficRuleList
    } // End of template mw_body_json_traffic_rules_list
    
    template (value) JsonBody m_body_json_app_enablement_problem_details(
                                                                         in template (value) AppEnablementAPI_TypesAndValues.ProblemDetails p_problemDetails
                                                                         ) := {
      problemDetails_svc_mgmt := p_problemDetails
    } // End of template m_body_json_app_enablement_problem_details
    
    template (present) JsonBody mw_body_json_app_enablement_problem_details(
                                                                            template (present) AppEnablementAPI_TypesAndValues.ProblemDetails p_problemDetails := ?
                                                                            ) := {
      problemDetails_svc_mgmt := p_problemDetails
    } // End of template mw_body_json_app_enablement_problem_details
    
YannGarcia's avatar
YannGarcia committed
  } // End of group svc_mgmt
  
>>>>>>> b55fa1944c45eb362e0dd6ad00f2cda74f727b50
Yann Garcia's avatar
Yann Garcia committed
} // End of module LibItsHttp_JsonTemplates