new tests for clauses: 6.3.1 - 6.3.13 (8c5505a8) · Commits · MTS - Methods for Testing and Specification / TTCN-3_Compiler_Tests / TTCN3_PART9

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

0 → 100644

+54 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 475
		** @version 0.0.1
		** @purpose 9:6.3.1, Verify that the integer type shall be translated to TTCN-3 as a plain integer
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/
		module Pos_060301_integer_001 {

		import from schema_Pos_060301_integer_001 language "XSD" all;

		template E1 m_msg := 2147483647;


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

		external function matchFile(Raw p_textToMatch, charstring p_filePath, out charstring p_matchError) return boolean;

		testcase TC_Pos_060301_integer_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_060301_integer_001.xml", 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_060301_integer_001(), 5.0);
		}

		}

0 → 100644

+4 −0

0 → 100644

+9 −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_060301_integer_001"
		xmlns:types="schema:Pos_060301_integer_001">
		<simpleType name="e1">
		<restriction base="integer"/>
		</simpleType>
		<element name="e1el" type="types:e1"/>
		</schema>

0 → 100644

+54 −0

Original line number	Diff line number	Diff line
		/***************************************************
		** @author STF 475
		** @version 0.0.1
		** @purpose 9:6.3.2, Verify that the integer type shall be translated to TTCN-3 as the range-restricted integer
		** @verdict pass accept, ttcn3verdict:pass
		***************************************************/
		module Pos_060302_positive_integer_001 {

		import from schema_Pos_060302_positive_integer_001 language "XSD" all;

		template E1 m_msg := 2147483647;


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

		external function matchFile(Raw p_textToMatch, charstring p_filePath, out charstring p_matchError) return boolean;

		testcase TC_Pos_060302_positive_integer_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_060302_positive_integer_001.xml", 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_060302_positive_integer_001(), 5.0);
		}

		}

0 → 100644

+4 −0

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