Commit d54a75b4 authored by urbant's avatar urbant
Browse files

Minor corrections after validation

parent 017c8fa6
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
<?xml version="1.0" encoding="UTF-8"?>
<e1
    xmlns="schema:Pos_060107_mininclusive_003"
>-5</e1>
>-5.0</e1>
+1 −1
Original line number Diff line number Diff line
@@ -32,7 +32,7 @@ module Pos_060110_maxexclusive_003 {
        alt {
            []	p.check(receive(Raw:?) -> value v_rcv) {
            	log("XML message ", v_rcv);
                if (matchFile(v_rcv, "Pos_060110_maxexclusive_003.xml", { "Pos_060110_maxexclusive_003.xsd" }, v_matchError)) {
                if (matchFile(v_rcv, "Pos_060110_maxexclusive_003.xml", { "Pos_060110_maxexclusive_003.xsd", "Pos_060110_maxexclusive_003_1.xsd" }, v_matchError)) {
                    alt {
                        [] p.receive(m_msg) {
                        	setverdict(pass, "Decoded value matches encoded template and reference XML");
+1 −1
Original line number Diff line number Diff line
@@ -2,7 +2,7 @@
<schema xmlns="http://www.w3.org/2001/XMLSchema"
	targetNamespace="schema:Pos_060110_maxexclusive_003"
	xmlns:types="schema:Pos_060110_maxexclusive_003">
	<include schemaLocation="Pos_060107_mininclusive_002.xsd"></include>
	<include schemaLocation="Pos_060110_maxexclusive_003_1.xsd" />
	<simpleType name="t1">
		<restriction base="types:e2">
			<maxExclusive value="-4.0" />
+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_060110_maxexclusive_003"
  xmlns:types="schema:Pos_060110_maxexclusive_003">
    <simpleType name="e2">
        <restriction base="float">
        <minInclusive value="-5.0"/>
    </restriction>
    </simpleType>
    <element name="e2el" type="types:e2"/>
</schema>