Loading 05_mapping_xml_schemas/0502_name_conversion/050202_name_conversion_rules/Pos_050202_name_conversion_rules_020/Pos_050202_name_conversion_rules_020.ttcn_ 0 → 100644 +28 −0 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:5.2.2, Verify that suffix is attached in case of name clash between enumerated items ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ // The following requirements are tested: // Rule l: // If the name being generated is the identifier of an enumeration item // (see clause 6.2.4 of ES 201 873 1 [1]) of an enumerated type, and the // character string generated by the rules in items a) to i) above is // identical to the identifier of another enumeration item previously // generated in the same enumerated type, then a postfix shall be appended // to the character string generated by the above rules. The postfix shall // consist of a "_" (LOW LINE) followed by the canonical lexical // representation (see W3C XML Schema Part 2 [9], clause 2.3.1) of // an integer. This integer shall be the least positive integer such that // the new identifier is different from the identifier in any other // enumeration item already present in that TTCN-3 enumerated type. module Pos_050202_name_conversion_rules_020 { import from schema_Pos_050202_name_conversion_rules_020 language "XSD" all; template MyType m_msg := red_1; //#TC } 05_mapping_xml_schemas/0502_name_conversion/050202_name_conversion_rules/Pos_050202_name_conversion_rules_020/Pos_050202_name_conversion_rules_020.xml 0 → 100644 +2 −0 Original line number Diff line number Diff line <?xml version="1.0" encoding="utf-8"?> <ns:MyType xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ns="schema:Pos_050202_name_conversion_rules_020">red</ns:MyType> No newline at end of file 05_mapping_xml_schemas/0502_name_conversion/050202_name_conversion_rules/Pos_050202_name_conversion_rules_020/Pos_050202_name_conversion_rules_020.xsd 0 → 100644 +15 −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_050202_name_conversion_rules_020" xmlns:ns="schema:Pos_050202_name_conversion_rules_020"> <element name="MyType"> <simpleType> <restriction base="string"> <enumeration value="red"/> <enumeration value="红色red"/> <enumeration value="blue"/> <enumeration value="藍色blue"/> </restriction> </simpleType> </element> </schema> 05_mapping_xml_schemas/0502_name_conversion/050202_name_conversion_rules/Pos_050202_name_conversion_rules_021/Pos_050202_name_conversion_rules_021.ttcn_ 0 → 100644 +20 −0 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:5.2.2, Verify that suffix is attached in case of name clash between enumerated item and keyword ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ // The following requirements are tested: // Rule k: // Enumeration names that are one of the TTCN-3 keywords (see clause A.1.5 // of ES 201 873 1 [1]) ... after applying the postfix to clashing enumeration // names, shall be suffixed by a single "_" (LOW LINE) character. module Pos_050202_name_conversion_rules_021 { import from schema_Pos_050202_name_conversion_rules_021 language "XSD" all; template MyType m_msg := on_; //#TC } 05_mapping_xml_schemas/0502_name_conversion/050202_name_conversion_rules/Pos_050202_name_conversion_rules_021/Pos_050202_name_conversion_rules_021.xml 0 → 100644 +2 −0 Original line number Diff line number Diff line <?xml version="1.0" encoding="utf-8"?> <ns:MyType xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ns="schema:Pos_050202_name_conversion_rules_021">on</ns:MyType> No newline at end of file Loading
05_mapping_xml_schemas/0502_name_conversion/050202_name_conversion_rules/Pos_050202_name_conversion_rules_020/Pos_050202_name_conversion_rules_020.ttcn_ 0 → 100644 +28 −0 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:5.2.2, Verify that suffix is attached in case of name clash between enumerated items ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ // The following requirements are tested: // Rule l: // If the name being generated is the identifier of an enumeration item // (see clause 6.2.4 of ES 201 873 1 [1]) of an enumerated type, and the // character string generated by the rules in items a) to i) above is // identical to the identifier of another enumeration item previously // generated in the same enumerated type, then a postfix shall be appended // to the character string generated by the above rules. The postfix shall // consist of a "_" (LOW LINE) followed by the canonical lexical // representation (see W3C XML Schema Part 2 [9], clause 2.3.1) of // an integer. This integer shall be the least positive integer such that // the new identifier is different from the identifier in any other // enumeration item already present in that TTCN-3 enumerated type. module Pos_050202_name_conversion_rules_020 { import from schema_Pos_050202_name_conversion_rules_020 language "XSD" all; template MyType m_msg := red_1; //#TC }
05_mapping_xml_schemas/0502_name_conversion/050202_name_conversion_rules/Pos_050202_name_conversion_rules_020/Pos_050202_name_conversion_rules_020.xml 0 → 100644 +2 −0 Original line number Diff line number Diff line <?xml version="1.0" encoding="utf-8"?> <ns:MyType xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ns="schema:Pos_050202_name_conversion_rules_020">red</ns:MyType> No newline at end of file
05_mapping_xml_schemas/0502_name_conversion/050202_name_conversion_rules/Pos_050202_name_conversion_rules_020/Pos_050202_name_conversion_rules_020.xsd 0 → 100644 +15 −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_050202_name_conversion_rules_020" xmlns:ns="schema:Pos_050202_name_conversion_rules_020"> <element name="MyType"> <simpleType> <restriction base="string"> <enumeration value="red"/> <enumeration value="红色red"/> <enumeration value="blue"/> <enumeration value="藍色blue"/> </restriction> </simpleType> </element> </schema>
05_mapping_xml_schemas/0502_name_conversion/050202_name_conversion_rules/Pos_050202_name_conversion_rules_021/Pos_050202_name_conversion_rules_021.ttcn_ 0 → 100644 +20 −0 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:5.2.2, Verify that suffix is attached in case of name clash between enumerated item and keyword ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ // The following requirements are tested: // Rule k: // Enumeration names that are one of the TTCN-3 keywords (see clause A.1.5 // of ES 201 873 1 [1]) ... after applying the postfix to clashing enumeration // names, shall be suffixed by a single "_" (LOW LINE) character. module Pos_050202_name_conversion_rules_021 { import from schema_Pos_050202_name_conversion_rules_021 language "XSD" all; template MyType m_msg := on_; //#TC }
05_mapping_xml_schemas/0502_name_conversion/050202_name_conversion_rules/Pos_050202_name_conversion_rules_021/Pos_050202_name_conversion_rules_021.xml 0 → 100644 +2 −0 Original line number Diff line number Diff line <?xml version="1.0" encoding="utf-8"?> <ns:MyType xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ns="schema:Pos_050202_name_conversion_rules_021">on</ns:MyType> No newline at end of file