W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2007

[Bug 4161] Static typing of LocalNameFromQNameFunc001, 002, 003, 004, 005, 018, 019, 020

From: <bugzilla@wiggum.w3.org>
Date: Tue, 09 Jan 2007 08:59:31 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1H4CpP-0000gi-3w@wiggum.w3.org>

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

           Summary: Static typing of LocalNameFromQNameFunc001, 002, 003,
                    004, 005, 018, 019, 020
           Product: XML Query Test Suite
           Version: 1.0.2
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


These queries all use fn:QName with the second argument statically typed as
xs:string?, while the expected type is xs:string, since the constructor
xs:string has static return type xs:string?.

(: Name: LocalNameFromQNameFunc001 :)
(: Description: Test function fn:local-name-from-QName. Using QName element as
i
nput :)

declare default element namespace "http://www.example.com/QNameXSD";

(: insert-start :)
declare variable $input-context external;
(: insert-end :)

fn:local-name-from-QName(fn:QName("http://www.example.com/QNameXSD",
xs:string((
$input-context/root/elemQN)[1])))
Received on Tuesday, 9 January 2007 08:59:38 UTC

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