LibItsPki_TestSystem.ttcn

/**
 *    @author     ETSI / STF545
 *    @version     $URL$
 *                $Id$
 *    @desc        Test System module for ITS PKI
 *    @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 LibItsPki_TestSystem {
    
    // LibItsCommon
    import from LibItsCommon_TestSystem all;
    
    // LibIts
    import from IEEE1609dot2BaseTypes language "ASN.1:1997" all;
    import from IEEE1609dot2 language "ASN.1:1997" all;
    import from EtsiTs102941BaseTypes language "ASN.1:1997" all;
    import from EtsiTs102941TypesEnrolment language "ASN.1:1997" all;
    import from EtsiTs102941MessagesItss language "ASN.1:1997" all;
    import from EtsiTs103097Module language "ASN.1:1997" all;
    
    // LibItsGeoNetworking
    import from LibItsGeoNetworking_TestSystem all;
    
    // LibItsHttp
    import from LibItsHttp_TestSystem all;
    
    type component ItsPkiSystem extends ItsGeoNetworkingSystem {
        port HttpPort httpPort;
    } // End of component ItsPkiSystem
    
    type component ItsPki extends ItsGeoNetworking {
        port HttpPort httpPort;
    } // End of component ItsPki
    
} // End of module LibItsPki_TestSystem