server/test/unittest_rqlannotation.py
changeset 3293 69c0ba095536
parent 2773 b2530e3e0afb
parent 3249 280080eadb22
child 4191 01638461d4b0
--- 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)