server/test/unittest_rqlannotation.py
branchstable
changeset 3315 59220b704562
parent 3249 280080eadb22
child 3293 69c0ba095536
--- a/server/test/unittest_rqlannotation.py	Thu Sep 17 19:38:04 2009 +0200
+++ b/server/test/unittest_rqlannotation.py	Fri Sep 18 11:24:37 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)