DeviceApplicationInterfaceAPI_Templates.ttcn 9.66 KB
Newer Older
module DeviceApplicationInterfaceAPI_Templates {

  // JSON
  import from JSON all;

  // LibCommon
  import from LibCommon_BasicTypesAndValues all;

  // LibMec/DeviceApplicationInterfaceAPI
  import from DeviceApplicationInterfaceAPI_TypesAndValues all;
  import from DeviceApplicationInterfaceAPI_Pixits all;


  template (omit) AppContext m_device_app_context(
                                                  in template (value) JSON.String p_associateDevAppId,
                                                  in template (value) ApplicationContext_AppInfo p_appInfo,
                                                  in template (omit) JSON.AnyURI p_callbackReference := omit,
                                                  in template (omit) boolean p_appLocationUpdates := omit,
                                                  in template (omit) boolean p_appAutoInstantiation := omit
                                                  ) := {
    contextId            := omit,
    associateDevAppId    := p_associateDevAppId,
    callbackReference    := p_callbackReference,
    appLocationUpdates   := p_appLocationUpdates,
    appAutoInstantiation := p_appAutoInstantiation,
    appInfo              := p_appInfo
  } // End of template m_device_app_context

  template (present) AppContext mw_device_app_context(
                                                      template (present) JSON.String p_contextId := ?,
                                                      template (present) JSON.String p_associateDevAppId := ?,
                                                      template (present) ApplicationContext_AppInfo p_appInfo := ?,
                                                      template JSON.AnyURI p_callbackReference := *,
                                                      template boolean p_appLocationUpdates := *,
                                                      template boolean p_appAutoInstantiation := *
                                                      ) := {
    contextId            := p_contextId,
    associateDevAppId    := p_associateDevAppId,
    callbackReference    := p_callbackReference,
    appLocationUpdates   := p_appLocationUpdates,
    appAutoInstantiation := p_appAutoInstantiation,
    appInfo              := p_appInfo
  } // End of template mw_device_app_context

  template (omit) ApplicationContext_AppInfo m_app_context_info(
                                                                in JSON.String p_appDId,
                                                                in JSON.String p_appName,
                                                                in JSON.String p_appProvider,
                                                                in JSON.String p_appDVersion,
                                                                in template (omit) JSON.String p_appDescription := omit,
                                                                in template (omit) JSON.String p_appSoftVersion := omit,
                                                                in template (omit) UserAppInstanceInfoList p_userAppInstanceInfo := omit,
                                                                in template (omit) JSON.AnyURI p_appPackageSource := omit
                                                                ) := {
    appDId              := p_appDId,
    appName             := p_appName,
    appProvider         := p_appProvider,
    appSoftVersion      := p_appSoftVersion,
    appDVersion         := p_appDVersion,
    appDescription      := p_appDescription,
    userAppInstanceInfo := p_userAppInstanceInfo,
    appPackageSource    := p_appPackageSource
  } // End ot template m_app_context_info

  template (present) ApplicationContext_AppInfo mw_app_context_info(
                                                                    template (present) JSON.String p_appDId := ?,
                                                                    template (present) JSON.String p_appName := ?,
                                                                    template (present) JSON.String p_appProvider := ?,
                                                                    template (present) JSON.String p_appDVersion := ?,
                                                                    template JSON.String p_appDescription := *,
                                                                    template JSON.String p_appSoftVersion := *,
                                                                    template UserAppInstanceInfoList p_userAppInstanceInfo := *,
                                                                    template JSON.AnyURI p_appPackageSource := *
                                                                    ) := {
    appDId              := p_appDId,
    appName             := p_appName,
    appProvider         := p_appProvider,
    appSoftVersion      := p_appSoftVersion,
    appDVersion         := p_appDVersion,
    appDescription      := p_appDescription,
    userAppInstanceInfo := p_userAppInstanceInfo,
    appPackageSource    := p_appPackageSource
  } // End ot template mw_app_context_info

  template (value) ApplicationLocationAvailability m_application_location_availability(
                                                                                       in JSON.String p_associateDevAppId,
                                                                                       in template (value) ApplicationLocationAvailability_AppInfo p_appInfo
                                                                                       ) := {
    associateDevAppId := p_associateDevAppId,
    appInfo           := p_appInfo
  } // End of template m_application_location_availability

  template (present) ApplicationLocationAvailability mw_application_location_availability(
                                                                                          template (present) JSON.String p_associateDevAppId := ?,
                                                                                          template (present) ApplicationLocationAvailability_AppInfo p_appInfo := ?
                                                                                          ) := {
    associateDevAppId := p_associateDevAppId,
    appInfo           := p_appInfo
  } // End of template mw_application_location_availability

  template (omit) ApplicationLocationAvailability_AppInfo m_application_location_availability_info(
                                                                                                   in JSON.String p_appDId,
                                                                                                   in JSON.String p_appName,
                                                                                                   in JSON.String p_appProvider,
                                                                                                   in JSON.String p_appDVersion,
                                                                                                   in template (omit) JSON.String p_appSoftVersion := omit,
                                                                                                   in template (omit) JSON.String p_appDescription := omit,
                                                                                                   in template (omit) AvailableLocationsList p_availableLocations := omit,
                                                                                                   in template (omit) JSON.AnyURI p_appPackageSource := omit
) := {
    appDId             := p_appDId,
    appName            := p_appName,
    appProvider        := p_appProvider,
    appSoftVersion     := p_appSoftVersion,
    appDVersion        := p_appDVersion,
    appDescription     := p_appDescription,
    availableLocations := p_availableLocations,
    appPackageSource   := p_appPackageSource
  } // End of template m_application_location_availability_info

  template (present) ApplicationLocationAvailability_AppInfo mw_application_location_availability_info(
                                                                                                       template (present) JSON.String p_appDId := ?,
                                                                                                       template (present) JSON.String p_appName := ?,
                                                                                                       template (present) JSON.String p_appProvider := ?,
                                                                                                       template (present) JSON.String p_appDVersion := ?,
                                                                                                       template JSON.String p_appSoftVersion := *,
                                                                                                       template JSON.String p_appDescription := *,
                                                                                                       template AvailableLocationsList p_availableLocations := *,
                                                                                                       template JSON.AnyURI p_appPackageSource := *
) := {
    appDId             := p_appDId,
    appName            := p_appName,
    appProvider        := p_appProvider,
    appSoftVersion     := p_appSoftVersion,
    appDVersion        := p_appDVersion,
    appDescription     := p_appDescription,
    availableLocations := p_availableLocations,
    appPackageSource   := p_appPackageSource
  } // End of template mw_application_location_availability_info

} // End of module DeviceApplicationInterfaceAPI_Templates