[Bug 16182] New: wildC035 and wildC036 valid for XSD 1.1?

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
6 messages Options
Reply | Threaded
Open this post in threaded view
|

[Bug 16182] New: wildC035 and wildC036 valid for XSD 1.1?

Bugzilla from bugzilla@jessica.w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=16182

           Summary: wildC035 and wildC036 valid for XSD 1.1?
           Product: XML Schema Test Suite
           Version: 2006-11-06
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Microsoft tests
        AssignedTo: [hidden email]
        ReportedBy: [hidden email]
         QAContact: [hidden email]


In my opinion the test cases wildC035 and wildC036 of set
MS-Wildcards2006-07-15 are valid for XSD 1.1. wildC035 specifies a wildcard
with namespace="##target" and wildC036 with namespace="##all".

The XML representation for the namespace attribute of xs:any is as follows:
   namespace = ((##any | ##other) | List of (anyURI | (##targetNamespace |
##local)) )

So the two testcases don't use one of the special values "##any", "##other",
"##targetNamespace" and "##local". But the definition of anyURI in XSD 1.1
doesn't prohibit values starting with "##". So "##target" and "##all" are valid
values for anyURI and therefore the two test cases should have expected result
valid for XSD 1.1.

--
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Reply | Threaded
Open this post in threaded view
|

[Bug 16182] wildC035 and wildC036 valid for XSD 1.1?

Bugzilla from bugzilla@jessica.w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=16182

--- Comment #1 from Andreas Meissl <[hidden email]> 2012-03-02 07:07:15 UTC ---
There are similar problems with the test cases wildC049-53. In each of these
cases one of the special values ##any and ##other is combined with one of the
special values ##targetNamespace, ##local or ##other.
In XSD 1.0 these cases were invalid because all of these special values were
invalid anyURIs. In XSD 1.1 all these values are valid anyURIs, and so these
test cases get valid via list of anyURI.
Maybe this is not a testsuite bug but more a specification bug. A solution
would be to add some schema representation constraint which prohibits the use
of URIs starting with ## in the namespace attribute of wildcards.
Another solution would be to change the S4S to use a restriction of anyURI
which prohibits values starting with ## in basicNamespaceList.

--
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Reply | Threaded
Open this post in threaded view
|

[Bug 16182] wildC035 and wildC036 valid for XSD 1.1?

Bugzilla from bugzilla@jessica.w3.org
In reply to this post by Bugzilla from bugzilla@jessica.w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=16182

--- Comment #2 from Andreas Meissl <[hidden email]> 2012-03-02 07:34:11 UTC ---
The same for:
set='MS-Wildcards2006-07-15' group='wildC055' test='wildC055'
set='MS-Wildcards2006-07-15' group='wildC056' test='wildC056'
set='MS-Wildcards2006-07-15' group='wildC057' test='wildC057'
set='MS-Wildcards2006-07-15' group='wildC058' test='wildC058'
set='MS-Wildcards2006-07-15' group='wildC066' test='wildC066'
set='MS-Wildcards2006-07-15' group='wildC067' test='wildC067'
set='MS-Wildcards2006-07-15' group='wildF006' test='wildF006'
set='MS-Wildcards2006-07-15' group='wildF007' test='wildF007'
set='MS-Wildcards2006-07-15' group='wildF008' test='wildF008'
set='MS-Wildcards2006-07-15' group='wildF009' test='wildF009'
set='MS-Wildcards2006-07-15' group='wildF010' test='wildF010'
set='MS-Wildcards2006-07-15' group='wildF012' test='wildF012'
set='MS-Wildcards2006-07-15' group='wildF013' test='wildF013'
set='MS-Wildcards2006-07-15' group='wildF014' test='wildF014'
set='MS-Wildcards2006-07-15' group='wildF015' test='wildF015'
set='MS-Wildcards2006-07-15' group='wildF016' test='wildF016'
set='MS-Wildcards2006-07-15' group='wildF018' test='wildF018'
set='MS-Wildcards2006-07-15' group='wildK002' test='wildK002'
set='MS-Wildcards2006-07-15' group='wildK006' test='wildK006'
set='MS-Wildcards2006-07-15' group='wildK007' test='wildK007'
set='MS-Wildcards2006-07-15' group='wildK020' test='wildK020'
set='MS-Wildcards2006-07-15' group='wildK021' test='wildK021'
set='MS-Wildcards2006-07-15' group='wildK022' test='wildK022'
set='MS-Wildcards2006-07-15' group='wildK023' test='wildK023'
set='MS-Wildcards2006-07-15' group='wildK024' test='wildK024'
set='MS-Wildcards2006-07-15' group='wildK026' test='wildK026'
set='MS-Wildcards2006-07-15' group='wildK027' test='wildK027'
set='MS-Wildcards2006-07-15' group='wildK028' test='wildK028'
set='MS-Wildcards2006-07-15' group='wildK029' test='wildK029'
set='MS-Wildcards2006-07-15' group='wildK038' test='wildK038'
set='MS-Wildcards2006-07-15' group='wildN006' test='wildN006'
set='MS-Wildcards2006-07-15' group='wildN007' test='wildN007'
set='MS-Wildcards2006-07-15' group='wildN008' test='wildN008'
set='MS-Wildcards2006-07-15' group='wildN009' test='wildN009'
set='MS-Wildcards2006-07-15' group='wildN010' test='wildN010'
set='MS-Wildcards2006-07-15' group='wildN012' test='wildN012'
set='MS-Wildcards2006-07-15' group='wildN013' test='wildN013'
set='MS-Wildcards2006-07-15' group='wildN014' test='wildN014'
set='MS-Wildcards2006-07-15' group='wildN015' test='wildN015'
set='MS-Wildcards2006-07-15' group='wildN016' test='wildN016'
set='MS-Wildcards2006-07-15' group='wildN018' test='wildN018'

--
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Reply | Threaded
Open this post in threaded view
|

[Bug 16182] wildC035 and wildC036 valid for XSD 1.1?

Bugzilla from bugzilla@jessica.w3.org
In reply to this post by Bugzilla from bugzilla@jessica.w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=16182

Michael Kay <[hidden email]> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |[hidden email],
                   |                            |[hidden email]
          Component|Microsoft tests             |Structures: XSD Part 1
            Version|2006-11-06                  |1.1 only
         AssignedTo|[hidden email]    |[hidden email]
            Product|XML Schema Test Suite       |XML Schema
          QAContact|public-xml-schema-testsuite |www-xml-schema-comments@w3.
                   |@w3.org                     |org

--- Comment #3 from Michael Kay <[hidden email]> 2012-03-02 08:57:37 UTC ---
The relevant types (basicNamespaceList and specialNamespaceList) are defined
like this:

       <xs:union memberTypes="xs:anyURI">
          <xs:simpleType>
            <xs:restriction base="xs:token">
              <xs:enumeration value="##targetNamespace"/>
              <xs:enumeration value="##local"/>
            </xs:restriction>
          </xs:simpleType>
        </xs:union>

I think what is needed is for the order of the union to be reversed, so the
token comes before the anyURI.

I'm reclassifying this as a spec bug.

--
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Reply | Threaded
Open this post in threaded view
|

[Bug 16182] wildC035 and wildC036 valid for XSD 1.1?

Bugzilla from bugzilla@jessica.w3.org
In reply to this post by Bugzilla from bugzilla@jessica.w3.org
[hidden email] changed bug 16182
What Removed Added
Status RESOLVED REOPENED
Component Structures: XSD Part 1 Microsoft tests
Version 1.1 only 2006-11-06
Resolution FIXED ---
Assignee David_E3@VERIFONE.com cmsmcq@blackmesatech.com
Product XML Schema XML Schema Test Suite
QA Contact www-xml-schema-comments@w3.org public-xml-schema-testsuite@w3.org

Comment # 9 on bug 16182 from [hidden email]
I'm reopening as a bug against the test suite, because it appears that we
agreed in the course of discussion that the schemas in these tests are now
valid, but we have not marked them as such.


You are receiving this mail because:
  • You are the QA Contact for the bug.
Reply | Threaded
Open this post in threaded view
|

[Bug 16182] wildC035 and wildC036 valid for XSD 1.1?

Bugzilla from bugzilla@jessica.w3.org
In reply to this post by Bugzilla from bugzilla@jessica.w3.org
[hidden email] changed bug 16182
What Removed Added
CC   xml.dev@altova.com

Comment # 10 on bug 16182 from [hidden email]
The resolution is okay for me. I'm just waiting for the changed expected
results in the test suite.

Best regards,
Andreas Meissl


You are receiving this mail because:
  • You are the QA Contact for the bug.