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
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*/,
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