Re: [Zorba-coders] [Merge] lp:~matthias-brantner/zorba/bug-fixing into lp:zorba

2011-11-16 Thread Markos Zaharioudakis
Review: Approve


-- 
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82347
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~zorba-coders/zorba/markos-scratch into lp:zorba

2011-11-16 Thread Markos Zaharioudakis
The proposal to merge lp:~zorba-coders/zorba/markos-scratch into lp:zorba has 
been updated.

Status: Approved = Needs review

For more details, see:
https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/82301
-- 
https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/82301
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~zorba-coders/zorba/markos-scratch into lp:zorba

2011-11-16 Thread Markos Zaharioudakis
The proposal to merge lp:~zorba-coders/zorba/markos-scratch into lp:zorba has 
been updated.

Status: Needs review = Approved

For more details, see:
https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/82301
-- 
https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/82301
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~diogo-simoes89/zorba/data-cleaning into lp:zorba/data-cleaning-module

2011-11-16 Thread Diogo Simões
The proposal to merge lp:~diogo-simoes89/zorba/data-cleaning into 
lp:zorba/data-cleaning-module has been updated.

Status: Needs review = Approved

For more details, see:
https://code.launchpad.net/~diogo-simoes89/zorba/data-cleaning/+merge/79530
-- 
https://code.launchpad.net/~diogo-simoes89/zorba/data-cleaning/+merge/79530
Your team Zorba Coders is subscribed to branch lp:zorba/data-cleaning-module.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~danielturcanu/zorba/plan-serializer into lp:zorba

2011-11-16 Thread Matthias Brantner
The proposal to merge lp:~danielturcanu/zorba/plan-serializer into lp:zorba has 
been updated.

Commit Message changed to:

Fixed bug #872850 about plan serializer crash

For more details, see:
https://code.launchpad.net/~danielturcanu/zorba/plan-serializer/+merge/79528
-- 
https://code.launchpad.net/~danielturcanu/zorba/plan-serializer/+merge/79528
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


Re: [Zorba-coders] [Merge] lp:~matthias-brantner/zorba/bug-fixing into lp:zorba

2011-11-16 Thread William Candillon
Review: Approve


-- 
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82347
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~matthias-brantner/zorba/bug-fixing into lp:zorba

2011-11-16 Thread Zorba Build Bot
Validation queue starting for merge proposal.
Log at: 
http://zorbatest.lambda.nu:8080/remotequeue/bug-fixing-2011-11-16T17-06-20.497Z/log.html
-- 
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82347
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~matthias-brantner/zorba/bug-fixing into lp:zorba

2011-11-16 Thread Zorba Build Bot
Validation queue job bug-fixing-2011-11-16T17-06-20.497Z is finished. The final 
status was:

All tests succeeded!
-- 
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82347
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~zorba-coders/zorba/markos-scratch into lp:zorba

2011-11-16 Thread Zorba Build Bot
Validation queue starting for merge proposal.
Log at: 
http://zorbatest.lambda.nu:8080/remotequeue/markos-scratch-2011-11-16T17-21-50.318Z/log.html
-- 
https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/82301
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~matthias-brantner/zorba/bug-fixing into lp:zorba

2011-11-16 Thread noreply
The proposal to merge lp:~matthias-brantner/zorba/bug-fixing into lp:zorba has 
been updated.

Status: Approved = Merged

For more details, see:
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82347
-- 
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82347
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 867133] Re: SWIG PHP build failure on Mac OSX

2011-11-16 Thread Zorba Build Bot
** Changed in: zorba
   Status: New = Fix Committed

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/867133

Title:
  SWIG PHP build failure on Mac OSX

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  See the zorba coders topic under: Still SWIG problems...

  
  Linking CXX shared module libzorba_api.so
  Undefined symbols:
   _zval_is_true, referenced from:
   _wrap_swig_zorba_api_alter_newobject(int, _zval_struct*,
  _zval_struct**, _zval_struct*, int)in zorba_apiPHP5_wrap.cxx.o
   _zend_lookup_class, referenced from:
   SWIG_ZTS_SetPointerZval(_zval_struct*, void*, swig_type_info*,
  int)in zorba_apiPHP5_wrap.cxx.o
   __object_init, referenced from:
   SWIG_ZTS_SetPointerZval(_zval_struct*, void*, swig_type_info*,
  int)in zorba_apiPHP5_wrap.cxx.o
  (maybe you meant: __object_init_ex)
   __zend_hash_add_or_update, referenced from:
   SWIG_ZTS_SetPointerZval(_zval_struct*, void*, swig_type_info*,
  int)in zorba_apiPHP5_wrap.cxx.o
   _php_strtolower, referenced from:
   SWIG_ZTS_SetPointerZval(_zval_struct*, void*, swig_type_info*,
  int)in zorba_apiPHP5_wrap.cxx.o
  ld: symbol(s) not found
  collect2: ld returned 1 exit status
  make[2]: *** [swig/php/libzorba_api.so] Error 1
  make[1]: *** [swig/php/CMakeFiles/zorba_api.dir/all] Error 2
  make: *** [all] Error 2

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/867133/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~zorba-coders/zorba/markos-scratch into lp:zorba

2011-11-16 Thread Zorba Build Bot
Validation queue job markos-scratch-2011-11-16T17-21-50.318Z is finished. The 
final status was:

All tests succeeded!
-- 
https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/82301
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~zorba-coders/zorba/markos-scratch into lp:zorba

2011-11-16 Thread noreply
The proposal to merge lp:~zorba-coders/zorba/markos-scratch into lp:zorba has 
been updated.

Status: Approved = Merged

For more details, see:
https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/82301
-- 
https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/82301
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


Re: [Zorba-coders] [Merge] lp:~danielturcanu/zorba/plan-serializer into lp:zorba

2011-11-16 Thread Zorba Build Bot
Attempt to merge into lp:zorba failed due to conflicts: 

text conflict in ChangeLog
-- 
https://code.launchpad.net/~danielturcanu/zorba/plan-serializer/+merge/79528
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~diogo-simoes89/zorba/data-cleaning into lp:zorba/data-cleaning-module

2011-11-16 Thread Diogo Simões
The proposal to merge lp:~diogo-simoes89/zorba/data-cleaning into 
lp:zorba/data-cleaning-module has been updated.

Status: Needs review = Approved

For more details, see:
https://code.launchpad.net/~diogo-simoes89/zorba/data-cleaning/+merge/79530
-- 
https://code.launchpad.net/~diogo-simoes89/zorba/data-cleaning/+merge/79530
Your team Zorba Coders is subscribed to branch lp:zorba/data-cleaning-module.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~diogo-simoes89/zorba/data-cleaning into lp:zorba/data-cleaning-module

2011-11-16 Thread Zorba Build Bot
Validation queue starting for merge proposal.
Log at: 
http://zorbatest.lambda.nu:8080/remotequeue/data-cleaning-2011-11-16T18-48-39.387Z/log.html
-- 
https://code.launchpad.net/~diogo-simoes89/zorba/data-cleaning/+merge/79530
Your team Zorba Coders is subscribed to branch lp:zorba/data-cleaning-module.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 886543] Re: Fake std::move() doesn't always work under g++ 4.6.x

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: New = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/886543

Title:
  Fake std::move() doesn't always work under g++ 4.6.x

Status in Zorba - The XQuery Processor:
  Fix Released

Bug description:
  Under g++ 4.6.x, the fake std::move() doesn't work when converting a
  T to an rvT -- though it's not clear to me why not.

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/886543/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 889478] Re: doc('') and xml: prefix

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/889478

Title:
  doc('') and xml: prefix

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  With Zorba 2.0.3 and Win7, I get an exception when running the
  following query..

doc('id.xml')

  ..which is supposed to open the following document:

id xml:base='http://wow' xml:id='id0'/

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/889478/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 891453] Re: XQuery grammar needs EQNames

2011-11-16 Thread Matthias Brantner
Specificially, the ItemType production currently only includes the
AtomicType production which should be extended to support
AtomicOrUnionType.

** Changed in: zorba
Milestone: None = 2.2

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/891453

Title:
  XQuery grammar needs EQNames

Status in Zorba - The XQuery Processor:
  New

Bug description:
  According to Matthias, the XQuery grammar needs to be extended to
  support EQNames.  There also needs to be an AtonicOrUntionType
  production.

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/891453/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~matthias-brantner/zorba/caching into lp:zorba

2011-11-16 Thread Matthias Brantner
Matthias Brantner has proposed merging lp:~matthias-brantner/zorba/caching into 
lp:zorba.

Requested reviews:
  Matthias Brantner (matthias-brantner)
  Markos Zaharioudakis (markos-za)

For more details, see:
https://code.launchpad.net/~matthias-brantner/zorba/caching/+merge/82482

- automatic caching of recursive, non-sequential, and deterministic functions 
with atomic parameter and return types
- %ann:cache and %ann:no-cache for controlling function result caching
-- 
https://code.launchpad.net/~matthias-brantner/zorba/caching/+merge/82482
Your team Zorba Coders is subscribed to branch lp:zorba.
=== modified file 'ChangeLog'
--- ChangeLog	2011-11-16 04:00:29 +
+++ ChangeLog	2011-11-17 03:02:26 +
@@ -54,7 +54,12 @@
 xs:anyAtomicType or xs:untypedAtomic.
   * Added undo for node revalidation
   * Optimization for count(collection()) expressions
+ TREE
   * Fixed bug #867133 (SWIG PHP build failure on Mac OSX)
+===
+  * Caching of results for recursive functions with atomic parameter and return types.
+  * Added %ann:cache and %ann:no-cache to enable or disable caching of results of functions with atomic parameter and return types.
+ MERGE-SOURCE
   * Fixed bug #872796  (validate-in-place can interfere with other update primitives)
   * Fixed bug #872799 (validate-in-place can set incorrect types)
   * Fixed bug #855715 (Invalid escaped characters in regex not caught)

=== modified file 'doc/zorba/options.dox'
--- doc/zorba/options.dox	2011-09-14 06:15:19 +
+++ doc/zorba/options.dox	2011-11-17 03:02:26 +
@@ -278,6 +278,27 @@
 In order to be able to use the value twice, the ttstring:materialize/tt function must be used to materialize the entire contents of the file ttmyfile.txt/tt in memory.
 Otherwise, the error zerr:ZSTR0055 is raised.
 
+\paragraph caching_annotation Caching Results of Functions
+Caching of function results might improve the performance if computational expensive functions are invoked multiple times with the same arguments.
+
+Zorba automatically caches results of recursive, deterministic, and non-sequential functions whose parameter and return types are subtypes of xs:anyAtomicType if at least optimization level O1 is used.
+Specifically, if such a function is called twice with the same arguments, the result of the second call will return the same value without re-evaluating the function.
+
+For example, in the following recursive function computing a fibonacci number, each result is automatically cached and, hence, dramatically improves the performance.
+
+\include zorba/udf/udf-fib-rec.xq
+
+Specifically, this optimization reduces the complexity of the function from O(1.6^n) to O(n).
+
+In order to explicitly disable function caching, the user can specify the tt%ann:no-cache/tt annotation.
+
+In addition, the user can use the tt%ann:cache/tt annotation to cache the results of functions other than the ones that are automatically cached.
+However, this will only work if the function is not updating and its parameter and return types are subtypes of xs:anyAtomicType.
+Zorba will raise a warning if caching is explicitly enabled but the function does not meet this criteria (zwarn:ZWST0005).
+
+Please note, that explicitly enforcing caching for sequential or nondeterministic functions might not give the intended result.
+In such cases, Zorba will raise a warning (zwarn:ZWST0006).
+
 \paragraph collection_index_annotations Annotations on Collections and Indexes
 
 The \ref xqddf uses annotations to assign properties to collections and indexes.

=== modified file 'include/zorba/pregenerated/diagnostic_list.h'
--- include/zorba/pregenerated/diagnostic_list.h	2011-11-15 08:23:20 +
+++ include/zorba/pregenerated/diagnostic_list.h	2011-11-17 03:02:26 +
@@ -600,6 +600,8 @@
 
 extern ZORBA_DLL_PUBLIC ZorbaErrorCode ZDDY0034_INDEX_RANGE_VALUE_PROBE_BAD_KEY_TYPES;
 
+extern ZORBA_DLL_PUBLIC ZorbaErrorCode ZDDY0035_INDEX_GENERAL_INSERT;
+
 extern ZORBA_DLL_PUBLIC ZorbaErrorCode ZDDY0031_IC_NOT_DECLARED;
 
 extern ZORBA_DLL_PUBLIC ZorbaErrorCode ZDDY0032_IC_NOT_ACTIVATED;
@@ -752,6 +754,10 @@
 
 extern ZORBA_DLL_PUBLIC ZorbaWarningCode ZWST0004_AMBIGUOUS_SEQUENTIAL_FLWOR;
 
+extern ZORBA_DLL_PUBLIC ZorbaWarningCode ZWST0005_CACHING_NOT_POSSIBLE;
+
+extern ZORBA_DLL_PUBLIC ZorbaWarningCode ZWST0006_CACHING_MIGHT_NOT_BE_INTENDED;
+
 } // namespace zwarn
 } // namespace zorba
 #endif /* ZORBA_DIAGNOSTIC_LIST_API_H */

=== modified file 'modules/com/zorba-xquery/www/modules/pregenerated/errors.xq'
--- modules/com/zorba-xquery/www/modules/pregenerated/errors.xq	2011-11-15 08:23:20 +
+++ modules/com/zorba-xquery/www/modules/pregenerated/errors.xq	2011-11-17 03:02:26 +
@@ -501,6 +501,10 @@
 
 (:~
 :)
+declare variable $zerr:ZDDY0035 as xs:QName := fn:QName($zerr:NS, zerr:ZDDY0035);
+
+(:~
+:)
 declare variable $zerr:ZDDY0031 as xs:QName := fn:QName($zerr:NS, zerr:ZDDY0031);
 
 (:~

=== modified file 'modules/com/zorba-xquery/www/modules/pregenerated/warnings.xq'
--- 

[Zorba-coders] [Merge] lp:~matthias-brantner/zorba/caching into lp:zorba

2011-11-16 Thread Matthias Brantner
The proposal to merge lp:~matthias-brantner/zorba/caching into lp:zorba has 
been updated.

Status: Needs review = Approved

For more details, see:
https://code.launchpad.net/~matthias-brantner/zorba/caching/+merge/82482
-- 
https://code.launchpad.net/~matthias-brantner/zorba/caching/+merge/82482
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~matthias-brantner/zorba/caching into lp:zorba

2011-11-16 Thread Matthias Brantner
Matthias Brantner has proposed merging lp:~matthias-brantner/zorba/caching into 
lp:zorba.

Requested reviews:
  Markos Zaharioudakis (markos-za)
  Matthias Brantner (matthias-brantner)

For more details, see:
https://code.launchpad.net/~matthias-brantner/zorba/caching/+merge/82483

- automatic caching of recursive, non-sequential, and deterministic functions 
with atomic parameter and return types
- %ann:cache and %ann:no-cache for controlling function result caching
-- 
https://code.launchpad.net/~matthias-brantner/zorba/caching/+merge/82483
Your team Zorba Coders is subscribed to branch lp:zorba.
=== modified file 'ChangeLog'
--- ChangeLog	2011-11-16 04:00:29 +
+++ ChangeLog	2011-11-17 03:07:25 +
@@ -54,6 +54,8 @@
 xs:anyAtomicType or xs:untypedAtomic.
   * Added undo for node revalidation
   * Optimization for count(collection()) expressions
+  * Caching of results for recursive functions with atomic parameter and return types.
+  * Added %ann:cache and %ann:no-cache to enable or disable caching of results of functions with atomic parameter and return types.
   * Fixed bug #867133 (SWIG PHP build failure on Mac OSX)
   * Fixed bug #872796  (validate-in-place can interfere with other update primitives)
   * Fixed bug #872799 (validate-in-place can set incorrect types)

=== modified file 'doc/zorba/options.dox'
--- doc/zorba/options.dox	2011-09-14 06:15:19 +
+++ doc/zorba/options.dox	2011-11-17 03:07:25 +
@@ -278,6 +278,27 @@
 In order to be able to use the value twice, the ttstring:materialize/tt function must be used to materialize the entire contents of the file ttmyfile.txt/tt in memory.
 Otherwise, the error zerr:ZSTR0055 is raised.
 
+\paragraph caching_annotation Caching Results of Functions
+Caching of function results might improve the performance if computational expensive functions are invoked multiple times with the same arguments.
+
+Zorba automatically caches results of recursive, deterministic, and non-sequential functions whose parameter and return types are subtypes of xs:anyAtomicType if at least optimization level O1 is used.
+Specifically, if such a function is called twice with the same arguments, the result of the second call will return the same value without re-evaluating the function.
+
+For example, in the following recursive function computing a fibonacci number, each result is automatically cached and, hence, dramatically improves the performance.
+
+\include zorba/udf/udf-fib-rec.xq
+
+Specifically, this optimization reduces the complexity of the function from O(1.6^n) to O(n).
+
+In order to explicitly disable function caching, the user can specify the tt%ann:no-cache/tt annotation.
+
+In addition, the user can use the tt%ann:cache/tt annotation to cache the results of functions other than the ones that are automatically cached.
+However, this will only work if the function is not updating and its parameter and return types are subtypes of xs:anyAtomicType.
+Zorba will raise a warning if caching is explicitly enabled but the function does not meet this criteria (zwarn:ZWST0005).
+
+Please note, that explicitly enforcing caching for sequential or nondeterministic functions might not give the intended result.
+In such cases, Zorba will raise a warning (zwarn:ZWST0006).
+
 \paragraph collection_index_annotations Annotations on Collections and Indexes
 
 The \ref xqddf uses annotations to assign properties to collections and indexes.

=== modified file 'include/zorba/pregenerated/diagnostic_list.h'
--- include/zorba/pregenerated/diagnostic_list.h	2011-11-15 08:23:20 +
+++ include/zorba/pregenerated/diagnostic_list.h	2011-11-17 03:07:25 +
@@ -600,6 +600,8 @@
 
 extern ZORBA_DLL_PUBLIC ZorbaErrorCode ZDDY0034_INDEX_RANGE_VALUE_PROBE_BAD_KEY_TYPES;
 
+extern ZORBA_DLL_PUBLIC ZorbaErrorCode ZDDY0035_INDEX_GENERAL_INSERT;
+
 extern ZORBA_DLL_PUBLIC ZorbaErrorCode ZDDY0031_IC_NOT_DECLARED;
 
 extern ZORBA_DLL_PUBLIC ZorbaErrorCode ZDDY0032_IC_NOT_ACTIVATED;
@@ -752,6 +754,10 @@
 
 extern ZORBA_DLL_PUBLIC ZorbaWarningCode ZWST0004_AMBIGUOUS_SEQUENTIAL_FLWOR;
 
+extern ZORBA_DLL_PUBLIC ZorbaWarningCode ZWST0005_CACHING_NOT_POSSIBLE;
+
+extern ZORBA_DLL_PUBLIC ZorbaWarningCode ZWST0006_CACHING_MIGHT_NOT_BE_INTENDED;
+
 } // namespace zwarn
 } // namespace zorba
 #endif /* ZORBA_DIAGNOSTIC_LIST_API_H */

=== modified file 'modules/com/zorba-xquery/www/modules/pregenerated/errors.xq'
--- modules/com/zorba-xquery/www/modules/pregenerated/errors.xq	2011-11-15 08:23:20 +
+++ modules/com/zorba-xquery/www/modules/pregenerated/errors.xq	2011-11-17 03:07:25 +
@@ -501,6 +501,10 @@
 
 (:~
 :)
+declare variable $zerr:ZDDY0035 as xs:QName := fn:QName($zerr:NS, zerr:ZDDY0035);
+
+(:~
+:)
 declare variable $zerr:ZDDY0031 as xs:QName := fn:QName($zerr:NS, zerr:ZDDY0031);
 
 (:~

=== modified file 'modules/com/zorba-xquery/www/modules/pregenerated/warnings.xq'
--- modules/com/zorba-xquery/www/modules/pregenerated/warnings.xq	2011-11-15 08:10:49 +
+++ 

[Zorba-coders] [Merge] lp:~matthias-brantner/zorba/caching into lp:zorba

2011-11-16 Thread Matthias Brantner
The proposal to merge lp:~matthias-brantner/zorba/caching into lp:zorba has 
been updated.

Commit Message changed to:

- automatic caching of recursive, non-sequential, and deterministic functions 
with atomic parameter and return types
- %ann:cache and %ann:no-cache for controlling function result caching

For more details, see:
https://code.launchpad.net/~matthias-brantner/zorba/caching/+merge/82483
-- 
https://code.launchpad.net/~matthias-brantner/zorba/caching/+merge/82483
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


Re: [Zorba-coders] [Merge] lp:~matthias-brantner/zorba/caching into lp:zorba

2011-11-16 Thread Matthias Brantner
Review: Approve


-- 
https://code.launchpad.net/~matthias-brantner/zorba/caching/+merge/82483
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~matthias-brantner/zorba/bug-fixing into lp:zorba

2011-11-16 Thread Matthias Brantner
Matthias Brantner has proposed merging lp:~matthias-brantner/zorba/bug-fixing 
into lp:zorba.

Requested reviews:
  Matthias Brantner (matthias-brantner)
  Markos Zaharioudakis (markos-za)
Related bugs:
  Bug #867133 in Zorba: SWIG PHP build failure on Mac OSX
  https://bugs.launchpad.net/zorba/+bug/867133

For more details, see:
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82492

- fixed DynamicLoader memory leak
- StaticContext::getAuditEvent const
- added iterator.h include to zorba.h

-- 
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82492
Your team Zorba Coders is subscribed to branch lp:zorba.
=== modified file 'ChangeLog'
--- ChangeLog	2011-11-16 04:00:29 +
+++ ChangeLog	2011-11-17 05:05:28 +
@@ -29,6 +29,7 @@
 corruption will occur)
   * Fixed bug # (Should not destroy the parent of a node that is being detached
 before the detach is done).
+  * Added const qualifier to StaticContext::getAuditEvent() 
   * Fixed bug #3408181 (available-collection() returns undeclared collections)
   * Fixed bug #859465 (Fatal error if a PUL contains two deactivate IC primitives)
   * Fixed bug #859467 (Fatal error if a PUL contains two activate Foreign Key primitives)

=== modified file 'include/zorba/static_context.h'
--- include/zorba/static_context.h	2011-11-15 08:23:20 +
+++ include/zorba/static_context.h	2011-11-17 05:05:28 +
@@ -586,7 +586,7 @@
* @return the audit event
*/
   virtual audit::Event*
-  getAuditEvent() = 0;
+  getAuditEvent() const = 0;
 
 
   /** \brief Returns the QName of all external variables within the

=== modified file 'include/zorba/zorba.h'
--- include/zorba/zorba.h	2011-06-17 03:47:29 +
+++ include/zorba/zorba.h	2011-11-17 05:05:28 +
@@ -33,6 +33,7 @@
 #include zorba/collection_manager.h
 #include zorba/xquery.h
 #include zorba/zorba_string.h
+#include zorba/iterator.h
 
 namespace zorba {
 

=== modified file 'src/api/staticcontextimpl.cpp'
--- src/api/staticcontextimpl.cpp	2011-11-15 08:23:20 +
+++ src/api/staticcontextimpl.cpp	2011-11-17 05:05:28 +
@@ -1424,7 +1424,7 @@
 
 
 audit::Event*
-StaticContextImpl::getAuditEvent()
+StaticContextImpl::getAuditEvent() const
 {
   return theCtx-get_audit_event();
 }

=== modified file 'src/api/staticcontextimpl.h'
--- src/api/staticcontextimpl.h	2011-11-15 08:23:20 +
+++ src/api/staticcontextimpl.h	2011-11-17 05:05:28 +
@@ -246,7 +246,7 @@
   setAuditEvent(audit::Event* anEvent);
   
   virtual audit::Event*
-  getAuditEvent();
+  getAuditEvent() const;
 
   virtual void
   getExternalVariables(Iterator_t aVarsIter) const;  

=== modified file 'src/context/dynamic_loader.cpp'
--- src/context/dynamic_loader.cpp	2011-10-19 16:19:45 +
+++ src/context/dynamic_loader.cpp	2011-11-17 05:05:28 +
@@ -191,14 +191,6 @@
 }
 
 
-DynamicLoader
-DynamicLoader::getInstance()
-{
-  static DynamicLoader singleton;
-  return singleton;
-}
-
-
 DynamicLoader::~DynamicLoader()
 {
   for (LibrarySet_t::const_iterator lIter = theLibraries.begin();
@@ -265,7 +257,7 @@
 
   if (modfile-good())
   {
-ExternalModule* lModule = getInstance().loadModule(potentialModuleFile);
+ExternalModule* lModule = loadModule(potentialModuleFile);
 if (lModule)
 {
   if (lModule-getURI().c_str() != aNsURI)

=== modified file 'src/context/dynamic_loader.h'
--- src/context/dynamic_loader.h	2011-08-08 13:51:27 +
+++ src/context/dynamic_loader.h	2011-11-17 05:05:28 +
@@ -29,18 +29,17 @@
 class DynamicLoader
 {
 public:
-  static ExternalModule* getExternalModule(
+  ExternalModule* getExternalModule(
   zstring const aNsURI,
   static_context aSctx);
 
 private:
 
+  friend class GlobalEnvironment;
   DynamicLoader();
 
   ~DynamicLoader();
 
-  static DynamicLoader getInstance();
-
   ExternalModule* loadModule(const zstring aFile) const;
 
 #ifdef WIN32

=== modified file 'src/context/static_context.cpp'
--- src/context/static_context.cpp	2011-11-15 08:23:20 +
+++ src/context/static_context.cpp	2011-11-17 05:05:28 +
@@ -207,7 +207,7 @@
 if (dyn_loaded_module)
 {
   ZORBA_ASSERT(sctx);
-  module = DynamicLoader::getExternalModule(lURI, *sctx);
+  module = GENV_DYNAMIC_LOADER-getExternalModule(lURI, *sctx);
 
   // no way to get the module
   if (!module)
@@ -2634,7 +2634,7 @@
   // dynamic loader
   if (!found)
   {
-lModule = DynamicLoader::getExternalModule(aURI, *this);
+lModule = GENV_DYNAMIC_LOADER-getExternalModule(aURI, *this);
 
 // no way to get the module
 if (!lModule)
@@ -3400,7 +3400,7 @@
 /***//**
 
 /
-audit::Event* static_context::get_audit_event()
+audit::Event* static_context::get_audit_event() const
 {
   const static_context* sctx = this;
   audit::Event* res = sctx-theAuditEvent;

=== 

Re: [Zorba-coders] [Merge] lp:~matthias-brantner/zorba/bug-fixing into lp:zorba

2011-11-16 Thread Matthias Brantner
Review: Approve


-- 
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82492
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~matthias-brantner/zorba/bug-fixing into lp:zorba

2011-11-16 Thread Matthias Brantner
The proposal to merge lp:~matthias-brantner/zorba/bug-fixing into lp:zorba has 
been updated.

Status: Needs review = Approved

For more details, see:
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82492
-- 
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82492
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~matthias-brantner/zorba/bug-fixing into lp:zorba

2011-11-16 Thread Matthias Brantner
Matthias Brantner has proposed merging lp:~matthias-brantner/zorba/bug-fixing 
into lp:zorba.

Requested reviews:
  Matthias Brantner (matthias-brantner)
  Markos Zaharioudakis (markos-za)
Related bugs:
  Bug #867133 in Zorba: SWIG PHP build failure on Mac OSX
  https://bugs.launchpad.net/zorba/+bug/867133

For more details, see:
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82495

- fixed DynamicLoader memory leak
- StaticContext::getAuditEvent const
- added iterator.h include to zorba.h
- fn:trace should not be constant folded and propagate the return type of its 
first argument
-- 
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82495
Your team Zorba Coders is subscribed to branch lp:zorba.
=== modified file 'ChangeLog'
--- ChangeLog	2011-11-16 04:00:29 +
+++ ChangeLog	2011-11-17 05:31:26 +
@@ -29,6 +29,7 @@
 corruption will occur)
   * Fixed bug # (Should not destroy the parent of a node that is being detached
 before the detach is done).
+  * Added const qualifier to StaticContext::getAuditEvent() 
   * Fixed bug #3408181 (available-collection() returns undeclared collections)
   * Fixed bug #859465 (Fatal error if a PUL contains two deactivate IC primitives)
   * Fixed bug #859467 (Fatal error if a PUL contains two activate Foreign Key primitives)

=== modified file 'include/zorba/static_context.h'
--- include/zorba/static_context.h	2011-11-15 08:23:20 +
+++ include/zorba/static_context.h	2011-11-17 05:31:26 +
@@ -586,7 +586,7 @@
* @return the audit event
*/
   virtual audit::Event*
-  getAuditEvent() = 0;
+  getAuditEvent() const = 0;
 
 
   /** \brief Returns the QName of all external variables within the

=== modified file 'include/zorba/zorba.h'
--- include/zorba/zorba.h	2011-06-17 03:47:29 +
+++ include/zorba/zorba.h	2011-11-17 05:31:26 +
@@ -33,6 +33,7 @@
 #include zorba/collection_manager.h
 #include zorba/xquery.h
 #include zorba/zorba_string.h
+#include zorba/iterator.h
 
 namespace zorba {
 

=== modified file 'src/api/staticcontextimpl.cpp'
--- src/api/staticcontextimpl.cpp	2011-11-15 08:23:20 +
+++ src/api/staticcontextimpl.cpp	2011-11-17 05:31:26 +
@@ -1424,7 +1424,7 @@
 
 
 audit::Event*
-StaticContextImpl::getAuditEvent()
+StaticContextImpl::getAuditEvent() const
 {
   return theCtx-get_audit_event();
 }

=== modified file 'src/api/staticcontextimpl.h'
--- src/api/staticcontextimpl.h	2011-11-15 08:23:20 +
+++ src/api/staticcontextimpl.h	2011-11-17 05:31:26 +
@@ -246,7 +246,7 @@
   setAuditEvent(audit::Event* anEvent);
   
   virtual audit::Event*
-  getAuditEvent();
+  getAuditEvent() const;
 
   virtual void
   getExternalVariables(Iterator_t aVarsIter) const;  

=== modified file 'src/compiler/expression/expr_type.cpp'
--- src/compiler/expression/expr_type.cpp	2011-08-12 10:21:10 +
+++ src/compiler/expression/expr_type.cpp	2011-11-17 05:31:26 +
@@ -340,6 +340,11 @@
   }
   break;
 }
+case FunctionConsts::FN_TRACE_2:
+{
+  newType = e-theArgs[0]-get_return_type();
+  break;
+}
 default:
   break;
 }

=== modified file 'src/context/dynamic_loader.cpp'
--- src/context/dynamic_loader.cpp	2011-10-19 16:19:45 +
+++ src/context/dynamic_loader.cpp	2011-11-17 05:31:26 +
@@ -191,14 +191,6 @@
 }
 
 
-DynamicLoader
-DynamicLoader::getInstance()
-{
-  static DynamicLoader singleton;
-  return singleton;
-}
-
-
 DynamicLoader::~DynamicLoader()
 {
   for (LibrarySet_t::const_iterator lIter = theLibraries.begin();
@@ -265,7 +257,7 @@
 
   if (modfile-good())
   {
-ExternalModule* lModule = getInstance().loadModule(potentialModuleFile);
+ExternalModule* lModule = loadModule(potentialModuleFile);
 if (lModule)
 {
   if (lModule-getURI().c_str() != aNsURI)

=== modified file 'src/context/dynamic_loader.h'
--- src/context/dynamic_loader.h	2011-08-08 13:51:27 +
+++ src/context/dynamic_loader.h	2011-11-17 05:31:26 +
@@ -29,18 +29,17 @@
 class DynamicLoader
 {
 public:
-  static ExternalModule* getExternalModule(
+  ExternalModule* getExternalModule(
   zstring const aNsURI,
   static_context aSctx);
 
 private:
 
+  friend class GlobalEnvironment;
   DynamicLoader();
 
   ~DynamicLoader();
 
-  static DynamicLoader getInstance();
-
   ExternalModule* loadModule(const zstring aFile) const;
 
 #ifdef WIN32

=== modified file 'src/context/static_context.cpp'
--- src/context/static_context.cpp	2011-11-15 08:23:20 +
+++ src/context/static_context.cpp	2011-11-17 05:31:26 +
@@ -207,7 +207,7 @@
 if (dyn_loaded_module)
 {
   ZORBA_ASSERT(sctx);
-  module = DynamicLoader::getExternalModule(lURI, *sctx);
+  module = GENV_DYNAMIC_LOADER-getExternalModule(lURI, *sctx);
 
   // no way to get the module
   if (!module)
@@ -2634,7 +2634,7 @@
   // dynamic loader
   if (!found)
   {
-lModule = DynamicLoader::getExternalModule(aURI, *this);
+lModule = 

[Zorba-coders] [Merge] lp:~matthias-brantner/zorba/bug-fixing into lp:zorba

2011-11-16 Thread Matthias Brantner
The proposal to merge lp:~matthias-brantner/zorba/bug-fixing into lp:zorba has 
been updated.

Commit Message changed to:

- fixed DynamicLoader memory leak
- StaticContext::getAuditEvent const
- added iterator.h include to zorba.h
- fn:trace should not be constant folded and propagate the return type of its 
first argument

For more details, see:
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82495
-- 
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82495
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~matthias-brantner/zorba/bug-fixing into lp:zorba

2011-11-16 Thread Matthias Brantner
The proposal to merge lp:~matthias-brantner/zorba/bug-fixing into lp:zorba has 
been updated.

Status: Needs review = Approved

For more details, see:
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82495
-- 
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82495
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 859968] Re: Using put on an attribute produces an invalid Xdm instance and a segmentation fault

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/859968

Title:
  Using put on an attribute produces an invalid Xdm instance and a
  segmentation fault

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  The following query creates an element node with a single children
  (not attribute). The attribute is then retrievable using child::node()
  but not attribute::*

  import module namespace doc = http://www.zorba-
  xquery.com/modules/store/dynamic/documents;

  declare function local:dump-types($nodes as node()*) as element()*
  {
  for $node in $nodes
  return
   if ($node instance of text()) then ()
   else
   (
   element
   {
   if ($node instance of element()) then node-name($node)
   else if ($node instance of attribute()) then 
concat(attr-,string(node-name($node)))
   else if ($node instance of text()) then 'text'
   else if ($node instance of document-node()) then 'document-node'
   else if ($node instance of comment()) then 'comment'
   else if ($node instance of processing-instruction()) then 
'processing-instruction'
   else 'unknown'
   }
   {
    for $attr in $node/@*
     return attributes{local:dump-types($attr)}/attributes,
    for $elem in $node/node()
     return children{local:dump-types($elem)}/children
   }
   )
  };

  put(attribute {test}{test},http://www.zorba-xquery.com/b;);
  count(doc:document(http://www.zorba-xquery.com/b;)/child::node()),
  local:dump-types(doc:document(http://www.zorba-xquery.com/b;))

  Returns:

  ?xml version=1.0 encoding=UTF-8?
  1document-nodechildrenattr-test//children/document-node

  Segmentation faults then are easy:

  import module namespace doc = http://www.zorba-
  xquery.com/modules/store/dynamic/documents;

  declare function local:dump-types($nodes as node()*) as element()*
  {
  for $node in $nodes
  return
if ($node instance of text()) then ()
else
(
element 
{
if ($node instance of element()) then node-name($node)
else if ($node instance of attribute()) then 
concat(attr-,string(node-name($node)))
else if ($node instance of text()) then 'text'
else if ($node instance of document-node()) then 'document-node'
else if ($node instance of comment()) then 'comment'
else if ($node instance of processing-instruction()) then 
'processing-instruction'
else 'unknown'   
}   
{
for $attr in $node/@*
return 
attributes{local:dump-types($attr)}/attributes,
for $elem in $node/node()
return children{local:dump-types($elem)}/children   

}
)
  };

  put(attribute {test}{test},http://www.zorba-xquery.com/b;);
  replace node doc:document(http://www.zorba-xquery.com/b;)/child::node() with 
attribute{aaa}{xxx};

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/859968/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 859467] Re: Zorba fatal with two activate Foreign Key

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/859467

Title:
  Zorba fatal with two activate Foreign Key

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  This query causes a ZORBA_FATAL
  import module namespace m = 'xqueryzorba.org/test/xqddf/ic' at 'ic.xqlib';
  import module namespace ddl = 
http://www.zorba-xquery.com/modules/store/static/collections/ddl;;
  import module namespace dml = 
http://www.zorba-xquery.com/modules/store/static/collections/dml;;
  import module namespace ic_ddl = 
http://www.zorba-xquery.com/modules/store/static/integrity_constraints/ddl;;

  ddl:create($m:empc);  
  ddl:create($m:trnc);  

  (
  ic_ddl:activate(xs:QName(m:ic_foreignKey)),
  ic_ddl:activate(xs:QName(m:ic_foreignKey))
  );

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/859467/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 859522] Re: Assertion failed with document delete

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/859522

Title:
  Assertion failed with document delete

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  The following query causes an assertion failure.
  import module namespace doc = 
http://www.zorba-xquery.com/modules/store/dynamic/documents;;

  doc:put(foo, document { foobar/foo });

  (
  doc:remove(foo),
  doc:remove(foo)
  );

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/859522/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 863320] Re: Sentence is incorrectly incremented when token characters end without sentence terminator

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/863320

Title:
  Sentence is incorrectly incremented when token characters end without
  sentence terminator

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  The following query:

  let $x := msghello world/msg
  return $x contains text hello ftand world same sentence

  incorrectly returns false because tokenizer incorrectly increments
  the sentence number when there are no more characters without
  encountering a sentence terminating character.

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/863320/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 863730] Re: static delete-node* functions don't raise ZDDY0012

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/863730

Title:
  static delete-node* functions don't raise ZDDY0012

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  The static delete-node(s)-first and delete-node(s)-last functions
  don't raise zerr::ZDDY0012 (invalid operation on unordered collection)
  as written in the documentation.

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/863730/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 859465] Re: Zorba fatal with two deactivate IC

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/859465

Title:
  Zorba fatal with two deactivate IC

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  This query causes a ZORBA_FATAL.

  import module namespace m = 'xqueryzorba.org/test/xqddf/ic' at 'ic.xqlib';
  import module namespace ddl = 
http://www.zorba-xquery.com/modules/store/static/collections/ddl;;
  import module namespace dml = 
http://www.zorba-xquery.com/modules/store/static/collections/dml;;
  import module namespace ic_ddl = 
http://www.zorba-xquery.com/modules/store/static/integrity_constraints/ddl;;

  ddl:create($m:empc);
  ic_ddl:activate(xs:QName(m:ic_simple));

  (
  ic_ddl:deactivate(xs:QName(m:ic_simple)),
  ic_ddl:deactivate(xs:QName(m:ic_simple)) 
  );

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/859465/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 855314] Re: Assertion failed in typemanager with for and el constuctor

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/855314

Title:
  Assertion failed in typemanager with for and el constuctor

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  The following query:

  declare function local:crash() as element()*
  {
for $id in (1,2) 
return element {a:a}{}
  };
  local:crash()

  raises this error:

  /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x7c3fcb) [0x16c4fcb]
  /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x7c408e) [0x16c508e]
  /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0xe36379) [0x1d37379]
  /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6232a0) [0x15242a0]
  /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6215df) [0x15225df]
  /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6afc6a) [0x15b0c6a]
  /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6a34d7) [0x15a44d7]
  /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6a356b) [0x15a456b]
  /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6a356b) [0x15a456b]
  /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x69dbb9) [0x159ebb9]
  /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x69fdbd) [0x15a0dbd]
  /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6d0d2f) [0x15d1d2f]
  /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6d094f) [0x15d194f]
  /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6d07a4) [0x15d17a4]
  /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x41cc47) [0x131dc47]
  /zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x41c839) [0x131d839]
  /zorba/trunkbuild/bin/zorba() [0x8057c70]
  /zorba/trunkbuild/bin/zorba() [0x80590ab]
  /lib/i386-linux-gnu/libc.so.6(__libc_start_main+0xe7) [0xab5e37]
  /zorba/trunkbuild/bin/zorba() [0x8056011]
  Zorba error [zerr:ZXQP0002]: false: assertion failed; raised at 
/zorba/trunksrc/src/types/typemanagerimpl.cpp:723

  Apparently if an element constructor raises a can not convert to
  expanded QName error and the element constructor is rewritten, the
  element constructor is replaced by an item containing the error
  message. This sooner or later crashes zorba.

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/855314/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 872796] Re: validate-in-place can break other update primitives

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/872796

Title:
  validate-in-place can break other update primitives

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  The validate-in-place function can make other update primitives
  uneffective.

  The following query should return new new but it returns old new.

  import module namespace schema = http://www.zorba-xquery.com/modules/schema;;
  import schema namespace d=http://www.example.com/doc; at test24.xsd;
  import module namespace file = http://expath.org/ns/file;;
  declare revalidation lax;

  variable $doc:=item xmlns:xsi=http://www.w3.org/2001/XMLSchema-instance;
 xmlns=http://www.zorba-xquery.org/schema;
  aold/a
  /item;

  (
schema:validate-in-place($doc),
replace value of node $doc//*:a with new
  );

  variable $res1:=string($doc//*:a);

  (
replace value of node $doc//*:a with new
  );

  ($res1,string($doc//*:a))

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/872796/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 871629] Re: Assertion failed with insert into in a collection

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/871629

Title:
  Assertion failed with insert into in a collection

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  The following query crashes zorba
  import module namespace ddl = 
http://www.zorba-xquery.com/modules/store/dynamic/collections/ddl;;
  import module namespace dml = 
http://www.zorba-xquery.com/modules/store/dynamic/collections/dml;;

  ddl:create(xs:QName(ddl:test2),(center1/,oldlast/));

  dml:insert-nodes-first(xs:QName(ddl:test2), (c1/,c2/));
  dml:collection(xs:QName(ddl:test2))/self::node()

  zorba: /zorba/repository/pul-xdm/src/store/naive/node_items.cpp:345: long int 
zorba::simplestore::XmlNode::compareInSameTree(const 
zorba::simplestore::XmlNode*, const zorba::simplestore::XmlNode*) const: 
Assertion `n1-getTree() == n2-getTree()' faile

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/871629/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 872697] Re: Segmentation fault with in validation of NMTOKENS

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/872697

Title:
  Segmentation fault with in validation of NMTOKENS

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  The following query causes a segfault:

  import module namespace x = http://www.zorba-xquery.com/modules/xml;;

  x:parse-xml-fragment(?xml version='1.0'?
  !DOCTYPE note [
  !ELEMENT note (#PCDATA)
  !ATTLIST note nmt NMTOKENS #REQUIRED
  ]
  note nmt='aaa'/
  , 
  d)

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/872697/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 872502] Re: validation of the JSON module xqdoc fails

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/872502

Title:
  validation of the JSON module xqdoc fails

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  The result of the following two queries don't validate against the
  xqdoc schema.

  Query 1:
  import module namespace x = http://www.zorba-xquery.com/modules/xqdoc;;
  import schema namespace xqds = http://www.xqdoc.org/1.0;;

  validate lax { x:xqdoc(http://www.zorba-
  xquery.com/modules/converters/json)  }

  Error: Schema validation failed: no declaration found for element
  'xqdoc:library'

  Query 2:
  import module namespace x = http://www.zorba-xquery.com/modules/xqdoc;;
  import schema namespace xqds = http://www.xqdoc.org/1.0;;

  validate { x:xqdoc(http://www.zorba-
  xquery.com/modules/converters/json)  }

  Error: Schema validation failed: element 'description' is not allowed
  for content model
  
'(description?,author*,version?,param*,return?,error*,deprecated?,see*,since*,custom*)'

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/872502/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 868258] Re: Assertion failed with collection delete

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

-- 
You received this bug notification because you are a member of Zorba
Coders, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/868258

Title:
  Assertion failed with collection delete

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  Trying to delete a collection twice during the same snapshot causes an
  assertion to fail.

  import module namespace ddl = 
http://www.zorba-xquery.com/modules/store/dynamic/collections/ddl;;
  import module namespace dml = 
http://www.zorba-xquery.com/modules/store/dynamic/collections/dml;;

  ddl:create(xs:QName(ddl:coll),(a/,b/));
  (
  ddl:delete(xs:QName(ddl:coll)),
  ddl:delete(xs:QName(ddl:coll))
  );

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/868258/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 869024] Re: Zorba crashes with getReference

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
Milestone: None = 2.1

** Changed in: zorba
   Status: Fix Released = Fix Committed

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/869024

Title:
  Zorba crashes with getReference

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  The following query sometimes causes Zorba to crash:

  import module namespace ddl = 
http://www.zorba-xquery.com/modules/store/dynamic/collections/ddl;;
  import module namespace dml = 
http://www.zorba-xquery.com/modules/store/dynamic/collections/dml;;
  import module namespace ref = 
http://www.zorba-xquery.com/modules/node-reference;;

  ddl:create(xs:QName(ddl:coll));
  dml:insert-nodes-last(xs:QName(ddl:coll),element {bb}{text {aa}});
  ref:node-reference(dml:collection(xs:QName(ddl:coll)))

  This is caused by the following cast: 
  const OrdPathNode* n = static_castconst OrdPathNode*(node); 
  which is not correct when node is a TextNode

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/869024/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 867107] Re: xqdoc dependency to zorba is wrong

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/867107

Title:
  xqdoc dependency to zorba is wrong

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  Hello Sorin

  I guess you are the right guy for this:
  Today, I tried to execute 'make xqdoc' on a clean build. Unfortunately, it 
doesn't work because 'make xqdoc' is not dependent on zorba-cmd. Thus, I got 
the following error msg:

  [100%] Building XQDoc XML documentation for the modules...
  /bin/sh: ../../../bin/zorba: not found
  make[3]: *** [doc/zorba/xqdoc/CMakeFiles/xqdoc-xml] Error 127
  make[2]: *** [doc/zorba/xqdoc/CMakeFiles/xqdoc-xml.dir/all] Error 2
  make[1]: *** [doc/zorba/xqdoc/CMakeFiles/xqdoc.dir/rule] Error 2

  I though I can fix it be doing the following:

  Index: doc/zorba/xqdoc/CMakeLists.txt
  ===
  --- doc/zorba/xqdoc/CMakeLists.txt  (revision 2)
  +++ doc/zorba/xqdoc/CMakeLists.txt  (working copy)
  @@ -51,7 +51,7 @@
COMMENT Building XQDoc XML documentation for the modules...
)
#SET_TARGET_PROPERTIES(xqdoc-xml PROPERTIES EXCLUDE_FROM_DEFAULT_BUILD 1)
  -  ADD_DEPENDENCIES(xqdoc-xml zorba_simplestore)
  +  ADD_DEPENDENCIES(xqdoc-xml zorbacmd_simplestore)

ADD_CUSTOM_TARGET(xqdoc
  ${ZORBA_EXE_SCRIPT}
  Index: cmake_modules/ZorbaModule.cmake
  ===
  --- cmake_modules/ZorbaModule.cmake (revision 2)
  +++ cmake_modules/ZorbaModule.cmake (working copy)
  @@ -543,7 +543,7 @@
)
#SET_TARGET_PROPERTIES(xqdoc-xml-${PROJECT_NAME} PROPERTIES 
EXCLUDE_FROM_DEFAULT_BUILD 1)
IF(TARGET xqdoc-xml)
  -ADD_DEPENDENCIES(xqdoc-xml-${PROJECT_NAME} zorba_simplestore)
  +ADD_DEPENDENCIES(xqdoc-xml-${PROJECT_NAME} zorbacmd_simplestore)
  ADD_DEPENDENCIES(xqdoc-xml-${PROJECT_NAME} xqdoc-xml)
  ADD_DEPENDENCIES(xqdoc xqdoc-xml-${PROJECT_NAME})
ENDIF(TARGET xqdoc-xml)

  But it doesn't help. Can you take a look into it?

  Thanks
  David

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/867107/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 871623] Re: Assertion failed with insert after in a collection

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/871623

Title:
  Assertion failed with insert after in a collection

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  The following query crashes zorba with an assertion failure:

  import module namespace ddl = 
http://www.zorba-xquery.com/modules/store/dynamic/collections/ddl;;
  import module namespace dml = 
http://www.zorba-xquery.com/modules/store/dynamic/collections/dml;;

  ddl:create(xs:QName(ddl:test2),(center1/,oldlast/));
  dml:insert-nodes-after(xs:QName(ddl:test2), 
dml:collection(xs:QName(ddl:test2))[1], (c1/,c2/));

  dml:collection(xs:QName(ddl:test2))/self::node()

  Also

  import module namespace ddl = 
http://www.zorba-xquery.com/modules/store/dynamic/collections/ddl;;
  import module namespace dml = 
http://www.zorba-xquery.com/modules/store/dynamic/collections/dml;;

  ddl:create(xs:QName(ddl:test2),(center1/,oldlast/));

  dml:insert-nodes-before(xs:QName(ddl:test2), 
dml:collection(xs:QName(ddl:test2))[2], (c1/,c2/));
  dml:collection(xs:QName(ddl:test2))/self::node()

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/871623/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 867263] Re: Segfault with Delete and ReplaceContent

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/867263

Title:
  Segfault with Delete and ReplaceContent

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  This query causes a segfault:

  variable $test:=rootchildchildchild//child/root;

  (
  replace value of node $test/child with x,
  delete node $test/child/childchild
  )

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/867263/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 867254] Re: available-collection() returns undeclared collections

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/867254

Title:
  available-collection() returns undeclared collections

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  Currently, available-collection() returns all collections that are
  available in the store. Even, if the collections are not in available
  in the current static context. Most probably, that's wrong. It should
  be the intersection between declared-collections() and current result
  of available collections.

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/867254/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 867245] Re: Namespace lost after update

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/867245

Title:
  Namespace lost after update

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  In the following query the namespace binding on d,e,f are lost after the 
delete node operation evaluation.
  I believe the problem is in detach.

  variable $x:=aa1 xmlns=http://aaa.com; c1=d1d 
xmlns=http://ddd.com/e:e xmlns:e=http://eee;f:f 
xmlns:f=fg/f:f/e:e/a1/a;
  variable $z:=$x/*;
  delete node $x/*;
  $z

  The query outputs:
  a1 xmlns=http://aaa.com; c1=d1d/e:ef:fg/f:f/e:e/a1

  The query should output:
  a1 xmlns=http://aaa.com; c1=d1d xmlns=http://ddd.com/e:e 
xmlns:e=http://eee;f:f xmlns:f=fg/f:f/e:e/a1

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/867245/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 867247] Re: Internal fatal error on node insert

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/867247

Title:
  Internal fatal error on node insert

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  This query raises an internal fatal error:

  variable $y:=ac/a;
  (
  insert node a as first into $y,
  insert node b before $y/node()[1]
  );
  $y

  Zorba Internal Fatal Error in 
/zorba/trunksrc/src/store/naive/node_updates.cpp:943:
  theParent: condition failed

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/867247/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 867246] Re: Assertion failed after node delete or replace node

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/867246

Title:
  Assertion failed after node delete or replace node

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  The following query make Zorba crash:
  zorba: /zorba/trunksrc/src/store/naive/node_items.cpp:162: 
zorba::store::Item* zorba::simplestore::XmlTree::getType(const 
zorba::simplestore::XmlNode*) const: Assertion `theTypesMap != __null' failed.
  Aborted

  import schema namespace s=http://www.zorba-xquery.org/schema; at 
shiporder.xsd;
  declare revalidation skip;

  variable $x:=validate{
  shiporders xmlns:xsi=http://www.w3.org/2001/XMLSchema-instance;
  xmlns=http://www.zorba-xquery.org/schema;
  shiporder orderid=889923
  orderpersonJohn Smith/orderperson
  shipto
  nameOla Nordmann/name
  addressLanggt 23/address
  city4000 Stavanger/city
  countryNorway/country
  /shipto
  item
  titleEmpire Burlesque/title
  noteSpecial Edition/note
  quantity1/quantity
  price10.90/price
  /item
  item
  titleHide your heart/title
  quantity1/quantity
  price9.90/price
  /item
  /shiporder
  /shiporders
  };
  variable $z:=$x/*;
  delete node $x/*;
  format-number($z,aa)

  
  I think that the problem is that detach, when the node types are stored in 
the XmlTree type map, do not copies the types of the detached nodes over to 
their new tree.

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/867246/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 867240] Re: assignment problem in flwor

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/867240

Title:
  assignment problem in flwor

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  Zorba seems to have problem s with assignments in the flwor
  expression.

  Example:

  variable $mode := option;
  for $i in (1,2,3,4)
  return
 switch ($mode)
 case option return {
 fn:trace($mode, option mode);
 $mode := value;
 }
 case value return {
 fn:trace($mode, value mode);
 $mode := option;
 }
 default return default;

  
  Expected output:

  ?xml version=1.0 encoding=UTF-8?
  option mode [0]: xs:string(option)
  value mode [0]: xs:string(value)
  option mode [0]: xs:string(option)
  value mode [0]: xs:string(value)

  
  Result:

  ?xml version=1.0 encoding=UTF-8?
  option mode [0]: xs:string(option)
  option mode [0]: xs:string(value)
  option mode [0]: xs:string(value)
  option mode [0]: xs:string(value)

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/867240/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 867234] Re: Zorba 2.0.1 fails to build

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/867234

Title:
  Zorba 2.0.1 fails to build

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  I'm trying to build Zorba for Fedora but it currently fails because of
  some missing includes (see attached patch).

  Also, there's a compilation error complaining about a missing default
  constructor in zorba::ICU_TokenizerProvider:

  
/home/martin/rpmbuild/BUILD/zorba-2.0.1/src/runtime/full_text/default_tokenizer.cpp:
 In static member function 'static const zorba::TokenizerProvider 
zorba::DefaultTokenizerProvider::instance()':
  
/home/martin/rpmbuild/BUILD/zorba-2.0.1/src/runtime/full_text/default_tokenizer.cpp:29:38:
 error: uninitialized const 'instance' [-fpermissive]
  
/home/martin/rpmbuild/BUILD/zorba-2.0.1/src/runtime/full_text/icu_tokenizer.h:64:7:
 note: 'const class zorba::ICU_TokenizerProvider' has no user-provided default 
constructor
  make[2]: *** 
[src/CMakeFiles/zorba_simplestore.dir/runtime/full_text/default_tokenizer.cpp.o]
 Error 1

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/867234/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 867229] Re: Undo of Create Collection doesn't work

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/867229

Title:
  Undo of Create Collection doesn't work

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  In the following query an error is raised during the PUL application.
  As a consequence the m:aaa collection should be destroyed.
  However in UpdCreateCollection::undo() when 
GET_STORE().deleteCollection(theName) is invoked, theName contains a NULL 
pointer, thus no collection is deleted.
  The following query thus returns m:aaa as being available.

  import module namespace m = 'xqueryzorba.org/test/xqddf/ic' at 
'/zorba/pulsrc/test/rbkt/Queries/zorba/xqddf/ic.xqlib';
  import module namespace ddl = 
http://www.zorba-xquery.com/modules/store/static/collections/ddl;;
  import module namespace dml = 
http://www.zorba-xquery.com/modules/store/static/collections/dml;;
  import module namespace dddl = 
http://www.zorba-xquery.com/modules/store/dynamic/collections/ddl;;
  import module namespace ic_ddl = 
http://www.zorba-xquery.com/modules/store/static/integrity_constraints/ddl;;

  ddl:create($m:empc);

  ic_ddl:activate(xs:QName(m:ic_simple));
  try
  {
  (
  dddl:create(xs:QName(m:aaa))
  ,
  dml:insert-nodes($m:empc,
  emp
  salary600/salary
  /emp
  )
  );
  }
  catch * {}
  dddl:available-collections()

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/867229/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 867214] Re: Incorrect XQueryX error message

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
Milestone: None = 2.1

** Changed in: zorba
   Status: Fix Released = Fix Committed

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/867214

Title:
  Incorrect XQueryX error message

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  Running: ctest -V test/rbkt/zorba/xqueryx/err2
  one gets the error:
  http://www.zorba-xquery.com/errors:ZXQP0031: 
http://www.zorba-xquery.com/errors:ZXQP0031malformed XQueryX XML input: ^

  the '^' is wrong

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/867214/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 867183] Re: Adding a node to a collection causes out of bound in vector

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

** Changed in: zorba
Milestone: None = 2.1

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/867183

Title:
  Adding a node to a collection causes out of bound in vector

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  Adding a node in a collection after the last one causes out of bound
  error in simple_collection.cpp around line 211 in memmove:

  import module namespace ddl = 
http://www.zorba-xquery.com/modules/store/dynamic/collections/ddl;;
  import module namespace dml = 
http://www.zorba-xquery.com/modules/store/dynamic/collections/dml;;

  ddl:create-collection(xs:QName(ddl:test2),(center1/,center2/));
  dml:insert-nodes-after(xs:QName(ddl:test2), 
dml:collection(xs:QName(ddl:test2))[2], (c1/,c2/));

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/867183/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 886543] Re: Fake std::move() doesn't always work under g++ 4.6.x

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/886543

Title:
  Fake std::move() doesn't always work under g++ 4.6.x

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  Under g++ 4.6.x, the fake std::move() doesn't work when converting a
  T to an rvT -- though it's not clear to me why not.

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/886543/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Bug 867350] Re: mess of serialization params

2011-11-16 Thread Matthias Brantner
** Changed in: zorba
   Status: Fix Released = Fix Committed

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/867350

Title:
  mess of serialization params

Status in Zorba - The XQuery Processor:
  Fix Committed

Bug description:
  please, add a few examples in the documentation of 
  
http://www.zorba-xquery.com/doc/zorba-latest/zorba/xqdoc/xhtml/com/zorba-xquery/www/modules/serialize.html#serialize-2
 that would make the users life more easier.

  Also, there are 3 different ways of setting serialization parameters:

  ser:serialize( $items, output indent=yes omit-xml-declaration=yes / )
  fs:write( $file, $content, indentyes/indent )
  zu:tidy( $item, 'indent=yes')

  as far as it is possible according to standardization and backwards
  compatibility issues it would be great if they were interchangable.
  for example:

  zu:tidy( $item,  indentyes/indent )
  zu:tidy( $item,  output indent=yes omit-xml-declaration=yes /)

  should be valid.

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/867350/+subscriptions

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~danielturcanu/zorba/plan-serializer into lp:zorba

2011-11-16 Thread Matthias Brantner
The proposal to merge lp:~danielturcanu/zorba/plan-serializer into lp:zorba has 
been updated.

Status: Needs review = Approved

For more details, see:
https://code.launchpad.net/~danielturcanu/zorba/plan-serializer/+merge/79528
-- 
https://code.launchpad.net/~danielturcanu/zorba/plan-serializer/+merge/79528
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~matthias-brantner/zorba/bug-fixing into lp:zorba

2011-11-16 Thread Zorba Build Bot
Validation queue starting for merge proposal.
Log at: 
http://zorbatest.lambda.nu:8080/remotequeue/bug-fixing-2011-11-17T06-10-27.946Z/log.html
-- 
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82495
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


Re: [Zorba-coders] [Merge] lp:~matthias-brantner/zorba/caching into lp:zorba

2011-11-16 Thread Zorba Build Bot
There are additional revisions which have not been approved in review. Please 
seek review and approval of these new revisions.
-- 
https://code.launchpad.net/~matthias-brantner/zorba/caching/+merge/82483
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


Re: [Zorba-coders] [Merge] lp:~matthias-brantner/zorba/bug-fixing into lp:zorba

2011-11-16 Thread Zorba Build Bot
The attempt to merge lp:~matthias-brantner/zorba/bug-fixing into lp:zorba 
failed. Below is the output from the failed tests.


CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:272 
(message):
  Validation queue job bug-fixing-2011-11-17T06-10-27.946Z is finished.  The
  final status was:

  

  3 tests did not succeed - changes not commited.


Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake

-- 
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82495
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~matthias-brantner/zorba/bug-fixing into lp:zorba

2011-11-16 Thread Zorba Build Bot
The proposal to merge lp:~matthias-brantner/zorba/bug-fixing into lp:zorba has 
been updated.

Status: Approved = Needs review

For more details, see:
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82495
-- 
https://code.launchpad.net/~matthias-brantner/zorba/bug-fixing/+merge/82495
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~matthias-brantner/zorba/caching into lp:zorba

2011-11-16 Thread Zorba Build Bot
The proposal to merge lp:~matthias-brantner/zorba/caching into lp:zorba has 
been updated.

Status: Approved = Needs review

For more details, see:
https://code.launchpad.net/~matthias-brantner/zorba/caching/+merge/82483
-- 
https://code.launchpad.net/~matthias-brantner/zorba/caching/+merge/82483
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


Re: [Zorba-coders] [Merge] lp:~danielturcanu/zorba/plan-serializer into lp:zorba

2011-11-16 Thread Zorba Build Bot
Attempt to merge into lp:zorba failed due to conflicts: 

text conflict in ChangeLog
-- 
https://code.launchpad.net/~danielturcanu/zorba/plan-serializer/+merge/79528
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~danielturcanu/zorba/plan-serializer into lp:zorba

2011-11-16 Thread Zorba Build Bot
The proposal to merge lp:~danielturcanu/zorba/plan-serializer into lp:zorba has 
been updated.

Status: Approved = Needs review

For more details, see:
https://code.launchpad.net/~danielturcanu/zorba/plan-serializer/+merge/79528
-- 
https://code.launchpad.net/~danielturcanu/zorba/plan-serializer/+merge/79528
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp