tests based on examples from 7.1.4 chapter

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:7.1.4, a list with minOccurs 0 should not be mapped optional in TTCN-3

 ** @verdict  pass reject

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

module Neg_070104_minoccurs_and_maxoccurs_001 {

    import from schema_Neg_070104_minoccurs_and_maxoccurs_001 language "XSD" all;

	// foo_list should not be optional

    template ElemE15b m_msg := {foo_list := omit, bar := 3.0}

//#TC_Neg

}

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

<!-- xmlns="schema:Neg_070104_minoccurs_and_maxoccurs_001" -->

<!-- TODO Generated XML stub -->

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

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

    targetNamespace="schema:Neg_070104_minoccurs_and_maxoccurs_001"

    xmlns:ns="schema:Neg_070104_minoccurs_and_maxoccurs_001">

<!-- The unrestricted case: --> 

	<complexType name="e15b"> 

		<sequence> 

			<element name="foo" type="integer" minOccurs="0" maxOccurs="unbounded"/> 

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

		</sequence> 

	</complexType> 

	<element name="ElemE15b" type="ns:e15b" />

</schema>

 No newline at end of file

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:7.1.4, A restricted length list [5, 10] should not allow less than 5 elements

 ** @verdict  pass reject

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

module Neg_070104_minoccurs_and_maxoccurs_002 {

    import from schema_Neg_070104_minoccurs_and_maxoccurs_002 language "XSD" all;

    template ElemE15c m_msg := {foo_list := {1, 2, 3, 4}, bar := 3.0}

//#TC_Neg

}

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

<!-- xmlns="schema:Neg_070104_minoccurs_and_maxoccurs_002" -->

<!-- TODO Generated XML stub -->