Re: [Zorba-coders] [Merge] lp:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Federico Cavalieri
For me is ok now, do you agree?
Thanks
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
The proposal to merge lp:~fcavalieri/zorba/bugs into lp:zorba has been updated.

Status: Approved => Needs review

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Voting does not meet specified criteria. Required: Approve > 0, Disapprove < 1. 
Got: 1 Pending.
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Validation queue job bugs-2011-09-27T06-31-09.784Z is finished. The final 
status was:

All tests succeeded!
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Validation queue starting for merge proposal.
Log at: 
http://zorbatest.lambda.nu:8080/remotequeue/bugs-2011-09-27T06-31-09.784Z/log.html
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Federico Cavalieri
The proposal to merge lp:~fcavalieri/zorba/bugs into lp:zorba has been updated.

Status: Needs review => Approved

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Federico Cavalieri
The proposal to merge lp:~fcavalieri/zorba/bugs into lp:zorba has been updated.

Status: Approved => Work in progress

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Federico Cavalieri
The proposal to merge lp:~fcavalieri/zorba/bugs into lp:zorba has been updated.

Status: Needs review => Approved

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Validation queue starting for merge proposal.
Log at: 
http://zorbatest.lambda.nu:8080/remotequeue/bugs-2011-09-26T22-56-15.848Z/log.html
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Federico Cavalieri
Federico Cavalieri has proposed merging lp:~fcavalieri/zorba/bugs into lp:zorba.

Requested reviews:
  Markos Zaharioudakis (markos-za)

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063

Fixed bug 859465
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063
Your team Zorba Coders is subscribed to branch lp:zorba.
=== modified file 'src/store/naive/pul_primitives.cpp'
--- src/store/naive/pul_primitives.cpp	2011-09-26 18:30:33 +
+++ src/store/naive/pul_primitives.cpp	2011-09-26 22:57:27 +
@@ -1320,8 +1320,8 @@
   if (theIsApplied)
   {
 SimpleStore* store = &GET_STORE();
-store->deactivateIC(theQName);
-theIsApplied = false;
+bool isApplied;
+store->deactivateIC(theQName,isApplied);
   }
 }
 
@@ -1361,8 +1361,8 @@
   if (theIsApplied)
   {
 SimpleStore* store = &GET_STORE();
-store->deactivateIC(theQName);
-theIsApplied = false;
+bool isApplied;
+store->deactivateIC(theQName,isApplied);
   }
 }
 
@@ -1389,20 +1389,22 @@
 void UpdDeActivateIC::apply()
 {
   SimpleStore* store = &GET_STORE();
-  store::IC_t ic = store->deactivateIC(theQName);
-  theICKind = ic->getICKind();
-  switch (theICKind) {
-case store::IC::ic_collection:
-  theFromCollectionName = ic->getCollectionName();
-  break;
-case store::IC::ic_foreignkey:
-  theFromCollectionName = ic->getFromCollectionName();
-  theToCollectionName = ic->getToCollectionName();
-  break;
-default:
-  ZORBA_ASSERT(false);
+  store::IC_t ic = store->deactivateIC(theQName,theIsApplied);
+  if (theIsApplied)
+  {
+theICKind = ic->getICKind();
+switch (theICKind) {
+  case store::IC::ic_collection:
+theFromCollectionName = ic->getCollectionName();
+break;
+  case store::IC::ic_foreignkey:
+theFromCollectionName = ic->getFromCollectionName();
+theToCollectionName = ic->getToCollectionName();
+break;
+  default:
+ZORBA_ASSERT(false);
+}
   }
-  theIsApplied = true;
 }
 
 

=== modified file 'src/store/naive/simple_store.cpp'
--- src/store/naive/simple_store.cpp	2011-09-26 15:50:32 +
+++ src/store/naive/simple_store.cpp	2011-09-26 22:57:27 +
@@ -853,7 +853,8 @@
 
 
 store::IC_t
-SimpleStore::deactivateIC(const store::Item_t& icQName)
+SimpleStore::deactivateIC(const store::Item_t& icQName,
+bool& isApplied)
 {
   ZORBA_ASSERT(icQName != NULL);
 
@@ -861,13 +862,11 @@
 
   if (!theICs.get(icQName.getp(), ic))
   {
-throw ZORBA_EXCEPTION(
-  zerr::ZSTR0016_IC_DOES_NOT_EXIST,
-  ERROR_PARAMS( icQName->getStringValue() )
-);
+return ic; // already deactivated in the same PUL => noop
   }
 
   theICs.remove(icQName.getp());
+  isApplied=true;
   return ic;
 }
 

=== modified file 'src/store/naive/simple_store.h'
--- src/store/naive/simple_store.h	2011-09-26 15:50:32 +
+++ src/store/naive/simple_store.h	2011-09-26 22:57:27 +
@@ -238,7 +238,8 @@
 const store::Item_t& toCollectionQName,
 bool& isApplied);
 
-  store::IC_t deactivateIC(const store::Item_t& icQName);
+  store::IC_t deactivateIC(const store::Item_t& icQName,
+bool& isApplied);
 
   store::Iterator_t listActiveICNames();
 

=== added file 'test/rbkt/ExpQueryResults/zorba/xqddf/ic-deactivate-err.xml.res'
--- test/rbkt/ExpQueryResults/zorba/xqddf/ic-deactivate-err.xml.res	1970-01-01 00:00:00 +
+++ test/rbkt/ExpQueryResults/zorba/xqddf/ic-deactivate-err.xml.res	2011-09-26 22:57:27 +
@@ -0,0 +1,1 @@
+OK
\ No newline at end of file

=== added file 'test/rbkt/Queries/zorba/xqddf/ic-deactivate-err.xq'
--- test/rbkt/Queries/zorba/xqddf/ic-deactivate-err.xq	1970-01-01 00:00:00 +
+++ test/rbkt/Queries/zorba/xqddf/ic-deactivate-err.xq	2011-09-26 22:57:27 +
@@ -0,0 +1,14 @@
+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")) 
+);
+
+"OK"
\ No newline at end of file

-- 
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Validation queue job bugs-2011-09-26T22-56-15.848Z is finished. The final 
status was:

All tests succeeded!
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Federico Cavalieri
Work in progress, I made a mistake in a local branch merge and probably lost a 
line in the commit.
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Voting does not meet specified criteria. Required: Approve > 0, Disapprove < 1. 
Got: 1 Pending.
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Federico Cavalieri
Federico Cavalieri has proposed merging lp:~fcavalieri/zorba/bugs into lp:zorba.

Requested reviews:
  Markos Zaharioudakis (markos-za)

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063

Fixed bug 859465
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77063
Your team Zorba Coders is subscribed to branch lp:zorba.
=== modified file 'src/store/naive/pul_primitives.cpp'
--- src/store/naive/pul_primitives.cpp	2011-09-26 18:30:33 +
+++ src/store/naive/pul_primitives.cpp	2011-09-26 22:57:27 +
@@ -1320,8 +1320,8 @@
   if (theIsApplied)
   {
 SimpleStore* store = &GET_STORE();
-store->deactivateIC(theQName);
-theIsApplied = false;
+bool isApplied;
+store->deactivateIC(theQName,isApplied);
   }
 }
 
@@ -1361,8 +1361,8 @@
   if (theIsApplied)
   {
 SimpleStore* store = &GET_STORE();
-store->deactivateIC(theQName);
-theIsApplied = false;
+bool isApplied;
+store->deactivateIC(theQName,isApplied);
   }
 }
 
@@ -1389,20 +1389,22 @@
 void UpdDeActivateIC::apply()
 {
   SimpleStore* store = &GET_STORE();
-  store::IC_t ic = store->deactivateIC(theQName);
-  theICKind = ic->getICKind();
-  switch (theICKind) {
-case store::IC::ic_collection:
-  theFromCollectionName = ic->getCollectionName();
-  break;
-case store::IC::ic_foreignkey:
-  theFromCollectionName = ic->getFromCollectionName();
-  theToCollectionName = ic->getToCollectionName();
-  break;
-default:
-  ZORBA_ASSERT(false);
+  store::IC_t ic = store->deactivateIC(theQName,theIsApplied);
+  if (theIsApplied)
+  {
+theICKind = ic->getICKind();
+switch (theICKind) {
+  case store::IC::ic_collection:
+theFromCollectionName = ic->getCollectionName();
+break;
+  case store::IC::ic_foreignkey:
+theFromCollectionName = ic->getFromCollectionName();
+theToCollectionName = ic->getToCollectionName();
+break;
+  default:
+ZORBA_ASSERT(false);
+}
   }
-  theIsApplied = true;
 }
 
 

=== modified file 'src/store/naive/simple_store.cpp'
--- src/store/naive/simple_store.cpp	2011-09-26 15:50:32 +
+++ src/store/naive/simple_store.cpp	2011-09-26 22:57:27 +
@@ -853,7 +853,8 @@
 
 
 store::IC_t
-SimpleStore::deactivateIC(const store::Item_t& icQName)
+SimpleStore::deactivateIC(const store::Item_t& icQName,
+bool& isApplied)
 {
   ZORBA_ASSERT(icQName != NULL);
 
@@ -861,13 +862,11 @@
 
   if (!theICs.get(icQName.getp(), ic))
   {
-throw ZORBA_EXCEPTION(
-  zerr::ZSTR0016_IC_DOES_NOT_EXIST,
-  ERROR_PARAMS( icQName->getStringValue() )
-);
+return ic; // already deactivated in the same PUL => noop
   }
 
   theICs.remove(icQName.getp());
+  isApplied=true;
   return ic;
 }
 

=== modified file 'src/store/naive/simple_store.h'
--- src/store/naive/simple_store.h	2011-09-26 15:50:32 +
+++ src/store/naive/simple_store.h	2011-09-26 22:57:27 +
@@ -238,7 +238,8 @@
 const store::Item_t& toCollectionQName,
 bool& isApplied);
 
-  store::IC_t deactivateIC(const store::Item_t& icQName);
+  store::IC_t deactivateIC(const store::Item_t& icQName,
+bool& isApplied);
 
   store::Iterator_t listActiveICNames();
 

=== added file 'test/rbkt/ExpQueryResults/zorba/xqddf/ic-deactivate-err.xml.res'
--- test/rbkt/ExpQueryResults/zorba/xqddf/ic-deactivate-err.xml.res	1970-01-01 00:00:00 +
+++ test/rbkt/ExpQueryResults/zorba/xqddf/ic-deactivate-err.xml.res	2011-09-26 22:57:27 +
@@ -0,0 +1,1 @@
+OK
\ No newline at end of file

=== added file 'test/rbkt/Queries/zorba/xqddf/ic-deactivate-err.xq'
--- test/rbkt/Queries/zorba/xqddf/ic-deactivate-err.xq	1970-01-01 00:00:00 +
+++ test/rbkt/Queries/zorba/xqddf/ic-deactivate-err.xq	2011-09-26 22:57:27 +
@@ -0,0 +1,14 @@
+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")) 
+);
+
+"OK"
\ No newline at end of file

-- 
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

2011-09-26 Thread Federico Cavalieri
** Description changed:

  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 {local:dump-types($attr)},
+   for $elem in $node/node()
+    return {local:dump-types($elem)}
+  }
+  )
+ };
+ 
+ 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:
+ 
+ 
+ 1
+ 
+ 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 
{local:dump-types($attr)},
for $elem in $node/node()
return {local:dump-types($elem)}   

}
)
  };
  
  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:
- 
- 
- 1
+ replace node doc:document("http://www.zorba-xquery.com/b";)/child::node() with 
attribute{"aaa"}{"xxx"};

** Changed in: zorba
   Importance: Low => Medium

** Summary changed:

- Using put on an attribute produces an invalid Xdm instance
+ Using put on an attribute produces an invalid Xdm instance and a segmentation 
fault

** This bug has been flagged as a security vulnerability

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
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:
  New

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 {local:dump-types($attr)},
    for $elem in $node/node()
     return {local:dump-types($elem)}
   }
   )
  };

  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:

  
  1

  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()) 

[Zorba-coders] [Bug 859968] [NEW] Using put on an attribute produces an invalid Xdm instance

2011-09-26 Thread Federico Cavalieri
Public bug reported:

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 {local:dump-types($attr)},
  for $elem in $node/node()
   return {local:dump-types($elem)}
 }
 )
};

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:


1

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 
{local:dump-types($attr)},
for $elem in $node/node()
return {local:dump-types($elem)}   

}
)
};

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"};

** Affects: zorba
 Importance: Medium
 Assignee: Federico Cavalieri (fcavalieri)
 Status: New

** Changed in: zorba
   Importance: Undecided => Low

** Changed in: zorba
 Assignee: (unassigned) => Federico Cavalieri (fcavalieri)

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

Title:
  Using put on an attribute produces an invalid Xdm instance

Status in Zorba - The XQuery Processor:
  New

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 {local:dump-types($attr)},
    for $elem in $node/node()
     return {local:dump-types($elem)}
   }
   )
  };

  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:

  
  1

  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'
   

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

2011-09-26 Thread Federico Cavalieri
** Changed in: zorba
   Status: New => Fix Released

-- 
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 Released

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] [Merge] lp:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread noreply
The proposal to merge lp:~fcavalieri/zorba/bugs into lp:zorba has been updated.

Status: Approved => Merged

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77033
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77033
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Validation queue job bugs-2011-09-26T19-02-16.59Z is finished. The final status 
was:

All tests succeeded!
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77033
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Validation queue starting for merge proposal.
Log at: 
http://zorbatest.lambda.nu:8080/remotequeue/bugs-2011-09-26T19-02-16.59Z/log.html
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77033
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Markos Zaharioudakis
The proposal to merge lp:~fcavalieri/zorba/bugs into lp:zorba has been updated.

Status: Needs review => Approved

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77033
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77033
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Markos Zaharioudakis
Review: Approve


-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77033
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
The proposal to merge lp:~fcavalieri/zorba/bugs into lp:zorba has been updated.

Status: Approved => Needs review

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77033
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77033
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Voting does not meet specified criteria. Required: Approve > 0, Disapprove < 1. 
Got: 1 Pending.
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77033
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Validation queue job bugs-2011-09-26T18-41-03.571Z is finished. The final 
status was:

All tests succeeded!
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77033
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Validation queue starting for merge proposal.
Log at: 
http://zorbatest.lambda.nu:8080/remotequeue/bugs-2011-09-26T18-41-03.571Z/log.html
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77033
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 854723] Re: Internal Fatal Error with validate-in-place

2011-09-26 Thread Federico Cavalieri
** Changed in: zorba
 Assignee: (unassigned) => Markos Zaharioudakis (markos-za)

** Changed in: zorba
   Status: New => Fix Released

-- 
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/854723

Title:
  Internal Fatal Error with validate-in-place

Status in Zorba - The XQuery Processor:
  Fix Released

Bug description:
  This bug is due to the same incorrect assumption reported in bug 854688.
  Invoking schema:validate-in-place creates several UpdSetElementType 
operations. Their apply method expects that if a node has a typedvalue it also 
contains a single node with text type. This is not true in the following 
example, which raises:

  Zorba Internal Fatal Error in 
/zorba/trunksrc/src/store/naive/pul_primitives.cpp:488:
  "target->numChildren() == 1": condition failed
  Aborted

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/854723/+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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Federico Cavalieri
The proposal to merge lp:~fcavalieri/zorba/bugs into lp:zorba has been updated.

Status: Needs review => Approved

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77033
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77033
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Federico Cavalieri
Federico Cavalieri has proposed merging lp:~fcavalieri/zorba/bugs into lp:zorba.

Requested reviews:
  Markos Zaharioudakis (markos-za)

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77033

Fixed bug 859522
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77033
Your team Zorba Coders is subscribed to branch lp:zorba.
=== modified file 'src/store/naive/pul_primitives.cpp'
--- src/store/naive/pul_primitives.cpp	2011-09-26 15:50:32 +
+++ src/store/naive/pul_primitives.cpp	2011-09-26 18:34:32 +
@@ -1490,11 +1490,11 @@
 
   theDoc = store->getDocument(lUri); // remember for undo
 
-  ZORBA_ASSERT(theDoc != NULL); // checked in the iterator
-
-  store->deleteDocument(lUri);
-
-  theIsApplied = true;
+  if(theDoc != NULL) //is not checked in the iterator if two
+  {  //deleteDocument are present for the same uri
+store->deleteDocument(lUri);
+theIsApplied = true;
+  }
 }
 
 

=== added file 'test/rbkt/ExpQueryResults/zorba/updates/upd12.xml.res'
--- test/rbkt/ExpQueryResults/zorba/updates/upd12.xml.res	1970-01-01 00:00:00 +
+++ test/rbkt/ExpQueryResults/zorba/updates/upd12.xml.res	2011-09-26 18:34:32 +
@@ -0,0 +1,1 @@
+OK
\ No newline at end of file

=== added file 'test/rbkt/Queries/zorba/updates/upd12.xq'
--- test/rbkt/Queries/zorba/updates/upd12.xq	1970-01-01 00:00:00 +
+++ test/rbkt/Queries/zorba/updates/upd12.xq	2011-09-26 18:34:32 +
@@ -0,0 +1,10 @@
+import module namespace doc = "http://www.zorba-xquery.com/modules/store/dynamic/documents";;
+
+doc:put("foo", document { bar });
+
+(
+doc:remove("foo"),
+doc:remove("foo")
+);
+
+"OK"
\ No newline at end of file

-- 
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread noreply
The proposal to merge lp:~fcavalieri/zorba/bugs into lp:zorba has been updated.

Status: Approved => Merged

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77016
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77016
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 855314] Re: Assertion failed in typemanager with for and el constuctor

2011-09-26 Thread Federico Cavalieri
** Changed in: zorba
 Assignee: (unassigned) => Markos Zaharioudakis (markos-za)

** Changed in: zorba
   Importance: High => Medium

-- 
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:
  New

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] [Merge] lp:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Validation queue job bugs-2011-09-26T18-02-08.374Z is finished. The final 
status was:

All tests succeeded!
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77016
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 859468] Re: Zorba fatal with two activate simple IC

2011-09-26 Thread Federico Cavalieri
** Changed in: zorba
   Status: New => Fix Released

-- 
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/859468

Title:
  Zorba fatal with two activate simple IC

Status in Zorba - The XQuery Processor:
  Fix Released

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:activate(xs:QName("m:ic_simple")) 
  );

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/859468/+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-09-26 Thread Federico Cavalieri
** Changed in: zorba
   Status: New => Fix Released

-- 
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 Released

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] [Merge] lp:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Validation queue starting for merge proposal.
Log at: 
http://zorbatest.lambda.nu:8080/remotequeue/bugs-2011-09-26T18-02-08.374Z/log.html
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77016
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Federico Cavalieri
The proposal to merge lp:~fcavalieri/zorba/bugs into lp:zorba has been updated.

Status: Needs review => Approved

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77016
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77016
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Markos Zaharioudakis
Review: Approve


-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77016
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Markos Zaharioudakis
I mean the following methods of zorba::Store : activateIC, 
activateForeignKeyIC, and deactivateIC.
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77016
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Markos Zaharioudakis
I don't like it that the isApplied param appears at the store api. But the 
store api methods are not actually used anywhere, so can you please remove them 
altogether? Then, you can commit.
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77016
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
The proposal to merge lp:~fcavalieri/zorba/bugs into lp:zorba has been updated.

Status: Approved => Needs review

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77016
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77016
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Voting does not meet specified criteria. Required: Approve > 0, Disapprove < 1. 
Got: 1 Pending.
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77016
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Validation queue job bugs-2011-09-26T16-21-21.379Z is finished. The final 
status was:

All tests succeeded!
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77016
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Validation queue starting for merge proposal.
Log at: 
http://zorbatest.lambda.nu:8080/remotequeue/bugs-2011-09-26T16-21-21.379Z/log.html
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77016
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Federico Cavalieri
The proposal to merge lp:~fcavalieri/zorba/bugs into lp:zorba has been updated.

Status: Needs review => Approved

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77016
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77016
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Federico Cavalieri
Federico Cavalieri has proposed merging lp:~fcavalieri/zorba/bugs into lp:zorba.

Requested reviews:
  Markos Zaharioudakis (markos-za)

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77016

ActivateIC/ActivateForeignKeyIC apply methods now correctly set the 
theIsApplied flag after application. Made necessary after fixing 859467 and 
859468, since their apply method now can be a noop in certain cases.

I would add an assertion in the deactivateIC undo for isApplied, if you agree. 

-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/77016
Your team Zorba Coders is subscribed to branch lp:zorba.
=== modified file 'src/store/api/store.h'
--- src/store/api/store.h	2011-08-30 19:11:59 +
+++ src/store/api/store.h	2011-09-26 16:20:33 +
@@ -288,7 +288,8 @@
* collectionQName.
*/
   virtual IC_t activateIC(const Item_t& icQName, 
-  const Item_t& collectionQName)  = 0;
+  const Item_t& collectionQName,
+  bool& isApplied)  = 0;
 
   /**
* Activates the icQName foreigh key integrity constraint using
@@ -296,7 +297,8 @@
*/
   virtual IC_t activateForeignKeyIC(const Item_t& icQName, 
 const Item_t& fromCollectionQName,
-const Item_t& toCollectionQName)  = 0;
+const Item_t& toCollectionQName,
+bool& isApplied)  = 0;
 
   /**
* Deactivates icQName integrity constraint.

=== modified file 'src/store/naive/pul_primitives.cpp'
--- src/store/naive/pul_primitives.cpp	2011-09-23 14:41:24 +
+++ src/store/naive/pul_primitives.cpp	2011-09-26 16:20:33 +
@@ -1311,8 +1311,7 @@
 void UpdActivateIC::apply()
 {
   SimpleStore* store = &GET_STORE();
-  store->activateIC(theQName, theCollectionName);
-  theIsApplied = true;
+  store->activateIC(theQName, theCollectionName,theIsApplied);
 }
 
 
@@ -1353,8 +1352,7 @@
 void UpdActivateForeignKeyIC::apply()
 {
   SimpleStore* store = &GET_STORE();
-  store->activateForeignKeyIC(theQName, theFromCollectionName, theToCollectionName);
-  theIsApplied = true;
+  store->activateForeignKeyIC(theQName, theFromCollectionName, theToCollectionName,theIsApplied);
 }
 
 
@@ -1413,15 +1411,16 @@
   if (theIsApplied)
   {
 SimpleStore* store = &GET_STORE();
+bool isApplied;
 switch (theICKind) {
   case store::IC::ic_collection:
-store->activateIC(theQName, theFromCollectionName);
+store->activateIC(theQName, theFromCollectionName,isApplied);
 break;
   case store::IC::ic_foreignkey:
 store->activateForeignKeyIC(
 theQName,
 theFromCollectionName,
-theToCollectionName);
+theToCollectionName,isApplied);
 break;
   default:
 ZORBA_ASSERT(false);

=== modified file 'src/store/naive/simple_store.cpp'
--- src/store/naive/simple_store.cpp	2011-09-26 09:12:46 +
+++ src/store/naive/simple_store.cpp	2011-09-26 16:20:33 +
@@ -800,7 +800,8 @@
 /
 store::IC_t SimpleStore::activateIC(
 const store::Item_t& icQName,
-const store::Item_t& collectionQName)
+const store::Item_t& collectionQName,
+bool& isApplied)
 {
   ZORBA_ASSERT(icQName != NULL);
 
@@ -817,6 +818,7 @@
 
   theICs.insert(qname, ic);
 
+  isApplied=true;
   return ic;
 }
 
@@ -827,7 +829,8 @@
 store::IC_t SimpleStore::activateForeignKeyIC(
 const store::Item_t& icQName,
 const store::Item_t& fromCollectionQName,
-const store::Item_t& toCollectionQName)
+const store::Item_t& toCollectionQName,
+bool& isApplied)
 {
   ZORBA_ASSERT(icQName != NULL);
 
@@ -844,6 +847,7 @@
 
   theICs.insert(qname, ic);
 
+  isApplied=true;
   return ic;
 }
 

=== modified file 'src/store/naive/simple_store.h'
--- src/store/naive/simple_store.h	2011-09-12 22:42:28 +
+++ src/store/naive/simple_store.h	2011-09-26 16:20:33 +
@@ -229,12 +229,14 @@
 
   store::IC_t activateIC(
 const store::Item_t& icQName,
-const store::Item_t& collectionQName);
+const store::Item_t& collectionQName,
+bool& isApplied);
 
   store::IC_t activateForeignKeyIC(
 const store::Item_t& icQName,
 const store::Item_t& fromCollectionQName,
-const store::Item_t& toCollectionQName);
+const store::Item_t& toCollectionQName,
+bool& isApplied);
 
   store::IC_t deactivateIC(const store::Item_t& icQName);
 

-- 
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread noreply
The proposal to merge lp:~fcavalieri/zorba/bugs into lp:zorba has been updated.

Status: Approved => Merged

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/76945
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/76945
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Validation queue job bugs-2011-09-26T14-56-59.122Z is finished. The final 
status was:

All tests succeeded!
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/76945
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Validation queue starting for merge proposal.
Log at: 
http://zorbatest.lambda.nu:8080/remotequeue/bugs-2011-09-26T14-56-59.122Z/log.html
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/76945
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Markos Zaharioudakis
Review: Approve


-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/76945
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Markos Zaharioudakis
The proposal to merge lp:~fcavalieri/zorba/bugs into lp:zorba has been updated.

Status: Needs review => Approved

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/76945
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/76945
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:~paul-lucas/zorba/bug-855571 into lp:zorba

2011-09-26 Thread Gabriel Petrovay
Review: Needs Fixing

Something went wrong because I see no diff in the e-mail and online the "Diff" 
in the lp:~paul-lucas/zorba/bug-855571 branch under "Branch merges" says also 0 
lines.

Did you push all the local changes to thins branch?

I am comparing with another branch: 
https://code.launchpad.net/~gabipetrovay/zorba/curl_dll_fix
and it's merge proposal: 
https://code.launchpad.net/~gabipetrovay/zorba/curl_dll_fix/+merge/76978
-- 
https://code.launchpad.net/~paul-lucas/zorba/bug-855571/+merge/76831
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:~gabipetrovay/zorba/curl_dll_fix into lp:zorba

2011-09-26 Thread Gabriel Petrovay
Gabriel Petrovay has proposed merging lp:~gabipetrovay/zorba/curl_dll_fix into 
lp:zorba.

Requested reviews:
  Daniel Turcanu (danielturcanu)

For more details, see:
https://code.launchpad.net/~gabipetrovay/zorba/curl_dll_fix/+merge/76978

This fixes the wrong fix in:

revno: 10390
svn revno: 11875 (on /trunk/zorba)
committer: ceejatec
timestamp: Sat 2011-08-27 04:42:02 +
message:
  Last installer fix from 2.0.0 branch; updated Changelog; bump to 2.0.1.


This fix adds a new macro to the cmake_modules/Windows/ProxyFindModule.cmake 
module (FIND_PACKAGE_DLL_WIN32) that allows you to search for ONLY ONE DLL but 
using alternate names. cURL, for example, needs this because some versions 
distribute curllib.dll, while others libcurl.dll.
-- 
https://code.launchpad.net/~gabipetrovay/zorba/curl_dll_fix/+merge/76978
Your team Zorba Coders is subscribed to branch lp:zorba.
=== modified file 'cmake_modules/Windows/FindCURL.cmake'
--- cmake_modules/Windows/FindCURL.cmake	2011-08-27 04:42:02 +
+++ cmake_modules/Windows/FindCURL.cmake	2011-09-26 13:03:54 +
@@ -27,12 +27,15 @@
 #
 # See the FindCURL.cmake module shipped with CMake for more information.
 
-FIND_PACKAGE_WIN32(NAME CURL FOUND_VAR CURL_FOUND SEARCH_NAMES curl)
+FIND_PACKAGE_WIN32(NAME "CURL" FOUND_VAR "CURL_FOUND" SEARCH_NAMES "curl")
 
 IF (CURL_FOUND)
 
   # find the needed DLL's
-  FIND_PACKAGE_DLLS_WIN32 (${FOUND_LOCATION} "libcurl.dll;libeay32.dll;openldap.dll;ssleay32.dll")
+  FIND_PACKAGE_DLL_WIN32 (${FOUND_LOCATION} "libcurl" "curllib")
+  FIND_PACKAGE_DLL_WIN32 (${FOUND_LOCATION} "libeay32")
+  FIND_PACKAGE_DLL_WIN32 (${FOUND_LOCATION} "openldap")
+  FIND_PACKAGE_DLL_WIN32 (${FOUND_LOCATION} "ssleay32")
 
   # find additional DLL's
   FIND_DLL_WIN32 (libsasl.dll)

=== modified file 'cmake_modules/Windows/ProxyFindModule.cmake'
--- cmake_modules/Windows/ProxyFindModule.cmake	2011-08-19 00:03:31 +
+++ cmake_modules/Windows/ProxyFindModule.cmake	2011-09-26 13:03:54 +
@@ -51,24 +51,40 @@
 
 
 # This macro will try to find a third party library on Windows.
+# The parameters must be given the arguments using the following pattern:
+#   PARAM_NAME1 param_value1 PARAM_NAME2 param_value1 param_value2 ...
+# This macro will further call PARSE_ARGUMENTS to parse it's arguments.
+# In the patter above, PARAM_NAME1 will go in the single value parameter pool
+# while PARAM_NAME2 will go in the multiple value parameter pool.
+#
+# Therefore the following parameter names must be provided to this macro:
 # Parameters:
-#  NAME  - the XXX in the FindXXX.cmake that is used for search
-#e.g.: "ICU" when trying to find ICU with FindICU.cmake
-#  FOUND_VAR- the variable the FindXXX.cmake module sets if the library is found
-#e.g.: "XERCESC_FOUND" when trying to find XercesC
-#  SEARCH_NAMES - a list of possible directory name fragments that this library can have
-#e.g.: "icu;i_c_u;uci"
+#   NAME
+# - mandatory, single value
+# - the value following it will be used to build the CMake module file name.
+# - e.g.: providing NAME "ICU" as parameters, FindICU.cmake will be used for the search.
+#   FOUND_VAR
+# - mandatory, single value
+# - the variable that the FindXXX.cmake module sets if the library is found
+# - e.g.: FOUND_VAR "XERCESC_FOUND" when trying to find XercesC
+#   SEARCH_NAMES
+# - mandatory, multiple value
+# - the possible directory name fragments that this library can have
+# - e.g.: SEARCH_NAMES "icu" "i_c_u" "uci"
+#   COMPONENTS
+# - optional, multiple value
 #
 # Once done this will define:
-#  FOUND_LOCATION - The directory where the library was found
+#   FOUND_LOCATION - The directory where the library was found
 #
 MACRO (FIND_PACKAGE_WIN32)
-  PARSE_ARGUMENTS(MODULE "SEARCH_NAMES;COMPONENTS" "NAME;FOUND_VAR" "TEST_ONLY" ${ARGN})
-  
+
   IF (NOT WIN32)
-MESSAGE(FATAL_ERROR "This macro is intended only for Windows platforms.")
+MESSAGE (FATAL_ERROR "This macro is intended only for Windows platforms.")
   ENDIF (NOT WIN32)
 
+  PARSE_ARGUMENTS(MODULE "SEARCH_NAMES;COMPONENTS" "NAME;FOUND_VAR" "" ${ARGN})
+  
   IF(NOT MODULE_NAME)
 MESSAGE (FATAL_ERROR "'NAME' argument is required")
   ENDIF(NOT MODULE_NAME)
@@ -185,18 +201,103 @@
 ENDMACRO (FIND_PACKAGE_WIN32)
 
 
-MACRO(FIND_PACKAGE_DLLS_WIN32 LIBRARY_LOCATION DLL_NAMES)
-
-  IF (NOT WIN32)
-MESSAGE(FATAL_ERROR "This macro is intended only for Windows platforms.")
-  ENDIF (NOT WIN32)
+# This macro will search for a DLL in the given library location using extra
+# arguments as alternative names of the DLL. The first DLL found with that name
+# is considered. This is useful for some libraries that come with different DLL
+# names depending on the library version. For example, cURL library might
+# distribute it's main DLL with two different names: "libcurl.dll" or "curllib.dll"
+#
+# If the DLL is found it's full path will be added to ZORBA_REQUIRED_DLLS and
+# it's location to the ZORBA_REQUIRED_DLL_PATH

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

2011-09-26 Thread Federico Cavalieri

Zorba Internal Fatal Error in 
/zorba/repository/trunk/src/store/naive/simple_pul.cpp:1701:
"0": condition failed: Unexpected error during application of integrity 
constraint PUL
Aborted

-- 
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:
  New

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 859465] Re: Zorba fatal with two deactivate IC

2011-09-26 Thread Federico Cavalieri
Zorba Internal Fatal Error in 
/zorba/repository/trunk/src/store/naive/simple_pul.cpp:1701:
"0": condition failed: Unexpected error during application of integrity 
constraint PUL
Aborted

-- 
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:
  New

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 859468] Re: Zorba fatal with two activate simple IC

2011-09-26 Thread Federico Cavalieri

Zorba Internal Fatal Error in 
/zorba/repository/trunk/src/store/naive/simple_pul.cpp:1701:
"0": condition failed: Unexpected error during application of integrity 
constraint PUL
Aborted

-- 
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/859468

Title:
  Zorba fatal with two activate simple IC

Status in Zorba - The XQuery Processor:
  New

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:activate(xs:QName("m:ic_simple")) 
  );

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/859468/+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-09-26 Thread Federico Cavalieri

Zorba API error [zerr:ZAPI0020]: "file:///zorba/test/foo": document already 
exists in store; raised at 
/zorba/repository/pulprocessing/src/store/naive/simple_store.cpp:1125
battlezone@M1710-linux:/zorba/build/pulprocessing$ bin/zorba -f -q 
/zorba/test/test13.xq

/zorba/build/pulprocessing/src/libzorba_simplestore.so.2.0.1(+0xeda63b) 
[0x1d3b63b]
/zorba/build/pulprocessing/src/libzorba_simplestore.so.2.0.1(_ZN5zorba16assertion_failedEPKcS1_i+0x22)
 [0x1d3b6fe]
/zorba/build/pulprocessing/src/libzorba_simplestore.so.2.0.1(_ZN5zorba11simplestore17UpdDeleteDocument5applyEv+0xbf)
 [0x255e151]
/zorba/build/pulprocessing/src/libzorba_simplestore.so.2.0.1(_ZN5zorba11simplestore9applyListERSt6vectorIPNS0_15UpdatePrimitiveESaIS3_EE+0x57)
 [0x2542030]
/zorba/build/pulprocessing/src/libzorba_simplestore.so.2.0.1(_ZN5zorba11simplestore7PULImpl12applyUpdatesEb+0xf3)
 [0x2546f55]
/zorba/build/pulprocessing/src/libzorba_simplestore.so.2.0.1(_ZN5zorba13apply_updatesEPNS_10CompilerCBEPNS_15dynamic_contextEPNS_14static_contextEPNS_5store3PULERKNS_8QueryLocE+0x371)
 [0x221f574]
/zorba/build/pulprocessing/src/libzorba_simplestore.so.2.0.1(_ZNK5zorba13ApplyIterator8nextImplERNS_5store10ItemHandleINS1_4ItemEEERNS_9PlanStateE+0x1d5)
 [0x221f075]
/zorba/build/pulprocessing/src/libzorba_simplestore.so.2.0.1(_ZNK5zorba7BatcherINS_13ApplyIteratorEE11produceNextERNS_5store10ItemHandleINS3_4ItemEEERNS_9PlanStateE+0x9f)
 [0x22233f9]
/zorba/build/pulprocessing/src/libzorba_simplestore.so.2.0.1(_ZN5zorba12PlanIterator11consumeNextERNS_5store10ItemHandleINS1_4ItemEEEPKS0_RNS_9PlanStateE+0x79)
 [0x2206b77]
/zorba/build/pulprocessing/src/libzorba_simplestore.so.2.0.1(_ZNK5zorba18SequentialIterator8nextImplERNS_5store10ItemHandleINS1_4ItemEEERNS_9PlanStateE+0xec)
 [0x23c3982]
/zorba/build/pulprocessing/src/libzorba_simplestore.so.2.0.1(_ZNK5zorba7BatcherINS_18SequentialIteratorEE11produceNextERNS_5store10ItemHandleINS3_4ItemEEERNS_9PlanStateE+0x9f)
 [0x23d2b69]
/zorba/build/pulprocessing/src/libzorba_simplestore.so.2.0.1(_ZN5zorba12PlanIterator11consumeNextERNS_5store10ItemHandleINS1_4ItemEEEPKS0_RNS_9PlanStateE+0x79)
 [0x2206b77]
/zorba/build/pulprocessing/src/libzorba_simplestore.so.2.0.1(_ZN5zorba11PlanWrapper4nextERNS_5store10ItemHandleINS1_4ItemEEE+0xa0)
 [0x220655e]
/zorba/build/pulprocessing/src/libzorba_simplestore.so.2.0.1(_ZN5zorba10serializer9serializeENS_8rchandleINS_5store8IteratorEEERSoPNS_19SAX2_ContentHandlerE+0x295)
 [0x19e684f]
/zorba/build/pulprocessing/src/libzorba_simplestore.so.2.0.1(_ZN5zorba10serializer9serializeENS_8rchandleINS_5store8IteratorEEERSo+0x46)
 [0x19e6590]
/zorba/build/pulprocessing/src/libzorba_simplestore.so.2.0.1(_ZN5zorba10XQueryImpl9serializeERSoRNS_8rchandleINS_11PlanWrapperEEEPK23Zorba_SerializerOptions+0x9c)
 [0x198bce0]
/zorba/build/pulprocessing/src/libzorba_simplestore.so.2.0.1(_ZN5zorba10XQueryImpl7executeERSoPK23Zorba_SerializerOptions+0xcd)
 [0x198b0eb]
bin/zorba(_Z17compileAndExecutePN5zorba5ZorbaERK18ZorbaCMDPropertiesRNS_8SmartPtrINS_13StaticContextEEERKSsRSiRSoR10TimingInfo+0x4e4)
 [0x805a3e2]
bin/zorba(main+0xd41) [0x805b6cc]
/lib/i386-linux-gnu/libc.so.6(__libc_start_main+0xe7) [0x3a5e37]
bin/zorba() [0x80585f1]
Zorba error [zerr:ZXQP0002]: "theDoc != NULL": assertion failed; raised at 
/zorba/repository/pulprocessing/src/store/naive/pul_primitives.cpp:1536

-- 
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:
  New

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 { bar });

  (
  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 859522] [NEW] Assertion failed with document delete

2011-09-26 Thread Federico Cavalieri
*** This bug is a security vulnerability ***

Public security bug reported:

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

doc:put("foo", document { bar });

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

** Affects: zorba
 Importance: Medium
 Assignee: Federico Cavalieri (fcavalieri)
 Status: New

** Visibility changed to: Public

** Changed in: zorba
   Importance: Undecided => Medium

** Changed in: zorba
 Assignee: (unassigned) => Federico Cavalieri (fcavalieri)

-- 
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:
  New

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 { bar });

  (
  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] [Merge] lp:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
The proposal to merge lp:~fcavalieri/zorba/bugs into lp:zorba has been updated.

Status: Approved => Needs review

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/76945
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/76945
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Voting does not meet specified criteria. Required: Approve > 0, Disapprove < 1. 
Got: 1 Pending.
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/76945
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Validation queue job bugs-2011-09-26T09-16-00.403Z is finished. The final 
status was:

All tests succeeded!
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/76945
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Zorba Build Bot
Validation queue starting for merge proposal.
Log at: 
http://zorbatest.lambda.nu:8080/remotequeue/bugs-2011-09-26T09-16-00.403Z/log.html
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/76945
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Federico Cavalieri
The proposal to merge lp:~fcavalieri/zorba/bugs into lp:zorba has been updated.

Status: Needs review => Approved

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/76945
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/76945
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:~fcavalieri/zorba/bugs into lp:zorba

2011-09-26 Thread Federico Cavalieri
Federico Cavalieri has proposed merging lp:~fcavalieri/zorba/bugs into lp:zorba.

Requested reviews:
  Markos Zaharioudakis (markos-za)

For more details, see:
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/76945

Fixed 859467 and 859468
-- 
https://code.launchpad.net/~fcavalieri/zorba/bugs/+merge/76945
Your team Zorba Coders is subscribed to branch lp:zorba.
=== modified file 'src/store/naive/simple_store.cpp'
--- src/store/naive/simple_store.cpp	2011-09-12 22:42:28 +
+++ src/store/naive/simple_store.cpp	2011-09-26 09:15:29 +
@@ -810,10 +810,7 @@
 
   if (theICs.get(qname, ic))
   {
-throw ZORBA_EXCEPTION(
-  zerr::ZSTR0015_IC_ALREADY_EXISTS,
-  ERROR_PARAMS( qname->getStringValue() )
-);
+return ic; // already activated => noop
   }
 
   ic = new ICCollectionImpl(icQName, collectionQName);
@@ -840,10 +837,7 @@
 
   if (theICs.get(qname, ic))
   {
-throw ZORBA_EXCEPTION(
-  zerr::ZSTR0015_IC_ALREADY_EXISTS,
-  ERROR_PARAMS( qname->getStringValue() )
-);
+return ic; // already activated => noop
   }
 
   ic = new ICForeignKeyImpl(qname, fromCollectionQName, toCollectionQName);

=== added file 'test/rbkt/ExpQueryResults/zorba/xqddf/ic-foreignKey2.xml.res'
--- test/rbkt/ExpQueryResults/zorba/xqddf/ic-foreignKey2.xml.res	1970-01-01 00:00:00 +
+++ test/rbkt/ExpQueryResults/zorba/xqddf/ic-foreignKey2.xml.res	2011-09-26 09:15:29 +
@@ -0,0 +1,1 @@
+OK
\ No newline at end of file

=== added file 'test/rbkt/ExpQueryResults/zorba/xqddf/ic-simple3.xml.res'
--- test/rbkt/ExpQueryResults/zorba/xqddf/ic-simple3.xml.res	1970-01-01 00:00:00 +
+++ test/rbkt/ExpQueryResults/zorba/xqddf/ic-simple3.xml.res	2011-09-26 09:15:29 +
@@ -0,0 +1,1 @@
+OK
\ No newline at end of file

=== added file 'test/rbkt/Queries/zorba/xqddf/ic-foreignKey2.xq'
--- test/rbkt/Queries/zorba/xqddf/ic-foreignKey2.xq	1970-01-01 00:00:00 +
+++ test/rbkt/Queries/zorba/xqddf/ic-foreignKey2.xq	2011-09-26 09:15:29 +
@@ -0,0 +1,14 @@
+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"))
+);
+
+"OK"
\ No newline at end of file

=== added file 'test/rbkt/Queries/zorba/xqddf/ic-simple3.xq'
--- test/rbkt/Queries/zorba/xqddf/ic-simple3.xq	1970-01-01 00:00:00 +
+++ test/rbkt/Queries/zorba/xqddf/ic-simple3.xq	2011-09-26 09:15:29 +
@@ -0,0 +1,12 @@
+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:activate(xs:QName("m:ic_simple")) 
+);
+
+"OK"
\ No newline at end of file

-- 
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] [NEW] Zorba fatal with two activate Foreign Key

2011-09-26 Thread Federico Cavalieri
*** This bug is a security vulnerability ***

Public security bug reported:

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"))
);

** Affects: zorba
 Importance: Medium
 Assignee: Federico Cavalieri (fcavalieri)
 Status: New

** Changed in: zorba
 Assignee: (unassigned) => Federico Cavalieri (fcavalieri)

** Changed in: zorba
   Importance: Undecided => Medium

** Visibility changed to: Public

-- 
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:
  New

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 859468] [NEW] Zorba fatal with two activate simple IC

2011-09-26 Thread Federico Cavalieri
*** This bug is a security vulnerability ***

Public security bug reported:

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:activate(xs:QName("m:ic_simple")) 
);

** Affects: zorba
 Importance: Medium
 Assignee: Federico Cavalieri (fcavalieri)
 Status: New

** Changed in: zorba
   Importance: Undecided => Medium

** Changed in: zorba
 Assignee: (unassigned) => Federico Cavalieri (fcavalieri)

** Visibility changed to: Public

-- 
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/859468

Title:
  Zorba fatal with two activate simple IC

Status in Zorba - The XQuery Processor:
  New

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:activate(xs:QName("m:ic_simple")) 
  );

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/859468/+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] [NEW] Zorba fatal with two deactivate IC

2011-09-26 Thread Federico Cavalieri
*** This bug is a security vulnerability ***

Public security bug reported:

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")) 
);

** Affects: zorba
 Importance: Medium
 Assignee: Federico Cavalieri (fcavalieri)
 Status: New

** Changed in: zorba
 Assignee: (unassigned) => Federico Cavalieri (fcavalieri)

** Changed in: zorba
   Importance: Undecided => Medium

** Visibility changed to: Public

-- 
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:
  New

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