Ams_Templates.ttcn 15.2 KB
Newer Older
Elian Kraja's avatar
Elian Kraja committed
1 2 3 4 5 6 7 8 9 10 11 12
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;
  
13 14 15
  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
16
  ) := {
17 18
    registeredAppMobilityService := p_registration_info,
    appMobilityServiceId         := p_app_mobility_service_id
Elian Kraja's avatar
Elian Kraja committed
19 20 21 22
  } // End of template m_app_mobility_service_info
  
  
  template (present) AppMobilityServiceInfo mw_app_mobility_service_info(
23 24
                                                                         template (present) RegistrationInfos p_registration_info := ?,
                                                                         template (present) String p_app_mobility_service_id := ?
Elian Kraja's avatar
Elian Kraja committed
25
  ) := {
26 27
    registeredAppMobilityService := p_registration_info,
    appMobilityServiceId         := p_app_mobility_service_id
Elian Kraja's avatar
Elian Kraja committed
28
  } 
29 30 31 32 33

  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 
Elian Kraja's avatar
Elian Kraja committed
34 35 36
  ) := {
    serviceConsumerId := p_service_consumer_id,
    deviceInformation := p_device_info,
37
    expiryTime        := p_expire_time
Elian Kraja's avatar
Elian Kraja committed
38 39
  }
  
40 41 42 43
  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
44 45
  ) := {
    serviceConsumerId := p_service_consumer_id,
46 47
    deviceInformation := p_device_info,
    expiryTime		  := p_expire_time
Elian Kraja's avatar
Elian Kraja committed
48 49 50 51 52 53 54 55 56 57 58 59 60
  }
  
  
  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
  }
  
61 62 63 64
  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 
Elian Kraja's avatar
Elian Kraja committed
65 66
  ) := {
    serviceConsumerId := p_service_consumer_id,
67
    deviceInformation := p_device_info,
Elian Kraja's avatar
Elian Kraja committed
68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90
    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
  }
  
  
  
91 92 93
  template ServiceConsumerId mw_service_consumer_id(
                                                    template (present) String p_app_instance_id := ?,
                                                    template (present) String p_mep_id := ?
Elian Kraja's avatar
Elian Kraja committed
94
  ) := {
95 96
    appInstanceId := p_app_instance_id,
    mepId := p_mep_id
Elian Kraja's avatar
Elian Kraja committed
97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335
  }
  
  
  
  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