module Grant_Templates { // JSON import from JSON all; // LibCommon import from LibCommon_BasicTypesAndValues all; import from Grant_TypesAndValues all; import from Grant_Pixits all; template (value) GrantRequest m_grant_request ( in String p_app_instance_id := PX_APP_INSTANCE_ID, in Operation_type p_app_operation := PX_APP_OPERATION ) := { appInstanceId := p_app_instance_id, operation := p_app_operation } template (present) Grant mw_grant_response ( in String p_app_instance_id := PX_APP_INSTANCE_ID ) := { appInstanceId := p_app_instance_id } template (value) GrantRequestWithError m_grant_request_with_error ( in String p_app_instance_id := PX_APP_INSTANCE_ID, in Operation_type_error p_app_operation := PX_APP_OPERATION_ERROR ) := { appInstanceId := p_app_instance_id, operation := p_app_operation } // 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) 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 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 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) 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 // } // type record AmsSubscriptionLinkList { // JSON.AnyURI links, // Subscription subscription // } // // // // 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 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 (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 // // } // End of module LocationAPI_Templates