Loading 06_built_in_data_types/0601_mapping_of_facets/060107_mininclusive/Pos_060107_mininclusive_003/Pos_060107_mininclusive_003.ttcn_ 0 → 100644 +13 −0 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.1.7, Verify mapping of a float element with special minInclusive values ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ module Pos_060107_mininclusive_003 { import from schema_Pos_060107_mininclusive_003 language "XSD" all; template E1 m_msg := -5; //#TC } 06_built_in_data_types/0601_mapping_of_facets/060107_mininclusive/Pos_060107_mininclusive_003/Pos_060107_mininclusive_003.xml 0 → 100644 +4 −0 Original line number Diff line number Diff line <?xml version="1.0" encoding="UTF-8"?> <e1el xmlns="schema:Pos_060107_mininclusive_003" >-5</e1el> 06_built_in_data_types/0601_mapping_of_facets/060107_mininclusive/Pos_060107_mininclusive_003/Pos_060107_mininclusive_003.xsd 0 → 100644 +11 −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:Pos_060107_mininclusive_003" xmlns:types="schema:Pos_060107_mininclusive_003"> <simpleType name="e1"> <restriction base="float"> <minInclusive value="-INF"/> </restriction> </simpleType> <element name="e1el" type="types:e1"/> </schema> No newline at end of file 06_built_in_data_types/0601_mapping_of_facets/060107_mininclusive/Pos_060107_mininclusive_004/Pos_060107_mininclusive_004.ttcn_ 0 → 100644 +13 −0 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.1.7, Verify mapping of a float element with special minInclusive values ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ module Pos_060107_mininclusive_004 { import from schema_Pos_060107_mininclusive_004 language "XSD" all; template E1 m_msg := 1.0; //#TC } 06_built_in_data_types/0601_mapping_of_facets/060107_mininclusive/Pos_060107_mininclusive_004/Pos_060107_mininclusive_004.xml 0 → 100644 +4 −0 Original line number Diff line number Diff line <?xml version="1.0" encoding="UTF-8"?> <e1el xmlns="schema:Pos_060107_mininclusive_004" >1.0</e1el> Loading
06_built_in_data_types/0601_mapping_of_facets/060107_mininclusive/Pos_060107_mininclusive_003/Pos_060107_mininclusive_003.ttcn_ 0 → 100644 +13 −0 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.1.7, Verify mapping of a float element with special minInclusive values ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ module Pos_060107_mininclusive_003 { import from schema_Pos_060107_mininclusive_003 language "XSD" all; template E1 m_msg := -5; //#TC }
06_built_in_data_types/0601_mapping_of_facets/060107_mininclusive/Pos_060107_mininclusive_003/Pos_060107_mininclusive_003.xml 0 → 100644 +4 −0 Original line number Diff line number Diff line <?xml version="1.0" encoding="UTF-8"?> <e1el xmlns="schema:Pos_060107_mininclusive_003" >-5</e1el>
06_built_in_data_types/0601_mapping_of_facets/060107_mininclusive/Pos_060107_mininclusive_003/Pos_060107_mininclusive_003.xsd 0 → 100644 +11 −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:Pos_060107_mininclusive_003" xmlns:types="schema:Pos_060107_mininclusive_003"> <simpleType name="e1"> <restriction base="float"> <minInclusive value="-INF"/> </restriction> </simpleType> <element name="e1el" type="types:e1"/> </schema> No newline at end of file
06_built_in_data_types/0601_mapping_of_facets/060107_mininclusive/Pos_060107_mininclusive_004/Pos_060107_mininclusive_004.ttcn_ 0 → 100644 +13 −0 Original line number Diff line number Diff line /*************************************************** ** @author STF 475 ** @version 0.0.1 ** @purpose 9:6.1.7, Verify mapping of a float element with special minInclusive values ** @verdict pass accept, ttcn3verdict:pass ***************************************************/ module Pos_060107_mininclusive_004 { import from schema_Pos_060107_mininclusive_004 language "XSD" all; template E1 m_msg := 1.0; //#TC }
06_built_in_data_types/0601_mapping_of_facets/060107_mininclusive/Pos_060107_mininclusive_004/Pos_060107_mininclusive_004.xml 0 → 100644 +4 −0 Original line number Diff line number Diff line <?xml version="1.0" encoding="UTF-8"?> <e1el xmlns="schema:Pos_060107_mininclusive_004" >1.0</e1el>