This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 3824 - Static typing of various fnin-scope-prefixes tests
Summary: Static typing of various fnin-scope-prefixes tests
Status: CLOSED FIXED
Alias: None
Product: XML Query Test Suite
Classification: Unclassified
Component: XML Query Test Suite (show other bugs)
Version: 1.0.1
Hardware: PC All
: P2 normal
Target Milestone: ---
Assignee: Carmelo Montanez
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-10-13 13:16 UTC by Nick Jones
Modified: 2007-10-08 12:47 UTC (History)
0 users

See Also:


Attachments

Description Nick Jones 2006-10-13 13:16:07 UTC
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
Comment 1 Carmelo Montanez 2006-12-12 19:59:56 UTC
Nick:

Thanks for the comment.  Changed the quesry to eliminate the static typing issues.  Added "[1]" after the end of the element constructor given as argument to "fn-in-scope-prefixes"

Thanks,
Carmelo
Comment 2 Nick Jones 2006-12-19 16:11:54 UTC
Shouldn't the [1] be outside of the fn-in-scope-prefixes(...) as this is the function we want to ensure we are only getting one xs:string out of?
Comment 3 Carmelo Montanez 2006-12-19 21:17:13 UTC
Nick:

Correct.  Corrected.

Carmelo
Comment 4 Nick Jones 2007-10-08 12:47:32 UTC
Thanks. Apologies for the delay in closing.