--- a/server/test/unittest_rqlannotation.py Tue Sep 15 15:01:41 2009 +0200
+++ b/server/test/unittest_rqlannotation.py Thu Sep 17 15:16:53 2009 +0200
@@ -95,6 +95,11 @@
self.assertEquals(rqlst.defined_vars['X']._q_invariant, False)
self.assertEquals(rqlst.defined_vars['Y']._q_invariant, False)
+ def test_diff_scope_identity_deamb(self):
+ rqlst = self._prepare('Any X WHERE X concerne Y, Y is Note, EXISTS(Y identity Z, Z migrated_from N)')
+ self.assertEquals(rqlst.defined_vars['Z']._q_invariant, True)
+ self.assertEquals(rqlst.defined_vars['Y']._q_invariant, True)
+
def test_optional_inlined(self):
rqlst = self._prepare('Any X,S where X from_state S?')
self.assertEquals(rqlst.defined_vars['X']._q_invariant, False)