LibItsPki_EncdecDeclarations.ttcn 6.11 KB
Newer Older
1
2
module LibItsPki_EncdecDeclarations {
    
garciay's avatar
garciay committed
3
  // LibIts
Yann Garcia's avatar
Yann Garcia committed
4
  import from IEEE1609dot2BaseTypes language "ASN.1:1997" all;
garciay's avatar
garciay committed
5
6
  import from EtsiTs102941BaseTypes language "ASN.1:1997" all;
  import from EtsiTs102941TypesEnrolment language "ASN.1:1997" all;
7
8
  import from EtsiTs102941TypesAuthorization language "ASN.1:1997" all;
  import from EtsiTs102941TypesAuthorizationValidation language "ASN.1:1997" all;
9
  import from EtsiTs102941MessagesCa language "ASN.1:1997" all;
garciay's avatar
garciay committed
10
  import from EtsiTs103097Module language "ASN.1:1997" all;
11
  
garciay's avatar
garciay committed
12
  import from LibItsSecurity_TypesAndValues all;
13
    
14
  external function fx_enc_EtsiTs102941Data(in EtsiTs102941MessagesCa.EtsiTs102941Data p_etsi_ts_102941_data) return bitstring
garciay's avatar
garciay committed
15
16
17
  with {extension "prototype(convert) encode(PER)"}


18
  external function fx_dec_EtsiTs102941Data(inout bitstring b, out EtsiTs102941MessagesCa.EtsiTs102941Data p_etsi_ts_102941_data)return integer
garciay's avatar
garciay committed
19
20
  with {extension "prototype(sliding) decode(PER)"}
  
21
22
23
24
25
26
27
  external function fx_enc_EtsiTs102941DataContent(in EtsiTs102941MessagesCa.EtsiTs102941DataContent p_etsi_ts_102941_data) return bitstring
  with {extension "prototype(convert) encode(PER)"}


  external function fx_dec_EtsiTs102941DataContent(inout bitstring b, out EtsiTs102941MessagesCa.EtsiTs102941DataContent p_etsi_ts_102941_data)return integer
  with {extension "prototype(sliding) decode(PER)"}
  
garciay's avatar
garciay committed
28
29
30
31
32
33
34
  /**
   * @desc Encoding function for EtsiTs102941TypesEnrolment InnerEcRequest
   * @param p The certificate to encode
   * @return The encode message in OER format
   */
  external function fx_enc_InnerEcRequest(in EtsiTs102941TypesEnrolment.InnerEcRequest p) return bitstring
  with {extension "prototype(convert) encode(PER)"}
35
    
garciay's avatar
garciay committed
36
37
  external function fx_dec_InnerEcRequest(inout bitstring b, out EtsiTs102941TypesEnrolment.InnerEcRequest p) return integer
  with {extension "prototype(sliding) decode(PER)"}
38
    
garciay's avatar
garciay committed
39
40
41
42
43
44
45
  /**
   * @desc Encoding function for EtsiTs102941TypesEnrolment InnerEcResponse
   * @param p The certificate to encode
   * @return The encode message in OER format
   */
  external function fx_enc_InnerEcResponse(in EtsiTs102941TypesEnrolment.InnerEcResponse p) return bitstring
  with {extension "prototype(convert) encode(PER)"}
garciay's avatar
garciay committed
46
    
garciay's avatar
garciay committed
47
48
  external function fx_dec_InnerEcResponse(inout bitstring b, out EtsiTs102941TypesEnrolment.InnerEcResponse p) return integer
  with {extension "prototype(sliding) decode(PER)"}
49
    
Yann Garcia's avatar
Yann Garcia committed
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
  /**
   * @desc Encoding function for EtsiTs102941TypesAuthorization InnerAtRequest
   * @param p The certificate to encode
   * @return The encode message in OER format
   */
  external function fx_enc_InnerAtRequest(in EtsiTs102941TypesAuthorization.InnerAtRequest p) return bitstring
  with {extension "prototype(convert) encode(PER)"}
    
  external function fx_dec_InnerAtRequest(inout bitstring b, out EtsiTs102941TypesAuthorization.InnerAtRequest p) return integer
  with {extension "prototype(sliding) decode(PER)"}
    
  /**
   * @desc Encoding function for EtsiTs102941TypesAuthorization InnerAtResponse
   * @param p The certificate to encode
   * @return The encode message in OER format
   */
  external function fx_enc_InnerAtResponse(in EtsiTs102941TypesAuthorization.InnerAtResponse p) return bitstring
  with {extension "prototype(convert) encode(PER)"}
    
  external function fx_dec_InnerAtResponse(inout bitstring b, out EtsiTs102941TypesAuthorization.InnerAtResponse p) return integer
  with {extension "prototype(sliding) decode(PER)"}
    
72
73
74
75
76
77
78
79
80
81
82
  /**
   * @desc Encoding function for EtsiTs102941TypesAuthorization SharedAtRequest
   * @param p The certificate to encode
   * @return The encode message in OER format
   */
  external function fx_enc_SharedAtRequest(in EtsiTs102941TypesAuthorization.SharedAtRequest p) return bitstring
  with {extension "prototype(convert) encode(PER)"}
    
  external function fx_dec_SharedAtRequest(inout bitstring b, out EtsiTs102941TypesAuthorization.SharedAtRequest p) return integer
  with {extension "prototype(sliding) decode(PER)"}
    
garciay's avatar
garciay committed
83
84
85
86
87
88
89
90
91
92
93
  /**
   * @desc Encoding function for EtsiTs102941TypesAuthorizationValidation AuthorizationValidationRequest
   * @param p The certificate to encode
   * @return The encode message in OER format
   */
  external function fx_enc_AuthorizationValidationRequest(in EtsiTs102941TypesAuthorizationValidation.AuthorizationValidationRequest p) return bitstring
  with {extension "prototype(convert) encode(PER)"}
    
  external function fx_dec_AuthorizationValidationRequest(inout bitstring b, out EtsiTs102941TypesAuthorizationValidation.AuthorizationValidationRequest p) return integer
  with {extension "prototype(sliding) decode(PER)"}
    
Yann Garcia's avatar
Yann Garcia committed
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
  /**
   * @desc Encoding function for EtsiTs102941BaseTypes PublicKeys
   * @param p The certificate to encode
   * @return The encode message in OER format
   */
  external function fx_enc_PublicKeys(in EtsiTs102941BaseTypes.PublicKeys p) return bitstring
  with {extension "prototype(convert) encode(PER)"}
    
  external function fx_dec_PublicKeys(inout bitstring b, out EtsiTs102941BaseTypes.PublicKeys p) return integer
  with {extension "prototype(sliding) decode(PER)"}
    
  /**
   * @desc Encoding function for IEEE1609dot2BaseTypes PublicVerificationKey
   * @param p The certificate to encode
   * @return The encode message in OER format
   */
  external function fx_enc_PublicVerificationKey(in IEEE1609dot2BaseTypes.PublicVerificationKey p) return bitstring
  with {extension "prototype(convert) encode(PER)"}
    
  external function fx_dec_PublicVerificationKey(inout bitstring b, out IEEE1609dot2BaseTypes.PublicVerificationKey p) return integer
  with {extension "prototype(sliding) decode(PER)"}
    
  /**
   * @desc Encoding function for IEEE1609dot2BaseTypes PublicEncryptionKey
   * @param p The certificate to encode
   * @return The encode message in OER format
   */
  external function fx_enc_PublicEncryptionKey(in IEEE1609dot2BaseTypes.PublicEncryptionKey p) return bitstring
  with {extension "prototype(convert) encode(PER)"}
    
  external function fx_dec_PublicEncryptionKey(inout bitstring b, out IEEE1609dot2BaseTypes.PublicEncryptionKey p) return integer
  with {extension "prototype(sliding) decode(PER)"}
    
127
} // End of module LibItsPki_EncdecDeclarations