Loading 06_built_in_data_types/0601_mapping_of_facets/060105_enumeration/Neg_060105_enumeration_004/Neg_060105_enumeration_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:6.1.5, disallow enumeration values removed by restriction ** @verdict pass reject ***************************************************/ module Neg_060105_enumeration_004 { import from schema_Neg_060105_enumeration_004 language "XSD" all; template C2 m_msg := uNKNOWN; //#TC_Neg } 06_built_in_data_types/0601_mapping_of_facets/060105_enumeration/Neg_060105_enumeration_004/Neg_060105_enumeration_004.xml 0 → 100644 +2 −0 Original line number Original line Diff line number Diff line <?xml version="1.0" encoding="UTF-8"?> <C2 xmlns="schema:Pos_060105_enumeration_006">UNKNOWN</C2> 06_built_in_data_types/0601_mapping_of_facets/060105_enumeration/Neg_060105_enumeration_004/Neg_060105_enumeration_004.xsd 0 → 100644 +26 −0 Original line number Original line Diff line number Diff line <?xml version="1.0" encoding="UTF-8"?> <schema xmlns="http://www.w3.org/2001/XMLSchema" targetNamespace="schema:Neg_060105_enumeration_004" xmlns:ns="schema:Neg_060105_enumeration_004"> <element name="C"> <simpleType> <restriction base="ns:CType" /> </simpleType> </element> <simpleType name="CType"> <restriction base="string"> <maxLength value="32" /> <enumeration value="B2" /> <enumeration value="UNKNOWN" /> </restriction> </simpleType> <simpleType name="CTypeEnum"> <restriction base="ns:CType" > <enumeration value="B2" /> </restriction> </simpleType> <element name="C2" type="ns:CTypeEnum"/> </schema> No newline at end of file 06_built_in_data_types/0601_mapping_of_facets/060105_enumeration/Pos_060105_enumeration_006/Pos_060105_enumeration_006.ttcn_ 0 → 100644 +14 −0 Original line number Original line Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.1.5, TODO write purpose ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ module Pos_060105_enumeration_006 { import from schema_Pos_060105_enumeration_006 language "XSD" all; template C2 m_msg := b2; //#TC } 06_built_in_data_types/0601_mapping_of_facets/060105_enumeration/Pos_060105_enumeration_006/Pos_060105_enumeration_006.xml 0 → 100644 +2 −0 Original line number Original line Diff line number Diff line <?xml version="1.0" encoding="UTF-8"?> <C2 xmlns="schema:Pos_060105_enumeration_006">B2</C2> Loading
06_built_in_data_types/0601_mapping_of_facets/060105_enumeration/Neg_060105_enumeration_004/Neg_060105_enumeration_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:6.1.5, disallow enumeration values removed by restriction ** @verdict pass reject ***************************************************/ module Neg_060105_enumeration_004 { import from schema_Neg_060105_enumeration_004 language "XSD" all; template C2 m_msg := uNKNOWN; //#TC_Neg }
06_built_in_data_types/0601_mapping_of_facets/060105_enumeration/Neg_060105_enumeration_004/Neg_060105_enumeration_004.xml 0 → 100644 +2 −0 Original line number Original line Diff line number Diff line <?xml version="1.0" encoding="UTF-8"?> <C2 xmlns="schema:Pos_060105_enumeration_006">UNKNOWN</C2>
06_built_in_data_types/0601_mapping_of_facets/060105_enumeration/Neg_060105_enumeration_004/Neg_060105_enumeration_004.xsd 0 → 100644 +26 −0 Original line number Original line Diff line number Diff line <?xml version="1.0" encoding="UTF-8"?> <schema xmlns="http://www.w3.org/2001/XMLSchema" targetNamespace="schema:Neg_060105_enumeration_004" xmlns:ns="schema:Neg_060105_enumeration_004"> <element name="C"> <simpleType> <restriction base="ns:CType" /> </simpleType> </element> <simpleType name="CType"> <restriction base="string"> <maxLength value="32" /> <enumeration value="B2" /> <enumeration value="UNKNOWN" /> </restriction> </simpleType> <simpleType name="CTypeEnum"> <restriction base="ns:CType" > <enumeration value="B2" /> </restriction> </simpleType> <element name="C2" type="ns:CTypeEnum"/> </schema> No newline at end of file
06_built_in_data_types/0601_mapping_of_facets/060105_enumeration/Pos_060105_enumeration_006/Pos_060105_enumeration_006.ttcn_ 0 → 100644 +14 −0 Original line number Original line Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.1.5, TODO write purpose ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ module Pos_060105_enumeration_006 { import from schema_Pos_060105_enumeration_006 language "XSD" all; template C2 m_msg := b2; //#TC }
06_built_in_data_types/0601_mapping_of_facets/060105_enumeration/Pos_060105_enumeration_006/Pos_060105_enumeration_006.xml 0 → 100644 +2 −0 Original line number Original line Diff line number Diff line <?xml version="1.0" encoding="UTF-8"?> <C2 xmlns="schema:Pos_060105_enumeration_006">B2</C2>