Newer
Older
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