ItsPki_TestSystem.ttcn

/**
 *  @author     ETSI / STF545
 *  @version    $URL$
 *              $Id$
 *  @desc       Module containing t fest system description for the ITS PKI ATS
 *  @copyright   ETSI Copyright Notification
 *               No part may be reproduced except as authorized by written permission.
 *               The copyright and the foregoing restriction extend to reproduction in all media.
 *               All rights reserved.
 *
 */
module ItsPki_TestSystem {
    
//    // LibItsGeoNetworking
//    import from LibItsPki_TestSystem all;
//    import from LibItsGeoNetworking_TestSystem all;
//    
//    type component ItsPkiSystem {
//        port http;
//    } // End of component ItsPkiSystem
//    
//    type component ItsPkiItssSystem {
//        port LibItsGeoNetworking_TestSystem.AdapterControlPort acPort;
//        port GeoNetworkingPort geoNetworkingPort;
//    } // End of component ItsPkiSystem
    
} // End of module ItsPki_TestSystem