Loading ATS/06_built_in_data_types/0601_mapping_of_facets/060101_length/Neg_060101_length_001/Neg_060101_length_001.ttcn +6 −2 Original line number Diff line number Diff line Loading @@ -12,6 +12,9 @@ module Neg_060101_length_001 { type universal charstring Raw; type universal charstring XsdFile; type record of XsdFile XsdFileList; type port P message { inout all; } Loading @@ -19,7 +22,8 @@ module Neg_060101_length_001 { port P p; } external function matchFile(Raw p_textToMatch, charstring p_filePath, out charstring p_matchError) return boolean; 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_Neg_060101_length_001() runs on C system C { var Raw v_rcv; Loading @@ -28,7 +32,7 @@ module Neg_060101_length_001 { p.send(m_msg); alt { [] p.check(receive(Raw:?) -> value v_rcv) { if (matchFile(v_rcv, "Neg_060101_length_001.xml", v_matchError)) { if (matchFile(v_rcv, "Neg_060101_length_001.xml", { "Neg_060101_length_001.xsd" }, v_matchError)) { alt { [] p.receive(m_msg) { setverdict(pass); Loading ATS/06_built_in_data_types/0601_mapping_of_facets/060101_length/Neg_060101_length_001/Neg_060101_length_001.xsd +2 −2 Original line number Diff line number Diff line Loading @@ -2,10 +2,10 @@ <schema xmlns="http://www.w3.org/2001/XMLSchema" targetNamespace="schema:Neg_060101_length_001" xmlns:types="schema:Neg_060101_length_001"> <simpleType name="e1"> <simpleType name="t1"> <restriction base="NMTOKENS"> <length value="3"/> </restriction> </simpleType> <element name="e1el" type="types:e1"/> <element name="e1" type="types:t1"/> </schema> ATS/06_built_in_data_types/0601_mapping_of_facets/060101_length/Pos_060101_length_001/Pos_060101_length_001.ttcn +6 −2 Original line number Diff line number Diff line Loading @@ -12,6 +12,9 @@ module Pos_060101_length_001 { type universal charstring Raw; type universal charstring XsdFile; type record of XsdFile XsdFileList; type port P message { inout all; } Loading @@ -19,7 +22,8 @@ module Pos_060101_length_001 { port P p; } external function matchFile(Raw p_textToMatch, charstring p_filePath, out charstring p_matchError) return boolean; 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_060101_length_001() runs on C system C { var Raw v_rcv; Loading @@ -28,7 +32,7 @@ module Pos_060101_length_001 { p.send(m_msg); alt { [] p.check(receive(Raw:?) -> value v_rcv) { if (matchFile(v_rcv, "Pos_060101_length_001.xml", v_matchError)) { if (matchFile(v_rcv, "Pos_060101_length_001.xml", { "Pos_060101_length_001.xsd" }, v_matchError)) { alt { [] p.receive(m_msg) { setverdict(pass); Loading ATS/06_built_in_data_types/0601_mapping_of_facets/060101_length/Pos_060101_length_001/Pos_060101_length_001.xsd +2 −2 Original line number Diff line number Diff line Loading @@ -2,10 +2,10 @@ <schema xmlns="http://www.w3.org/2001/XMLSchema" targetNamespace="schema:Pos_060101_length_001" xmlns:types="schema:Pos_060101_length_001"> <simpleType name="e1"> <simpleType name="t1"> <restriction base="string"> <length value="10"/> </restriction> </simpleType> <element name="e1el" type="types:e1"/> <element name="e1" type="types:t1"/> </schema> ATS/06_built_in_data_types/0601_mapping_of_facets/060101_length/Pos_060101_length_002/Pos_060101_length_002.ttcn +6 −2 Original line number Diff line number Diff line Loading @@ -12,6 +12,9 @@ module Pos_060101_length_002 { type universal charstring Raw; type universal charstring XsdFile; type record of XsdFile XsdFileList; type port P message { inout all; } Loading @@ -19,7 +22,8 @@ module Pos_060101_length_002 { port P p; } external function matchFile(Raw p_textToMatch, charstring p_filePath, out charstring p_matchError) return boolean; 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_060101_length_002() runs on C system C { var Raw v_rcv; Loading @@ -28,7 +32,7 @@ module Pos_060101_length_002 { p.send(m_msg); alt { [] p.check(receive(Raw:?) -> value v_rcv) { if (matchFile(v_rcv, "Pos_060101_length_002.xml", v_matchError)) { if (matchFile(v_rcv, "Pos_060101_length_002.xml", { "Pos_060101_length_002.xsd" }, v_matchError)) { alt { [] p.receive(m_msg) { setverdict(pass); Loading Loading
ATS/06_built_in_data_types/0601_mapping_of_facets/060101_length/Neg_060101_length_001/Neg_060101_length_001.ttcn +6 −2 Original line number Diff line number Diff line Loading @@ -12,6 +12,9 @@ module Neg_060101_length_001 { type universal charstring Raw; type universal charstring XsdFile; type record of XsdFile XsdFileList; type port P message { inout all; } Loading @@ -19,7 +22,8 @@ module Neg_060101_length_001 { port P p; } external function matchFile(Raw p_textToMatch, charstring p_filePath, out charstring p_matchError) return boolean; 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_Neg_060101_length_001() runs on C system C { var Raw v_rcv; Loading @@ -28,7 +32,7 @@ module Neg_060101_length_001 { p.send(m_msg); alt { [] p.check(receive(Raw:?) -> value v_rcv) { if (matchFile(v_rcv, "Neg_060101_length_001.xml", v_matchError)) { if (matchFile(v_rcv, "Neg_060101_length_001.xml", { "Neg_060101_length_001.xsd" }, v_matchError)) { alt { [] p.receive(m_msg) { setverdict(pass); Loading
ATS/06_built_in_data_types/0601_mapping_of_facets/060101_length/Neg_060101_length_001/Neg_060101_length_001.xsd +2 −2 Original line number Diff line number Diff line Loading @@ -2,10 +2,10 @@ <schema xmlns="http://www.w3.org/2001/XMLSchema" targetNamespace="schema:Neg_060101_length_001" xmlns:types="schema:Neg_060101_length_001"> <simpleType name="e1"> <simpleType name="t1"> <restriction base="NMTOKENS"> <length value="3"/> </restriction> </simpleType> <element name="e1el" type="types:e1"/> <element name="e1" type="types:t1"/> </schema>
ATS/06_built_in_data_types/0601_mapping_of_facets/060101_length/Pos_060101_length_001/Pos_060101_length_001.ttcn +6 −2 Original line number Diff line number Diff line Loading @@ -12,6 +12,9 @@ module Pos_060101_length_001 { type universal charstring Raw; type universal charstring XsdFile; type record of XsdFile XsdFileList; type port P message { inout all; } Loading @@ -19,7 +22,8 @@ module Pos_060101_length_001 { port P p; } external function matchFile(Raw p_textToMatch, charstring p_filePath, out charstring p_matchError) return boolean; 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_060101_length_001() runs on C system C { var Raw v_rcv; Loading @@ -28,7 +32,7 @@ module Pos_060101_length_001 { p.send(m_msg); alt { [] p.check(receive(Raw:?) -> value v_rcv) { if (matchFile(v_rcv, "Pos_060101_length_001.xml", v_matchError)) { if (matchFile(v_rcv, "Pos_060101_length_001.xml", { "Pos_060101_length_001.xsd" }, v_matchError)) { alt { [] p.receive(m_msg) { setverdict(pass); Loading
ATS/06_built_in_data_types/0601_mapping_of_facets/060101_length/Pos_060101_length_001/Pos_060101_length_001.xsd +2 −2 Original line number Diff line number Diff line Loading @@ -2,10 +2,10 @@ <schema xmlns="http://www.w3.org/2001/XMLSchema" targetNamespace="schema:Pos_060101_length_001" xmlns:types="schema:Pos_060101_length_001"> <simpleType name="e1"> <simpleType name="t1"> <restriction base="string"> <length value="10"/> </restriction> </simpleType> <element name="e1el" type="types:e1"/> <element name="e1" type="types:t1"/> </schema>
ATS/06_built_in_data_types/0601_mapping_of_facets/060101_length/Pos_060101_length_002/Pos_060101_length_002.ttcn +6 −2 Original line number Diff line number Diff line Loading @@ -12,6 +12,9 @@ module Pos_060101_length_002 { type universal charstring Raw; type universal charstring XsdFile; type record of XsdFile XsdFileList; type port P message { inout all; } Loading @@ -19,7 +22,8 @@ module Pos_060101_length_002 { port P p; } external function matchFile(Raw p_textToMatch, charstring p_filePath, out charstring p_matchError) return boolean; 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_060101_length_002() runs on C system C { var Raw v_rcv; Loading @@ -28,7 +32,7 @@ module Pos_060101_length_002 { p.send(m_msg); alt { [] p.check(receive(Raw:?) -> value v_rcv) { if (matchFile(v_rcv, "Pos_060101_length_002.xml", v_matchError)) { if (matchFile(v_rcv, "Pos_060101_length_002.xml", { "Pos_060101_length_002.xsd" }, v_matchError)) { alt { [] p.receive(m_msg) { setverdict(pass); Loading