X K-ValCompTypeChecking-1:

Created on: 2007-11-26
Spec Dependencies:

Test: (1, 2, 3) eq 3

 X K-ValCompTypeChecking-2:

Created on: 2007-11-26
Spec Dependencies:

Test: 3 eq (1, 2, 3)

 X K-ValCompTypeChecking-3:

Created on: 2007-11-26
Spec Dependencies:

Test: (1, 2, 3) ne 3

 X K-ValCompTypeChecking-4:

Created on: 2007-11-26
Spec Dependencies:

Test: 3 ne (1, 2, 3)

 X K-ValCompTypeChecking-5:

Created on: 2007-11-26
Spec Dependencies:

Test: (1, 2, 3) lt 3

 X K-ValCompTypeChecking-6:

Created on: 2007-11-26
Spec Dependencies:

Test: 3 lt (1, 2, 3)

 X K-ValCompTypeChecking-7:

Created on: 2007-11-26
Spec Dependencies:

Test: (1, 2, 3) le 3

 X K-ValCompTypeChecking-8:

Created on: 2007-11-26
Spec Dependencies:

Test: 3 le (1, 2, 3)

 X K-ValCompTypeChecking-9:

Created on: 2007-11-26
Spec Dependencies:

Test: (1, 2, 3) gt 3

 X K-ValCompTypeChecking-10:

Created on: 2007-11-26
Spec Dependencies:

Test: 3 gt (1, 2, 3)

 X K-ValCompTypeChecking-11:

Created on: 2007-11-26
Spec Dependencies:

Test: (1, 2, 3) ge 3

 X K-ValCompTypeChecking-12:

Created on: 2007-11-26
Spec Dependencies:

Test: 3 ge (1, 2, 3)

 X K-ValCompTypeChecking-13:

Created on: 2007-11-26
Spec Dependencies:

Test: empty(() eq 1)

 X K-ValCompTypeChecking-14:

Created on: 2007-11-26
Spec Dependencies:

Test: empty(1 eq ())

 X K-ValCompTypeChecking-15:

Created on: 2007-11-26
Spec Dependencies:

Test: empty(() eq ())

 X K-ValCompTypeChecking-16:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:untypedAtomic("1") eq xs:integer(1)

 X K-ValCompTypeChecking-17:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:integer(1) eq xs:untypedAtomic("1")

 X K-ValCompTypeChecking-18:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:untypedAtomic("0") ne xs:double(1)

 X K-ValCompTypeChecking-19:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:double(1) ne xs:untypedAtomic("0")

 X K-ValCompTypeChecking-20:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:untypedAtomic("0") lt xs:float(1)

 X K-ValCompTypeChecking-21:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:float(0) lt xs:untypedAtomic("1")

 X K-ValCompTypeChecking-22:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:untypedAtomic("0") gt xs:decimal(1)

 X K-ValCompTypeChecking-23:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:decimal(0) gt xs:untypedAtomic("1")

 X K-ValCompTypeChecking-24:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:untypedAtomic("4") eq 4

 X K-ValCompTypeChecking-25:

Created on: 2007-11-26
Spec Dependencies:

Test: 4 eq xs:untypedAtomic("4")

 X K-ValCompTypeChecking-26:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:untypedAtomic("3") eq 3

 X K-ValCompTypeChecking-27:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:double(2) lt xs:untypedAtomic("3")

 X K-ValCompTypeChecking-28:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:float(4) gt xs:untypedAtomic("3")

 X K-ValCompTypeChecking-29:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:untypedAtomic("3") ne xs:decimal(3.1)

 X K-ValCompTypeChecking-30:

Created on: 2007-11-26
Spec Dependencies:

Test: xs:untypedAtomic("a string") eq "a string"

 X K-ValCompTypeChecking-31:

Created on: 2007-11-26
Spec Dependencies:

Test: "a string" eq xs:untypedAtomic("a string")

 X K-ValCompTypeChecking-32:

Created on: 2007-11-26
Spec Dependencies:

Test: count((0, current-time())) ge 1

 X K-ValCompTypeChecking-33:

Created on: 2007-11-26
Spec Dependencies:

Test: count((0, current-time())) ne 0

 X K-ValCompTypeChecking-34:

Created on: 2007-11-26
Spec Dependencies:

Test: not(count((1, 2, current-time())) eq 0)

 X K-ValCompTypeChecking-35:

Created on: 2007-11-26
Spec Dependencies:

Test: error() eq 3

 X K-ValCompTypeChecking-36:

Created on: 2007-11-26
Spec Dependencies:

Test: error() eq error()

 X K-ValCompTypeChecking-37:

Created on: 2007-11-26
Spec Dependencies:

Test: 3 eq error()

 X K-ValCompTypeChecking-38:

Created on: 2007-11-26
Spec Dependencies:

Test: 3 eq (error(), 3)

 X K-ValCompTypeChecking-39:

Created on: 2007-11-26
Spec Dependencies:

Test: 3 eq (3, error())

 X K-ValCompTypeChecking-40:

Created on: 2007-11-26
Spec Dependencies:

Test: (error(), 3) eq 3

 X K-ValCompTypeChecking-41:

Created on: 2007-11-26
Spec Dependencies:

Test: (3, error()) eq 3

 X K-ValCompTypeChecking-42:

Created on: 2007-11-26
Spec Dependencies:

Test: count((1, 2)) eq 2

 X value-comparison-3:

Created on: 2006-04-10
Spec Dependencies:
spec = XQ10+
feature = schemaImport

Test: import schema namespace myType="http://www.w3.org/XQueryTest/userDefinedTypes"; myType:hatsize(5) eq myType:shoesize(5)

 X value-comparison-4:

Created on: 2006-04-10
Spec Dependencies:
spec = XQ10+
feature = schemaImport

Test: import schema namespace myType="http://www.w3.org/XQueryTest/userDefinedTypes"; myType:hatsize(5) ne myType:shoesize(5)

 X value-comparison-5:

Created on: 2014-10-14
Spec Dependencies:
spec = XP31+ XQ31+

Test: [3] eq 3

 X value-comparison-6:

Created on: 2014-10-14
Spec Dependencies:
spec = XP31+ XQ31+

Test: [3] le [3]

 X value-comparison-7:

Created on: 2014-10-14
Spec Dependencies:
spec = XP31+ XQ31+

Test: [] eq 3

 X value-comparison-8:

Created on: 2014-10-14
Spec Dependencies:
spec = XP31+ XQ31+

Test: [3,4] eq 3

 X value-comparison-9:

Created on: 2014-10-14
Spec Dependencies:
spec = XP31+ XQ31+

Test: [] eq ()

 X value-comparison-10:

Created on: 2014-10-14
Spec Dependencies:
spec = XP31+ XQ31+

Test: map{} eq ()

 X value-comparison-11:

Created on: 2014-10-14
Spec Dependencies:
spec = XP31+ XQ31+

Test: map{1:1} eq 1

 X value-comparison-12:

Created on: 2015-08-04
Spec Dependencies:
spec = XP20+ XQ10+

Test: //test:comparable[1]/test:int eq //test:comparable[2]/test:int

 X value-comparison-13:

Created on: 2016-07-09
Spec Dependencies:
spec = XQ30+
feature = schemaImport

Test: import schema namespace myType="http://www.w3.org/XQueryTest/userDefinedTypes"; myType:hatsize(5) eq myType:integer-or-nothing(5)

 X value-comparison-14:

Created on: 2016-07-09
Spec Dependencies:
spec = XQ30+
feature = schemaImport

Test: import schema namespace myType="http://www.w3.org/XQueryTest/userDefinedTypes"; myType:hatsize(5) eq myType:integer-or-nothing("")

 X value-comp-eq-string-1:

Created on: 2014-10-15
Spec Dependencies:

Test: "abc" eq concat("a", "bc")

 X value-comp-eq-string-2:

Created on: 2014-10-15
Spec Dependencies:

Test: "abc" eq /works/@id

 X value-comp-eq-string-3:

Created on: 2014-10-15
Spec Dependencies:

Test: "abc" eq string(/works/@id)

 X value-comp-eq-string-4:

Created on: 2014-10-15
Spec Dependencies:

Test: "abc" eq xs:string(/works/@id)

 X value-comp-eq-string-5:

Created on: 2014-10-15
Spec Dependencies:

Test: works/@id eq "abc"

 X value-comp-eq-string-6:

Created on: 2014-10-15
Spec Dependencies:

Test: string(/works/@id) eq "abc"

 X value-comp-eq-string-7:

Created on: 2014-10-15
Spec Dependencies:

Test: xs:string(/works/@id) eq "abc"

 X value-comp-eq-string-8:

Created on: 2014-10-15
Spec Dependencies:

Test: not("abc" eq concat("a", "bc"))

 X value-comp-eq-string-9:

Created on: 2014-10-15
Spec Dependencies:

Test: not("abc" eq /works/@id)

 X value-comp-eq-string-10:

Created on: 2014-10-15
Spec Dependencies:

Test: not("abc" eq string(/works/@id))

 X value-comp-eq-string-11:

Created on: 2014-10-15
Spec Dependencies:

Test: not("abc" eq xs:string(/works/@id))

 X value-comp-eq-string-12:

Created on: 2014-10-15
Spec Dependencies:

Test: not(works/@id eq "abc")

 X value-comp-eq-string-13:

Created on: 2014-10-15
Spec Dependencies:

Test: not(string(/works/@id) eq "abc")

 X value-comp-eq-string-14:

Created on: 2014-10-15
Spec Dependencies:

Test: not(xs:string(/works/@id) eq "abc")

 X value-comp-ne-string-1:

Created on: 2014-10-15
Spec Dependencies:

Test: "abc" ne concat("a", "bc")

 X value-comp-ne-string-2:

Created on: 2014-10-15
Spec Dependencies:

Test: "abc" ne /works/@id

 X value-comp-ne-string-3:

Created on: 2014-10-15
Spec Dependencies:

Test: "abc" ne string(/works/@id)

 X value-comp-ne-string-4:

Created on: 2014-10-15
Spec Dependencies:

Test: "abc" ne xs:string(/works/@id)

 X value-comp-ne-string-5:

Created on: 2014-10-15
Spec Dependencies:

Test: works/@id ne "abc"

 X value-comp-ne-string-6:

Created on: 2014-10-15
Spec Dependencies:

Test: string(/works/@id) ne "abc"

 X value-comp-ne-string-7:

Created on: 2014-10-15
Spec Dependencies:

Test: xs:string(/works/@id) ne "abc"

 X value-comp-ne-string-8:

Created on: 2014-10-15
Spec Dependencies:

Test: not("abc" ne concat("a", "bc"))

 X value-comp-ne-string-9:

Created on: 2014-10-15
Spec Dependencies:

Test: not("abc" ne /works/@id)

 X value-comp-ne-string-10:

Created on: 2014-10-15
Spec Dependencies:

Test: not("abc" ne string(/works/@id))

 X value-comp-ne-string-11:

Created on: 2014-10-15
Spec Dependencies:

Test: not("abc" ne xs:string(/works/@id))

 X value-comp-ne-string-12:

Created on: 2014-10-15
Spec Dependencies:

Test: not(works/@id ne "abc")

 X value-comp-ne-string-13:

Created on: 2014-10-15
Spec Dependencies:

Test: not(string(/works/@id) ne "abc")

 X value-comp-ne-string-14:

Created on: 2014-10-15
Spec Dependencies:

Test: not(xs:string(/works/@id) ne "abc")

 X value-comp-eq-int-1:

Created on: 2014-10-15
Spec Dependencies:

Test: 13 eq 12+1

 X value-comp-eq-int-2:

Created on: 2014-10-15
Spec Dependencies:

Test: 13 eq /works/@id

 X value-comp-eq-int-3:

Created on: 2014-10-15
Spec Dependencies:

Test: 40 eq xs:integer(/works/employee[1]/hours)

 X value-comp-eq-int-4:

Created on: 2014-10-15
Spec Dependencies:

Test: 40 eq xs:integer(/works/employee[830]/hours)

 X value-comp-eq-int-5:

Created on: 2014-10-15
Spec Dependencies:

Test: xs:integer(/works/employee[830]/hours) eq 40

 X value-comp-eq-int-6:

Created on: 2014-10-15
Spec Dependencies:

Test: 40 eq number(/works/employee[1]/hours)

 X value-comp-eq-int-7:

Created on: 2014-10-15
Spec Dependencies:

Test: 40 eq xs:double(/works/employee[1]/hours)

 X value-comp-eq-int-8:

Created on: 2014-10-15
Spec Dependencies:

Test: 40 eq xs:double(/works/employee[830]/hours)

 X value-comp-eq-double-1:

Created on: 2014-10-15
Spec Dependencies:

Test: 13e0 eq 12e0+1

 X value-comp-eq-double-2:

Created on: 2014-10-15
Spec Dependencies:

Test: 13e0 eq /works/@id

 X value-comp-eq-double-3:

Created on: 2014-10-15
Spec Dependencies:

Test: 40e0 eq xs:double(/works/employee[1]/hours)

 X value-comp-eq-double-4:

Created on: 2014-10-15
Spec Dependencies:

Test: 40e0 eq xs:integer(/works/employee[830]/hours)

 X value-comp-eq-double-5:

Created on: 2014-10-15
Spec Dependencies:

Test: xs:integer(/works/employee[830]/hours) eq 40e0

 X value-comp-eq-double-6:

Created on: 2014-10-15
Spec Dependencies:

Test: 40e0 eq number(/works/employee[1]/hours)

 X value-comp-eq-double-7:

Created on: 2014-10-15
Spec Dependencies:

Test: 40e0 eq xs:double(/works/employee[1]/hours)

 X value-comp-eq-double-8:

Created on: 2014-10-15
Spec Dependencies:

Test: 40e0 eq xs:double(/works/employee[830]/hours)