[Bug 3824] Static typing of various fnin-scope-prefixes tests

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

           Summary: Static typing of various fnin-scope-prefixes tests
           Product: XML Query Test Suite
           Version: 1.0.1
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: nick@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


The tests listed below call 

fn:in-scope-prefixes($element as element()) as xs:string*

and pass the result into one of the following functions/constructors which only
accept types with quantifier zero or one.

fn:string-length($arg as xs:string?) as xs:integer
fn:upper-case($arg as xs:string?) as xs:string
fn:lower-case($arg as xs:string?) as xs:string
fn:string-to-codepoints($arg as xs:string?) as xs:integer*
xs:string($arg as xs:anyAtomicType?) as xs:string?
fn:substring-before($arg1 as xs:string?, $arg2 as xs:string?) as xs:string
fn:substring-after($arg1 as xs:string?, $arg2 as xs:string?) as xs:string
fn:substring($sourceString as xs:string?, $startingLoc as xs:double) as
xs:string
fn:contains($arg1 as xs:string?, $arg2 as xs:string?) as xs:boolean

hence can cause a static typing exception.

fn-in-scope-prefixes-10
fn-in-scope-prefixes-11
fn-in-scope-prefixes-12
fn-in-scope-prefixes-13
fn-in-scope-prefixes-14
fn-in-scope-prefixes-15
fn-in-scope-prefixes-16
fn-in-scope-prefixes-19
fn-in-scope-prefixes-20

Received on Friday, 13 October 2006 13:16:20 UTC