92 |
92 |
93 def test_7(self): |
93 def test_7(self): |
94 rqlst = self._prepare('Personne X,Y where X nom NX, Y nom NX, X eid XE, not Y eid XE') |
94 rqlst = self._prepare('Personne X,Y where X nom NX, Y nom NX, X eid XE, not Y eid XE') |
95 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
95 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
96 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, False) |
96 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, False) |
|
97 |
|
98 def test_diff_scope_identity_deamb(self): |
|
99 rqlst = self._prepare('Any X WHERE X concerne Y, Y is Note, EXISTS(Y identity Z, Z migrated_from N)') |
|
100 self.assertEquals(rqlst.defined_vars['Z']._q_invariant, True) |
|
101 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, True) |
97 |
102 |
98 def test_optional_inlined(self): |
103 def test_optional_inlined(self): |
99 rqlst = self._prepare('Any X,S where X from_state S?') |
104 rqlst = self._prepare('Any X,S where X from_state S?') |
100 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
105 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
101 self.assertEquals(rqlst.defined_vars['S']._q_invariant, True) |
106 self.assertEquals(rqlst.defined_vars['S']._q_invariant, True) |