Test cases for sections 5.1, 5.1.3 and 5.1.4

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:5.1.3, Verify that it is not allowed to import imports from XSD schemas

 ** @verdict  pass accept, ttcn3verdict:pass

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

// The following requirements are tested:

// It is not allowed to import XSD import statements to TTCN-3 (i.e. there is no transitive import

// of XSD import statements as defined for TTCN-3, see clause 8.2.3.7 of ES 201 873-1 [1]). 

module Neg_050103_imports_001 {

   import from schema_Neg_050103_imports_001 language "XSD" { import all };

   template MyType m_msg := 1;

//#TC

}

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

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

  targetNamespace="schema:Neg_050103_imports_001"

  xmlns:ns1="schema:Neg_050103_imports_001">

  <import namespace="schema:Neg_050103_imports_001_1"/>

  <element name="MyType2" type="string"/>

</schema>

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

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

  targetNamespace="schema:Neg_050103_imports_001_1"

  xmlns:ns2="schema:Neg_050103_imports_001_1">

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

</schema>

 No newline at end of file

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

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:5.1.3, Verify that XSD import statement is handled correctly

 ** @verdict  pass accept, ttcn3verdict:pass

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

// The following requirements are tested:

// All XSD import statements (i.e. import element information items and the related xmlns attributes, 

// where present) shall be mapped to equivalent TTCN-3 import statements, importing all definitions 

// from the other TTCN-3 module. All XSD components are public by default (see clause 8.2.3 of 

// ES 201 873-1 [1]). 

// Note: It is not possible to verify presence of the import clause in the generated code directly

// since XSD import statements cannot be imported. This test only tests if XSD schema containing

// an import element is processed correctly.

module Pos_050103_imports_001 {

   import from schema_Pos_050103_imports_001 language "XSD" all;

   template MyType m_msg := 1;

//#TC

}

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

<ns1:MyType xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ns1="schema:Pos_050102_includes_001">1</ns1:MyType>

 No newline at end of file