Test cases for section 7.7

/***************************************************

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:7.7.1, Verify conversion of the any element without namespace attribute

 ** @verdict  pass accept, ttcn3verdict:pass

***************************************************/

// The following requirements are tested:

// The XSD any element shall be translated, like other elements, to a field of 

// the enframing record type or field or union field (see clauses 7.6, 7.6.5 and

// 7.6.6). The type of this field shall be XSD.String and the name of the field

// shall be the result of applying clause 5.2.2 to "elem". Finally the 

// "anyElement..." encoding instruction shall be attached, which shall also 

// specify the namespace wildcards and/or list of namespaces which are allowed 

// or restricted to qualify the given element, in accordance with the namespace 

// attribute of the XSD any element, if present (see details in clause B.3.2).

module Pos_070701_the_any_element_001 {

   import from schema_Pos_070701_the_any_element_001 language "XSD" all;

   template MyType m_msg := {

       elem := "<ns:test>Hello world</ns:test>"

   };

    type universal charstring Raw;

    type universal charstring File;

    type record of File FileList;

    type port P message {

        inout all;

    }

    type component C {

        port P p;

    }

	/**

	 * @desc lexical compare the charstring p_textToMatch with the contents of the reference XML file and returns true if they represent the same XML structure

	 * @param p_textToMatch text to be compared with the UTF-8 contents of the XML file

	 * @param p_referenceXmlFile the XML file

	 * @param p_xsdFileList the list of XSD files

	 * @param p_matchError the error result in case it did not match

	 * @param p_referenceTTCN3File the file of the TTCN-3 test module. This path is used to find the reference XML file relative to this path, by keeping the TTCN-3 code file system independent.

	 * @return true if p_textToMatch and the contents of p_referenceXmlFile represent the same XML structure

	 */

 	external function matchFile(Raw p_textToMatch, File p_referenceXmlFile, FileList p_xsdFileList, out universal charstring p_matchError, File p_referenceTTCN3File := __FILE__) return boolean;

    testcase TC_Pos_070701_the_any_element_001() runs on C system C {

        var Raw v_rcv;

        var universal charstring v_matchError;

        map(self:p, system:p);

		// encode the message

        p.send(m_msg);

        alt {

        	// compare the encoded message with the reference XML file

            []	p.check(receive(Raw:?) -> value v_rcv) {

            	log("XML message ", v_rcv);

                if (matchFile(v_rcv, "Pos_070701_the_any_element_001.xml", { "Pos_070701_the_any_element_001.xsd" }, v_matchError)) {

                    alt {

                    	// match decoded value to pass test

                        [] p.receive(m_msg) {

                        	setverdict(pass, "Decoded value matches encoded template and reference XML");

                        }

                        [] p.receive {

                            setverdict(fail, "XML decoding failure");

                        }

                    }

                } else {

                    setverdict(fail, v_matchError);

                }

            }

            [] p.receive {

                setverdict(fail, "Raw decoding failure");

            }

        }

    }

    control {

        execute(TC_Pos_070701_the_any_element_001(), 5.0);

    }

}

<?xml version="1.0" encoding="utf-8"?>

<ns:MyType xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ns="schema:Pos_070701_the_any_element_001"><ns:test>Hello world</ns:test></ns:MyType>

 No newline at end of file

<?xml version="1.0" encoding="UTF-8"?>

<schema xmlns="http://www.w3.org/2001/XMLSchema"

  targetNamespace="schema:Pos_070701_the_any_element_001"

  xmlns:ns="schema:Pos_070701_the_any_element_001">

  <element name="test" type="string"/>

  <element name="MyType">

    <complexType>

      <sequence>

        <any/>

      </sequence>

    </complexType>

  </element>

</schema>

/***************************************************

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:7.7.1, Verify conversion of the any element with ##any namespace

 ** @verdict  pass accept, ttcn3verdict:pass

***************************************************/

// The following requirements are tested:

// The XSD any element shall be translated, like other elements, to a field of 

// the enframing record type or field or union field (see clauses 7.6, 7.6.5 and

// 7.6.6). The type of this field shall be XSD.String and the name of the field

// shall be the result of applying clause 5.2.2 to "elem". Finally the 

// "anyElement..." encoding instruction shall be attached, which shall also 

// specify the namespace wildcards and/or list of namespaces which are allowed 

// or restricted to qualify the given element, in accordance with the namespace 

// attribute of the XSD any element, if present (see details in clause B.3.2).

module Pos_070701_the_any_element_002 {

   import from schema_Pos_070701_the_any_element_002 language "XSD" all;

   template MyType m_msg := {

       elem := "<ns:test>Hello world</ns:test>"

   };

    type universal charstring Raw;

    type universal charstring File;

    type record of File FileList;

    type port P message {

        inout all;

    }

    type component C {

        port P p;

    }

	/**

	 * @desc lexical compare the charstring p_textToMatch with the contents of the reference XML file and returns true if they represent the same XML structure

	 * @param p_textToMatch text to be compared with the UTF-8 contents of the XML file

	 * @param p_referenceXmlFile the XML file

	 * @param p_xsdFileList the list of XSD files

	 * @param p_matchError the error result in case it did not match

	 * @param p_referenceTTCN3File the file of the TTCN-3 test module. This path is used to find the reference XML file relative to this path, by keeping the TTCN-3 code file system independent.

	 * @return true if p_textToMatch and the contents of p_referenceXmlFile represent the same XML structure

	 */

 	external function matchFile(Raw p_textToMatch, File p_referenceXmlFile, FileList p_xsdFileList, out universal charstring p_matchError, File p_referenceTTCN3File := __FILE__) return boolean;

    testcase TC_Pos_070701_the_any_element_002() runs on C system C {

        var Raw v_rcv;

        var universal charstring v_matchError;

        map(self:p, system:p);

		// encode the message

        p.send(m_msg);

        alt {

        	// compare the encoded message with the reference XML file

            []	p.check(receive(Raw:?) -> value v_rcv) {

            	log("XML message ", v_rcv);

                if (matchFile(v_rcv, "Pos_070701_the_any_element_002.xml", { "Pos_070701_the_any_element_002.xsd" }, v_matchError)) {

                    alt {

                    	// match decoded value to pass test

                        [] p.receive(m_msg) {

                        	setverdict(pass, "Decoded value matches encoded template and reference XML");

                        }

                        [] p.receive {

                            setverdict(fail, "XML decoding failure");

                        }

                    }

                } else {

                    setverdict(fail, v_matchError);

                }

            }

            [] p.receive {

                setverdict(fail, "Raw decoding failure");

            }

        }

    }

    control {

        execute(TC_Pos_070701_the_any_element_002(), 5.0);

    }

}

<?xml version="1.0" encoding="utf-8"?>

<ns:MyType xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ns="schema:Pos_070701_the_any_element_002"><ns:test>Hello world</ns:test></ns:MyType>

 No newline at end of file