New tests for clauses 7.4.1, 7.4.2, 7.6.7 (67742838) · Commits · MTS - Methods for Testing and Specification / TTCN-3_Compiler_Tests / TTCN3_PART9

ATS/07_mapping_xsd_components/0701_attributes_of_xsd_component_declarations/070102_ref/Pos_070102_ref_001/Pos_070102_ref_001.ttcn

0 → 100644

+58 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 475
		** @version 0.0.1
		** @purpose 9:T.O.D.O
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/
		module Pos_070102_ref_001 {

		import from schema_Pos_070102_ref_001 language "XSD" all;

		//template E1 m_msg := {};


		type universal charstring Raw;
		type universal charstring XsdFile;
		type record of XsdFile XsdFileList;

		type port P message {
		inout all;
		}
		type component C {
		port P p;
		}

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

		testcase TC_Pos_070102_ref_001() runs on C system C {
		var Raw v_rcv;
		var charstring v_matchError;
		map(self:p, system:p);
		p.send(m_msg);
		alt {
		[] p.check(receive(Raw:?) -> value v_rcv) {
		if (matchFile(v_rcv, "Pos_070102_ref_001.xml", { "Pos_070102_ref_001.xsd" }, v_matchError)) {
		alt {
		[] p.receive(m_msg) {
		setverdict(pass);
		}
		[] p.receive {
		setverdict(fail, "XML decoding failure");
		}
		}
		} else {
		setverdict(fail, v_matchError);
		}
		}
		[] p.receive {
		setverdict(fail, "Raw decoding failure");
		}
		}
		}

		control {
		execute(TC_Pos_070102_ref_001(), 5.0);
		}

		}

ATS/07_mapping_xsd_components/0701_attributes_of_xsd_component_declarations/070102_ref/Pos_070102_ref_001/Pos_070102_ref_001.xml

0 → 100644

+4 −0

Original line number	Diff line number	Diff line
		<?xml version="1.0" encoding="UTF-8"?>
		<e1el
		xmlns="schema:Pos_070102_ref_001"
		>TODO</e1el>

ATS/07_mapping_xsd_components/0701_attributes_of_xsd_component_declarations/070102_ref/Pos_070102_ref_001/Pos_070102_ref_001.xsd

0 → 100644

+8 −0

Original line number	Diff line number	Diff line
		<?xml version="1.0" encoding="UTF-8"?>
		<schema xmlns="http://www.w3.org/2001/XMLSchema"
		targetNamespace="schema:Pos_070102_ref_001"
		xmlns:types="schema:Pos_070102_ref_001">
		<--TODO-->


		</schema>

ATS/07_mapping_xsd_components/0704_attribute_and_attribute_group_definitions/070401_attribute_element_definitions/Pos_070401_attribute_element_definitions_001/Pos_070401_attribute_element_definitions_001.ttcn

0 → 100644

+74 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 475
		** @version 0.0.1
		** @purpose 9:7.4.1, Verify mapping of a globally deﬁned attribute
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/
		module Pos_070401_attribute_element_definitions_001 {

		import from schema_Pos_070401_attribute_element_definitions_001 language "XSD" all;

		template E1 m_msg := {a1:="test", elem := "test1234"};


		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_070401_attribute_element_definitions_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_070401_attribute_element_definitions_001.xml", { "Pos_070401_attribute_element_definitions_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_070401_attribute_element_definitions_001(), 5.0);
		}

		}

ATS/07_mapping_xsd_components/0704_attribute_and_attribute_group_definitions/070401_attribute_element_definitions/Pos_070401_attribute_element_definitions_001/Pos_070401_attribute_element_definitions_001.xml

0 → 100644

+6 −0

Original line number	Diff line number	Diff line
		<?xml version="1.0" encoding="UTF-8"?>
		<e1
		xmlns="schema:Pos_070401_attribute_element_definitions_001"
		a1="test">
		<elem>test1234</elem>
		</e1>

Admin message