X treat-as-1:

Created on: 2005-11-29
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := (100+200) div 2 return fn:concat($var treat as xs:string,"a string")

 X treat-as-2:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := "String 1" return fn:concat($var treat as xs:string,"String 2")

 X treat-as-3:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := 100 return ($var treat as xs:integer) div 2

 X treat-as-4:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := 100 return fn:abs($var treat as xs:decimal)

 X treat-as-5:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := xs:decimal(100) return fn:abs($var cast as xs:integer treat as xs:integer)

 X treat-as-6:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := xs:float(100) return fn:abs($var treat as xs:float)

 X treat-as-7:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := xs:double(100) return fn:abs($var treat as xs:double)

 X treat-as-8:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := xs:boolean(fn:true()) return fn:not($var treat as xs:boolean)

 X treat-as-9:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := xs:date("2000-01-01+05:00") return fn:year-from-date($var treat as xs:date)

 X treat-as-10:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := xs:dateTime("1999-05-31T13:20:00-05:00") return fn:minutes-from-dateTime($var treat as xs:dateTime)

 X treat-as-11:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := xs:time("01:23:00+05:00") return fn:hours-from-time($var treat as xs:time)

 X treat-as-12:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := 100 return ($var treat as xs:integer, $var treat as xs:integer, $var treat as xs:integer)

 X treat-as-13:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := 100 return (xs:decimal($var) treat as xs:decimal, xs:double($var) treat as xs:double, xs:float($var) treat as xs:float, $var treat as xs:integer)

 X treat-as-14:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := -100 return fn:abs($var cast as xs:float treat as xs:float)

 X treat-as-15:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := -100 return fn:abs($var cast as xs:double treat as xs:double)

 X treat-as-16:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := xs:float(-100) return fn:abs($var cast as xs:integer treat as xs:integer)

 X treat-as-17:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := xs:double(-100) return fn:abs($var cast as xs:integer treat as xs:integer)

 X treat-as-18:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := xs:double(-100) return fn:abs($var cast as xs:float treat as xs:float)

 X treat-as-19:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := xs:float(-100) return fn:abs($var cast as xs:double treat as xs:double)

 X treat-as-20:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := xs:decimal(-100) return fn:abs($var cast as xs:double treat as xs:double)

 X treat-as-21:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := xs:decimal(-100) return fn:abs($var cast as xs:float treat as xs:float)

 X treat-as-22:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := xs:float(-100) return fn:abs($var cast as xs:decimal treat as xs:decimal)

 X treat-as-23:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := xs:double(-100) return fn:abs($var cast as xs:decimal treat as xs:decimal)

 X treat-as-24:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := (100+200) div 10 return ($var cast as xs:integer treat as xs:integer) + 10

 X treat-as-25:

Created on: 2005-11-30
Spec Dependencies:
spec = XP30+ XQ10+

Test: let $var := (100+200) div 10 return ($var cast as xs:integer treat as xs:integer) - 10

 X K-SeqExprTreat-1:

Created on: 2007-11-26
Spec Dependencies:

Test: 3 treat as xs:string

 X K-SeqExprTreat-2:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:double("3") treat as xs:float

 X K-SeqExprTreat-3:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:anyURI("example.com/") treat as xs:float

 X K-SeqExprTreat-4:

Created on: 2007-11-26
Spec Dependencies:

Test: 3.0 treat as xs:integer

 X K-SeqExprTreat-5:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:integer(3) treat as xs:decimal instance of xs:integer

 X K-SeqExprTreat-6:

Created on: 2007-11-26
Spec Dependencies:

Test: "3" treat as xs:string eq '3'

 X K-SeqExprTreat-7:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:integer("3") treat as xs:decimal instance of xs:decimal

 X K-SeqExprTreat-8:

Created on: 2007-11-26
Spec Dependencies:

Test: 3 treat as prefixDoesNotExist:integer

 X K-SeqExprTreat-9:

Created on: 2007-11-26
Spec Dependencies:

Test: 3 treat as xs:doesNotExist

 X K-SeqExprTreat-10:

Created on: 2007-11-26
Spec Dependencies:

Test: 1 treat as empty-sequence()

 X K-SeqExprTreat-11:

Created on: 2007-11-26
Spec Dependencies:

Test: ("asda" treat as xs:string +) eq "asda"

 X K-SeqExprTreat-12:

Created on: 2007-11-26
Spec Dependencies:

Test: ("asda" treat as xs:string *) eq "asda"

 X K-SeqExprTreat-13:

Created on: 2007-11-26
Spec Dependencies:

Test: (3 treat as xs:integer * * 3) eq 9

 X K-SeqExprTreat-14:

Created on: 2007-11-26
Spec Dependencies:

Test: (3 treat as xs:integer ? * 3) eq 9

 X K-SeqExprTreat-15:

Created on: 2007-11-26
Spec Dependencies:

Test: (4 treat as item() + - 5) = ((4 treat as item()+) - 5)

 X K-SeqExprTreat-16:

Created on: 2007-11-26
Spec Dependencies:

Test: 3 treat as item(

 X K-SeqExprTreat-17:

Created on: 2007-11-26
Spec Dependencies:

Test: (remove((5, 1e0), 2) treat as xs:integer) eq 5

 X K2-SeqExprTreat-1:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:decimal(3) treat as xs:integer

 X K2-SeqExprTreat-2:

Created on: 2007-11-26
Spec Dependencies:

Test: 3 treat as item()+ + +1

 X K2-SeqExprTreat-3:

Created on: 2007-11-26
Spec Dependencies:

Test: fn:root(self::node()) treat as document-node()/X

 X K2-SeqExprTreat-4:

Created on: 2008-11-13
Spec Dependencies:
spec = XQ10+

Test: empty(<e/>/(* treat as empty-sequence()))

 X cbcl-treat-as-001:

Created on: 2008-06-24
Spec Dependencies:

Test: (1 to 10)[. mod 2 = 0] treat as xs:integer+

 X cbcl-treat-as-002:

Created on: 2008-06-24
Spec Dependencies:

Test: (1 to 10)[. mod 2 = 0] treat as xs:integer*

 X cbcl-treat-as-003:

Created on: 2008-06-24
Spec Dependencies:

Test: zero-or-one((1 to 10)[. div 2 = 1]) treat as xs:integer+

 X cbcl-treat-as-004:

Created on: 2008-06-24
Spec Dependencies:

Test: zero-or-one((1 to 10)[. div 2 = 1]) treat as xs:integer*

 X cbcl-treat-as-005:

Created on: 2008-06-24
Spec Dependencies:

Test: exactly-one((1 to 10)[. div 2 = 1]) treat as xs:integer+

 X cbcl-treat-as-006:

Created on: 2008-06-24
Spec Dependencies:

Test: exactly-one((1 to 10)[. div 2 = 1]) treat as xs:integer*

 X cbcl-treat-as-007:

Created on: 2008-06-24
Spec Dependencies:

Test: count((1 to 10)[. mod 2 = 0] treat as xs:integer+)

 X cbcl-treat-as-008:

Created on: 2008-06-24
Spec Dependencies:

Test: subsequence((1 to 10)[. mod 2 = 0] treat as xs:integer+,1,2)

 X cbcl-treat-as-009:

Created on: 2008-06-24
Spec Dependencies:

Test: (1 to 10)[. div 2 = 0] treat as xs:integer+

 X cbcl-treat-as-010:

Created on: 2008-06-24
Spec Dependencies:

Test: (1 to 10)[. mod 2 = 0] treat as xs:negativeInteger+

 X cbcl-treat-as-011:

Created on: 2008-06-24
Spec Dependencies:

Test: (1 to 10)[. mod 2 = 0] treat as xs:integer

 X cbcl-treat-as-012:

Created on: 2008-06-24
Spec Dependencies:

Test: (1 to 10)[. mod 2 = 0] treat as xs:negativeInteger*

 X cbcl-treat-as-013:

Created on: 2008-06-24
Spec Dependencies:

Test: zero-or-one((1 to 10)[. div 2 = 0]) treat as xs:integer

 X cbcl-treat-as-014:

Created on: 2008-06-24
Spec Dependencies:

Test: zero-or-one((1 to 10)[. div 2 = 0]) treat as xs:integer+

 X cbcl-treat-as-015:

Created on: 2008-09-19
Spec Dependencies:
spec = XQ10+

Test: declare function local:range($arg as xs:integer) as xs:integer* { 1 to $arg }; declare function local:double($arg as xs:integer) { $arg * 2 }; local:double(local:range(0) treat as xs:integer)

 X cbcl-treat-as-016:

Created on: 2008-09-19
Spec Dependencies:
spec = XQ10+

Test: declare function local:range($arg as xs:integer) as xs:integer* { 1 to $arg }; declare function local:double($arg as xs:integer) { $arg * 2 }; local:double(local:range(1) treat as xs:integer)

 X cbcl-treat-as-017:

Created on: 2008-09-19
Spec Dependencies:
spec = XQ10+

Test: declare function local:range($arg as xs:integer) as xs:integer* { 1 to $arg }; declare function local:double($arg as xs:integer) { $arg * 2 }; local:double(local:range(3) treat as xs:integer)

 X cbcl-treat-as-018:

Created on: 2008-09-19
Spec Dependencies:
spec = XQ10+

Test: declare function local:range($arg as xs:integer) as xs:integer* { 1 to $arg }; declare function local:double($arg as xs:integer?) { $arg * 2 }; empty(local:double(local:range(0) treat as xs:integer?))

 X cbcl-treat-as-019:

Created on: 2008-09-19
Spec Dependencies:
spec = XQ10+

Test: declare function local:range($arg as xs:integer) as xs:integer* { 1 to $arg }; declare function local:double($arg as xs:integer?) { $arg * 2 }; local:double(local:range(1) treat as xs:integer?)

 X cbcl-treat-as-020:

Created on: 2008-09-19
Spec Dependencies:
spec = XQ10+

Test: declare function local:range($arg as xs:integer) as xs:integer* { 1 to $arg }; declare function local:double($arg as xs:integer?) { $arg * 2 }; local:double(local:range(2) treat as xs:integer?)

 X cbcl-treat-as-021:

Created on: 2008-09-19
Spec Dependencies:
spec = XQ10+

Test: declare function local:range($arg as xs:integer) as xs:integer* { 1 to $arg }; declare function local:double($arg as xs:integer+) { for $a in $arg return $a * 2 }; local:double(local:range(0) treat as xs:integer+)

 X cbcl-treat-as-022:

Created on: 2008-09-19
Spec Dependencies:
spec = XQ10+

Test: declare function local:range($arg as xs:integer) as xs:integer* { 1 to $arg }; declare function local:double($arg as xs:integer+) { for $a in $arg return $a * 2 }; local:double(local:range(1) treat as xs:integer+)

 X cbcl-treat-as-023:

Created on: 2008-09-19
Spec Dependencies:
spec = XQ10+

Test: declare function local:range($arg as xs:integer) as xs:integer* { 1 to $arg }; declare function local:double($arg as xs:integer+) { for $a in $arg return $a * 2 }; local:double(local:range(2) treat as xs:integer+)