Test cases for sections 7.6.5 and 7.6.6

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:7.5.2, Verify that defivation by list is converted to record of

 ** @purpose  9:7.5.2, Verify that derivation by list is converted to record of

 ** @verdict  pass accept, ttcn3verdict:pass

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

// The following requirements are tested:

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:7.5.2, Verify transformantion of list containing union content

 ** @purpose  9:7.5.2, Verify transformation of list containing union content

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Pos_070502_derivation_by_list_005 {

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:7.6.5.1, Verify that choice content with nested elements is correctly transformed

 ** @verdict  pass accept, ttcn3verdict:pass

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

// The following requirements are tested:

// Nested elements shall be mapped as fields of the enframing TTCN-3 union or 

// record of union field(see clause 7.6.5) according to clause 7.3.

module Pos_07060501_choice_with_nested_elements_001 {

   import from schema_Pos_07060501_choice_with_nested_elements_001 language "XSD" all;

   template MyType m_msg := { 

      choice := {

	     foo := 1

      }

   };

//#TC

}

<?xml version="1.0" encoding="utf-8"?>

<ns:MyType xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ns="schema:Pos_07060501_choice_with_nested_elements_001">

 <foo>1</foo>

</ns:MyType>

 No newline at end of file

<?xml version="1.0" encoding="UTF-8"?>

<schema xmlns="http://www.w3.org/2001/XMLSchema"

  targetNamespace="schema:Pos_07060501_choice_with_nested_elements_001"

  xmlns:ns="schema:Pos_07060501_choice_with_nested_elements_001">

  <element name="MyType">

	<complexType>

		<choice>

			<element name="foo" type="integer"/>

			<element name="bar" type="float"/>

		</choice>

	</complexType>

  </element>

</schema>