New macro generation (423b94d8) · Commits · MTS - Methods for Testing and Specification / TTCN-3_Compiler_Tests / TTCN3_PART9

ATS/06_built_in_data_types/0601_mapping_of_facets/060101_length/Neg_060101_length_001/Neg_060101_length_001.ttcn

+1 −0

Original line number	Original line	Diff line number	Diff line
	@@ -23,6 +23,7 @@ module Neg_060101_length_001 {
	testcase TC_Neg_060101_length_001() runs on C system C {		testcase TC_Neg_060101_length_001() runs on C system C {
	map(self:p, system:p);		map(self:p, system:p);

			// encode the message
	p.send(m_msg);		p.send(m_msg);
	log("template should either be rejected by compiler or by runtime latest while encoding");		log("template should either be rejected by compiler or by runtime latest while encoding");

ATS/06_built_in_data_types/0601_mapping_of_facets/060101_length/Pos_060101_length_001/Pos_060101_length_001.ttcn

+20 −5

Original line number	Original line	Diff line number	Diff line
	@@ -10,10 +10,10 @@ module Pos_060101_length_001 {

	template E1 m_msg := "length_010";		template E1 m_msg := "length_010";


	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_060101_length_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_060101_length_001() runs on C system C {		testcase TC_Pos_060101_length_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_060101_length_001.xml", { "Pos_060101_length_001.xsd" }, v_matchError)) {		if (matchFile(v_rcv, "Pos_060101_length_001.xml", { "Pos_060101_length_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/0601_mapping_of_facets/060101_length/Pos_060101_length_002/Pos_060101_length_002.ttcn

+20 −5

Original line number	Original line	Diff line number	Diff line
	@@ -10,10 +10,10 @@ module Pos_060101_length_002 {

	template E1 m_msg := {"A","B","C"};		template E1 m_msg := {"A","B","C"};


	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_060101_length_002 {
	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_060101_length_002() runs on C system C {		testcase TC_Pos_060101_length_002() 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_060101_length_002.xml", { "Pos_060101_length_002.xsd" }, v_matchError)) {		if (matchFile(v_rcv, "Pos_060101_length_002.xml", { "Pos_060101_length_002.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/0601_mapping_of_facets/060107_mininclusive/Pos_060107_mininclusive_001/Pos_060107_mininclusive_001.ttcn

+20 −5

Original line number	Original line	Diff line number	Diff line
	@@ -10,10 +10,10 @@ module Pos_060107_mininclusive_001 {

	template E1 m_msg := -5;		template E1 m_msg := -5;


	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_060107_mininclusive_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_060107_mininclusive_001() runs on C system C {		testcase TC_Pos_060107_mininclusive_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_060107_mininclusive_001.xml", { "Pos_060107_mininclusive_001.xsd" }, v_matchError)) {		if (matchFile(v_rcv, "Pos_060107_mininclusive_001.xml", { "Pos_060107_mininclusive_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/0601_mapping_of_facets/060107_mininclusive/Pos_060107_mininclusive_002/Pos_060107_mininclusive_002.ttcn

+20 −5

Original line number	Original line	Diff line number	Diff line
	@@ -10,10 +10,10 @@ module Pos_060107_mininclusive_002 {

	template E1 m_msg := -5.0;		template E1 m_msg := -5.0;


	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_060107_mininclusive_002 {
	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_060107_mininclusive_002() runs on C system C {		testcase TC_Pos_060107_mininclusive_002() 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_060107_mininclusive_002.xml", { "Pos_060107_mininclusive_002.xsd" }, v_matchError)) {		if (matchFile(v_rcv, "Pos_060107_mininclusive_002.xml", { "Pos_060107_mininclusive_002.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");
	}		}

Admin message