LibItsHttp_TestSystem.ttcn 1.06 KB
Newer Older
Yann Garcia's avatar
Yann Garcia committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
/**
 *    @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 { // FIXME To be rename into HttpTest
    port HttpPort httpPort;
    timer tc_ac := PX_TAC;
    timer tc_noac := PX_TNOAC;
  } // End of component HttpComponent
  
  type component HttpTestAdapter { // FIXME To be rename into HttpTestSystem
    port HttpPort httpPort;
  } // End of component TestAdapter
  
} // End of module LibItsHttp_TestSystem