W3C home > Mailing lists > Public > public-qt-comments@w3.org > June 2005

[Bug 1515] New: Contradictory statement: casting to xs:notation permitted/allowed

From: <bugzilla@wiggum.w3.org>
Date: Wed, 29 Jun 2005 19:35:19 +0000
To: public-qt-comments@w3.org
Message-Id: <E1DniL9-0005A8-Gn@wiggum.w3.org>


           Summary: Contradictory statement: casting to xs:notation
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: Other
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Functions and Operators
        AssignedTo: ashok.malhotra@oracle.com
        ReportedBy: frans.englich@telia.com
         QAContact: public-qt-comments@w3.org

When reading section "17.1 Casting from primitive types to primitive types"    
found in the working draft of 4th April,[1] I think contradictory statements    
can be found. The first statement, which is the second paragraph in the    
section, reads:    
"[XML Schema Part 2: Datatypes Second Edition] defines xs:NOTATION as an    
abstract type. Thus, casting to xs:NOTATION is not permitted."    
However, when I interpret the "casting table" found a bit below, I judge that    
xs:NOTATION can be cast to itself(and maybe xs:string).     
What is correct becomes quickly complicated, in my opinion. I don't see how the    
situation of casting from xs:NOTATION to xs:NOTATION would occur in practice,    
since the data type is abstract. Hence, does the table document a casting which    
is in theory doable but cannot occur in practice? If the "casting table" also   
included sub-classes of the data types(e.g that casting to/from a xs:NOTATION   
derivation) it would to me make sense, but I don't see how it does that.   
Considering that one user(me) is at least confused, the formerly mentioned  
paragraph could perhaps be deepened a bit.    
Received on Wednesday, 29 June 2005 19:35:22 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:24 UTC