MepmPkgm_Templates.ttcn 2.83 KB
Newer Older
Elian Kraja's avatar
Elian Kraja committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
module MepmPkgm_Templates {
  
  // JSON
  import from JSON all;
  
  // LibCommon
  import from LibCommon_BasicTypesAndValues all;
  
  import from MepmPkgm_TypesAndValues all;
  import from MepmPkgm_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 (present) OnboardedAppPkgInfo mw_package_management (
    in template (present) String p_appPkgId := ?,
  	in template (present) String p_appName  := ?,
  	in template (present) String p_appDId  := ?,
  	in template (present) String p_appDVersion  := ?,
  	in template (present) String p_checksum  := ?,
  	in template (present) OperationalState p_operationalState  := ?,
  	in template (present) UsageState p_usageState  := ?
  ) := {
    appPkgId := p_appPkgId ,
    appDId := p_appDId ,
46
    appName := p_appName,
Elian Kraja's avatar
Elian Kraja committed
47
48
49
    appDVersion := p_appDVersion,
    checksum := p_checksum ,
    operationalState := p_operationalState,
50
    usageState := p_usageState
Elian Kraja's avatar
Elian Kraja committed
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
  }


  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	:= ?
  ) := {
76
    subscriptionId := p_subscriptionId /*FIXME Error???ifpresent*/,
Elian Kraja's avatar
Elian Kraja committed
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
    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