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/AppEnablementAPI
  import from AppEnablementAPI_Pics all;
  
  // LibMec
  import from LibMec_Pics all;
  
  // AtsMec
  import from AtsMec_LocationAPI_TestCases all;
  import from AtsMec_UEidentityAPI_TestCases all;
  import from AtsMec_RadioNodeLocationAPI_TestCases all;
  import from AtsMec_RnisAPI_TestCases all;
  import from AtsMec_BwManagementAPI_TestCases all;
  import from AtsMec_AppEnablementAPI_TestCases all;
  
  control {
    
    if (PICS_MEC_PLAT and PICS_SERVICES) {
      if (PICS_UE_IDENTITY_API_SUPPORTED) {
        execute(TC_MEC_SRV_UETAG_001_OK());
        execute(TC_MEC_SRV_UETAG_001_BR());
        execute(TC_MEC_SRV_UETAG_001_NF());
        execute(TC_MEC_SRV_UETAG_002_OK());
        execute(TC_MEC_SRV_UETAG_002_BR());
        execute(TC_MEC_SRV_UETAG_002_PF());
      }
      if (PICS_LOCATION_API_SUPPORTED) {
        execute(TC_MEC_SRV_UELOC_001_OK());
        execute(TC_MEC_SRV_UELOC_001_BR());
        execute(TC_MEC_SRV_UELOC_001_NF());
        
        execute(TC_MEC_SRV_UELOCSUB_001_OK());
        execute(TC_MEC_SRV_UELOCSUB_001_BR());
        execute(TC_MEC_SRV_UELOCSUB_002_OK());
        execute(TC_MEC_SRV_UELOCSUB_002_NF());
        
        execute(TC_MEC_SRV_UETRACKSUB_001_OK());
        execute(TC_MEC_SRV_UETRACKSUB_001_BR());
        execute(TC_MEC_SRV_UETRACKSUB_002_OK());
        execute(TC_MEC_SRV_UETRACKSUB_002_NF());
        
        execute(TC_MEC_SRV_UEINFLOOK_001_OK());
        execute(TC_MEC_SRV_UEINFLOOK_001_BR());
        execute(TC_MEC_SRV_UEINFLOOK_001_NF());
        
        execute(TC_MEC_SRV_UEINFSUB_001_OK());
        execute(TC_MEC_SRV_UEINFSUB_001_BR());
        execute(TC_MEC_SRV_UEINFSUB_002_OK());
        execute(TC_MEC_SRV_UEINFSUB_002_NF());
        
        execute(TC_MEC_PLAT_RLOC_001_OK());
      }
      
      if (PICS_ENABLE_APP_API_SUPPORTED) {
        execute(TC_MEC_SRV_TRANS_001_OK());
        execute(TC_MEC_SRV_TRAF_001_OK());
        execute(TC_MEC_SRV_TRAF_002_OK());
        execute(TC_MEC_SRV_TRAF_003_OK());
        execute(TC_MEC_SRV_TRAF_001_NF());
      }
    }

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

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

} // End of module AtsMec_TestControl