Commit adb01750 authored by pintar's avatar pintar
Browse files

New tests for clause 7.1.5

parent b0f75c88

06_built_in_data_types/0601_mapping_of_facets/060105_enumeration/Neg_060105_enumeration_001/Neg_060105_enumeration_001.ttcn_

0 → 100644
+14 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.1.5, Verify if tool rejects validation in case of restricted value due xsd type declaration.

 ** @verdict  pass reject

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

module Neg_060105_enumeration_001 {



    import from schema_Neg_060105_enumeration_001 language "XSD" all;

    

    template E1 m_msg :=5;



//#TC_Neg

}

06_built_in_data_types/0601_mapping_of_facets/060105_enumeration/Neg_060105_enumeration_001/Neg_060105_enumeration_001.xsd

0 → 100644
+17 −0
Original line number Diff line number Diff line 
<?xml version="1.0" encoding="UTF-8"?>

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

    targetNamespace="schema:Neg_060105_enumeration_001"

    xmlns:ns="schema:Neg_060105_enumeration_001">

      <simpleType name="t1">

        <restriction>

          <simpleType>

            <restriction base="integer">

              <minInclusive value="1"/>

              <maxInclusive value="10"/>

            </restriction>

          </simpleType>

          <minExclusive value="5"/>

        </restriction>

      </simpleType>

    <element name="e1" type="ns:t1"/>

</schema>
 
 No newline at end of file

06_built_in_data_types/0601_mapping_of_facets/060105_enumeration/Neg_060105_enumeration_002/Neg_060105_enumeration_002.ttcn_

0 → 100644
+14 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.1.5, Verify if tool rejects validation in case of restricted value due xsd type declaration.

 ** @verdict  pass reject

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

module Neg_060105_enumeration_002 {



    import from schema_Neg_060105_enumeration_002 language "XSD" all;

    

    template E1 m_msg := black;



//#TC_Neg

}

06_built_in_data_types/0601_mapping_of_facets/060105_enumeration/Neg_060105_enumeration_002/Neg_060105_enumeration_002.xsd

0 → 100644
+19 −0
Original line number Diff line number Diff line 
<?xml version="1.0" encoding="UTF-8"?>

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

    targetNamespace="schema:Neg_060105_enumeration_002"

    xmlns:ns="schema:Neg_060105_enumeration_002">

      <simpleType name="t1">

        <restriction>

          <simpleType>

            <restriction base="string">

              <enumeration value="white"/>

              <enumeration value="black"/>

              <enumeration value="red"/>

            </restriction>

          </simpleType>

          <minLength value="2"/>

          <maxLength value="4"/>

        </restriction>

      </simpleType>

    <element name="e1" type="ns:t1"/>

</schema>
 
 No newline at end of file

06_built_in_data_types/0601_mapping_of_facets/060105_enumeration/Pos_060105_enumeration_001/Pos_060105_enumeration_001.ttcn_

0 → 100644
+15 −0
Original line number Diff line number Diff line 
/***************************************************

 ** @author   STF 475

 ** @version  0.0.1

 ** @purpose  9:6.1.5, Verify mapping of simple type definition that is a restriction of

 **           string type with an enumeration facet.

 ** @verdict  pass accept, ttcn3verdict:pass

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

module Pos_060105_enumeration_001 {



    import from schema_Pos_060105_enumeration_001 language "XSD" all;

    

    template E1 m_msg := on_;



//#TC

}