Commit 5e8bed6c authored by garciay's avatar garciay
Browse files

STF545: Finalyse first TC

parent 5ebb9134

ttcn/Http/LibItsHttp_XMLTypes.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -6,6 +6,6 @@ module LibItsHttp_XMLTypes { // FIXME To be removed 
   */

  // TODO Add here your custom RFCs import

  

  import from XSD all;

  //import from XSD all;

    

} // End of module LibItsHttp_XMLTypes

ttcn/Http/LibItsHttp_XmlTemplates.ttcn

+2 −2
Original line number Diff line number Diff line
@@ -19,13 +19,13 @@ module LibItsHttp_XmlTemplates { 
  import from LibItsHttp_XMLTypes all;

    

  template (value) XmlBody m_xml_body_raw(

                                          in template (value) octetstring p_raw

                                          in template (value) charstring p_raw

  ) := {

    raw := p_raw

  } // End of template m_xml_body_raw



  template (present) XmlBody mw_xml_body_raw(

                                             template (present) octetstring p_raw := ?

                                             template (present) charstring p_raw := ?

  ) := {

    raw := p_raw

  } // End of template mw_xml_body_raw

ttcn/Pki/LibItsPki_EncdecDeclarations.ttcn

+11 −1
Original line number Diff line number Diff line
@@ -8,7 +8,7 @@ module LibItsPki_EncdecDeclarations { 
    import from LibItsSecurity_TypesAndValues all;

    

    /**

     * @desc Encoding function for EtsiTs103097Certificate certificate

     * @desc Encoding function for EtsiTs102941TypesEnrolment InnerEcRequest

     * @param p The certificate to encode

     * @return The encode message in OER format

     */
@@ -18,5 +18,15 @@ module LibItsPki_EncdecDeclarations { 
    external function fx_dec_InnerEcRequest(inout bitstring b, out EtsiTs102941TypesEnrolment.InnerEcRequest p) return integer

        with {extension "prototype(sliding) decode(PER)"}

    

    /**

     * @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)"}

    

    external function fx_dec_InnerEcResponse(inout bitstring b, out EtsiTs102941TypesEnrolment.InnerEcResponse p) return integer

        with {extension "prototype(sliding) decode(PER)"}

    

} // End of module LibItsPki_EncdecDeclarations

ttcn/Pki/LibItsPki_TestSystem.ttcn

+0 −13
Original line number Diff line number Diff line
@@ -28,11 +28,6 @@ module LibItsPki_TestSystem { 
    // LibItsHttp

    import from LibItsHttp_TestSystem all;

    

    type port PkiPort message {

        in PkiInd;

        out PkiReq;

    } // End of port PkiPort

    

    type component ItsPkiSystem extends ItsGeoNetworkingSystem {

        port HttpPort httpPort;

    } // End of component ItsPkiSystem
@@ -41,12 +36,4 @@ module LibItsPki_TestSystem { 
        port HttpPort httpPort;

    } // End of component ItsPki

    

    type record PkiReq {

        

    } // End of type PkiReq

    

    type record PkiInd {

        

    } // End of type PkiInd

    

} // End of module LibItsPki_TestSystem