Loading 06_built_in_data_types/0601_mapping_of_facets/060101_length/Neg_060101_length_001/Neg_060101_length_001.ttcn_ 0 → 100644 +13 −0 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.1.1, Verify that a length-restricted XSD type shall be mapped to a corresponding length restricted TTCN 3 type. ** @verdict fail reject ***************************************************/ module Neg_060101_length_001 { import from schema_Neg_060101_length_001 language "XSD" all; template E1 m_msg := {"A","B","C","D"}; //length is 3 //#TC } 06_built_in_data_types/0601_mapping_of_facets/060101_length/Neg_060101_length_001/Neg_060101_length_001.xsd 0 → 100644 +11 −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:Neg_060101_length_001" xmlns:types="schema:Neg_060101_length_001"> <simpleType name="e1"> <restriction base="NMTOKENS"> <length value="3"/> </restriction> </simpleType> <element name="e1el" type="types:e1"/> </schema> 06_built_in_data_types/0601_mapping_of_facets/060101_length/Pos_060101_length_001/Pos_060101_length_001.ttcn_ 0 → 100644 +13 −0 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.1.1, Verify that a length-restricted XSD type shall be mapped to a corresponding length restricted TTCN 3 type. ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ module Pos_060101_length_001 { import from schema_Pos_060101_length_001 language "XSD" all; template E1 m_msg := "length_010"; //#TC } 06_built_in_data_types/0601_mapping_of_facets/060101_length/Pos_060101_length_001/Pos_060101_length_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_060101_length_001" >length_010</e1el> 06_built_in_data_types/0601_mapping_of_facets/060101_length/Pos_060101_length_001/Pos_060101_length_001.xsd 0 → 100644 +11 −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_060101_length_001" xmlns:types="schema:Pos_060101_length_001"> <simpleType name="e1"> <restriction base="string"> <length value="10"/> </restriction> </simpleType> <element name="e1el" type="types:e1"/> </schema> Loading
06_built_in_data_types/0601_mapping_of_facets/060101_length/Neg_060101_length_001/Neg_060101_length_001.ttcn_ 0 → 100644 +13 −0 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.1.1, Verify that a length-restricted XSD type shall be mapped to a corresponding length restricted TTCN 3 type. ** @verdict fail reject ***************************************************/ module Neg_060101_length_001 { import from schema_Neg_060101_length_001 language "XSD" all; template E1 m_msg := {"A","B","C","D"}; //length is 3 //#TC }
06_built_in_data_types/0601_mapping_of_facets/060101_length/Neg_060101_length_001/Neg_060101_length_001.xsd 0 → 100644 +11 −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:Neg_060101_length_001" xmlns:types="schema:Neg_060101_length_001"> <simpleType name="e1"> <restriction base="NMTOKENS"> <length value="3"/> </restriction> </simpleType> <element name="e1el" type="types:e1"/> </schema>
06_built_in_data_types/0601_mapping_of_facets/060101_length/Pos_060101_length_001/Pos_060101_length_001.ttcn_ 0 → 100644 +13 −0 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.1.1, Verify that a length-restricted XSD type shall be mapped to a corresponding length restricted TTCN 3 type. ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ module Pos_060101_length_001 { import from schema_Pos_060101_length_001 language "XSD" all; template E1 m_msg := "length_010"; //#TC }
06_built_in_data_types/0601_mapping_of_facets/060101_length/Pos_060101_length_001/Pos_060101_length_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_060101_length_001" >length_010</e1el>
06_built_in_data_types/0601_mapping_of_facets/060101_length/Pos_060101_length_001/Pos_060101_length_001.xsd 0 → 100644 +11 −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_060101_length_001" xmlns:types="schema:Pos_060101_length_001"> <simpleType name="e1"> <restriction base="string"> <length value="10"/> </restriction> </simpleType> <element name="e1el" type="types:e1"/> </schema>