Commit 284c847c authored by urbant's avatar urbant
Browse files

Test cases for 7.1.6., 7.1.12, 7.10 (preATS version)

parent eafe373c

06_built_in_data_types/0608_anytype_and_anysimpletype_types/Pos_0608_anytype_and_anysimpletype_types_002/Pos_0608_anytype_and_anysimpletype_types_002.ttcn_

+1 −1
Original line number Diff line number Diff line
@@ -13,7 +13,7 @@ module Pos_0608_anytype_and_anysimpletype_types_002 { 
   import from schema_Pos_0608_anytype_and_anysimpletype_types_002 language "XSD" all;



   template MyType m_msg := {

       attr := {"ns:attr=""abc"""},

       attr := {"schema:Pos_0608_anytype_and_anysimpletype_types_002 attr=""abc"""},

       elem_list := {"<ns:foo>foo</ns:foo>", "<ns:bar>bar</ns:bar>"}

   };

07_mapping_xsd_components/0701_attributes_of_xsd_component_declarations/070106_form/Pos_070106_form_001/Pos_070106_form_001.ttcn_

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:7.1.6, Verify that unqualified attribute form is correctly converted (unqualified attributeFormDefault)

 ** @verdict  pass accept, ttcn3verdict:pass

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

// The following requirements are tested:

// If the value of the form attribute is ... unqualified and no 

// attributeFormQualified encoding instruction is assigned to the corresponding

// TTCN-3 module, the form attribute shall be ignored.



module Pos_070106_form_001 {



   import from schema_Pos_070106_form_001 language "XSD" all;



   template MyType m_msg := {

       foo := {

           attr := "attr",

           base := 5

       }

   };



//#TC



}

07_mapping_xsd_components/0701_attributes_of_xsd_component_declarations/070106_form/Pos_070106_form_001/Pos_070106_form_001.xml

0 → 100644
+4 −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_070106_form_001">

 <foo attr="attr">5</foo>

</ns:MyType>
 
 No newline at end of file

07_mapping_xsd_components/0701_attributes_of_xsd_component_declarations/070106_form/Pos_070106_form_001/Pos_070106_form_001.xsd

0 → 100644
+20 −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_070106_form_001"

  xmlns:ns="schema:Pos_070106_form_001">  

  <element name="MyType">

    <complexType>

      <sequence>

        <element name="foo">

          <complexType>

            <simpleContent>

              <extension base="integer">

                <attribute name="attr" type="string" form="unqualified" />

              </extension>

            </simpleContent>

          </complexType>

        </element>

      </sequence>

    </complexType>

  </element>

</schema>

07_mapping_xsd_components/0701_attributes_of_xsd_component_declarations/070106_form/Pos_070106_form_002/Pos_070106_form_002.ttcn_

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:7.1.6, Verify that unqualified attribute form is correctly converted (qualified attributeFormDefault)

 ** @verdict  pass accept, ttcn3verdict:pass

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

// The following requirements are tested:

// If the value of a form attribute of an XSD attribute declaration is

// unqualified and the attributeFormQualified encoding instruction is attached

// to the target TTCN-3 module ... a "form as unqualified" encoding instruction

// shall be attached to the TTCN-3 field resulted from mapping the given XSD 

// attribute ... declaration.



module Pos_070106_form_002 {



   import from schema_Pos_070106_form_002 language "XSD" all;



   template MyType m_msg := {

       foo := {

           attr := "attr",

           base := 5

       }

   };



//#TC



}