Test results covering change: General features of Map: map type, instanceof

 X analyzeString-028:

Created on: 2016-09-26
Spec Dependencies:
spec = XQ31+
spec = XP30+ XQ30+

Test: declare function local:namespaces($e as element(*)) as map(xs:string, xs:anyURI) { map:merge(in-scope-prefixes($e) ! map{. : namespace-uri-for-prefix(., $e)}) }; let $m := local:namespaces(analyze-string((), "abc")) return sort($m?*)

 X fold-left-021:

Created on: 2016-07-20
Spec Dependencies:
spec = XQ31+
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: declare variable $in := (<doc><A/><B/>{(1 to 10000)!<C/>}<B/><A/></doc>)/*; declare variable $fsm := map{ 0: function($x) {if ($x[self::B]) then 1 else 0}, 1: function($x) {if ($x[self::B]) then 1 else 2}, 2: function($x) {if ($x[self::B]) then 3 else 2}, 3: function($x) {3}}; fold-left($in, 0, function($state, $node){$fsm($state)($node)}) ne 3

 X annotation-36:

Created on: 2015-10-02
Spec Dependencies:
spec = XQ31+
spec = XQ30+

Test: declare namespace map = "http://www.w3.org/2005/xpath-functions/map"; declare %map:x function local:foo() { "bar" }; local:foo()

 X function-call-reserved-function-names-044:

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

Test: declare default function namespace "http://www.w3.org/2005/xquery-local-functions"; declare function local:map() { fn:true() }; map()

 X function-call-reserved-function-names-046:

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

Test: map()

 X inline-fn-027:

Created on: 2016-03-09
Spec Dependencies:
spec = XP31+ XQ31+
feature = higherOrderFunctions

Test: let $calc := map{ "+" : function($a, $b) {$a + $b}, "-" : function($a, $b) {$a - $b}, "*" : function($a, $b) {$a * $b}, "/" : function($a, $b) {$a div $b}} return $calc("*")(2,3)

 X MapConstructor-001:

Created on: 2016-02-08
Spec Dependencies:
spec = XP31+ XQ31+

Test: map:size(map{})

 X MapConstructor-002:

Created on: 2016-02-08
Spec Dependencies:
spec = XP31+ XQ31+

Test: map:size(map{ })

 X MapConstructor-003:

Created on: 2016-02-08
Spec Dependencies:
spec = XP31+ XQ31+

Test: map:size(map {})

 X MapConstructor-004:

Created on: 2016-02-08
Spec Dependencies:
spec = XP31+ XQ31+

Test: map:size(map{"a":2})

 X MapConstructor-005:

Created on: 2016-02-08
Spec Dependencies:
spec = XP31+ XQ31+

Test: map:size(map{ "a" : 2 })

 X MapConstructor-006:

Created on: 2016-02-08
Spec Dependencies:
spec = XP31+ XQ31+

Test: map:size(map{"a":2,"b":3})

 X MapConstructor-007:

Created on: 2016-02-08
Spec Dependencies:
spec = XP31+ XQ31+

Test: map:size(map { "a" : 2 , "b" : 3 })

 X MapConstructor-008:

Created on: 2016-02-08
Spec Dependencies:
spec = XP31+ XQ31+

Test: map:size(map {"a":2, })

 X MapConstructor-009:

Created on: 2016-02-08
Spec Dependencies:
spec = XP31+ XQ31+

Test: map:size(map {,"a":2})

 X MapConstructor-010:

Created on: 2016-02-08
Spec Dependencies:
spec = XP31+ XQ31+

Test: map:size(map {"a","b":2})

 X MapConstructor-011:

Created on: 2016-02-08
Spec Dependencies:
spec = XP31+ XQ31+

Test: map:size(map {"a":2,3})

 X MapConstructor-012:

Created on: 2016-02-08
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: map:size(map {<a>x</a>:2})

 X MapConstructor-013:

Created on: 2016-02-08
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: map:size(map {2:<a>x</a>})

 X MapConstructor-014:

Created on: 2016-02-08
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: map:size(map {2:<a>x{25}y</a>})

 X MapConstructor-015:

Created on: 2016-02-08
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: map:size(<a><b>x</b></a>/map{b:2})

 X MapConstructor-016:

Created on: 2016-02-08
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: declare namespace b = "http://b.com"; map:size(<a><b:b>x</b:b></a>/map{b:b})

 X MapConstructor-017:

Created on: 2016-02-08
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: map:size(<a><b>x</b></a>/map{self::a: b})

 X MapConstructor-018:

Created on: 2016-02-08
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: declare namespace a = "http://a.com"; map:size(<a><a:b>x</a:b></a>/map{self::a:b})

 X MapConstructor-019:

Created on: 2016-02-08
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: map:size(<a><b>x</b></a>/map{*:b:b})

 X MapConstructor-020:

Created on: 2016-02-08
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: map:size(<a><b>x</b></a>/map{* :b})

 X MapConstructor-021:

Created on: 2016-02-08
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: map:size(<a><self>x</self></a>/map{self:2})

 X MapConstructor-022:

Created on: 2016-02-08
Spec Dependencies:
spec = XP31+ XQ31+

Test: map:size(map{2:map{3:4}})

 X MapConstructor-023:

Created on: 2016-02-08
Spec Dependencies:
spec = XP31+ XQ31+

Test: map:size(map{(1 to 5)[. gt year-from-date(current-date())]:93})

 X MapConstructor-024:

Created on: 2016-02-08
Spec Dependencies:
spec = XP31+ XQ31+

Test: map:size(map{(1 to 5)[. lt year-from-date(current-date())]:93})

 X MapConstructor-025:

Created on: 2016-02-08
Spec Dependencies:
spec = XP31+ XQ31+

Test: let $m := map{'a':1} return map:size(map{$m?a:true()})

 X MapConstructor-026:

Created on: 2016-02-08
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: declare namespace z = "http://z.com"; map:size(<a><z:b>x</z:b></a>/map{z:b:z:b})

 X MapConstructor-027:

Created on: 2016-05-04
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: declare namespace a = "http://example.com"; <dot> <a:b>key</a:b> <c>value</c> </dot> ! map{a:b:c} => deep-equal(map{"key":<c>value</c>})

 X MapConstructor-028:

Created on: 2016-05-04
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: declare namespace a = "http://example.com"; <dot> <a:b>key</a:b> <c>value</c> </dot> ! map{a:*:c} => deep-equal(map{"key":<c>value</c>})

 X MapConstructor-029:

Created on: 2016-05-04
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: declare namespace a = "http://example.com"; <dot> <a:b>key</a:b> <c>value</c> </dot> ! map{*:b:c} => deep-equal(map{"key":<c>value</c>})

 X MapConstructor-030:

Created on: 2016-05-04
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: declare namespace a = "http://example.com"; <dot> <a:b>key</a:b> </dot> ! map{a:b:*} => deep-equal(map{"key":<a:b xmlns:a="http://example.com">key</a:b>})

 X MapConstructor-031:

Created on: 2016-05-04
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: declare namespace a = "http://example.com"; <dot> <a:b>key</a:b> </dot> ! map{a:*:*} => deep-equal(map{"key":<a:b xmlns:a="http://example.com">key</a:b>})

 X MapConstructor-032:

Created on: 2016-05-04
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: declare namespace a = "http://example.com"; <dot> <a:b>key</a:b> </dot> ! map{*:b:*} => deep-equal(map{"key":<a:b xmlns:a="http://example.com">key</a:b>})

 X MapConstructor-033:

Created on: 2016-05-04
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: <e><f>foo</f></e> ! map{*:*} => deep-equal(map{"foo":<f>foo</f>})

 X MapConstructor-034:

Created on: 2016-05-04
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: <e><f>foo</f></e> ! map{*:f:*:f} => deep-equal(map{"foo":<f>foo</f>})

 X MapConstructor-035:

Created on: 2016-05-04
Spec Dependencies:
spec = XQ31+
spec = XP31+ XQ31+

Test: <e><f>4</f></e>!map{*:*div*,*||*:*} => deep-equal(map{"44":<f>4</f>,"4":1})

 X MapConstructor-036:

Created on: 2016-07-28
Spec Dependencies:
spec = XP31+ XQ31+

Test: map{2+2: "a", 5-1: "b"}

 X MapConstructor-037:

Created on: 2016-07-28
Spec Dependencies:
spec = XP31+ XQ31+

Test: map{xs:integer(2): 5, xs:float("2.0"): 8}

 X MapConstructor-038:

Created on: 2016-07-28
Spec Dependencies:
spec = XP31+ XQ31+

Test: map{xs:double("NaN"): true(), xs:float("NaN"): false()}

 X MapConstructor-039:

Created on: 2016-07-28
Spec Dependencies:
spec = XP31+ XQ31+

Test: map{xs:double("INF"): true(), xs:float("INF"): false()}

 X MapConstructor-040:

Created on: 2016-07-28
Spec Dependencies:
spec = XP31+ XQ31+

Test: map{xs:double("-INF"): true(), xs:float("-INF"): false()}

 X MapConstructor-041:

Created on: 2016-07-28
Spec Dependencies:
spec = XP31+ XQ31+

Test: map{xs:time("24:00:00"): true(), xs:time("00:00:00"): false()}

 X MapConstructor-042:

Created on: 2016-07-28
Spec Dependencies:
spec = XP31+ XQ31+

Test: map{xs:time("05:00:00+05:00"): true(), xs:time("00:00:00Z"): false()}

 X MapTest-001:

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

Test: map{} instance of map(*)

 X MapTest-002:

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

Test: map{1:"London"} instance of map(*)

 X MapTest-003:

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

Test: map{1:"London", "London":1} instance of map(*)

 X MapTest-004:

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

Test: map{} instance of map(xs:integer, xs:string)

 X MapTest-005:

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

Test: map{1:"London"} instance of map(xs:integer, xs:string)

 X MapTest-006:

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

Test: map{1:"London", "London":1} instance of map(xs:integer, xs:string)

 X MapTest-007:

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

Test: map{1:"London"} instance of map(xs:integer)

 X MapTest-008:

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

Test: map{1:"London"} instance of map(integer, string)

 X MapTest-009:

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

Test: map:remove(map{1:"London", "London":1}, "London") instance of map(xs:integer, xs:string)

 X MapTest-010:

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

Test: map:put(map{1:"London", 2:"Paris"}, 3, current-date()) instance of map(xs:integer, xs:string)

 X MapTest-011:

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

Test: map:put(map{1:"London", 2:"Paris"}, 3, "Berlin") instance of map(xs:decimal, xs:string+)

 X MapTest-012:

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

Test: map{"London":(), "Paris":(), "Berlin":()} instance of map(xs:string, empty-sequence())

 X MapTest-013:

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

Test: map{"London":(), "Paris":(), "Berlin":(), "Rome":5} instance of map(xs:string, empty-sequence())

 X MapTest-014:

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

Test: map{"London":1, "Paris":2, "Berlin":3, "Rome":()} instance of map(xs:string, xs:integer?)

 X MapTest-015:

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

Test: map{"London":1, "Paris":2, "Berlin":3, "Rome":()} instance of map(xs:string, xs:integer+)

 X MapTest-016:

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

Test: map{"London":1, "Paris":2, "Berlin":3, "Rome":5} instance of map(xs:string+, xs:integer+)

 X MapTest-017:

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

Test: map{"London":1, "Paris":2, "Berlin":3, "Rome":5} instance of map(xs:string, xs:integer+)*

 X MapTest-018:

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

Test: (map{"London":1, "Paris":2, "Berlin":3, "Rome":5}, map{}) instance of map(xs:string, xs:integer+)*

 X MapTest-019:

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

Test: (map{"London":1, "Paris":2, "Berlin":3, "Rome":5}, map{}) instance of map(xs:string, xs:integer+)?

 X MapTest-040:

Created on: 2014-10-08
Spec Dependencies:
feature = higherOrderFunctions
spec = XP31+ XQ31+

Test: function($m as map(xs:integer, xs:string)) as xs:integer {map:size($m)} instance of function(map(*)) as xs:integer

 X MapTest-041:

Created on: 2014-10-08
Spec Dependencies:
feature = higherOrderFunctions
spec = XP31+ XQ31+

Test: function($m as map(xs:integer, xs:string)) as xs:integer {map:size($m)} instance of function(map(xs:decimal, xs:string+)) as xs:integer

 X MapTest-042:

Created on: 2014-10-08
Spec Dependencies:
feature = higherOrderFunctions
spec = XP31+ XQ31+

Test: function($m as map(*)) as xs:integer {map:size($m)} instance of function(function(*)) as xs:integer

 X MapTest-043:

Created on: 2014-10-08
Spec Dependencies:
feature = higherOrderFunctions
spec = XP31+ XQ31+

Test: function($m as map(xs:integer, xs:string)) as xs:integer {map:size($m)} instance of function(function(*)) as xs:integer

 X MapTest-044:

Created on: 2014-10-08
Spec Dependencies:
feature = higherOrderFunctions
spec = XP31+ XQ31+

Test: function($m as map(xs:integer, xs:string)) as xs:integer {map:size($m)} instance of function(function(xs:anyAtomicType) as item()*) as xs:integer

 X MapTest-045:

Created on: 2014-10-08
Spec Dependencies:
feature = higherOrderFunctions
spec = XP31+ XQ31+

Test: function($m as map(xs:integer, xs:string)) as xs:integer {map:size($m)} instance of function(function(xs:integer) as item()*) as xs:integer

 X MapTest-050:

Created on: 2014-10-08
Spec Dependencies:
feature = higherOrderFunctions
spec = XP31+ XQ31+

Test: function($m as map(*)) as xs:integer {map:size($m)} instance of function(map(xs:integer, xs:string)) as xs:integer

 X MapTest-051:

Created on: 2014-10-08
Spec Dependencies:
feature = higherOrderFunctions
spec = XP31+ XQ31+

Test: function($m as map(xs:decimal, xs:string+)) as xs:integer {map:size($m)} instance of function(map(xs:integer, xs:string)) as xs:integer

 X MapTest-052:

Created on: 2014-10-08
Spec Dependencies:
feature = higherOrderFunctions
spec = XP31+ XQ31+

Test: function($m as function(*)) as xs:integer {function-arity($m)} instance of function(map(*)) as xs:integer

 X MapTest-053:

Created on: 2014-10-08
Spec Dependencies:
feature = higherOrderFunctions
spec = XP31+ XQ31+

Test: function($m as function(*)) as xs:integer {function-arity($m)} instance of function(map(xs:integer, xs:string)) as xs:integer

 X MapTest-055:

Created on: 2016-04-18
Spec Dependencies:
spec = XP31+ XQ31+
spec = XP31+ XQ31+

Test: map{1:2, 2:4, 3:6}(2)

 X MapTest-057:

Created on: 2016-04-18
Spec Dependencies:
spec = XP31+ XQ31+
spec = XP31+ XQ31+

Test: let $map:= map{1:'a', 2:'b', 3:'c', 4:'d'} return $map(3)

 X named-function-ref-reserved-function-names-018:

Created on: 2015-10-13
Spec Dependencies:
spec = XP31+ XQ31+
spec = XP30+ XQ30+
feature = higherOrderFunctions

Test: fn:exists(map#0)

 X typeswitch-117:

Created on: 2015-04-16
Spec Dependencies:
spec = XQ31+
spec = XQ10+

Test: let $x := [map{'x':1, 'y':2}, 'x'] let $y := [array{1, 2, 3}, 1] let $z := ($x, $y) for $e in $z return typeswitch($e?1) case $A as array(*) return array:get($A, $e?2) case $M as map(*) return map:get($M, $e?2) default return error()

 X typeswitch-118:

Created on: 2015-04-16
Spec Dependencies:
spec = XQ31+
spec = XQ10+

Test: let $x := map{'x':1, 'y':2} let $y := map{'A':1, 'B':2} let $z := ($x, $y, []) for $e in $z(position() lt 3) return typeswitch($e) case $A as array(*) return array:get($A, 'A') case $M as map(*) return map:get($M, 'A') default return error()

 X xqhof20:

Created on: 2015-07-16
Spec Dependencies:
spec = XQ31+
feature = higherOrderFunctions

Test: let $m := map { "Tuesday" : true(), "Wednesday" : true(), "Thursday" : false(), "Friday" : true(), "Monday" : true(), "Sunday" : false(), "Saturday" : false() } let $days := ("Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday", "Sunday") return fn:filter($days,$m)

 X xqhof21:

Created on: 2015-07-16
Spec Dependencies:
spec = XQ31+
feature = higherOrderFunctions

Test: let $m := map { "Tuesday" : true(), "Wednesday" : true(), "Friday" : true(), "Monday" : true(), "Sunday" : false(), "Saturday" : false() } let $days := ("Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday", "Sunday") return fn:filter($days,$m)

 X UseCaseCompoundValues-001:

Created on: 2014-12-30
Spec Dependencies:
spec = XQ31+
feature = higherOrderFunctions

Test: declare namespace i = "http://example.com/compound-values"; declare function i:complex($real as xs:double, $imaginary as xs:double) as map(xs:boolean, xs:double) { map { true() : $real, false() : $imaginary } }; declare function i:real($complex as map(xs:boolean, xs:double)) as xs:double { $complex(true()) }; declare function i:imaginary($complex as map(xs:boolean, xs:double)) as xs:double { $complex(false()) }; declare function i:add($arg1 as map(xs:boolean, xs:double), $arg2 as map(xs:boolean, xs:double)) as map(xs:boolean, xs:double){ i:complex(i:real($arg1)+i:real($arg2), i:imaginary($arg1)+i:imaginary($arg2)) }; declare function i:multiply($arg1 as map(xs:boolean, xs:double), $arg2 as map(xs:boolean, xs:double)) as map(xs:boolean, xs:double) { i:complex( i:real($arg1)*i:real($arg2) - i:imaginary($arg1)*i:imaginary($arg2), i:real($arg1)*i:imaginary($arg2) + i:imaginary($arg1)*i:real($arg2)) }; i:add(i:complex(2, 3), i:complex(1, -6)), i:multiply(i:complex(2, -1), i:complex(3, 4))

 X UseCaseR31-025:

Created on: 2014-04-24
Spec Dependencies:
feature = higherOrderFunctions
spec = XQ31+
spec = XQ30+

Test: declare namespace map="http://www.w3.org/2005/xpath-functions/map"; declare function local:deep-put($input as item()*, $key as xs:string, $value as item()*) as item()* { let $mf := function($k, $v) { if ($k eq $key) then map{$k : $value} else map{$k : local:deep-put($v, $key, $value)} } for $i in $input return if ($i instance of map(*)) then map:merge(map:for-each($i, $mf)) else if ($i instance of array(*)) then array{ local:deep-put($i?*, $key, $value) } else $i }; local:deep-put(json-doc("http://www.w3.org/qt3/app/UseCaseR31/bookinfo-json"), "first", "John")

 X UseCaseR31-034-err:

Created on: 2015-09-17
Spec Dependencies:
feature = higherOrderFunctions
spec = XQ31+
spec = XQ30+

Test: let $mf := function($k as node(), $v) { map{$k('book') : $v} } return $mf(json-doc("http://www.w3.org/qt3/app/UseCaseR31/bookinfo-json"), "first")

 X d1e41255b:

Created on: 2015-06-10
Spec Dependencies:
spec = XQ31+

Test: declare variable $deptinfo := map { "ACC": map { "deptname": "Accessories", "deptnum": 300 } , "WMN": map { "deptname": "Women's", "deptnum": 310 } , "MEN": map { "deptname": "Men's", "deptnum": 320 } }; $deptinfo instance of map(xs:string,map(xs:string,xs:anyAtomicType))

 X d1e41255c:

Created on: 2015-06-10
Spec Dependencies:
feature = higherOrderFunctions
spec = XQ31+

Test: declare variable $deptinfo := map { "ACC": map { "deptname": "Accessories", "deptnum": 300 } , "WMN": map { "deptname": "Women's", "deptnum": 310 } , "MEN": map { "deptname": "Men's", "deptnum": 320 } }; $deptinfo instance of function(*)

 X d1e41255d:

Created on: 2015-06-10
Spec Dependencies:
feature = higherOrderFunctions
spec = XQ31+

Test: declare variable $deptinfo := map { "ACC": map { "deptname": "Accessories", "deptnum": 300 } , "WMN": map { "deptname": "Women's", "deptnum": 310 } , "MEN": map { "deptname": "Men's", "deptnum": 320 } }; $deptinfo instance of function(xs:anyAtomicType) as item()*

 X d1e41255e:

Created on: 2015-06-10
Spec Dependencies:
spec = XQ31+

Test: declare variable $deptinfo := map { "ACC": map { "deptname": "Accessories", "deptnum": 300 } , "WMN": map { "deptname": "Women's", "deptnum": 310 } , "MEN": map { "deptname": "Men's", "deptnum": 320 } }; $deptinfo instance of item()

 X d1e41590:

Created on: 2015-06-10
Spec Dependencies:
spec = XQ31+

Test: declare function local:large-keys ($maparg as map(xs:integer,item()*))as xs:integer* { map:keys($maparg)[. > 50] }; local:large-keys(map {10:"a",55:"b",60:"c"})