New tests

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.1.10, Verify that INF (negative infinity) or NaN (not-a-number), this type shall not be translated to TTCN-3

 ** @verdict  fail reject

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

module Neg_060110_maxexclusive_001 {

    import from schema_Neg_060110_maxexclusive_001 language "XSD" all;

//#TC 

}

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

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

  targetNamespace="schema:Neg_060110_maxexclusive_001"

  xmlns:types="schema:Neg_060110_maxexclusive_001">

	<simpleType name="e1">

		<restriction base="float">

			<maxExclusive value="-INF" />

		</restriction>

	</simpleType>

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

</schema>

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.1.10, Verify mapping of a maxExclusive facet applied to a type, which is derivative of integer

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Pos_060110_maxexclusive_001 {

    import from schema_Pos_060110_maxexclusive_001 language "XSD" all;

    template E1 m_msg := 99;

//#TC 

}

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

<e1el

    xmlns="schema:Pos_060110_maxexclusive_001"

>99</e1el>

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

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

  targetNamespace="schema:Pos_060110_maxexclusive_001"

  xmlns:types="schema:Pos_060110_maxexclusive_001">

    <simpleType name="e1">

        <restriction base="positiveInteger">

        <maxExclusive value="100"/>

    </restriction>

    </simpleType>

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

</schema>