Commit a00bacb0 authored by Elian Kraja's avatar Elian Kraja
Browse files

Added PkgManagement for MM1

parent 33239901
This diff is collapsed.
module Ams_EncdecDeclarations {
import from Ams_TypesAndValues all;
external function enc_AppMobilityServiceInfo(in AppMobilityServiceInfo p_app_mobility_service_info) return octetstring
with { extension "prototype (convert) encode(JSON)"; extension "printing(pretty)" };
external function dec_AppMobilityServiceInfo(in octetstring p_pdu) return AppMobilityServiceInfo
with { extension "prototype (convert) decode(JSON)" };
external function enc_RegistrationRequest(in RegistrationRequest p_registration_request) return octetstring
with { extension "prototype (convert) encode(JSON)"; extension "printing(pretty)" };
external function dec_RegistrationRequest(in octetstring p_pdu) return RegistrationRequest
with { extension "prototype (convert) decode(JSON)" };
external function enc_RegistrationInfo(in RegistrationInfo p_registration_info) return octetstring
with { extension "prototype (convert) encode(JSON)"; extension "printing(pretty)" };
external function dec_Registrationinfo(in octetstring p_pdu) return RegistrationInfo
with { extension "prototype (convert) decode(JSON)" };
} // End of module LocationAPI_EncdecDeclarations
module MeoPkgm_Pics {
/**
* @desc Does the IUT support LocationAPI?
*/
modulepar boolean PICS_PKGMGMT_API_SUPPORTED := true;
} // End of module LocationAPI_Pics
module MeoPkgm_Pixits {
// JSON
import from JSON all;
// LibMec/LocationAPI
import from MeoPkgm_TypesAndValues all;
modulepar JSON.String PX_APP_PKG_NAME := "APP_PKG_NAME"
modulepar JSON.String PX_APP_PKG_VERSION := "APP_PKG_VERSION"
modulepar JSON.String PX_CHECKSUM := "CHECKSUM"
modulepar JSON.String PX_APP_PKG_PATH := "APP_PKG_PATH"
modulepar OperationalState PX_OPERATIONAL_STATE := ENABLED
modulepar UsageState PX_USAGE_STATE := NOT_IN_USE
modulepar JSON.String PX_ON_BOARDED_APP_PKG_ID := "5abe4782-2c70-4e47-9a4e-0ee3a1a0fd1f"
modulepar JSON.String PX_NON_EXISTENT_APP_PKG_ID := "NON_EXISTENT_APP_PKG_ID"
modulepar JSON.AnyURI PX_CALLBACK_URI := "http://127.0.0.1/callback"
modulepar SubscriptionType PX_SUBSCRIPTION_TYPE := ON_BOARDING
modulepar SubscriptionTypeWithError PX_SUBSCRIPTION_TYPE_WITH_ERROR := ONBOARDING
modulepar JSON.String PX_SUBSCRIPTION_ID := "e0deee2b-6e50-4f33-ab09-8bf0585025d3"
modulepar JSON.String PX_NON_EXISTENT_SUBSCRIPTION_ID := "NON_EXISTENT_SUBSCRIPTION_ID"
modulepar NotificationType PX_NOTIFICATION_TYPE := ON_BOARDING
// modulepar JSON.String PX_APP_MOBILITY_SERVICE_ID := "KtRGymNQ84dG3mQfRepa"
//
// modulepar JSON.String PX_APP_INS_ID := "5abe4782-2c70-4e47-9a4e-0ee3a1a0fd1f"
//
// modulepar SubscriptionType PX_SUBSCRIPTION_TYPE := MobilityProcedureSubscription
//
//
//
// modulepar JSON.String PX_CALLBACK_REFERENCE := "http://127.0.0.1/callback"
//
//
// modulepar JSON.String PX_MEP_ID := "";
} // End of module LocationAPI_Pixits
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 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
}
// template (omit) AppMobilityServiceInfo m_app_mobility_service_info(
// in String p_app_mobility_service_id := PX_APP_MOBILITY_SERVICE_ID,
// in template (omit) RegistrationInfos p_registration_info := omit
// ) := {
// registeredAppMobilityService := p_registration_info,
// appMobilityServiceId := p_app_mobility_service_id
// } // End of template m_app_mobility_service_info
//
//
// template (present) AppMobilityServiceInfo mw_app_mobility_service_info(
// template (present) RegistrationInfos p_registration_info := ?,
// template (present) String p_app_mobility_service_id := ?
// ) := {
// registeredAppMobilityService := p_registration_info,
// appMobilityServiceId := p_app_mobility_service_id
// }
//
// template (omit) RegistrationInfo m_app_mobility_registration_info(
// in template (value) ServiceConsumerId p_serviceConsumerId,
// in template (omit) DeviceInformations p_deviceInformation := omit,
// in template (omit) UInt32 p_expiryTime := omit
// ) := {
// serviceConsumerId := p_serviceConsumerId,
// deviceInformation := p_deviceInformation,
// expiryTime := p_expiryTime
// }
//
// template RegistrationInfo mw_app_mobility_registration_info(
// template (present) ServiceConsumerId p_serviceConsumerId := ?,
// template DeviceInformations p_deviceInformation := *,
// template UInt32 p_expiryTime := *
// ) := {
// serviceConsumerId := p_serviceConsumerId,
// deviceInformation := p_deviceInformation,
// expiryTime := p_expiryTime
// }
//
// template (omit) ServiceConsumerId m_service_consumer_id(
// in template (omit) String p_appInstanceId := omit,
// in template (omit) String p_mepId := omit
// ) := {
// appInstanceId := p_appInstanceId,
// mepId := p_mepId
// }
//
// template (omit) ServiceConsumer m_service_consumer_error(
// in template (omit) String p_appInstance := omit,
// in template (omit) String p_mepId := omit
// ) := {
// appInstance := p_appInstance,
// mepId := p_mepId
// }
//
// template ServiceConsumerId mw_service_consumer_id(
// template String p_appInstanceId := *,
// template String p_mepId := *
// ) := {
// appInstanceId := p_appInstanceId,
// mepId := p_mepId
// }
//
// template (omit) RegistrationRequest m_registration_request (
// in template (omit) ServiceConsumerId p_service_consumer_id := omit,
// in template (omit) DeviceInformations p_device_info := omit,
// in template (omit) UInt32 p_expire_time := omit
// ) := {
// serviceConsumerId := p_service_consumer_id,
// deviceInformation := p_device_info,
// expiryTime := p_expire_time
// }
//
//
// template (omit) RegistrationRequest m_registration_request_error (
// in template (omit) ServiceConsumer p_service_consumer := omit,
// in template (omit) DeviceInformations p_device_info := omit,
// in template (omit) UInt32 p_expire_time := omit
// ) := {
// serviceConsumerId := p_service_consumer,
// deviceInformation := p_device_info,
// expiryTime := p_expire_time
// }
//
//
// template RegistrationRequest mw_registration_request(
// template ServiceConsumerId p_service_consumer_id := ?,
// template DeviceInformations p_device_info := omit,
// template UInt32 p_expire_time := omit
// ) := {
// serviceConsumerId := p_service_consumer_id,
// deviceInformation := p_device_info,
// expiryTime := p_expire_time
// }
//
//
// template (value) RegistrationInfo m_registration_info (
// in template (omit) ServiceConsumerId p_service_consumer_id := omit,
// in template (omit) DeviceInformations p_device_info := omit,
// in UInt32 p_expire_time
// ) := {
// serviceConsumerId := p_service_consumer_id,
// deviceInformation := p_device_info,
// expiryTime := p_expire_time
// }
//
// template (present) RegistrationInfos mw_registration_info(
// template (present) ServiceConsumerId p_service_consumer_id := ?,
// template (present) DeviceInformations p_device_info := ?,
// template (present) UInt32 p_expire_time := ?
// ) := {
//
// }
//
//
// template (value) ServiceConsumer m_service_consumer (
// in String p_app_instance,
// in String p_mep_id
// ) := {
// appInstance := p_app_instance,
// mepId := p_mep_id
// }
//
// template (omit) ServiceConsumer mw_service_consumer (
// in String p_app_instance,
// in template (omit) String p_mep_id := omit
// ) := {
// appInstance := p_app_instance,
// mepId := p_mep_id
// }
//
// template (value) DeviceInformation m_device_info (
// in String p_associate_id
// ) := {
// associateId := p_associate_id
// }
//
// template (omit) DeviceInformation mw_device_info (
// in String p_associate_id
// ) := {
// associateId := p_associate_id
// }
// type record AmsSubscriptionLinkList {
// JSON.AnyURI links,
// Subscription subscription
// }
//
// template (value) AdjacentAppInfoSubscription mw_adjacent_application_info_notification (
// in template (omit) SubscriptionType p_subscriptionType := omit,
// in JSON.AnyURI p_callbackReference,
// in template (omit) JSON.AnyURI p_links := omit,
// in template (omit) AdjacentFilterCriteria p_filterCriteria := omit,
// in template (omit) TimeStamp p_expiryDeadline := omit
//
// ) := {
// subscriptionType := p_subscriptionType ,
// callbackReference := p_callbackReference,
// links := p_links,
// filterCriteria := p_filterCriteria,
// expiryDeadline := p_expiryDeadline
// }
//
//
// template (value) MobilityProcedureSubscription m_ams_subscription (
// in SubscriptionType p_subscriptionType := PX_SUBSCRIPTION_TYPE,
// in JSON.AnyURI p_callbackReference,
// in template (omit) JSON.AnyURI p_links := omit,
// in template (omit) FilterCriteria p_filterCriteria := omit,
// in template (omit) TimeStamp p_expiryDeadline := omit
//
// ) := {
// subscriptionType := p_subscriptionType ,
// callbackReference := p_callbackReference,
// links := p_links,
// filterCriteria := p_filterCriteria,
// expiryDeadline := p_expiryDeadline
// }
//
//
//
// template (value) MobilityProcedureSubscription mw_mobility_procedure_notification (
// in template (omit) SubscriptionType p_subscriptionType := omit,
// in JSON.AnyURI p_callbackReference,
// in template (omit) JSON.AnyURI p_links := omit,
// in template (omit) FilterCriteria p_filterCriteria := omit,
// in template (omit) TimeStamp p_expiryDeadline := omit
//
// ) := {
// subscriptionType := p_subscriptionType ,
// callbackReference := p_callbackReference,
// links := p_links,
// filterCriteria := p_filterCriteria,
// expiryDeadline := p_expiryDeadline
// }
//
// template (value) MobilityProcedureSubscriptionError m_ams_subscription_error (
// in SubscriptionType p_subscriptionType,
// in JSON.AnyURI p_callbackReference,
// in template (omit) JSON.AnyURI p_links := omit,
// in template (omit) FilterCriteria p_filterCriteria := omit,
// in template (omit) TimeStamp p_expiryDeadline := omit
//
// ) := {
// subscriptionType := p_subscriptionType,
// callbackReference := p_callbackReference,
// links := p_links,
// filterCriteria := p_filterCriteria,
// expiryDeadline := p_expiryDeadline
// }
//
// template (present) MobilityProcedureSubscription mw_ams_subscription (
// in SubscriptionType p_subscriptionType,
// in template (omit) JSON.AnyURI p_callbackReference := omit,
// in template (omit) JSON.AnyURI p_links := omit,
// in template (omit) FilterCriteria p_filterCriteria := omit,
// in template (omit) TimeStamp p_expiryDeadline := omit
// ) := {
// subscriptionType := p_subscriptionType ,
// callbackReference := p_callbackReference,
// links := p_links,
// filterCriteria := p_filterCriteria,
// expiryDeadline := p_expiryDeadline
// }
//
// template (present) ExpiryNotification mw_expire_notification (
// in template (omit) TimeStamp p_timestamp := omit,
// in template (omit) JSON.AnyURI p_links := omit,
// in TimeStamp p_expiryDeadline
// ) := {
// timeStamp := p_timestamp,
// links := p_links,
// expiryDeadline := p_expiryDeadline
// }
//
//
//
// template (value) ProblemDetails m_problem_details(
// in JSON.String p_type,
// in JSON.String p_title,
// in UInt32 p_status,
// in JSON.String p_detail,
// in JSON.String p_instance
// ) := {
// type_ := p_type,
// title := p_title,
// status := p_status,
// detail := p_detail,
// instance := p_instance
// } // End of template m_problem_details
//
// template (present) ProblemDetails mw_problem_details(
// template (present) JSON.String p_type := ?,
// template (present) JSON.String p_title := ?,
// template (present) UInt32 p_status := ?,
// template (present) JSON.String p_detail := ?,
// template (present) JSON.String p_instance := ?
// ) := {
// type_ := p_type,
// title := p_title,
// status := p_status,
// detail := p_detail,
// instance := p_instance
// } // End of template mw_problem_details
} // End of module LocationAPI_Templates
module MeoPkgm_TypesAndValues {
// JSON
import from JSON all;
// LibCommon
import from LibCommon_BasicTypesAndValues all;
type record AppPkg {
JSON.String appPkgName,
JSON.String appPkgVersion,
JSON.String checksum,
JSON.String appPkgPath
}
type record AppPkgWithError {
JSON.String appPkgVersion,
JSON.String checksum,
JSON.String appPkgPath
}
type record of OnboardedAppPkgInfo OnboardedAppPkgInfoList;
type record OnboardedAppPkgInfo {
JSON.String appPkgId,
JSON.String appName,
JSON.String appDVersion,
JSON.String checksum,
OperationalState operationalState,
UsageState usageState
}
type enumerated AppPkgOperation {
DISABLE,
ENABLE,
ABORT
}
type enumerated OperationalState {
ENABLED,
DISABLED,
DELETION_PENDING
}
type enumerated UsageState {
IN_USE,
NOT_IN_USE
}
type enumerated SubscriptionType {
ON_BOARDING,
OP_CHANGE
}
type enumerated SubscriptionTypeWithError {
ONBOARDING,
OP_CHANGE
}
type record of AppPkgSubscriptionInfo AppPkgSubscriptionInfoList;
type record AppPkgSubscriptionInfo {
JSON.String subscriptionId,
SubscriptionType subscriptionType,
JSON.AnyURI callbackUri
}
type record AppPkgSubscription {
JSON.AnyURI callbackUri,
SubscriptionType subscriptionType
}
type record AppPkgSubscriptionWithError {
JSON.AnyURI callbackUri,
SubscriptionTypeWithError subscriptionType
}
type enumerated NotificationType {
ON_BOARDING,
OP_CHANGE
}
type record AppPkgNotification {
NotificationType notificationType,
JSON.String subscriptionId,
//@TODO: links should be named _links but getting error.
//@TODO: links shuld be a record, but cannot contain self cause self is a key for ttnc
JSON.AnyURI links
}
//
//
//type record of AppMobilityServiceInfo AppMobilityServiceInfos;
//type record AppMobilityServiceInfo {
// RegistrationInfos registeredAppMobilityService ,
// String appMobilityServiceId
//}
//
//type record of RegistrationInfo RegistrationInfos;
//type record RegistrationInfo {
// ServiceConsumerId serviceConsumerId,
// DeviceInformations deviceInformation optional,
// UInt32 expiryTime optional
//}
//
//
//
//
//
//type record of ServiceConsumerId ServiceConsumerIds;
//type record ServiceConsumerId {
// String appInstanceId optional,
// String mepId optional
//}
//
//// Erroneous parameter: appInstance should be appInstanceId
//type record of ServiceConsumer ServiceConsumers;
//type record ServiceConsumer {
// String appInstance optional,
// String mepId optional
//}
//
//type record of DeviceInformation DeviceInformations;
//type record DeviceInformation {
// String associateId
//}
//
//
//type JSON.AnyURI links;
//
//type enumerated SubscriptionType {
// MobilityProcedureSubscription,
// AdjacentAppInfoSubscription
//}
//
//type record Subscription {
// JSON.AnyURI href,
// SubscriptionType subscriptionType
//}
//
//
//type record of AmsSubscriptionLinkList AmsSubscriptionLinkLists;
//type record AmsSubscriptionLinkList {
// JSON.AnyURI links,
// Subscription subscription
//}
//
//
//type record MobilityProcedureSubscriptionError {
// SubscriptionType subscriptionType,
// JSON.AnyURI callbackReference,
// JSON.AnyURI links optional,
// FilterCriteria filterCriteria,
// TimeStamp expiryDeadline optional
//}
//
//
//
//
//type record of MobilityProcedureSubscription MobilityProcedureSubscriptions;
//type record MobilityProcedureSubscription {
// SubscriptionType subscriptionType,
// JSON.AnyURI callbackReference,
// JSON.AnyURI links optional,
// FilterCriteria filterCriteria,
// TimeStamp expiryDeadline optional
//}
//
//type enumerated MobilityStatusType {
// INTERHOST_MOVEOUT_TRIGGERED,
// TARGET_APPINST_CONFIRMED,
// TARGET_TRAFFIC_RULE_ACTIVATED,