Skip to content
LibItsPki_TestSystem.ttcn 1.32 KiB
Newer Older
/**
 *    @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;
garciay's avatar
garciay committed
    import from EtsiTs102941BaseTypes language "ASN.1:1997" all;
    import from EtsiTs102941TypesEnrolment language "ASN.1:1997" all;
    import from EtsiTs102941MessagesItss language "ASN.1:1997" all;
filatov's avatar
filatov committed
    import from EtsiTs103097Module language "ASN.1:1997" all;
garciay's avatar
garciay committed
    // LibCam
    import from LibItsCam_TestSystem all;
garciay's avatar
garciay committed
    
    // LibItsHttp
    import from LibItsHttp_TestSystem all;
garciay's avatar
garciay committed
    type component ItsPkiSystem extends ItsCamSystem {
garciay's avatar
garciay committed
        port HttpPort httpPort;
    } // End of component ItsPkiSystem
    
garciay's avatar
garciay committed
    type component ItsPki extends ItsCam {
garciay's avatar
garciay committed
        port HttpPort httpPort;
garciay's avatar
garciay committed
        
    } // End of component ItsPki
    
} // End of module LibItsPki_TestSystem