LibItsPki_TestSystem.ttcn 2.64 KB
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 {
  
  // LibCommon
  import from LibCommon_Sync all;
  import from LibCommon_Time all;
  
  // LibItsCommon
  import from LibItsCommon_TestSystem all;
  import from LibItsCommon_TypesAndValues all;
  import from LibItsExternal_TypesAndValues 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;
  
Yann Garcia's avatar
Yann Garcia committed
  // LibItsHttp
  import from LibItsHttp_TestSystem all;
  
  // LibItsSecurity
  import from LibItsSecurity_TestSystem all;
  
  // LibItsGeoNetworking
  import from LibItsGeoNetworking_TestSystem all;
  
  // LibItsPki
  import from LibItsPki_TypesAndValues all;
  
  /**
   * @desc Adapter control port
   */
  //  type port AdapterControlPort message {
  //    out AcPkiPrimitive;
  //    in AcPkiResponse;
  //  } // End of AdapterControlPort
Yann Garcia's avatar
Yann Garcia committed
  type port PkiPort message {
    inout InnerEcRequest, InnerEcResponse;
  }
  
  type component ItsPkiSystem {
    //    port LibItsPki_TestSystem.AdapterControlPort acPkiPort;
Yann Garcia's avatar
Yann Garcia committed
    port PkiPort pkiPort;
  } // End of component ItsPkiSystem
  
Yann Garcia's avatar
Yann Garcia committed
  type component ItsPkiHttpSystem extends HttpTestAdapter{
  } // End of component ItsPkiHttpSystem
  
  type component ItsPkiItssSystem extends ItsPkiSystem, ItsGeoNetworking {
Yann Garcia's avatar
Yann Garcia committed
  } // End of component ItsPkiItssSystem
  
  type component ItsPki extends ItsSecurityBaseComponent, ItsBaseMtc {
    //    port LibItsPki_TestSystem.AdapterControlPort acPkiPort;
Yann Garcia's avatar
Yann Garcia committed
    port PkiPort pkiPort;
    
    var Certificate vc_eaCertificate;       /** Test Adapter EA certificate */
  } // End of component ItsPki
  
  type component ItsPkiHttp extends ItsSecurityBaseComponent, HttpComponent {
    var Certificate vc_eaCertificate;       /** Test Adapter EA certificate */
  } // End of component ItsPki
  
  type component ItsPkiItss extends ItsGeoNetworking {
Yann Garcia's avatar
Yann Garcia committed
    port PkiPort pkiPort;
    //    port LibItsPki_TestSystem.AdapterControlPort acPkiPort;
  } // End of component ItsPkiItss
  
} // End of module LibItsPki_TestSystem