MepmPkgm_Templates.ttcn 2.81 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
46
47
48
49
50
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
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
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 ,
    appName := p_appName,
    appDId := p_appDId ,
    appDVersion := p_appDVersion,
    checksum := p_checksum ,
    operationalState := p_operationalState,
    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 ifpresent,
    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