Test cases for 6.4.2, 6.8, 6, 7.1.1, 7.1.5, 7.1.7 (preATS version)

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.4.2, Verify conversion of XSD float type

 ** @verdict  pass accept, ttcn3verdict:pass

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

// The following requirements are tested:

// The float type shall be translated to TTCN-3 as an IEEE754float as defined in

// clause D.2.1.4 of ES 201 873-1 [1]

module Pos_060402_float_001 {

   import from schema_Pos_060402_float_001 language "XSD" all;

   template MyType m_msg := 3.14;

//#TC

}

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

<ns:MyType xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ns="schema:Pos_060402_float_001">3.14</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_060402_float_001"

  xmlns:ns="schema:Pos_060402_float_001">

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

</schema>

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.8, Verify conversion of anySimpleType

 ** @verdict  pass accept, ttcn3verdict:pass

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

// The following requirements are tested:

// The XSD anySimpleType can be considered as the base type of all primitive 

// data types. The anySimpleType shall be translated as an XML compatible 

// restricted subtype of the universal charstring.

module Pos_0608_anytype_and_anysimpletype_types_001 {

   import from schema_Pos_0608_anytype_and_anysimpletype_types_001 language "XSD" all;

   template MyType m_msg := "test";

//#TC

}

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

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

 No newline at end of file