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 ) := { registeredAppMobilityService := p_registration_info, appMobilityServiceId := p_app_mobility_service_id } // 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 := ? ) := { registeredAppMobilityService := p_registration_info, appMobilityServiceId := p_app_mobility_service_id } template (omit) RegistrationRequest m_registration_request ( in template (omit) ServiceConsumerId p_service_consumer_id := omit, in template (omit) DeviceInformations p_device_info := omit, in UInt32 p_expire_time ) := { serviceConsumerId := p_service_consumer_id, 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 ) := { serviceConsumerId := p_service_consumer_id, deviceInformation := p_device_info, expiryTime := p_expire_time } 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 ) := { serviceConsumerId := p_service_consumer_id, deviceInformation := p_device_info, expiryTime := p_expire_time } template (present) RegistrationInfo mw_registration_info( template (present) ServiceConsumerId p_service_consumer_id := ?, template (present) DeviceInformations p_device_info := ?, template (present) UInt32 p_expire_time ) := { serviceConsumerId := p_service_consumer_id, deviceInformation := p_device_info, expiryTime := p_expire_time } template (value) ServiceConsumer m_service_consumer ( in String p_app_instance, in String p_mep_id ) := { appInstance := p_app_instance, mepId := p_mep_id } template (value) ServiceConsumerId m_service_consumer_id ( in String p_app_instance_id, in String p_mep_id ) := { appInstanceId := p_app_instance_id, mepId := p_mep_id } template ServiceConsumerId mw_service_consumer_id( template (present) String p_app_instance_id := ?, template (present) String p_mep_id := ? ) := { appInstanceId := p_app_instance_id, mepId := p_mep_id } template (value) DeviceInformation m_device_info ( in String p_associate_id ) := { associateId := p_associate_id } template (omit) DeviceInformation mw_device_info ( in String p_associate_id ) := { associateId := p_associate_id } template (value) MobilityProcedureSubscription m_ams_subscription ( in SubscriptionType p_subscriptionType, in JSON.AnyURI p_callbackReference, in JSON.AnyURI p_links, in FilterCriteria p_filterCriteria, in TimeStamp p_expiryDeadline ) := { subscriptionType := p_subscriptionType , callbackReference := p_callbackReference, links := p_links, filterCriteria := p_filterCriteria, expiryDeadline := p_expiryDeadline } template (value) MobilityProcedureSubscriptionError m_ams_subscription_error ( in SubscriptionTyp p_subscriptionType, in JSON.AnyURI p_callbackReference, in JSON.AnyURI p_links, in FilterCriteria p_filterCriteria, in TimeStamp p_expiryDeadline ) := { subscriptionType := p_subscriptionType, callbackReference := p_callbackReference, links := p_links, filterCriteria := p_filterCriteria, expiryDeadline := p_expiryDeadline } template (present) MobilityProcedureSubscription mw_ams_subscription ( in SubscriptionType p_subscriptionType, in JSON.AnyURI p_callbackReference, in JSON.AnyURI p_links, in FilterCriteria p_filterCriteria, in TimeStamp p_expiryDeadline ) := { subscriptionType := p_subscriptionType , callbackReference := p_callbackReference, links := p_links, filterCriteria := p_filterCriteria, expiryDeadline := p_expiryDeadline } 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 // // template (omit) UserList m_user_list( // in template (omit) UserInfos p_userInfo := omit, // in ResourceURL p_resource_url // ) := { // user := p_userInfo, // resourceURL := p_resource_url // } // End of template m_user_list // // template UserList mw_user_list( // template UserInfos p_userInfo := *, // template (present) ResourceURL p_resource_url := ? // ) := { // user := p_userInfo, // resourceURL := p_resource_url // } // End of template mw_user_list // // template (value) LocationInfo m_location_info( // in JSON.Number p_latitude, // in JSON.Number p_longitude, // in UInt32 p_accuracy // ) := { // latitude := p_latitude, // longitude := p_longitude, // altitude := omit, // accuracy := p_accuracy // } // End of template m_location_info // // template (present) LocationInfo mw_location_info( // template (present) JSON.Number p_latitude := ?, // template (present) JSON.Number p_longitude := ?, // template (present) UInt32 p_accuracy := ? // ) := { // latitude := p_latitude, // longitude := p_longitude, // altitude := *, // accuracy := p_accuracy // } // End of template mw_location_info // // template (value) ZoneInfo m_zone_info( // in ZoneId p_zone_id := PX_ZONE_ID, // in NumberOfAccessPoints p_number_of_access_points := PX_NB_ACCESS_POINTS, // in NumberOfUnserviceableAccessPoints p_number_of_unservicable_access_points := PX_NB_UNSERVICABLEL_ACCESS_POINTS, // in NumberOfUsers p_number_of_users := PX_NB_USERS, // in ResourceURL p_resource_url := PX_RESOURCE_URL // ) := { // zoneId := p_zone_id, // numberOfAccessPoints := p_number_of_access_points, // numberOfUnservicableAccessPoints := p_number_of_unservicable_access_points, // numberOfUsers := p_number_of_users, // resourceURL := p_resource_url // } // End of template m_zone_info // // template (present) ZoneInfo mw_zone_info( // template (present) ZoneId p_zone_id := ?, // template (present) NumberOfAccessPoints p_number_of_access_points := ?, // template (present) NumberOfUnserviceableAccessPoints p_number_of_unservicable_access_points := ?, // template (present) NumberOfUsers p_number_of_users := ?, // template (present) ResourceURL p_resource_url := ? // ) := { // zoneId := p_zone_id, // numberOfAccessPoints := p_number_of_access_points, // numberOfUnservicableAccessPoints := p_number_of_unservicable_access_points, // numberOfUsers := p_number_of_users, // resourceURL := p_resource_url // } // End of template mw_zone_info // // template (omit) AccessPointList m_access_point_list( // in ZoneId p_zoneId := PX_ZONE_ID, // in ResourceURL p_resourceURL, // in template (omit) AccessPointInfos p_accessPoint := omit // ) := { // zoneId := p_zoneId, // accessPoint := p_accessPoint, // resourceURL := p_resourceURL // } // End of template m_access_point_list // // template AccessPointList mw_access_point_list( // template (present) ZoneId p_zoneId := ?, // template (present) ResourceURL p_resourceURL := ?, // template AccessPointInfos p_accessPoint := * // ) := { // zoneId := p_zoneId, // accessPoint := p_accessPoint, // resourceURL := p_resourceURL // } // End of template mw_access_point_list // // template (value) UserTrackingSubscription m_user_tracking_subscription( // in ClientCorrelator p_clientCorrelator, // in CallbackReference p_callbackReference, // in Address p_address := PX_USER, // in UserEventCriteria p_userEventCriteria := { Transferring } // ) := { // clientCorrelator := p_clientCorrelator, // callbackReference := p_callbackReference, // address_ := p_address, // userEventCriteria := p_userEventCriteria, // resourceURL := omit // } // End of template m_user_tracking_subscription // // template (present) UserTrackingSubscription mw_user_tracking_subscription_response( // template (present) ClientCorrelator p_clientCorrelator := ?, // template (present) CallbackReference p_callbackReference := ?, // template (present) Address p_address := PX_USER, // template (present) UserEventCriteria p_userEventCriteria := { Transferring }, // template (present) ResourceURL p_resourceURL := ? // ) := { // clientCorrelator := p_clientCorrelator, // callbackReference := p_callbackReference, // address_ := p_address, // userEventCriteria := p_userEventCriteria, // resourceURL := p_resourceURL // } // End of template mw_user_tracking_subscription // // template (value) ZonalTrafficSubscription m_zonal_traffic_subscription( // in ClientCorrelator p_client_correlator, // in CallbackReference p_callback_reference, // in ZoneId p_zone_id // ) := { // clientCorrelator := p_client_correlator, // callbackReference := p_callback_reference, // zoneId := p_zone_id, // interestRealm := omit, // userEventCriteria := omit, // duration := omit, // resourceURL := omit // } // End of template m_zonal_traffic_subscription // // template (present) ZonalTrafficSubscription mw_zonal_traffic_subscription( // template (present) ClientCorrelator p_client_correlator := ?, // template (present) CallbackReference p_callback_reference := ?, // template (present) ZoneId p_zone_id := ? // ) := { // clientCorrelator := p_client_correlator, // callbackReference := p_callback_reference, // zoneId := p_zone_id, // interestRealm := *, // userEventCriteria := *, // duration := *, // resourceURL := * // } // End of template mw_zonal_traffic_subscription } // End of module LocationAPI_Templates