Hi,
While studying Leo's "Higher-Order XQuery Modules" I encountered a small bug
in Basex. Probably a wrongly timed initialization of an internal
locationpath-variable.
If Basex starts with an editor-window active that contains a query with a
doc-statement that contains a relative path, than when directly running this
query triggers an error, see attachement: basex-error.txt.
Leo's dijkstra-query also suffers from it.
Regards,
Rob Stapper
PS. Leo's modules made me understand programming functional data structures
in Basex. Thanx for that.
---
Dit e-mailbericht bevat geen virussen en malware omdat avast!
Antivirus-bescherming actief is.
http://www.avast.com
Could not execute XQUERY (:
import module namespace dictionary = 'map/dictionary';
import module namespace dictionary = 'inlining/dictionary';
import module namespace dictionary = 'overloading/dictionary';
:)
import module namespace dictionary = 'map/dictionary/main';
declare variable $resource := doc('../resources/dictionary.xml');
declare function local:definition.processor
( $dictionary
, $definition.name as xs:string
, $definitionSource as item()*
)
{
dictionary:definition.insert( $dictionary
, $definition.name
, $definitionSource/text()
)
} ;
declare function local:dictionary.processor
( $dictionary
, $dictionarySource as item()*
)
{
fold-left( $dictionarySource/definition
, $dictionary
, function( $dictionary
, $definitionSource as item()*
)
{
let $definition.name := xs:string(
$definitionSource/@name)
return local:definition.processor(
dictionary:reservation.insert( $dictionary
, $definition.name
)
, $definition.name
,
$definitionSource
)
}
)
} ;
dictionary:definition.content.get( local:dictionary.processor( dictionary:new()
,
$resource/dictionary)
, "def_1000"
)
:
Improper use? Potential bug? Your feedback is welcome:
Contact: [email protected]
Version: BaseX 7.8 beta 70ccb7e
Java: Oracle Corporation, 1.7.0_45
OS: Windows Vista, x86
Stack Trace:
java.lang.NullPointerException
at java.io.File.<init>(Unknown Source)
at org.basex.io.IOFile.<init>(IOFile.java:34)
at org.basex.gui.view.editor.EditorView.error(EditorView.java:762)
at org.basex.gui.view.editor.EditorView.info(EditorView.java:729)
at org.basex.gui.GUI.exec(GUI.java:433)
at org.basex.gui.GUI$8.run(GUI.java:361)_______________________________________________
BaseX-Talk mailing list
[email protected]
https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk
