new tests for part 6.3.1.X

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.3.2, Verify that the integer type shall be translated to TTCN-3 as the range-restricted integer

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Pos_060302_positive_integer_001 {

    import from schema_Pos_060302_positive_integer_001 language "XSD" all;

    template E1 m_msg := 2147483647;

//#TC 

}

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

<e1el

    xmlns="schema:Pos_060302_positive_integer_001"

>2147483647</e1el>

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

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

  targetNamespace="schema:Pos_060302_positive_integer_001"

  xmlns:types="schema:Pos_060302_positive_integer_001">

    <simpleType name="e1">

        <restriction base="positiveInteger"/>

    </simpleType>

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

</schema>

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.3.3, Verify that the non positive integer type shall be translated to TTCN-3 as the range-restricted integer

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Pos_060303_non_positive_integer_001 {

    import from schema_Pos_060303_non_positive_integer_001 language "XSD" all;

    template E1 m_msg := -2147483648;

//#TC 

}

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

<e1el

    xmlns="schema:Pos_060303_non_positive_integer_001"

>-2147483648</e1el>