Commit 6e504185 authored by YannGarcia's avatar YannGarcia
Browse files

Review MEC028 v2.2.1 typing

parent 6aad2ffd
Loading
Loading
Loading
Loading
+4 −1
Original line number Original line Diff line number Diff line
@@ -914,7 +914,7 @@ module AtsMec_WlanInformationAPI_TestCases {
                                                                                             mw_body_json_assoc_sta_subscription(
                                                                                             mw_body_json_assoc_sta_subscription(
                                                                                                                                 mw_assoc_sta_subscription(
                                                                                                                                 mw_assoc_sta_subscription(
                                                                                                                                                                v_assoc_sta_subscription.callbackReference,
                                                                                                                                                                v_assoc_sta_subscription.callbackReference,
                                                                                                                                                                -,
                                                                                                                                                                -, -, -,
                                                                                                                                                                v_assoc_sta_subscription.links
                                                                                                                                                                v_assoc_sta_subscription.links
                                                                                                                                                                )))))) -> value v_response {
                                                                                                                                                                )))))) -> value v_response {
            tc_ac.stop;
            tc_ac.stop;
@@ -1030,6 +1030,7 @@ module AtsMec_WlanInformationAPI_TestCases {
                                                                                                                                             m_ap_identity(
                                                                                                                                             m_ap_identity(
                                                                                                                                                           PX_MAC_ID
                                                                                                                                                           PX_MAC_ID
                                                                                                                                                           ),
                                                                                                                                                           ),
                                                                                                                                             -, -,
                                                                                                                                             v_assoc_sta_subscription.links
                                                                                                                                             v_assoc_sta_subscription.links
                                                                                                                                             ))))));
                                                                                                                                             ))))));
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);
@@ -1045,6 +1046,7 @@ module AtsMec_WlanInformationAPI_TestCases {
                                                                                                                                 mw_assoc_sta_subscription(
                                                                                                                                 mw_assoc_sta_subscription(
                                                                                                                                                           v_assoc_sta_subscription.callbackReference,
                                                                                                                                                           v_assoc_sta_subscription.callbackReference,
                                                                                                                                                           ?,
                                                                                                                                                           ?,
                                                                                                                                                           -, -,
                                                                                                                                                           v_assoc_sta_subscription.links                                                                                                                              )))))) -> value v_response {
                                                                                                                                                           v_assoc_sta_subscription.links                                                                                                                              )))))) -> value v_response {
            tc_ac.stop;
            tc_ac.stop;
            
            
@@ -1100,6 +1102,7 @@ module AtsMec_WlanInformationAPI_TestCases {
                                                                                                                                                     m_ap_identity(
                                                                                                                                                     m_ap_identity(
                                                                                                                                                                   PX_MAC_ID
                                                                                                                                                                   PX_MAC_ID
                                                                                                                                                                   ),
                                                                                                                                                                   ),
                                                                                                                                                     -, -,
                                                                                                                                                     v_assoc_sta_subscription.links
                                                                                                                                                     v_assoc_sta_subscription.links
                                                                                                                                                     ))))));
                                                                                                                                                     ))))));
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);
+132 −72
Original line number Original line Diff line number Diff line
@@ -13,175 +13,235 @@ module WlanInformationAPI_Templates {
  template (omit) ApInfo m_ap_info(
  template (omit) ApInfo m_ap_info(
                                   in template (value) ApIdentity p_apId,
                                   in template (value) ApIdentity p_apId,
                                   in template (omit) UInt32 p_channel := omit,
                                   in template (omit) UInt32 p_channel := omit,
                                   in template (omit) WlanCapabilities p_wlanCap := omit,
                                   in template (omit) WanMetrics p_wanMetrics := omit,
                                   in template (omit) BssLoad p_bssLoad := omit,
                                   in template (omit) BssLoad p_bssLoad := omit,
                                   in template (omit) ExtBssLoad p_extBssLoad := omit,
                                   in template (omit) ExtBssLoad p_extBssLoad := omit,
                                   in template (omit) OBssLoad p_oBssLoad := omit,
                                   in template (omit) ApLocation p_apLocation := omit,
                                   in template (omit) ApLocation p_apLocation := omit,
                                   in template (omit) NeighborReport p_apNeighbor := omit,
                                   in template (omit) TimeStamp p_timeStamp := omit
                                   in template (omit) TimeStamp p_timeStamp := omit
                                   ) := {
                                   ) := {
    timeStamp  := p_timeStamp,
    timeStamp  := p_timeStamp,
    apId       := p_apId,
    apId       := p_apId,
    channel    := p_channel,
    channel    := p_channel,
    wlanCap    := p_wlanCap,
    wanMetrics := p_wanMetrics,
    bssLoad    := p_bssLoad,
    bssLoad    := p_bssLoad,
    extBssLoad := p_extBssLoad,
    extBssLoad := p_extBssLoad,
    apLocation := p_apLocation,
    oBssLoad   := p_oBssLoad,
    apNeighbor := p_apNeighbor
    apLocation := p_apLocation
  } // End of template m_ap_info
  } // End of template m_ap_info


  template (present) ApInfo mw_ap_info(
  template (present) ApInfo mw_ap_info(
                                       template (present) ApIdentity p_apId := ?,
                                       template (present) ApIdentity p_apId := ?,
                                       template UInt32 p_channel := *,
                                       template UInt32 p_channel := *,
                                       template WlanCapabilities p_wlanCap := *,
                                       template WanMetrics p_wanMetrics := *,
                                       template BssLoad p_bssLoad := *,
                                       template BssLoad p_bssLoad := *,
                                       template ExtBssLoad p_extBssLoad := *,
                                       template ExtBssLoad p_extBssLoad := *,
                                       template OBssLoad p_oBssLoad := *,
                                       template ApLocation p_apLocation := *,
                                       template ApLocation p_apLocation := *,
                                       template NeighborReport p_apNeighbor := *,
                                       template TimeStamp p_timeStamp := *
                                       template TimeStamp p_timeStamp := *
                                       ) := {
                                       ) := {
    timeStamp  := p_timeStamp,
    timeStamp  := p_timeStamp,
    apId       := p_apId,
    apId       := p_apId,
    channel    := p_channel,
    channel    := p_channel,
    wlanCap    := p_wlanCap,
    wanMetrics := p_wanMetrics,
    bssLoad    := p_bssLoad,
    bssLoad    := p_bssLoad,
    extBssLoad := p_extBssLoad,
    extBssLoad := p_extBssLoad,
    apLocation := p_apLocation,
    oBssLoad   := p_oBssLoad,
    apNeighbor := p_apNeighbor
    apLocation := p_apLocation
  } // End of template mw_ap_info
  } // End of template mw_ap_info


  template (omit) StaInfo m_sta_info(
  template (omit) StaInfo m_sta_info(
                                     in template (value) ApIdentity p_apId,
                                     in template (value) StaIdentity p_staId,
                                     in template (omit) UInt32 p_channel := omit,
                                     in template (omit) UInt32 p_channel := omit,
                                     in template (omit) ApAssociated p_apAssociated := omit,
                                     in template (omit) ApAssociated p_apAssociated := omit,
                                     in template (omit) Rssi p_rssi := omit,
                                     in template (omit) Rssi p_rssi := omit,
                                     in template (omit) StaDataRate p_staDataRate := omit,
                                     in template (omit) StaDataRate p_staDataRate := omit,
                                     in template (omit) StaStatistics p_staStatistics := omit,
                                     in template (omit) StaStatistics p_staStatistics := omit,
                                     in template (omit) BeaconReport p_beaconReport := omit,
                                     in template (omit) BeaconReport p_beaconReport := omit,
                                     in template (omit) NeighborReport p_neighborReport := omit,
                                     in template (omit) ChannelLoad p_channelLoad := omit,
                                     in template (omit) TimeStamp p_timeStamp := omit
                                     in template (omit) TimeStamp p_timeStamp := omit
                                     ) := {
                                     ) := {
    timeStamp      := p_timeStamp,
    timeStamp      := p_timeStamp,
    apId          := p_apId,
    staId          := p_staId,
    channel        := p_channel,
    channel        := p_channel,
    apAssociated   := p_apAssociated,
    apAssociated   := p_apAssociated,
    rssi           := p_rssi,
    rssi           := p_rssi,
    staDataRate    := p_staDataRate,
    staDataRate    := p_staDataRate,
    staStatistics  := p_staStatistics,
    staStatistics  := p_staStatistics,
    beaconReport  := p_beaconReport
    beaconReport   := p_beaconReport,
    neighborReport := p_neighborReport,
    channelLoad    := p_channelLoad
  } // End of template m_sta_info
  } // End of template m_sta_info


  template (present) StaInfo mw_sta_info(
  template (present) StaInfo mw_sta_info(
                                         template (present) ApIdentity p_apId := ?,
                                         template (present) StaIdentity p_staId := ?,
                                         template UInt32 p_channel := ?,
                                         template UInt32 p_channel := *,
                                         template ApAssociated p_apAssociated := ?,
                                         template ApAssociated p_apAssociated := *,
                                         template Rssi p_rssi := ?,
                                         template Rssi p_rssi := *,
                                         template StaDataRate p_staDataRate := ?,
                                         template StaDataRate p_staDataRate := *,
                                         template StaStatistics p_staStatistics := ?,
                                         template StaStatistics p_staStatistics := *,
                                         template BeaconReport p_beaconReport := ?,
                                         template BeaconReport p_beaconReport := *,
                                         template TimeStamp p_timeStamp := ?
                                         template NeighborReport p_neighborReport := *,
                                         template ChannelLoad p_channelLoad := *,
                                         template TimeStamp p_timeStamp := *
                                         ) := {
                                         ) := {
    timeStamp      := p_timeStamp,
    timeStamp      := p_timeStamp,
    apId          := p_apId,
    staId          := p_staId,
    channel        := p_channel,
    channel        := p_channel,
    apAssociated   := p_apAssociated,
    apAssociated   := p_apAssociated,
    rssi           := p_rssi,
    rssi           := p_rssi,
    staDataRate    := p_staDataRate,
    staDataRate    := p_staDataRate,
    staStatistics  := p_staStatistics,
    staStatistics  := p_staStatistics,
    beaconReport  := p_beaconReport
    beaconReport   := p_beaconReport,
    neighborReport := p_neighborReport,
    channelLoad    := p_channelLoad
  } // End of template mw_sta_info
  } // End of template mw_sta_info


  template (omit) AssocStaSubscription m_assoc_sta_subscription(
  template (omit) AssocStaSubscription m_assoc_sta_subscription(
                                                                in template (value) JSON.AnyURI p_callbackReference,
                                                                in template (value) JSON.AnyURI p_callbackReference,
                                                                in template (value) ApIdentity p_apId,
                                                                in template (value) ApIdentity p_apId,
                                                                in template (omit) JSON.Bool p_requestTestNotification := omit,
                                                                in template (omit) WebsockNotifConfig p_websockNotifConfig := omit,
                                                                in template (omit) LinkTypes p_links := omit,
                                                                in template (omit) LinkTypes p_links := omit,
                                                                in template (omit) UInt8 p_notificationPeriod := omit,
                                                                in template (omit) NotificationEvent p_notificationEvent := omit,
                                                                in template (omit) TimeStamp p_expiryDeadline := omit
                                                                in template (omit) TimeStamp p_expiryDeadline := omit
                                                                ) := {
                                                                ) := {
    subscriptionType        := "AssocStaSubscription",
    subscriptionType        := "AssocStaSubscription",
    callbackReference       := p_callbackReference,
    callbackReference       := p_callbackReference,
    requestTestNotification := p_requestTestNotification,
    websockNotifConfig      := p_websockNotifConfig,
    links                   := p_links,
    links                   := p_links,
    apId                    := p_apId,
    apId                    := p_apId,
    notificationPeriod      := p_notificationPeriod,
    notificationEvent       := p_notificationEvent,
    expiryDeadline          := p_expiryDeadline
    expiryDeadline          := p_expiryDeadline
  } // End of template m_assoc_sta_subscription
  } // End of template m_assoc_sta_subscription


  template (omit) AssocStaSubscription m_assoc_sta_subscription_invalid(
  template (omit) AssocStaSubscription m_assoc_sta_subscription_invalid(
                                                                        in template (value) JSON.AnyURI p_callbackReference,
                                                                        in template (value) JSON.AnyURI p_callbackReference,
                                                                        in template (value) ApIdentity p_apId,
                                                                        in template (value) ApIdentity p_apId,
                                                                        in template (omit) JSON.Bool p_requestTestNotification := omit,
                                                                        in template (omit) WebsockNotifConfig p_websockNotifConfig := omit,
                                                                        in template (omit) LinkTypes p_links := omit,
                                                                        in template (omit) LinkTypes p_links := omit,
                                                                        in template (omit) UInt8 p_notificationPeriod := omit,
                                                                        in template (omit) NotificationEvent p_notificationEvent := omit,
                                                                        in template (omit) TimeStamp p_expiryDeadline := omit
                                                                        in template (omit) TimeStamp p_expiryDeadline := omit
                                                                        ) := {
                                                                        ) := {
    subscriptionType        := "InvalidAssocStaSubscription",
    subscriptionType        := "InvalidAssocStaSubscription",
    callbackReference       := p_callbackReference,
    callbackReference       := p_callbackReference,
    requestTestNotification := p_requestTestNotification,
    websockNotifConfig      := p_websockNotifConfig,
    links                   := p_links,
    links                   := p_links,
    apId                    := p_apId,
    apId                    := p_apId,
    notificationPeriod      := p_notificationPeriod,
    notificationEvent       := p_notificationEvent,
    expiryDeadline          := p_expiryDeadline
    expiryDeadline          := p_expiryDeadline
  } // End of template m_assoc_sta_subscription_invalid
  } // End of template m_assoc_sta_subscription_invalid


  template (present) AssocStaSubscription mw_assoc_sta_subscription(
  template (present) AssocStaSubscription mw_assoc_sta_subscription(
                                                                    template (present) JSON.AnyURI p_callbackReference := ?,
                                                                    template (present) JSON.AnyURI p_callbackReference := ?,
                                                                    template (present) ApIdentity p_apId := ?,
                                                                    template (present) ApIdentity p_apId := ?,
                                                                    template JSON.Bool p_requestTestNotification := *,
                                                                    template WebsockNotifConfig p_websockNotifConfig := *,
                                                                    template LinkTypes p_links := *,
                                                                    template LinkTypes p_links := *,
                                                                    template UInt8 p_notificationPeriod := *,
                                                                    template NotificationEvent p_notificationEvent := *,
                                                                    template TimeStamp p_expiryDeadline := *
                                                                    template TimeStamp p_expiryDeadline := *
                                                                    ) := {
                                                                    ) := {
    subscriptionType        := "AssocStaSubscription",
    subscriptionType        := "AssocStaSubscription",
    callbackReference       := p_callbackReference,
    callbackReference       := p_callbackReference,
    requestTestNotification := p_requestTestNotification,
    websockNotifConfig      := p_websockNotifConfig,
    links                   := p_links,
    links                   := p_links,
    apId                    := p_apId,
    apId                    := p_apId,
    notificationPeriod      := p_notificationPeriod,
    notificationEvent       := p_notificationEvent,
    expiryDeadline          := p_expiryDeadline
    expiryDeadline          := p_expiryDeadline
  } // End of template mw_assoc_sta_subscription
  } // End of template mw_assoc_sta_subscription


  template (omit) StaDataRateSubscription m_sta_data_rate_subscription(
  template (omit) StaDataRateSubscription m_sta_data_rate_subscription(
                                                                       in template (value) JSON.AnyURI p_callbackReference,
                                                                       in template (value) JSON.AnyURI p_callbackReference,
                                                                       in template (value) StaIdentities p_staId,
                                                                       in template (value) StaIdentities p_staId,
                                                                       in template (omit) JSON.Bool p_requestTestNotification := omit,
                                                                       in template (omit) WebsockNotifConfig p_websockNotifConfig := omit,
                                                                       in template (omit) LinkTypes p_links := omit,
                                                                       in template (omit) LinkTypes p_links := omit,
                                                                       in template (omit) UInt8 p_notificationPeriod := omit,
                                                                       in template (omit) NotificationEvent p_notificationEvent := omit,
                                                                       in template (omit) TimeStamp p_expiryDeadline := omit
                                                                       in template (omit) TimeStamp p_expiryDeadline := omit
                                                                       ) := {
                                                                       ) := {
    subscriptionType        := "StaDataRateSubscription",
    subscriptionType        := "StaDataRateSubscription",
    callbackReference       := p_callbackReference,
    callbackReference       := p_callbackReference,
    requestTestNotification := p_requestTestNotification,
    websockNotifConfig      := p_websockNotifConfig,
    links                   := p_links,
    links                   := p_links,
    staId                   := p_staId,
    staId                   := p_staId,
    notificationPeriod      := p_notificationPeriod,
    notificationEvent       := p_notificationEvent,
    expiryDeadline          := p_expiryDeadline
    expiryDeadline          := p_expiryDeadline
  } // End of template m_sta_data_rate_subscription
  } // End of template m_sta_data_rate_subscription


  template (omit) StaDataRateSubscription m_sta_data_rate_subscription_invalid(
  template (omit) StaDataRateSubscription m_sta_data_rate_subscription_invalid(
                                                                               in template (value) JSON.AnyURI p_callbackReference,
                                                                               in template (value) JSON.AnyURI p_callbackReference,
                                                                               in template (value) StaIdentities p_staId,
                                                                               in template (value) StaIdentities p_staId,
                                                                               in template (omit) JSON.Bool p_requestTestNotification := omit,
                                                                               in template (omit) WebsockNotifConfig p_websockNotifConfig := omit,
                                                                               in template (omit) LinkTypes p_links := omit,
                                                                               in template (omit) LinkTypes p_links := omit,
                                                                               in template (omit) UInt8 p_notificationPeriod := omit,
                                                                               in template (omit) NotificationEvent p_notificationEvent := omit,
                                                                               in template (omit) TimeStamp p_expiryDeadline := omit
                                                                               in template (omit) TimeStamp p_expiryDeadline := omit
                                                                               ) := {
                                                                               ) := {
    subscriptionType        := "InvalidStaDataRateSubscription",
    subscriptionType        := "InvalidStaDataRateSubscription",
    callbackReference       := p_callbackReference,
    callbackReference       := p_callbackReference,
    requestTestNotification := p_requestTestNotification,
    websockNotifConfig      := p_websockNotifConfig,
    links                   := p_links,
    links                   := p_links,
    staId                   := p_staId,
    staId                   := p_staId,
    notificationPeriod      := p_notificationPeriod,
    notificationEvent       := p_notificationEvent,
    expiryDeadline          := p_expiryDeadline
    expiryDeadline          := p_expiryDeadline
  } // End of template m_sta_data_rate_subscription_invalid
  } // End of template m_sta_data_rate_subscription_invalid


  template (present) StaDataRateSubscription mw_sta_data_rate_subscription(
  template (present) StaDataRateSubscription mw_sta_data_rate_subscription(
                                                                           template (present) JSON.AnyURI p_callbackReference := ?,
                                                                           template (present) JSON.AnyURI p_callbackReference := ?,
                                                                           template (present) StaIdentities p_staId := ?,
                                                                           template (present) StaIdentities p_staId := ?,
                                                                           template JSON.Bool p_requestTestNotification := *,
                                                                           template WebsockNotifConfig p_websockNotifConfig := *,
                                                                           template LinkTypes p_links := *,
                                                                           template LinkTypes p_links := *,
                                                                           template UInt8 p_notificationPeriod := *,
                                                                           template NotificationEvent p_notificationEvent := *,
                                                                           template TimeStamp p_expiryDeadline := *
                                                                           template TimeStamp p_expiryDeadline := *
                                                                           ) := {
                                                                           ) := {
    subscriptionType        := "StaDataRateSubscription",
    subscriptionType        := "StaDataRateSubscription",
    callbackReference       := p_callbackReference,
    callbackReference       := p_callbackReference,
    requestTestNotification := p_requestTestNotification,
    websockNotifConfig      := p_websockNotifConfig,
    links                   := p_links,
    links                   := p_links,
    staId                   := p_staId,
    staId                   := p_staId,
    notificationPeriod      := p_notificationPeriod,
    notificationEvent       := p_notificationEvent,
    expiryDeadline          := p_expiryDeadline
    expiryDeadline          := p_expiryDeadline
  } // End of template mw_sta_data_rate_subscription
  } // End of template mw_sta_data_rate_subscription


  template (omit) SubscriptionLinkList m_subscription_link_list(
  template (omit) SubscriptionLinkList m_subscription_link_list(
                                                                in template (value) LinkTypes p_links,
                                                                in template (value) LinkTypes p_links,
                                                                in template (omit) AssocStaSubscriptionList p_assocStaSubscription := omit,
                                                                in template (omit) Subscription p_subscription := omit
                                                                in template (omit) StaDataRateSubscriptionList p_staDataRateSubscription := omit
                                                                ) := {
                                                                ) := {
    links        := p_links,
    links        := p_links,
    assocStaSubscription    := p_assocStaSubscription,
    subscription := p_subscription
    staDataRateSubscription := p_staDataRateSubscription
  } // End of template m_subscription_link_list
  } // End of template m_subscription_link_list


  template (present) SubscriptionLinkList mw_subscription_link_list(
  template (present) SubscriptionLinkList mw_subscription_link_list(
                                                                    template (present) LinkTypes p_links := ?,
                                                                    template (present) LinkTypes p_links := ?,
                                                                    template AssocStaSubscriptionList p_assocStaSubscription := *,
                                                                    template Subscription p_subscription := *
                                                                    template StaDataRateSubscriptionList p_staDataRateSubscription := *
                                                                    ) := {
                                                                    ) := {
    links        := p_links,
    links        := p_links,
    assocStaSubscription    := p_assocStaSubscription,
    subscription := p_subscription
    staDataRateSubscription := p_staDataRateSubscription
  } // End of template mw_subscription_link_list
  } // End of template mw_subscription_link_list


  template (omit) ApIdentity m_ap_identity(
  template (omit) ApIdentity m_ap_identity(
+343 −75

File changed.

Preview size limit exceeded, changes collapsed.