Commit 62bc89bf authored by stancakapost's avatar stancakapost
Browse files

new valid and invalid test cases for Annex A types

parent 389a296c

A_ttcn3_module_xsd/Neg_A_ttcn3_module_xsd_001/Neg_A_ttcn3_module_xsd_001.ttcn_

0 → 100644
+14 −0
Original line number Original line Diff line number Diff line 
/***************************************************

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:A, Ensure the builtin XSD type AnySimpleType allows only valid values

 ** @verdict  pass reject

 ***************************************************/

module Neg_A_ttcn3_module_xsd_001 {



	import from XSD all;



	template AnySimpleType m_msg := 1;



//#TC_Neg_type

}

A_ttcn3_module_xsd/Neg_A_ttcn3_module_xsd_002/Neg_A_ttcn3_module_xsd_002.ttcn_

0 → 100644
+14 −0
Original line number Original line Diff line number Diff line 
/***************************************************

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:A, Ensure the builtin XSD type AnyType allows only valid values

 ** @verdict  pass reject

 ***************************************************/

module Neg_A_ttcn3_module_xsd_002 {



	import from XSD all;



	template AnyType m_msg := {omit,{1}}



//#TC_Neg_type

}
 
 No newline at end of file

A_ttcn3_module_xsd/Neg_A_ttcn3_module_xsd_003/Neg_A_ttcn3_module_xsd_003.ttcn_

0 → 100644
+14 −0
Original line number Original line Diff line number Diff line 
/***************************************************

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:A, Ensure the builtin XSD type String allows only valid values

 ** @verdict  pass reject

 ***************************************************/

module Neg_A_ttcn3_module_xsd_003 {



	import from XSD all;



	template String m_msg := 1;



//#TC_Neg_type

}
 
 No newline at end of file

A_ttcn3_module_xsd/Neg_A_ttcn3_module_xsd_004/Neg_A_ttcn3_module_xsd_004.ttcn_

0 → 100644
+14 −0
Original line number Original line Diff line number Diff line 
/***************************************************

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:A, Ensure the builtin XSD type NormalizedString allows only valid values

 ** @verdict  pass reject

 ***************************************************/

module Neg_A_ttcn3_module_xsd_004 {



	import from XSD all;



	template NormalizedString m_msg := 123;



//#TC_Neg_type

}

A_ttcn3_module_xsd/Neg_A_ttcn3_module_xsd_005/Neg_A_ttcn3_module_xsd_005.ttcn_

0 → 100644
+14 −0
Original line number Original line Diff line number Diff line 
/***************************************************

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:A, Ensure the builtin XSD type Token allows only valid values

 ** @verdict  pass reject

 ***************************************************/

module Neg_A_ttcn3_module_xsd_005 {



	import from XSD all;



	template Token m_msg := 123;



//#TC_Neg_type

}
 
 No newline at end of file