ttcn/Http/LibItsHttp_BinaryMessageBodyTypes.ttcn

@@ -15,9 +15,18 @@ module LibItsHttp_BinaryMessageBodyTypes {
    * In accordance with your TTCN-3 module LibItsHttp_XMLTypes, you have to change the BinaryBody typing.
    */
   // TODO Add here your custom binary import
+  // 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;
   
   type union BinaryBody {
     // TODO Add here your custom variants
+    InnerEcRequest     innerEcRequest,
+    InnerEcResponse    innerEcResponse,
     octetstring        raw
   } with {
     variant ""

ttcn/Http/LibItsHttp_BinaryTemplates.ttcn

@@ -14,6 +14,13 @@ module LibItsHttp_BinaryTemplates {
   import from LibItsHttp_BinaryMessageBodyTypes all;
     
   // TODO Add here your custom binary import 
+  // 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;
   
   template (value) BinaryBody m_binary_body_raw(
                                                 in template (value) octetstring p_raw
@@ -28,5 +35,22 @@ module LibItsHttp_BinaryTemplates {
   } // End of template mw_binary_body_raw
   
   // TODO Add here your custom binary template
+  template (value) BinaryBody m_binary_body_innerEcRequest(
+                                                           in template (value) InnerEcRequest p_innerEcRequest
+  ) := {
+    innerEcRequest := p_innerEcRequest
+  } // End of template m_binary_body_innerEcRequest
+
+  template (present) BinaryBody mw_binary_body_innerEcRequest(
+                                                              template (present) InnerEcRequest p_innerEcRequest := ?
+  ) := {
+    innerEcRequest := p_innerEcRequest
+  } // End of template mw_binary_body_innerEcRequest
+  
+  template (present) BinaryBody mw_binary_body_innerEcResponse(
+                                                               template (present) InnerEcResponse p_innerEcResponse := ?
+  ) := {
+    innerEcResponse := p_innerEcResponse
+  } // End of template mw_binary_body_innerEcResponse
   
 } // End of module LibItsHttp_BinaryTemplates

ttcn/Pki/LibItsPki_Templates.ttcn

@@ -102,7 +102,16 @@ module LibItsPki_Templates {
       requestHash  := p_requestHash,
       responseCode := ok,
       certificate  := p_certificate
-    } // End of template m_innerEcResponse
+    } // End of template m_innerEcResponse_ok
+    
+    template (present) InnerEcResponse mw_innerEcResponse_ok(
+                                                             template (present) Oct16 p_requestHash := ?,
+                                                             template (present) EtsiTs103097Certificate p_certificate := ?
+    ) := {
+      requestHash  := p_requestHash,
+      responseCode := ok,
+      certificate  := p_certificate
+    } // End of template mw_innerEcResponse_ok
     
     template (value) InnerEcResponse m_innerEcResponse_ko(
                                                           in template (value) Oct16 p_requestHash,
@@ -111,8 +120,16 @@ module LibItsPki_Templates {
       requestHash  := p_requestHash,
       responseCode := p_responseCode,
       certificate  := omit
-    } // End of template m_innerEcResponse
+    } // End of template m_innerEcResponse_ko
     
+    template (present) InnerEcResponse mw_innerEcResponse_ko(
+                                                             template (present) Oct16 p_requestHash := ?,
+                                                             template (present) EnrolmentResponseCode p_responseCode := complement(ok)
+    ) := {
+      requestHash  := p_requestHash,
+      responseCode := p_responseCode,
+      certificate  := *
+    } // End of template mw_innerEcResponse_ko