clauses 6.4.1 and 6.4.3 added

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.4.1 Verify that decimal type shall be translated to TTCN-3 as a plain float

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Pos_060401_decimal_001 {

    import from schema_Pos_060401_decimal_001 language "XSD" all;

    template E1 m_msg := -5.0;

//#TC 

}

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

<e1el

    xmlns="schema:Pos_060401_decimal_001"

>-5.0</e1el>

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

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

  targetNamespace="schema:Pos_060401_decimal_001"

  xmlns:types="schema:Pos_060401_decimal_001">

    <simpleType name="e1">

        <restriction base="decimal"/>

    </simpleType>

	<element name="e1el" type="types:e1"/></schema>

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.4.3 Verify that double type shall be translated to TTCN-3 as an IEEE754double as defined in clause D.2.1.4 of ES 201 873 1 [1]:

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Pos_060403_double_001 {

    import from schema_Pos_060403_double_001 language "XSD" all;

    template E1 m_msg := 1.23E9;

//#TC 

}

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

<e1el

    xmlns="schema:Pos_060403_double_001"

>1.23E9</e1el>