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 EtsiTs103097Module language "ASN.1:1997" all;
    import from EtsiTs102941MessagesCa language "ASN.1:1997" all;
    import from EtsiTs102941BaseTypes language "ASN.1:1997" all;
    import from EtsiTs102941TypesEnrolment language "ASN.1:1997" all;
    import from EtsiTs102941TypesAuthorization language "ASN.1:1997" all;
    import from EtsiTs102941TrustLists language "ASN.1:1997" all;
    import from EtsiTs103097Module language "ASN.1:1997" all;
    
    // LibItsPki
    
    type port PkiPort message {
        in PkiInd;
        out PkiReq;
    } // End of port PkiPort
    
    type component ItsPkiSystem {
        port PkiPort pkiPort;
    } // End of component ItsPkiSystem
    
    type component ItsPki extends ItsBaseComponent {
        port PkiPort pkiPort;
    } // End of component ItsPki
    
    type record PkiReq {
        
    } // End of type PkiReq
    
    type record PkiInd {
        
    } // End of type PkiInd
    
} // End of module LibItsPki_TestSystem