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

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1515

           Summary: Contradictory statement: casting to xs:notation
                    permitted/allowed
           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.    
    
 
Cheers, 
Frans  
 
1.http://www.w3.org/TR/2005/WD-xpath-functions-20050404/#casting-from-primitive-to-primitive

Received on Wednesday, 29 June 2005 19:35:22 UTC