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

[Bug 4246] K2-BaseURIProlog-4

From: <bugzilla@wiggum.w3.org>
Date: Wed, 17 Jan 2007 10:10:10 +0000
To: public-qt-comments@w3.org
Message-Id: <E1H77kA-0003Oj-Eq@wiggum.w3.org>


           Summary: K2-BaseURIProlog-4
           Product: XML Query Test Suite
           Version: unspecified
          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

fn:static-base-uri() returns xs:anyUri? which cannot be promoted to xs:string
(due to the change of quantifier).

Incidentally, note that xs:anyUri (rather than xs:anyUri?) can be promoted to
string, however this hasn't made it into the FS spec (see bug 3670).

This could be resolved by changing the function declaration to:

declare function local:isAbsolute($uri as xs:string?) as xs:boolean

(: Test: K2-BaseURIProlog-4                              :)
(: Written by: Frans Englich                             :)
(: Date: 2007-01-15T15:15:45+01:00                       :)
(: Purpose: The static base-uri must be absolute. Since the declaration
 a relative URI, an implementation may fail with computing an absolute URI,
e XPST0001 is allowed. The test checks that the static base-uri is absolute. :)
declare base-uri "abc";
declare function local:isAbsolute($uri as xs:string) as xs:boolean
    fn:matches($uri, "[a-zA-Z0-9\-.]*:/")
Received on Wednesday, 17 January 2007 10:10:15 UTC

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