Newer
Older
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
36
37
38
39
40
41
42
43
44
45
46
47
/**
* @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 EtsiTs102941Its_sMessages language "ASN.1:1997" all;
import from EtsiTs102941OfflineDataStructures 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