AtsMec_V2XInformationServiceAPI_TestControl.ttcn

module AtsMec_V2XInformationServiceAPI_TestControl {

  // LibMec/LocationAPI
  import from V2XInformationServiceAPI_Pics all;

  // LibMec
  import from LibMec_Pics all;

  // AtsMec
  import from AtsMec_V2XInformationServiceAPI_TestCases all;

  control {

    if (PICS_MEC_PLAT and PICS_SERVICES) {
    }
  } // End of 'control' statement

} // End of module AtsMec_V2XInformationServiceAPI_TestControl