enum and namespace prefix tests

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.1.5, disallow enumeration values removed by restriction

 ** @verdict  pass reject

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

module Neg_060105_enumeration_004 {

    import from schema_Neg_060105_enumeration_004 language "XSD" all;

    template C2 m_msg := uNKNOWN;

    /**

     * @desc The timeout given in seconds after which the test case will be stopped.

     */

    modulepar float PX_TC_EXECUTION_TIMEOUT := 5.0;

    type universal charstring Raw;

    type port P message {

        inout all;

    }

    type component C {

        port P p;

    }

    testcase TC_Neg_060105_enumeration_004() runs on C system C {

        map(self:p, system:p);

        // encode the message

        p.send(m_msg);

        log("template should either be rejected by compiler or by runtime latest while encoding");

        setverdict(fail, "Invalid template should not be encoded");

        unmap(self:p, system:p);

    }

    control {

        execute(TC_Neg_060105_enumeration_004(), PX_TC_EXECUTION_TIMEOUT);

    }

}

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

<C2 xmlns="schema:Pos_060105_enumeration_006">UNKNOWN</C2>

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

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

    targetNamespace="schema:Neg_060105_enumeration_004"

    xmlns:ns="schema:Neg_060105_enumeration_004">

    <element name="C">

	   <simpleType>

		  <restriction base="ns:CType" />

	   </simpleType>

    </element>

    <simpleType name="CType">

		<restriction base="string">

			<maxLength value="32" />

			<enumeration value="B2" />

			<enumeration value="UNKNOWN" />

		</restriction>

	</simpleType>

	<simpleType name="CTypeEnum">

		<restriction base="ns:CType" >

		  <enumeration value="B2" />

		</restriction>

	</simpleType>

	<element name="C2" type="ns:CTypeEnum"/>

</schema>

 No newline at end of file

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.1.5, TODO write purpose

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Pos_060105_enumeration_006 {

    import from schema_Pos_060105_enumeration_006 language "XSD" all;

    template C2 m_msg := b2;

    /**

     * @desc The timeout given in seconds after which the test case will be stopped.

     */

    modulepar float PX_TC_EXECUTION_TIMEOUT := 5.0;

    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_060105_enumeration_006() 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_060105_enumeration_006.xml", { "Pos_060105_enumeration_006.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_060105_enumeration_006(), PX_TC_EXECUTION_TIMEOUT);

    }

}

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

<C2 xmlns="schema:Pos_060105_enumeration_006">B2</C2>