MeoPkgm_Templates.ttcn 2.45 KB
Newer Older
Elian Kraja's avatar
Elian Kraja committed
module MeoPkgm_Templates {
  
  // JSON
  import from JSON all;
  
  // LibCommon
  import from LibCommon_BasicTypesAndValues all;
  
  import from MeoPkgm_TypesAndValues all;
  import from MeoPkgm_Pixits all;
  
  template AppPkg m_package_management (
  	in String p_appPkgName,
  	in String p_appPkgVersion,
  	in String p_checksum,
  	in String p_appPkgPath
  ) := {
    appPkgName := p_appPkgName,
    appPkgVersion := p_appPkgVersion,
    checksum := p_checksum,
    appPkgPath := p_appPkgPath
  }


  template AppPkgWithError m_package_management_with_error (
  	in String p_appPkgVersion,
  	in String p_checksum,
  	in String p_appPkgPath
  ) := {
    appPkgVersion := p_appPkgVersion,
    checksum := p_checksum,
    appPkgPath := p_appPkgPath
  }

  template (omit) OnboardedAppPkgInfoList mw_package_management_list (
    in template (omit) String p_appPkgId := omit,
  	in String p_appName,
  	in String p_appDVersion,
  	in String p_checksum,
  	in OperationalState p_operationalState,
  	in UsageState p_usageState
  ) := {
    
  }


  template (omit) AppPkgSubscription m_app_package_subscription (
  	in template (omit) AnyURI p_callbackUri := omit,
  	in template(omit) SubscriptionType p_subscription_type := omit 
  ) := {
    callbackUri := p_callbackUri,
    subscriptionType := p_subscription_type
  }

  template (omit) AppPkgSubscriptionWithError m_app_package_subscription_with_error (
  	in template (omit) AnyURI p_callbackUri := omit,
  	in template(omit) SubscriptionTypeWithError p_subscription_type := omit 
  ) := {
    callbackUri := p_callbackUri,
    subscriptionType := p_subscription_type
  }

   
  template (present) AppPkgSubscriptionInfo mw_app_package_subscription_info (
  	in template (present) String p_subscriptionId := ?,
  	in template (present) SubscriptionType p_subscription_type := ?,
  	in template (present) AnyURI p_callbackUri	:= ?
  ) := {
    subscriptionId := p_subscriptionId /* FIXME Error??? ifpresent*/,
Elian Kraja's avatar
Elian Kraja committed
    subscriptionType  := p_subscription_type,
    callbackUri	:= p_callbackUri
  }

  template (present) AppPkgNotification mw_app_package_notification (
  	in template (present) String p_notificationId := ?,
  	in template (present) NotificationType p_notificationType := ?,
  	in template (present) String p_subscriptionId := ?,
  	in template (present) AnyURI p_links := ?
  ) := {
    notificationType := p_notificationType,
    subscriptionId	:= p_subscriptionId,
    links := p_links
  }
  
} // End of module LocationAPI_Templates