Ams_Templates.ttcn 11 KB
Newer Older
Elian Kraja's avatar
Elian Kraja committed
module Ams_Templates {
  
  // JSON
  import from JSON all;
  
  // LibCommon
  import from LibCommon_BasicTypesAndValues all;
  
  // LibMec/LocationAPI
  import from Ams_TypesAndValues all;
  import from Ams_Pixits all;
  
  template (omit) AppMobilityServiceInfo m_app_mobility_service_info(
                                                                     in String p_app_mobility_service_id := PX_APP_MOBILITY_SERVICE_ID,
                                                                     in template (omit) RegistrationInfos p_registration_info := omit
Elian Kraja's avatar
Elian Kraja committed
  ) := {
    registeredAppMobilityService := p_registration_info,
    appMobilityServiceId         := p_app_mobility_service_id
Elian Kraja's avatar
Elian Kraja committed
  } // End of template m_app_mobility_service_info
  
  
  template (present) AppMobilityServiceInfo mw_app_mobility_service_info(
                                                                         template (present) RegistrationInfos p_registration_info := ?,
                                                                         template (present) String p_app_mobility_service_id := ?
Elian Kraja's avatar
Elian Kraja committed
  ) := {
    registeredAppMobilityService := p_registration_info,
    appMobilityServiceId         := p_app_mobility_service_id
Elian Kraja's avatar
Elian Kraja committed
  } 
  template (omit) RegistrationInfo m_app_mobility_registration_info(
                                                                    in template (value) ServiceConsumerId p_serviceConsumerId,
                                                                    in template (omit) DeviceInformations p_deviceInformation := omit,
                                                                    in template (omit) UInt32 p_expiryTime := omit
  ) := {
    serviceConsumerId := p_serviceConsumerId,
    deviceInformation := p_deviceInformation,
    expiryTime        := p_expiryTime
  }

  template RegistrationInfo mw_app_mobility_registration_info(
                                                              template (present) ServiceConsumerId p_serviceConsumerId := ?,
                                                              template DeviceInformations p_deviceInformation := *,
                                                              template UInt32 p_expiryTime := *
  ) := {
    serviceConsumerId := p_serviceConsumerId,
    deviceInformation := p_deviceInformation,
    expiryTime        := p_expiryTime
  }

  template (omit) ServiceConsumerId m_service_consumer_id(
                                                          in template (omit) String p_appInstanceId := omit,
                                                          in template (omit) String p_mepId := omit
  ) := {
    appInstanceId := p_appInstanceId,
    mepId         := p_mepId
  }
  
    template (omit) ServiceConsumer m_service_consumer_error(
                                                          in template (omit) String p_appInstance := omit,
                                                          in template (omit) String p_mepId := omit
  ) := {
    appInstance := p_appInstance,
    mepId         := p_mepId
  }

  template ServiceConsumerId mw_service_consumer_id(
                                                    template String p_appInstanceId := *,
                                                    template String p_mepId := *
  ) := {
    appInstanceId := p_appInstanceId,
    mepId         := p_mepId
  }

  template (omit) RegistrationRequest m_registration_request (
                                                              in template (omit) ServiceConsumerId p_service_consumer_id := omit,
                                                              in template (omit) DeviceInformations p_device_info  := omit,
                                                              in template (omit) UInt32 p_expire_time := omit
Elian Kraja's avatar
Elian Kraja committed
  ) := {
    serviceConsumerId := p_service_consumer_id,
    deviceInformation := p_device_info,
    expiryTime        := p_expire_time

  template (omit) RegistrationRequest m_registration_request_error (
                                                              in template (omit) ServiceConsumer p_service_consumer := omit,
                                                              in template (omit) DeviceInformations p_device_info  := omit,
                                                              in template (omit) UInt32 p_expire_time := omit
  ) := {
    serviceConsumerId := p_service_consumer,
    deviceInformation := p_device_info,
    expiryTime        := p_expire_time
  }


  template RegistrationRequest mw_registration_request(
                                                       template ServiceConsumerId p_service_consumer_id := ?,
                                                       template DeviceInformations p_device_info  := omit,
                                                       template UInt32 p_expire_time  := omit
Elian Kraja's avatar
Elian Kraja committed
  ) := {
    serviceConsumerId := p_service_consumer_id,
    deviceInformation := p_device_info,
    expiryTime      := p_expire_time
Elian Kraja's avatar
Elian Kraja committed
  }
  
  
  template (value) RegistrationInfo m_registration_info (
      in template (omit) ServiceConsumerId p_service_consumer_id := omit,
      in template (omit) DeviceInformations p_device_info  := omit,
      in UInt32 p_expire_time 
Elian Kraja's avatar
Elian Kraja committed
  ) := {
    serviceConsumerId := p_service_consumer_id,
    deviceInformation := p_device_info,
    expiryTime      := p_expire_time
  template (present) RegistrationInfos mw_registration_info(
                                                           template (present) ServiceConsumerId p_service_consumer_id := ?,
                                                           template (present) DeviceInformations p_device_info  := ?,
                                                           template (present) UInt32 p_expire_time 	:= ?
Elian Kraja's avatar
Elian Kraja committed
  ) := {
Elian Kraja's avatar
Elian Kraja committed
  }
  
  
  template (value) ServiceConsumer m_service_consumer (
      in String p_app_instance,
      in String p_mep_id 
Elian Kraja's avatar
Elian Kraja committed
  ) := {
    appInstance := p_app_instance,
    mepId := p_mep_id
  }
  
    template (omit) ServiceConsumer mw_service_consumer (
      in String p_app_instance,
      in template (omit) String p_mep_id := omit
  ) := {
    appInstance := p_app_instance,
    mepId := p_mep_id
  }
Elian Kraja's avatar
Elian Kraja committed

  template (value) DeviceInformation m_device_info (
      in String p_associate_id
Elian Kraja's avatar
Elian Kraja committed
  ) := {
    associateId := p_associate_id
  }
  
  template (omit) DeviceInformation mw_device_info (
      in String p_associate_id
Elian Kraja's avatar
Elian Kraja committed
  ) := {
    associateId := p_associate_id
  }  
  type record AmsSubscriptionLinkList {
    JSON.AnyURI links,
    Subscription subscription
  }
  
  template (value) AdjacentAppInfoSubscription mw_adjacent_application_info_notification (
      in template (omit) SubscriptionType p_subscriptionType := omit,
      in JSON.AnyURI p_callbackReference,
      in template (omit) JSON.AnyURI p_links := omit,
      in template (omit) AdjacentFilterCriteria p_filterCriteria := omit,
      in template (omit) TimeStamp p_expiryDeadline := omit
      
  ) := {
    subscriptionType := p_subscriptionType ,
    callbackReference := p_callbackReference,
    links := p_links,
    filterCriteria := p_filterCriteria,
    expiryDeadline := p_expiryDeadline
  }
Elian Kraja's avatar
Elian Kraja committed
  
 
   template (value) MobilityProcedureSubscription m_ams_subscription (
      in SubscriptionType p_subscriptionType := PX_SUBSCRIPTION_TYPE,
      in JSON.AnyURI p_callbackReference,
      in template (omit) JSON.AnyURI p_links := omit,
      in template (omit) FilterCriteria p_filterCriteria := omit,
      in template (omit) TimeStamp p_expiryDeadline := omit
Elian Kraja's avatar
Elian Kraja committed
  ) := {
    subscriptionType := p_subscriptionType ,
    callbackReference := p_callbackReference,
    links := p_links,
    filterCriteria := p_filterCriteria,
    expiryDeadline := p_expiryDeadline
  
  template (value) MobilityProcedureSubscription mw_mobility_procedure_notification (
      in template (omit) SubscriptionType p_subscriptionType := omit,
      in JSON.AnyURI p_callbackReference,
      in template (omit) JSON.AnyURI p_links := omit,
      in template (omit) FilterCriteria p_filterCriteria := omit,
      in template (omit) TimeStamp p_expiryDeadline := omit
      
  ) := {
    subscriptionType := p_subscriptionType ,
    callbackReference := p_callbackReference,
    links := p_links,
    filterCriteria := p_filterCriteria,
    expiryDeadline := p_expiryDeadline
  }
  
Elian Kraja's avatar
Elian Kraja committed
  template (value) MobilityProcedureSubscriptionError m_ams_subscription_error (
    in SubscriptionType p_subscriptionType,
    in JSON.AnyURI p_callbackReference,
    in template (omit) JSON.AnyURI p_links := omit,
    in template (omit) FilterCriteria p_filterCriteria  := omit,
    in template (omit) TimeStamp p_expiryDeadline  := omit
Elian Kraja's avatar
Elian Kraja committed
  ) := {
    subscriptionType := p_subscriptionType,
    callbackReference := p_callbackReference,
    links := p_links,
    filterCriteria := p_filterCriteria,
    expiryDeadline := p_expiryDeadline
Elian Kraja's avatar
Elian Kraja committed
  }
  
  template (present) MobilityProcedureSubscription mw_ams_subscription (
      in SubscriptionType p_subscriptionType,
      in template (omit) JSON.AnyURI p_callbackReference := omit,
      in template (omit) JSON.AnyURI p_links := omit,
      in template (omit) FilterCriteria p_filterCriteria := omit,
      in template (omit) TimeStamp p_expiryDeadline  := omit
Elian Kraja's avatar
Elian Kraja committed
  ) := {
    subscriptionType := p_subscriptionType ,
    callbackReference := p_callbackReference,
    links := p_links,
    filterCriteria := p_filterCriteria,
    expiryDeadline := p_expiryDeadline
  template (present) ExpiryNotification mw_expire_notification (
      in template (omit) TimeStamp p_timestamp  := omit,
      in template (omit) JSON.AnyURI p_links := omit,
      in TimeStamp p_expiryDeadline
  ) := {
    timeStamp := p_timestamp,
    links := p_links,
    expiryDeadline := p_expiryDeadline
  }  
  
Elian Kraja's avatar
Elian Kraja committed
 
 
  template (value) ProblemDetails m_problem_details(
                                                    in JSON.String p_type,
                                                    in JSON.String p_title,
                                                    in UInt32 p_status,
                                                    in JSON.String p_detail,
                                                    in JSON.String p_instance
                                                    ) := {
    type_    := p_type,
    title    := p_title,
    status   := p_status,
    detail   := p_detail,
    instance := p_instance
  } // End of template m_problem_details

  template (present) ProblemDetails mw_problem_details(
                                                       template (present) JSON.String p_type := ?,
                                                       template (present) JSON.String p_title := ?,
                                                       template (present) UInt32 p_status := ?,
                                                       template (present) JSON.String p_detail := ?,
                                                       template (present) JSON.String p_instance := ?
                                                       ) := {
    type_    := p_type,
    title    := p_title,
    status   := p_status,
    detail   := p_detail,
    instance := p_instance
  } // End of template mw_problem_details
  
  
  
} // End of module LocationAPI_Templates