inexplicable query parsing issue; "could not execute XQUERY..."

7 May 2013

      Running BaseX77-20130503.190321

The horrible query works until I add the second ("local:addArea") function
to it; that works fine in its own smaller query, which I've attached.  (as
far as I can tell, it really is the function causing the problem.)

I've attached the horrible query as well, just in case it's not all in the
error message.

The GUI is showing me "OK" in the bottom left corner.

Contents of error popup:

Could not execute XQUERY declare function local:addArea($area as
xs:string,$uri as xs:string,$path as xs:string,$element as element()) {

element {node-name($element)}
{
  $element/@*,
  attribute {'area'} {$area},
  attribute {'uri'} {$uri},
  attribute {'path'} {$path},
  $element/node()
}
};

declare function local:reportError($type as xs:string,$file as
xs:anyURI,$match as item(),$addInfo as item()*)
as element(error) {

let $errorMsg :=
<messages>
<msg><type>BASE0000</type><words>Document loaded into collection is not a
WKNA-Shared-CMS.dtd document; document element is not
wkna-shared-cms</words></msg>
<msg><type>CITE0000</type><words>Cite attribute values are required to
contain non-whitespace characters</words></msg>
<msg><type>CITE0005</type><words>Cite attribute value contains characters
not permitted in cite attribute values</words></msg>
<msg><type>CITE0010</type><words>num element must have at least one of an
associated cite attribute with a non-whitespace string value or
non-whitespace string-contents</words></msg>
<msg><type>CITE0020</type><words>num element with associated type attribute
with value "heading" has been deprecated and is not permitted</words></msg>
<msg><type>CITE0030</type><words>duplicate locative citations</words></msg>
<msg><type>FILE0010</type><words>document-defining element area-cite pair
does not match basename component of pathname</words></msg>
<msg><type>DATE0010</type><words>date element has no associated status
attribute or status attribute value</words></msg>
<msg><type>DATE0020</type><words>date element has an associated date
attribute with a null value</words></msg>
<msg><type>DATE0030</type><words>date element has an associated date
attribute with a value outside the permissible date range</words></msg>
<msg><type>DATE0040</type><words>date element has an associated status
attribute value not on the permitted list of status values</words></msg>
<msg><type>DATE0050</type><words>date element has no associated date
attribute while having a status value which does not permit the date
attribute to be absent</words></msg>
<msg><type>AREA0000</type><words>area attribute with no value</words></msg>
<msg><type>AREA0001</type><words>area attribute value does not conform to
NCName type restrictions</words></msg>
<msg><type>AREA0010</type><words>area attribute associated with an assembly
element has a value which is not a defined area</words></msg>
<msg><type>AREA0020</type><words>area attribute associated with a
horizon-level element has a value which is not a defined area</words></msg>
<msg><type>AREA0030</type><words>area attribute NOT associated with a
horizon-level element</words></msg>
<msg><type>AREA0040</type><words>area attribute NOT associated with a
feature horizon-level element</words></msg>
<msg><type>AREA0045</type><words>area attribute associated with a feature
horizon-level element has a value which is not a defined area</words></msg>
<msg><type>AREA0050</type><words>area attribute associated with an include
element has a value which is not a defined area</words></msg>
<msg><type>AREA0051</type><words>include element with special-case
associated area attribute value "fragments" has an associated cite
attribute with a value OTHER THAN "empty" or "omitted" which is not
permitted</words></msg>
<msg><type>AREA0060</type><words>area attribute associated with a source
element has a value which is not a defined area</words></msg>
<msg><type>AREA0070</type><words>area attribute associated with a
related-content-ref element has a value which is not a defined
area</words></msg>
<msg><type>AREA0080</type><words>area attribute associated with a link-type
element has a value which is not a defined area</words></msg>
<msg><type>REFR0010</type><words>include elements must reference an
existing locative citation</words></msg>
<msg><type>REFR0020</type><words>source elements must reference a locative
citation (area-cite pair) which exists in the same document</words></msg>
<msg><type>REFR0030</type><words>related-content-ref elements must
reference a locative citation (area-cite pair) which exists in the same
document</words></msg>
<msg><type>LINK0010</type><words>link elements must have a non-whitespace
string value</words></msg>
</messages>

return

<error type="{xs:NCName($type)}">
<uri>{$file}</uri>
<description>{string($errorMsg/msg[type eq $type]/words)}
{if (normalize-space($addInfo) or $addInfo instance of node()) then
$addInfo else ()}</description>
<path>{replace(path($match),'/Q\{[^\}]*\}','/')}</path>
{if ($match[self::element() and (self::assembly or self::va-object or
self::provision or self::agency-doc or self::commentary or self::decision
or self::fragment or self::index)])
then element {name($match)} {$match/@area}
else $match}
</error>
};

(: definitions for cite and cite-related checks:)

let $citeChars :=
'ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789-.(),'/[]%:|⦅ÀÂÇÉÈÊËÎÏÔÛÙÜŸÑàâçéèêëîïôûùüÿñœ '

(: definitions for date checks :)
let $dateStart := xs:date('1900-01-01')
let $dateEnd := current-date() + xs:yearMonthDuration('P5Y0M')
let $statusList := ('active', 'amended', 'archived', 'cancelled',
'consolidated', 'effective', 'first-reading', 'former', 'heard', 'oral',
'published', 'released', 'repealed', 'replaced', 'resolved', 'reviewed',
'revised', 'revoked', 'royal-assent', 'written')
let $absentDateStatus :=
('amended','archived','former','repealed','revoked')

(: definitions for area checks :)
let $areasList :=
doc(concat('file:',string-join(tokenize(substring-after(static-base-uri(),':'),'/')[not(position()
= (last(),last()
-1))],'/'),'/XSLT/DTDs/areas-metadata.xml'))/wkna-shared-cms/area/@area

(: definitions for reference checks :)
let $locativeNums := for $x in collection()//num[ancestor::*[@area][@area
castable as
xs:NCName]][@cite][matches(@cite,'\P{Zs}')][translate(@cite,$citeChars,'')
eq '']
return local:addArea($x/ancestor::*[@area][@area castable as
xs:NCName][1]/@area/string(),base-uri($x),replace(path($x),'/Q\{[^\}]*\}','/'),$x)

let $sortedNums := for $x in $locativeNums order by $x/@area,$x/@cite
return $x

(: perform actual checks:)
return file:write('/home/graydon/checks.xml',
<bucket>
{
  for tumbling window $w in $sortedNums
  start $s previous $pitem when concat($s/@area,'|',$s/@cite) ne
concat($pitem/@area,'|',$pitem/@cite)
  return if ($w[2]) then local:reportError('CITE0030','',$w,'') else ()
}
{
for $file in collection()
let $path := document-uri($file)

return
if (not($file/wkna-shared-cms))
then local:reportError('BASE0000',$path,'','')

else
let $bad := (
(:check area + primary cite matches file name :)
for $x in $file/wkna-shared-cms/*[self::assembly or self::provision or
self::decision or self::agency-doc or self::commentary or self::fragment or
self::index][1]
return
if
($x!concat(@area,'+',replace(replace(translate(translate(num[@cite][1]/@cite,'ÀÂÇÉÈÊËÎÏÔÛÙÜŸÑàâçéèêëîïôûùüÿñ','AACEEEEIIOUUUYNaaceeeeiiouuuyn'),'
/[]%:','______'),'_+','_'),'^_+|_+$',''),'.xml') eq
tokenize($path,'/')[last()])
then ()
else local:reportError('FILE0010',$path,$x,$x/num[@cite][1]),

(: checks on cite values :)
for $x in $file//@cite[not(matches(.,'\P{Zs}'))] return
local:reportError('CITE0000',$path,$x/..,''),
for $x in $file//@cite[matches(.,'\P{Zs}')][translate(.,$citeChars,'') ne
''] return local:reportError('CITE0005',$path,$x/..,concat(' The characters
',translate($x,$citeChars,''),' are not permitted in cite attribute
values.')),

(: checks on num elements:)
for $x in $file//num[not(normalize-space(@cite) or matches(.,'\P{Zs}'))]
return local:reportError('CITE0010',$path,$x,''),
for $x in $file//num[@type eq 'heading'] return
local:reportError('CITE0020',$path,$x,''),

(: checks on date elements :)
for $x in $file//date[not(@status) or not(normalize-space(@status))] return
local:reportError('DATE0010',$path,$x,''),
for $x in $file//date[@date][not(normalize-space(@date))] return
local:reportError('DATE0020',$path,$x,''),
for $x in $file//date[@date castable as xs:date or @date castable as
xs:gYear or @date castable as xs:gYearMonth]
let $compare :=  if ($x/@date castable as xs:date) then xs:date($x/@date)
            else if ($x/@date castable as xs:gYearMonth) then
xs:date(concat(xs:string(xs:gYearMonth($x/@date)),'-01'))
            else xs:date(concat(xs:string(xs:gYear($x/@date)),'-01-01'))

return if ($compare lt $dateStart or $compare gt $dateEnd) then
local:reportError('DATE0030',$path,$x,concat('Permissible dates lie betwee
',$dateStart,' and ',$dateEnd,' inclusive.')) else (),

for $x in $file//date[@status][normalize-space(@status)][not(@status =
$statusList)] return local:reportError('DATE0040',$path,$x,''),
for $x in $file//date[@status][normalize-space(@status)][@status =
$statusList][not(@status = $absentDateStatus)][not(@date)] return
local:reportError('DATE0050',$path,$x,''),

(: checks on link elements :)
for $x in $file//link[not(matches(.,'\P{Zs}'))] return
local:reportError('LINK0010',$path,$x,''),

(: checks on area attributes:)
for $x in $file//@area[not(normalize-space())] return
local:reportError('AREA0000',$path,$x/..,''),
for $x in $file//@area[not(. castable as xs:NCName)] return
local:reportError('AREA0001',$path,$x/..,''),
for $x in $file//assembly[@area][normalize-space(@area)][@area castable as
xs:NCName]/@area[not(. = $areasList)] return
local:reportError('AREA0010',$path,$x/..,''),
for $x in $file//*[self::provision or self::commentary or self::decision or
self::agency-doc or self::fragment][@area][normalize-space(@area)][@area
castable as xs:NCName][@area[not(. = $areasList)]]
    return local:reportError('AREA0020',$path,$x,''),
for $x in $file//*[self::provision or self::commentary or self::decision or
self::agency-doc][not(@area) or not(normalize-space(@area))] return
local:reportError('AREA0030',$path,$x,''),
for $x in $file//*[self::va-object][not(@area) or
not(normalize-space(@area))] return
local:reportError('AREA0040',$path,$x,''),
for $x in $file//*[self::va-object][@area][normalize-space(@area)][@area
castable as xs:NCName][not(@area = $areasList)] return
local:reportError('AREA0045',$path,$x,''),
for $x in $file//include[@area][normalize-space(@area)][@area castable as
xs:NCName][not(@area = $areasList)] return
local:reportError('AREA0050',$path,$x,''),
for $x in $file//include[@area][normalize-space(@area)][@area castable as
xs:NCName][@area = 'fragments'][not(@cite = ('empty','omitted'))] return
local:reportError('AREA0051',$path,$x,''),
for $x in $file//source[@area][normalize-space(@area)][@area castable as
xs:NCName][not(@area = $areasList)] return
local:reportError('AREA0060',$path,$x,''),
for $x in $file//related-content-ref[@area][normalize-space(@area)][@area
castable as xs:NCName][not(@area = $areasList)] return
local:reportError('AREA0070',$path,$x,''),
for $x in $file//*[@area][normalize-space(@area)][@area castable as
xs:NCName][self::link or self::target][not(@area = $areasList)] return
local:reportError('AREA0080',$path,$x,''),

(:check references:)
for $x in
$file//include[not(map:contains($allLocations,concat(@area,'|',@cite)))]
return local:reportError('REFR0010',$path,$x,''),
for $x in $file//source[not(some $num in $file//num satisfies $num/@cite eq
@cite and $num/ancestor::*[@area][1]/@area eq @area)] return
local:reportError('REFR0020',$path,$x,''),
for $x in $file//related-content-ref[not(some $num in $file//num satisfies
$num/@cite eq @cite and $num/ancestor::*[@area][1]/@area eq @area)] return
local:reportError('REFR0030',$path,$x,'')

)

return if ($bad/*) then $bad else ()
}</bucket>):
Improper use? Potential bug? Your feedback is welcome:
Contact: basex-talk@mailman.uni-konstanz.de
Version: BaseX 7.7 beta
Java: Oracle Corporation, 1.7.0_09
OS: Linux, amd64
Stack Trace:
java.lang.NullPointerException
  org.basex.query.var.StaticVarRef.uses(StaticVarRef.java:61)
  org.basex.query.expr.Arr.uses(Arr.java:45)
  org.basex.query.func.FNMap.uses(FNMap.java:137)
  org.basex.query.expr.Arr.uses(Arr.java:45)
  org.basex.query.path.Step.get(Step.java:55)
  org.basex.query.QueryParser.axisStep(QueryParser.java:1950)
  org.basex.query.QueryParser.step(QueryParser.java:1896)
  org.basex.query.QueryParser.relativePath(QueryParser.java:1845)
  org.basex.query.QueryParser.path(QueryParser.java:1819)
  org.basex.query.QueryParser.value(QueryParser.java:1699)
  org.basex.query.QueryParser.unary(QueryParser.java:1686)
  org.basex.query.QueryParser.cast(QueryParser.java:1664)
  org.basex.query.QueryParser.castable(QueryParser.java:1652)
  org.basex.query.QueryParser.treat(QueryParser.java:1640)
  org.basex.query.QueryParser.instanceoff(QueryParser.java:1628)
  org.basex.query.QueryParser.intersect(QueryParser.java:1607)
  org.basex.query.QueryParser.union(QueryParser.java:1581)
  org.basex.query.QueryParser.multiplicative(QueryParser.java:1565)
  org.basex.query.QueryParser.additive(QueryParser.java:1550)
  org.basex.query.QueryParser.range(QueryParser.java:1539)
  org.basex.query.QueryParser.stringConcat(QueryParser.java:1525)
  org.basex.query.QueryParser.ftContains(QueryParser.java:1499)
  org.basex.query.QueryParser.comparison(QueryParser.java:1481)
  org.basex.query.QueryParser.and(QueryParser.java:1467)
  org.basex.query.QueryParser.or(QueryParser.java:1453)
  org.basex.query.QueryParser.single(QueryParser.java:1032)
  org.basex.query.QueryParser.forClause(QueryParser.java:1179)
  org.basex.query.QueryParser.initialClause(QueryParser.java:1149)
  org.basex.query.QueryParser.flwor(QueryParser.java:1048)
  org.basex.query.QueryParser.single(QueryParser.java:1021)
  org.basex.query.QueryParser.expr(QueryParser.java:1010)
  org.basex.query.QueryParser.parenthesized(QueryParser.java:2291)
  org.basex.query.QueryParser.primary(QueryParser.java:2054)
  org.basex.query.QueryParser.postfix(QueryParser.java:2014)
  org.basex.query.QueryParser.step(QueryParser.java:1895)
  org.basex.query.QueryParser.path(QueryParser.java:1811)
  org.basex.query.QueryParser.value(QueryParser.java:1699)
  org.basex.query.QueryParser.unary(QueryParser.java:1686)
  org.basex.query.QueryParser.cast(QueryParser.java:1664)
  org.basex.query.QueryParser.castable(QueryParser.java:1652)
  org.basex.query.QueryParser.treat(QueryParser.java:1640)
  org.basex.query.QueryParser.instanceoff(QueryParser.java:1628)
  org.basex.query.QueryParser.intersect(QueryParser.java:1607)
  org.basex.query.QueryParser.union(QueryParser.java:1581)
  org.basex.query.QueryParser.multiplicative(QueryParser.java:1565)
  org.basex.query.QueryParser.additive(QueryParser.java:1550)
  org.basex.query.QueryParser.range(QueryParser.java:1539)
  org.basex.query.QueryParser.stringConcat(QueryParser.java:1525)
  org.basex.query.QueryParser.ftContains(QueryParser.java:1499)
  org.basex.query.QueryParser.comparison(QueryParser.java:1481)
  org.basex.query.QueryParser.and(QueryParser.java:1467)
  org.basex.query.QueryParser.or(QueryParser.java:1453)
  org.basex.query.QueryParser.single(QueryParser.java:1032)
  org.basex.query.QueryParser.letClause(QueryParser.java:1205)
  org.basex.query.QueryParser.initialClause(QueryParser.java:1148)
  org.basex.query.QueryParser.flwor(QueryParser.java:1048)
  org.basex.query.QueryParser.single(QueryParser.java:1021)
  org.basex.query.QueryParser.iff(QueryParser.java:1443)
  org.basex.query.QueryParser.single(QueryParser.java:1025)
  org.basex.query.QueryParser.flwor(QueryParser.java:1130)
  org.basex.query.QueryParser.single(QueryParser.java:1021)
  org.basex.query.QueryParser.expr(QueryParser.java:1001)
  org.basex.query.QueryParser.enclosed(QueryParser.java:990)
  org.basex.query.QueryParser.dirElemContent(QueryParser.java:2541)
  org.basex.query.QueryParser.dirElement(QueryParser.java:2487)
  org.basex.query.QueryParser.constructor(QueryParser.java:2371)
  org.basex.query.QueryParser.primary(QueryParser.java:2056)
  org.basex.query.QueryParser.postfix(QueryParser.java:2014)
  org.basex.query.QueryParser.step(QueryParser.java:1895)
  org.basex.query.QueryParser.path(QueryParser.java:1811)
  org.basex.query.QueryParser.value(QueryParser.java:1699)
  org.basex.query.QueryParser.unary(QueryParser.java:1686)
  org.basex.query.QueryParser.cast(QueryParser.java:1664)
  org.basex.query.QueryParser.castable(QueryParser.java:1652)
  org.basex.query.QueryParser.treat(QueryParser.java:1640)
  org.basex.query.QueryParser.instanceoff(QueryParser.java:1628)
  org.basex.query.QueryParser.intersect(QueryParser.java:1607)
  org.basex.query.QueryParser.union(QueryParser.java:1581)
  org.basex.query.QueryParser.multiplicative(QueryParser.java:1565)
  org.basex.query.QueryParser.additive(QueryParser.java:1550)
  org.basex.query.QueryParser.range(QueryParser.java:1539)
  org.basex.query.QueryParser.stringConcat(QueryParser.java:1525)
  org.basex.query.QueryParser.ftContains(QueryParser.java:1499)
  org.basex.query.QueryParser.comparison(QueryParser.java:1481)
  org.basex.query.QueryParser.and(QueryParser.java:1467)
  org.basex.query.QueryParser.or(QueryParser.java:1453)
  org.basex.query.QueryParser.single(QueryParser.java:1032)
  org.basex.query.QueryParser.argumentList(QueryParser.java:2352)
  org.basex.query.QueryParser.functionCall(QueryParser.java:2308)
  org.basex.query.QueryParser.primary(QueryParser.java:2063)
  org.basex.query.QueryParser.postfix(QueryParser.java:2014)
  org.basex.query.QueryParser.step(QueryParser.java:1895)
  org.basex.query.QueryParser.path(QueryParser.java:1811)
  org.basex.query.QueryParser.value(QueryParser.java:1699)
  org.basex.query.QueryParser.unary(QueryParser.java:1686)
  org.basex.query.QueryParser.cast(QueryParser.java:1664)
  org.basex.query.QueryParser.castable(QueryParser.java:1652)
  org.basex.query.QueryParser.treat(QueryParser.java:1640)
  org.basex.query.QueryParser.instanceoff(QueryParser.java:1628)
  org.basex.query.QueryParser.intersect(QueryParser.java:1607)
  org.basex.query.QueryParser.union(QueryParser.java:1581)
  org.basex.query.QueryParser.multiplicative(QueryParser.java:1565)
  org.basex.query.QueryParser.additive(QueryParser.java:1550)
  org.basex.query.QueryParser.range(QueryParser.java:1539)
  org.basex.query.QueryParser.stringConcat(QueryParser.java:1525)
  org.basex.query.QueryParser.ftContains(QueryParser.java:1499)
  org.basex.query.QueryParser.comparison(QueryParser.java:1481)
  org.basex.query.QueryParser.and(QueryParser.java:1467)
  org.basex.query.QueryParser.or(QueryParser.java:1453)
  org.basex.query.QueryParser.single(QueryParser.java:1032)
  org.basex.query.QueryParser.flwor(QueryParser.java:1130)
  org.basex.query.QueryParser.single(QueryParser.java:1021)
  org.basex.query.QueryParser.expr(QueryParser.java:1001)
  org.basex.query.QueryParser.parseMain(QueryParser.java:176)
  org.basex.query.QueryContext.parse(QueryContext.java:176)
  org.basex.query.QueryProcessor.parse(QueryProcessor.java:53)
  org.basex.core.cmd.AQuery.updating(AQuery.java:137)
  org.basex.core.cmd.AQuery.updating(AQuery.java:223)
  org.basex.gui.GUI.exec(GUI.java:384)
  org.basex.gui.GUI$7.run(GUI.java:349)

Graydon Saunders

Christian Grün

Christian Grün

tags

participants (2)