Commit 1835a179 authored by pintar's avatar pintar
Browse files

New macro generation

parent 423b94d8

ATS/06_built_in_data_types/0602_string_types/060201_string/Pos_060201_string_001/Pos_060201_string_001.ttcn

+20 −5
Original line number Original line Diff line number Diff line
@@ -10,10 +10,10 @@ module Pos_060201_string_001 { 




    template E1 m_msg := "string";

    template E1 m_msg := "string";







    type universal charstring Raw;

    type universal charstring Raw;

    type universal charstring XsdFile;



    type record of XsdFile XsdFileList;

    type universal charstring File;

    type record of File FileList;





    type port P message {

    type port P message {

        inout all;

        inout all;
@@ -22,18 +22,33 @@ module Pos_060201_string_001 { 
        port P p;

        port P p;

    }

    }





	external function matchFile(Raw p_textToMatch, XsdFile p_referenceXmlFile, XsdFileList p_xsdFileList, out universal charstring p_matchError) return boolean;

	/**

	 * @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_060201_string_001() runs on C system C {

    testcase TC_Pos_060201_string_001() runs on C system C {

        var Raw v_rcv;

        var Raw v_rcv;

        var charstring v_matchError;

        var universal charstring v_matchError;



        map(self:p, system:p);

        map(self:p, system:p);



		// encode the message

        p.send(m_msg);

        p.send(m_msg);



        alt {

        alt {

        	// compare the encoded message with the reference XML file

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

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

            	log("XML message ", v_rcv);

            	log("XML message ", v_rcv);

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

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

                    alt {

                    alt {

                    	// match decoded value to pass test

                        [] p.receive(m_msg) {

                        [] p.receive(m_msg) {

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

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

                        }

                        }

ATS/06_built_in_data_types/0602_string_types/060204_name/Pos_060204_name_001/Pos_060204_name_001.ttcn

+20 −5
Original line number Original line Diff line number Diff line
@@ -10,10 +10,10 @@ module Pos_060204_name_001 { 




    template E1 m_msg := "Name";

    template E1 m_msg := "Name";







    type universal charstring Raw;

    type universal charstring Raw;

    type universal charstring XsdFile;



    type record of XsdFile XsdFileList;

    type universal charstring File;

    type record of File FileList;





    type port P message {

    type port P message {

        inout all;

        inout all;
@@ -22,18 +22,33 @@ module Pos_060204_name_001 { 
        port P p;

        port P p;

    }

    }





	external function matchFile(Raw p_textToMatch, XsdFile p_referenceXmlFile, XsdFileList p_xsdFileList, out universal charstring p_matchError) return boolean;

	/**

	 * @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_060204_name_001() runs on C system C {

    testcase TC_Pos_060204_name_001() runs on C system C {

        var Raw v_rcv;

        var Raw v_rcv;

        var charstring v_matchError;

        var universal charstring v_matchError;



        map(self:p, system:p);

        map(self:p, system:p);



		// encode the message

        p.send(m_msg);

        p.send(m_msg);



        alt {

        alt {

        	// compare the encoded message with the reference XML file

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

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

            	log("XML message ", v_rcv);

            	log("XML message ", v_rcv);

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

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

                    alt {

                    alt {

                    	// match decoded value to pass test

                        [] p.receive(m_msg) {

                        [] p.receive(m_msg) {

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

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

                        }

                        }

ATS/06_built_in_data_types/0603_integer_types/060301_integer/Pos_060301_integer_001/Pos_060301_integer_001.ttcn

+20 −5
Original line number Original line Diff line number Diff line
@@ -10,10 +10,10 @@ module Pos_060301_integer_001 { 




    template E1 m_msg := 2147483647;

    template E1 m_msg := 2147483647;







    type universal charstring Raw;

    type universal charstring Raw;

    type universal charstring XsdFile;



    type record of XsdFile XsdFileList;

    type universal charstring File;

    type record of File FileList;





    type port P message {

    type port P message {

        inout all;

        inout all;
@@ -22,18 +22,33 @@ module Pos_060301_integer_001 { 
        port P p;

        port P p;

    }

    }





	external function matchFile(Raw p_textToMatch, XsdFile p_referenceXmlFile, XsdFileList p_xsdFileList, out universal charstring p_matchError) return boolean;

	/**

	 * @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_060301_integer_001() runs on C system C {

    testcase TC_Pos_060301_integer_001() runs on C system C {

        var Raw v_rcv;

        var Raw v_rcv;

        var charstring v_matchError;

        var universal charstring v_matchError;



        map(self:p, system:p);

        map(self:p, system:p);



		// encode the message

        p.send(m_msg);

        p.send(m_msg);



        alt {

        alt {

        	// compare the encoded message with the reference XML file

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

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

            	log("XML message ", v_rcv);

            	log("XML message ", v_rcv);

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

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

                    alt {

                    alt {

                    	// match decoded value to pass test

                        [] p.receive(m_msg) {

                        [] p.receive(m_msg) {

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

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

                        }

                        }

ATS/06_built_in_data_types/0603_integer_types/060302_positive_integer/Pos_060302_positive_integer_001/Pos_060302_positive_integer_001.ttcn

+20 −5
Original line number Original line Diff line number Diff line
@@ -10,10 +10,10 @@ module Pos_060302_positive_integer_001 { 




    template E1 m_msg := 2147483647;

    template E1 m_msg := 2147483647;







    type universal charstring Raw;

    type universal charstring Raw;

    type universal charstring XsdFile;



    type record of XsdFile XsdFileList;

    type universal charstring File;

    type record of File FileList;





    type port P message {

    type port P message {

        inout all;

        inout all;
@@ -22,18 +22,33 @@ module Pos_060302_positive_integer_001 { 
        port P p;

        port P p;

    }

    }





	external function matchFile(Raw p_textToMatch, XsdFile p_referenceXmlFile, XsdFileList p_xsdFileList, out universal charstring p_matchError) return boolean;

	/**

	 * @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_060302_positive_integer_001() runs on C system C {

    testcase TC_Pos_060302_positive_integer_001() runs on C system C {

        var Raw v_rcv;

        var Raw v_rcv;

        var charstring v_matchError;

        var universal charstring v_matchError;



        map(self:p, system:p);

        map(self:p, system:p);



		// encode the message

        p.send(m_msg);

        p.send(m_msg);



        alt {

        alt {

        	// compare the encoded message with the reference XML file

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

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

            	log("XML message ", v_rcv);

            	log("XML message ", v_rcv);

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

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

                    alt {

                    alt {

                    	// match decoded value to pass test

                        [] p.receive(m_msg) {

                        [] p.receive(m_msg) {

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

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

                        }

                        }

ATS/06_built_in_data_types/0603_integer_types/060303_non_positive_integer/Pos_060303_non_positive_integer_001/Pos_060303_non_positive_integer_001.ttcn

+20 −5
Original line number Original line Diff line number Diff line
@@ -10,10 +10,10 @@ module Pos_060303_non_positive_integer_001 { 




    template E1 m_msg := -2147483648;

    template E1 m_msg := -2147483648;







    type universal charstring Raw;

    type universal charstring Raw;

    type universal charstring XsdFile;



    type record of XsdFile XsdFileList;

    type universal charstring File;

    type record of File FileList;





    type port P message {

    type port P message {

        inout all;

        inout all;
@@ -22,18 +22,33 @@ module Pos_060303_non_positive_integer_001 { 
        port P p;

        port P p;

    }

    }





	external function matchFile(Raw p_textToMatch, XsdFile p_referenceXmlFile, XsdFileList p_xsdFileList, out universal charstring p_matchError) return boolean;

	/**

	 * @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_060303_non_positive_integer_001() runs on C system C {

    testcase TC_Pos_060303_non_positive_integer_001() runs on C system C {

        var Raw v_rcv;

        var Raw v_rcv;

        var charstring v_matchError;

        var universal charstring v_matchError;



        map(self:p, system:p);

        map(self:p, system:p);



		// encode the message

        p.send(m_msg);

        p.send(m_msg);



        alt {

        alt {

        	// compare the encoded message with the reference XML file

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

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

            	log("XML message ", v_rcv);

            	log("XML message ", v_rcv);

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

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

                    alt {

                    alt {

                    	// match decoded value to pass test

                        [] p.receive(m_msg) {

                        [] p.receive(m_msg) {

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

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

                        }

                        }