Grant_Templates.ttcn 9.4 KB
Newer Older
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