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
  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;
  
  control {
    
    if (PICS_PLAT_IUT) {
      if (PICS_LOCATION_API_SUPPORTED) {
        execute(TC_MEC_PLAT_MP1_LOC_BV_001());
      }
      if (PICS_UE_IDENTITY_API_SUPPORTED) {
        execute(TC_MEC_PLAT_MP1_UETAG_BV_001());
        execute(TC_MEC_PLAT_MP1_UETAG_BV_002());
        execute(TC_MEC_PLAT_MP1_UETAG_BV_003());
      }
      if (PICS_LOCATION_API_SUPPORTED) {
        execute(TC_MEC_PLAT_MP1_INF_BV_001());
      }
      if (PICS_LOCATION_API_SUPPORTED) {
        execute(TC_MEC_PLAT_MP1_RLOC_BV_001());
      }
    }

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

} // End of module AtsMec_TestControl