LibItsHttp_TestSystem.ttcn 1 KB
Newer Older
garciay's avatar
garciay committed
/**
 *    @author   ETSI / STF545
 *    @version  $URL$
 *              $ID:$
 *    @desc     This module provides the test system used by ITS HTTP based protocols.
 *    @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.
 *    @see      ETSI TS 103 478
 */
module LibItsHttp_TestSystem {
  
  // LibCommon
  import from LibCommon_Sync all;
  import from LibCommon_Time all;
  
  // LibItsHttp
  import from LibItsHttp_TypesAndValues all;
  
  type port HttpPort message {
      inout HttpMessage;
  }
  
  type component HttpComponent extends SelfSyncComp {
    port HttpPort httpPort;
    timer tc_ac := PX_TAC;
  } // End of component HttpComponent
  
garciay's avatar
garciay committed
    type component HttpTestAdapter {
        port HttpPort httpPort;
    } // End of component TestAdapter
    
garciay's avatar
garciay committed
} // End of module LibItsHttp_TestSystem