AtsMec_TestControl.ttcn

module AtsMec_TestControl {
  
  // LibMec/LocationAPI
  import from LocationAPI_Pics all;
  // LibMec/UEidentityAPI
  import from UEidentityAPI_Pics all;
  // LibMec/RnisAPI
  import from RnisAPI_Pics all;
  // LibMec/BwManagementAPI
  import from BwManagementAPI_Pics all;
  
  // LibMec
  import from LibMec_Pics all;
  
  // AtsMec
  import from AtsMec_LocationAPI_TestCases all;
  import from AtsMec_UEidentityAPI_TestCases all;
  import from AtsMec_UEinformation_TestCases all;
  import from AtsMec_RadioNodeLocationAPI_TestCases all;
  import from AtsMec_RnisAPI_TestCases all;
  import from AtsMec_BwManagementAPI_TestCases all;
  
  control {
    
    if (PICS_MEC_PLAT) {
      if (PICS_LOCATION_API_SUPPORTED) {
        execute(TC_MEC_PLAT_MP1_LOC_BV_001());
      }
      if (PICS_UE_IDENTITY_API_SUPPORTED) {
        execute(TC_MEC_PLAT_UETAG_001_OK());
        execute(TC_MEC_PLAT_UETAG_002_OK());
        execute(TC_MEC_PLAT_UETAG_003_OK());
        execute(TC_MEC_PLAT_UETAG_001_BI());
        execute(TC_MEC_PLAT_UETAG_002_BI());
        execute(TP_MEC_PLAT_UETAG_003_BI());
        execute(TP_MEC_PLAT_UETAG_004_BI());
      }
      if (PICS_LOCATION_API_SUPPORTED) {
        execute(TC_MEC_PLAT_INFLOOK_001_OK());
      }
      if (PICS_LOCATION_API_SUPPORTED) {
        execute(TC_MEC_PLAT_MP1_RLOC_BV_001());
      }
    }

    if (PICS_RNIS) {
      if (PICS_RNIS_ALL_SUBSCRIPTIONS) {
        execute(TC_MEC025_RNIS_SUBSCRIPTION_005());
      }
    }

    if (PICS_BWMANAGEMENT_API_SUPPORTED) {
      execute(TC_MEC_PLAT_MP1_BWA_BV_001());
    }
  } // End of 'control' statement

} // End of module AtsMec_TestControl