AtsMec_TestControl.ttcn

module AtsMec_TestControl {
  
  // LibMec_LocationAPI
  import from LocationAPI_Pics all;
  // LibMec_UEidentityAPI
  import from UEidentityAPI_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;
  
  control {
    
    if (PICS_ME_APP_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());
      }
    }
  }

} // End of module AtsMec_TestControl