39 # no need for cleanup here |
39 # no need for cleanup here |
40 pass |
40 pass |
41 |
41 |
42 def test_0_1(self): |
42 def test_0_1(self): |
43 rqlst = self._prepare('Any SEN,RN,OEN WHERE X from_entity SE, SE eid 44, X relation_type R, R eid 139, X to_entity OE, OE eid 42, R name RN, SE name SEN, OE name OEN') |
43 rqlst = self._prepare('Any SEN,RN,OEN WHERE X from_entity SE, SE eid 44, X relation_type R, R eid 139, X to_entity OE, OE eid 42, R name RN, SE name SEN, OE name OEN') |
44 self.assertEquals(rqlst.defined_vars['SE']._q_invariant, False) |
44 self.assertEqual(rqlst.defined_vars['SE']._q_invariant, False) |
45 self.assertEquals(rqlst.defined_vars['OE']._q_invariant, False) |
45 self.assertEqual(rqlst.defined_vars['OE']._q_invariant, False) |
46 self.assertEquals(rqlst.defined_vars['R']._q_invariant, False) |
46 self.assertEqual(rqlst.defined_vars['R']._q_invariant, False) |
47 self.assertEquals(rqlst.defined_vars['SE'].stinfo['attrvar'], None) |
47 self.assertEqual(rqlst.defined_vars['SE'].stinfo['attrvar'], None) |
48 self.assertEquals(rqlst.defined_vars['OE'].stinfo['attrvar'], None) |
48 self.assertEqual(rqlst.defined_vars['OE'].stinfo['attrvar'], None) |
49 self.assertEquals(rqlst.defined_vars['R'].stinfo['attrvar'], None) |
49 self.assertEqual(rqlst.defined_vars['R'].stinfo['attrvar'], None) |
50 |
50 |
51 def test_0_2(self): |
51 def test_0_2(self): |
52 rqlst = self._prepare('Any O WHERE NOT S ecrit_par O, S eid 1, S inline1 P, O inline2 P') |
52 rqlst = self._prepare('Any O WHERE NOT S ecrit_par O, S eid 1, S inline1 P, O inline2 P') |
53 self.assertEquals(rqlst.defined_vars['P']._q_invariant, True) |
53 self.assertEqual(rqlst.defined_vars['P']._q_invariant, True) |
54 self.assertEquals(rqlst.defined_vars['O'].stinfo['attrvar'], None) |
54 self.assertEqual(rqlst.defined_vars['O'].stinfo['attrvar'], None) |
55 |
55 |
56 def test_0_4(self): |
56 def test_0_4(self): |
57 rqlst = self._prepare('Any A,B,C WHERE A eid 12,A comment B, A ?wf_info_for C') |
57 rqlst = self._prepare('Any A,B,C WHERE A eid 12,A comment B, A ?wf_info_for C') |
58 self.assertEquals(rqlst.defined_vars['A']._q_invariant, False) |
58 self.assertEqual(rqlst.defined_vars['A']._q_invariant, False) |
59 self.assert_(rqlst.defined_vars['B'].stinfo['attrvar']) |
59 self.assert_(rqlst.defined_vars['B'].stinfo['attrvar']) |
60 self.assertEquals(rqlst.defined_vars['C']._q_invariant, False) |
60 self.assertEqual(rqlst.defined_vars['C']._q_invariant, False) |
61 self.assertEquals(rqlst.solutions, [{'A': 'TrInfo', 'B': 'String', 'C': 'Affaire'}, |
61 self.assertEqual(rqlst.solutions, [{'A': 'TrInfo', 'B': 'String', 'C': 'Affaire'}, |
62 {'A': 'TrInfo', 'B': 'String', 'C': 'CWUser'}, |
62 {'A': 'TrInfo', 'B': 'String', 'C': 'CWUser'}, |
63 {'A': 'TrInfo', 'B': 'String', 'C': 'Note'}]) |
63 {'A': 'TrInfo', 'B': 'String', 'C': 'Note'}]) |
64 |
64 |
65 def test_0_5(self): |
65 def test_0_5(self): |
66 rqlst = self._prepare('Any P WHERE N ecrit_par P, N eid 0') |
66 rqlst = self._prepare('Any P WHERE N ecrit_par P, N eid 0') |
67 self.assertEquals(rqlst.defined_vars['N']._q_invariant, False) |
67 self.assertEqual(rqlst.defined_vars['N']._q_invariant, False) |
68 self.assertEquals(rqlst.defined_vars['P']._q_invariant, True) |
68 self.assertEqual(rqlst.defined_vars['P']._q_invariant, True) |
69 |
69 |
70 def test_0_6(self): |
70 def test_0_6(self): |
71 rqlst = self._prepare('Any P WHERE NOT N ecrit_par P, N eid 512') |
71 rqlst = self._prepare('Any P WHERE NOT N ecrit_par P, N eid 512') |
72 self.assertEquals(rqlst.defined_vars['P']._q_invariant, False) |
72 self.assertEqual(rqlst.defined_vars['P']._q_invariant, False) |
73 |
73 |
74 def test_0_7(self): |
74 def test_0_7(self): |
75 rqlst = self._prepare('Personne X,Y where X nom NX, Y nom NX, X eid XE, not Y eid XE') |
75 rqlst = self._prepare('Personne X,Y where X nom NX, Y nom NX, X eid XE, not Y eid XE') |
76 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
76 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
77 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, False) |
77 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False) |
78 self.assert_(rqlst.defined_vars['XE'].stinfo['attrvar']) |
78 self.assert_(rqlst.defined_vars['XE'].stinfo['attrvar']) |
79 |
79 |
80 def test_0_8(self): |
80 def test_0_8(self): |
81 rqlst = self._prepare('Any P WHERE X eid 0, NOT X connait P') |
81 rqlst = self._prepare('Any P WHERE X eid 0, NOT X connait P') |
82 self.assertEquals(rqlst.defined_vars['P']._q_invariant, False) |
82 self.assertEqual(rqlst.defined_vars['P']._q_invariant, False) |
83 #self.assertEquals(rqlst.defined_vars['X']._q_invariant, True) |
83 #self.assertEqual(rqlst.defined_vars['X']._q_invariant, True) |
84 self.assertEquals(len(rqlst.solutions), 1, rqlst.solutions) |
84 self.assertEqual(len(rqlst.solutions), 1, rqlst.solutions) |
85 |
85 |
86 def test_0_10(self): |
86 def test_0_10(self): |
87 rqlst = self._prepare('Any X WHERE X concerne Y, Y is Note') |
87 rqlst = self._prepare('Any X WHERE X concerne Y, Y is Note') |
88 self.assertEquals(rqlst.defined_vars['X']._q_invariant, True) |
88 self.assertEqual(rqlst.defined_vars['X']._q_invariant, True) |
89 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, False) |
89 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False) |
90 |
90 |
91 def test_0_11(self): |
91 def test_0_11(self): |
92 rqlst = self._prepare('Any X WHERE X todo_by Y, X is Affaire') |
92 rqlst = self._prepare('Any X WHERE X todo_by Y, X is Affaire') |
93 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
93 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
94 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, True) |
94 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, True) |
95 |
95 |
96 def test_0_12(self): |
96 def test_0_12(self): |
97 rqlst = self._prepare('Personne P WHERE P concerne A, A concerne S, S nom "Logilab"') |
97 rqlst = self._prepare('Personne P WHERE P concerne A, A concerne S, S nom "Logilab"') |
98 self.assertEquals(rqlst.defined_vars['P']._q_invariant, True) |
98 self.assertEqual(rqlst.defined_vars['P']._q_invariant, True) |
99 self.assertEquals(rqlst.defined_vars['A']._q_invariant, True) |
99 self.assertEqual(rqlst.defined_vars['A']._q_invariant, True) |
100 self.assertEquals(rqlst.defined_vars['S']._q_invariant, False) |
100 self.assertEqual(rqlst.defined_vars['S']._q_invariant, False) |
101 |
101 |
102 def test_1_0(self): |
102 def test_1_0(self): |
103 rqlst = self._prepare('Any X,Y WHERE X created_by Y, X eid 5, NOT Y eid 6') |
103 rqlst = self._prepare('Any X,Y WHERE X created_by Y, X eid 5, NOT Y eid 6') |
104 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, True) |
104 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, True) |
105 |
105 |
106 def test_1_1(self): |
106 def test_1_1(self): |
107 rqlst = self._prepare('Any X,Y WHERE X created_by Y, X eid 5, NOT Y eid IN (6,7)') |
107 rqlst = self._prepare('Any X,Y WHERE X created_by Y, X eid 5, NOT Y eid IN (6,7)') |
108 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, True) |
108 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, True) |
109 |
109 |
110 def test_2(self): |
110 def test_2(self): |
111 rqlst = self._prepare('Any X WHERE X identity Y, Y eid 1') |
111 rqlst = self._prepare('Any X WHERE X identity Y, Y eid 1') |
112 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
112 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
113 |
113 |
114 def test_7(self): |
114 def test_7(self): |
115 rqlst = self._prepare('Personne X,Y where X nom NX, Y nom NX, X eid XE, not Y eid XE') |
115 rqlst = self._prepare('Personne X,Y where X nom NX, Y nom NX, X eid XE, not Y eid XE') |
116 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
116 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
117 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, False) |
117 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False) |
118 |
118 |
119 def test_8(self): |
119 def test_8(self): |
120 # DISTINCT Any P WHERE P require_group %(g)s, NOT %(u)s has_group_permission P, P is CWPermission |
120 # DISTINCT Any P WHERE P require_group %(g)s, NOT %(u)s has_group_permission P, P is CWPermission |
121 rqlst = self._prepare('DISTINCT Any X WHERE A concerne X, NOT N migrated_from X, ' |
121 rqlst = self._prepare('DISTINCT Any X WHERE A concerne X, NOT N migrated_from X, ' |
122 'X is Note, N eid 1') |
122 'X is Note, N eid 1') |
123 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
123 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
124 |
124 |
125 def test_diff_scope_identity_deamb(self): |
125 def test_diff_scope_identity_deamb(self): |
126 rqlst = self._prepare('Any X WHERE X concerne Y, Y is Note, EXISTS(Y identity Z, Z migrated_from N)') |
126 rqlst = self._prepare('Any X WHERE X concerne Y, Y is Note, EXISTS(Y identity Z, Z migrated_from N)') |
127 self.assertEquals(rqlst.defined_vars['Z']._q_invariant, True) |
127 self.assertEqual(rqlst.defined_vars['Z']._q_invariant, True) |
128 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, True) |
128 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, True) |
129 |
129 |
130 def test_optional_inlined(self): |
130 def test_optional_inlined(self): |
131 rqlst = self._prepare('Any X,S where X from_state S?') |
131 rqlst = self._prepare('Any X,S where X from_state S?') |
132 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
132 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
133 self.assertEquals(rqlst.defined_vars['S']._q_invariant, True) |
133 self.assertEqual(rqlst.defined_vars['S']._q_invariant, True) |
134 |
134 |
135 def test_optional_inlined_2(self): |
135 def test_optional_inlined_2(self): |
136 rqlst = self._prepare('Any N,A WHERE N? inline1 A') |
136 rqlst = self._prepare('Any N,A WHERE N? inline1 A') |
137 self.assertEquals(rqlst.defined_vars['N']._q_invariant, False) |
137 self.assertEqual(rqlst.defined_vars['N']._q_invariant, False) |
138 self.assertEquals(rqlst.defined_vars['A']._q_invariant, False) |
138 self.assertEqual(rqlst.defined_vars['A']._q_invariant, False) |
139 |
139 |
140 def test_optional_1(self): |
140 def test_optional_1(self): |
141 rqlst = self._prepare('Any X,S WHERE X travaille S?') |
141 rqlst = self._prepare('Any X,S WHERE X travaille S?') |
142 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
142 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
143 self.assertEquals(rqlst.defined_vars['S']._q_invariant, True) |
143 self.assertEqual(rqlst.defined_vars['S']._q_invariant, True) |
144 |
144 |
145 def test_greater_eid(self): |
145 def test_greater_eid(self): |
146 rqlst = self._prepare('Any X WHERE X eid > 5') |
146 rqlst = self._prepare('Any X WHERE X eid > 5') |
147 self.assertEquals(rqlst.defined_vars['X']._q_invariant, True) |
147 self.assertEqual(rqlst.defined_vars['X']._q_invariant, True) |
148 |
148 |
149 def test_greater_eid_typed(self): |
149 def test_greater_eid_typed(self): |
150 rqlst = self._prepare('Any X WHERE X eid > 5, X is Note') |
150 rqlst = self._prepare('Any X WHERE X eid > 5, X is Note') |
151 self.assertEquals(rqlst.defined_vars['X']._q_invariant, True) |
151 self.assertEqual(rqlst.defined_vars['X']._q_invariant, True) |
152 |
152 |
153 def test_max_eid(self): |
153 def test_max_eid(self): |
154 rqlst = self._prepare('Any MAX(X)') |
154 rqlst = self._prepare('Any MAX(X)') |
155 self.assertEquals(rqlst.defined_vars['X']._q_invariant, True) |
155 self.assertEqual(rqlst.defined_vars['X']._q_invariant, True) |
156 |
156 |
157 def test_max_eid_typed(self): |
157 def test_max_eid_typed(self): |
158 rqlst = self._prepare('Any MAX(X) WHERE X is Note') |
158 rqlst = self._prepare('Any MAX(X) WHERE X is Note') |
159 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
159 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
160 |
160 |
161 def test_all_entities(self): |
161 def test_all_entities(self): |
162 rqlst = self._prepare('Any X') |
162 rqlst = self._prepare('Any X') |
163 self.assertEquals(rqlst.defined_vars['X']._q_invariant, True) |
163 self.assertEqual(rqlst.defined_vars['X']._q_invariant, True) |
164 |
164 |
165 def test_all_typed_entity(self): |
165 def test_all_typed_entity(self): |
166 rqlst = self._prepare('Any X WHERE X is Note') |
166 rqlst = self._prepare('Any X WHERE X is Note') |
167 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
167 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
168 |
168 |
169 def test_has_text_1(self): |
169 def test_has_text_1(self): |
170 rqlst = self._prepare('Any X WHERE X has_text "toto tata"') |
170 rqlst = self._prepare('Any X WHERE X has_text "toto tata"') |
171 self.assertEquals(rqlst.defined_vars['X']._q_invariant, True) |
171 self.assertEqual(rqlst.defined_vars['X']._q_invariant, True) |
172 self.assertEquals(rqlst.defined_vars['X'].stinfo['principal'].r_type, 'has_text') |
172 self.assertEqual(rqlst.defined_vars['X'].stinfo['principal'].r_type, 'has_text') |
173 |
173 |
174 def test_has_text_2(self): |
174 def test_has_text_2(self): |
175 rqlst = self._prepare('Any X WHERE X is Personne, X has_text "coucou"') |
175 rqlst = self._prepare('Any X WHERE X is Personne, X has_text "coucou"') |
176 self.assertEquals(rqlst.defined_vars['X']._q_invariant, True) |
176 self.assertEqual(rqlst.defined_vars['X']._q_invariant, True) |
177 self.assertEquals(rqlst.defined_vars['X'].stinfo['principal'].r_type, 'has_text') |
177 self.assertEqual(rqlst.defined_vars['X'].stinfo['principal'].r_type, 'has_text') |
178 |
178 |
179 def test_not_relation_1(self): |
179 def test_not_relation_1(self): |
180 # P can't be invariant since deambiguification caused by "NOT X require_permission P" |
180 # P can't be invariant since deambiguification caused by "NOT X require_permission P" |
181 # is not considered by generated sql (NOT EXISTS(...)) |
181 # is not considered by generated sql (NOT EXISTS(...)) |
182 rqlst = self._prepare('Any P,G WHERE P require_group G, NOT X require_permission P') |
182 rqlst = self._prepare('Any P,G WHERE P require_group G, NOT X require_permission P') |
183 self.assertEquals(rqlst.defined_vars['P']._q_invariant, False) |
183 self.assertEqual(rqlst.defined_vars['P']._q_invariant, False) |
184 self.assertEquals(rqlst.defined_vars['G']._q_invariant, True) |
184 self.assertEqual(rqlst.defined_vars['G']._q_invariant, True) |
185 self.assertEquals(rqlst.defined_vars['X']._q_invariant, True) |
185 self.assertEqual(rqlst.defined_vars['X']._q_invariant, True) |
186 |
186 |
187 def test_not_relation_2(self): |
187 def test_not_relation_2(self): |
188 rqlst = self._prepare('TrInfo X WHERE X eid 2, NOT X from_state Y, Y is State') |
188 rqlst = self._prepare('TrInfo X WHERE X eid 2, NOT X from_state Y, Y is State') |
189 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, True) |
189 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, True) |
190 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
190 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
191 |
191 |
192 def test_not_relation_3(self): |
192 def test_not_relation_3(self): |
193 rqlst = self._prepare('Any X, Y WHERE X eid 1, Y eid in (2, 3)') |
193 rqlst = self._prepare('Any X, Y WHERE X eid 1, Y eid in (2, 3)') |
194 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, False) |
194 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False) |
195 |
195 |
196 def test_not_relation_4_1(self): |
196 def test_not_relation_4_1(self): |
197 rqlst = self._prepare('Note X WHERE NOT Y evaluee X') |
197 rqlst = self._prepare('Note X WHERE NOT Y evaluee X') |
198 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
198 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
199 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, True) |
199 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, True) |
200 |
200 |
201 def test_not_relation_4_2(self): |
201 def test_not_relation_4_2(self): |
202 rqlst = self._prepare('Any X WHERE NOT Y evaluee X') |
202 rqlst = self._prepare('Any X WHERE NOT Y evaluee X') |
203 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
203 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
204 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, True) |
204 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, True) |
205 |
205 |
206 def test_not_relation_4_3(self): |
206 def test_not_relation_4_3(self): |
207 rqlst = self._prepare('Any Y WHERE NOT Y evaluee X') |
207 rqlst = self._prepare('Any Y WHERE NOT Y evaluee X') |
208 self.assertEquals(rqlst.defined_vars['X']._q_invariant, True) |
208 self.assertEqual(rqlst.defined_vars['X']._q_invariant, True) |
209 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, False) |
209 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False) |
210 |
210 |
211 def test_not_relation_4_4(self): |
211 def test_not_relation_4_4(self): |
212 rqlst = self._prepare('Any X WHERE NOT Y evaluee X, Y is CWUser') |
212 rqlst = self._prepare('Any X WHERE NOT Y evaluee X, Y is CWUser') |
213 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
213 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
214 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, False) |
214 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False) |
215 |
215 |
216 def test_not_relation_4_5(self): |
216 def test_not_relation_4_5(self): |
217 rqlst = self._prepare('Any X WHERE NOT Y evaluee X, Y eid %s, X is Note' % self.ueid) |
217 rqlst = self._prepare('Any X WHERE NOT Y evaluee X, Y eid %s, X is Note' % self.ueid) |
218 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
218 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
219 self.assertEquals(rqlst.solutions, [{'X': 'Note'}]) |
219 self.assertEqual(rqlst.solutions, [{'X': 'Note'}]) |
220 |
220 |
221 def test_not_relation_5_1(self): |
221 def test_not_relation_5_1(self): |
222 rqlst = self._prepare('Any X,Y WHERE X name "CWGroup", Y eid IN(1, 2, 3), NOT X read_permission Y') |
222 rqlst = self._prepare('Any X,Y WHERE X name "CWGroup", Y eid IN(1, 2, 3), NOT X read_permission Y') |
223 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
223 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
224 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, False) |
224 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False) |
225 |
225 |
226 def test_not_relation_5_2(self): |
226 def test_not_relation_5_2(self): |
227 rqlst = self._prepare('DISTINCT Any X,Y WHERE X name "CWGroup", Y eid IN(1, 2, 3), NOT X read_permission Y') |
227 rqlst = self._prepare('DISTINCT Any X,Y WHERE X name "CWGroup", Y eid IN(1, 2, 3), NOT X read_permission Y') |
228 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
228 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
229 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, False) |
229 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False) |
230 |
230 |
231 def test_not_relation_6(self): |
231 def test_not_relation_6(self): |
232 rqlst = self._prepare('Personne P where NOT P concerne A') |
232 rqlst = self._prepare('Personne P where NOT P concerne A') |
233 self.assertEquals(rqlst.defined_vars['P']._q_invariant, False) |
233 self.assertEqual(rqlst.defined_vars['P']._q_invariant, False) |
234 self.assertEquals(rqlst.defined_vars['A']._q_invariant, True) |
234 self.assertEqual(rqlst.defined_vars['A']._q_invariant, True) |
235 |
235 |
236 def test_not_relation_7(self): |
236 def test_not_relation_7(self): |
237 rqlst = self._prepare('Any K,V WHERE P is CWProperty, P pkey K, P value V, NOT P for_user U') |
237 rqlst = self._prepare('Any K,V WHERE P is CWProperty, P pkey K, P value V, NOT P for_user U') |
238 self.assertEquals(rqlst.defined_vars['P']._q_invariant, False) |
238 self.assertEqual(rqlst.defined_vars['P']._q_invariant, False) |
239 self.assertEquals(rqlst.defined_vars['U']._q_invariant, True) |
239 self.assertEqual(rqlst.defined_vars['U']._q_invariant, True) |
240 |
240 |
241 def test_exists_1(self): |
241 def test_exists_1(self): |
242 rqlst = self._prepare('Any U WHERE U eid IN (1,2), EXISTS(X owned_by U)') |
242 rqlst = self._prepare('Any U WHERE U eid IN (1,2), EXISTS(X owned_by U)') |
243 self.assertEquals(rqlst.defined_vars['U']._q_invariant, False) |
243 self.assertEqual(rqlst.defined_vars['U']._q_invariant, False) |
244 self.assertEquals(rqlst.defined_vars['X']._q_invariant, True) |
244 self.assertEqual(rqlst.defined_vars['X']._q_invariant, True) |
245 |
245 |
246 def test_exists_2(self): |
246 def test_exists_2(self): |
247 rqlst = self._prepare('Any U WHERE EXISTS(U eid IN (1,2), X owned_by U)') |
247 rqlst = self._prepare('Any U WHERE EXISTS(U eid IN (1,2), X owned_by U)') |
248 self.assertEquals(rqlst.defined_vars['U']._q_invariant, False) |
248 self.assertEqual(rqlst.defined_vars['U']._q_invariant, False) |
249 self.assertEquals(rqlst.defined_vars['X']._q_invariant, True) |
249 self.assertEqual(rqlst.defined_vars['X']._q_invariant, True) |
250 |
250 |
251 def test_exists_3(self): |
251 def test_exists_3(self): |
252 rqlst = self._prepare('Any U WHERE EXISTS(X owned_by U, X bookmarked_by U)') |
252 rqlst = self._prepare('Any U WHERE EXISTS(X owned_by U, X bookmarked_by U)') |
253 self.assertEquals(rqlst.defined_vars['U']._q_invariant, False) |
253 self.assertEqual(rqlst.defined_vars['U']._q_invariant, False) |
254 self.assertEquals(rqlst.defined_vars['X']._q_invariant, True) |
254 self.assertEqual(rqlst.defined_vars['X']._q_invariant, True) |
255 |
255 |
256 def test_exists_4(self): |
256 def test_exists_4(self): |
257 rqlst = self._prepare('Any X,Y WHERE X name "CWGroup", Y eid IN(1, 2, 3), EXISTS(X read_permission Y)') |
257 rqlst = self._prepare('Any X,Y WHERE X name "CWGroup", Y eid IN(1, 2, 3), EXISTS(X read_permission Y)') |
258 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
258 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
259 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, False) |
259 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False) |
260 |
260 |
261 def test_exists_5(self): |
261 def test_exists_5(self): |
262 rqlst = self._prepare('DISTINCT Any X,Y WHERE X name "CWGroup", Y eid IN(1, 2, 3), EXISTS(X read_permission Y)') |
262 rqlst = self._prepare('DISTINCT Any X,Y WHERE X name "CWGroup", Y eid IN(1, 2, 3), EXISTS(X read_permission Y)') |
263 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
263 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
264 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, True) |
264 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, True) |
265 |
265 |
266 def test_not_exists_1(self): |
266 def test_not_exists_1(self): |
267 rqlst = self._prepare('Any U WHERE NOT EXISTS(X owned_by U, X bookmarked_by U)') |
267 rqlst = self._prepare('Any U WHERE NOT EXISTS(X owned_by U, X bookmarked_by U)') |
268 self.assertEquals(rqlst.defined_vars['U']._q_invariant, False) |
268 self.assertEqual(rqlst.defined_vars['U']._q_invariant, False) |
269 self.assertEquals(rqlst.defined_vars['X']._q_invariant, True) |
269 self.assertEqual(rqlst.defined_vars['X']._q_invariant, True) |
270 |
270 |
271 def test_not_exists_2(self): |
271 def test_not_exists_2(self): |
272 rqlst = self._prepare('Any X,Y WHERE X name "CWGroup", Y eid IN(1, 2, 3), NOT EXISTS(X read_permission Y)') |
272 rqlst = self._prepare('Any X,Y WHERE X name "CWGroup", Y eid IN(1, 2, 3), NOT EXISTS(X read_permission Y)') |
273 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, False) |
273 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False) |
274 |
274 |
275 def test_not_exists_distinct_1(self): |
275 def test_not_exists_distinct_1(self): |
276 rqlst = self._prepare('DISTINCT Any X,Y WHERE X name "CWGroup", Y eid IN(1, 2, 3), NOT EXISTS(X read_permission Y)') |
276 rqlst = self._prepare('DISTINCT Any X,Y WHERE X name "CWGroup", Y eid IN(1, 2, 3), NOT EXISTS(X read_permission Y)') |
277 self.assertEquals(rqlst.defined_vars['Y']._q_invariant, False) |
277 self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False) |
278 |
278 |
279 def test_or_1(self): |
279 def test_or_1(self): |
280 rqlst = self._prepare('Any X WHERE X concerne B OR C concerne X, B eid 12, C eid 13') |
280 rqlst = self._prepare('Any X WHERE X concerne B OR C concerne X, B eid 12, C eid 13') |
281 self.assertEquals(rqlst.defined_vars['X']._q_invariant, False) |
281 self.assertEqual(rqlst.defined_vars['X']._q_invariant, False) |
282 |
282 |
283 def test_or_2(self): |
283 def test_or_2(self): |
284 rqlst = self._prepare('Any X WHERE X created_by U, X concerne B OR C concerne X, B eid 12, C eid 13') |
284 rqlst = self._prepare('Any X WHERE X created_by U, X concerne B OR C concerne X, B eid 12, C eid 13') |
285 self.assertEquals(rqlst.defined_vars['X']._q_invariant, True) |
285 self.assertEqual(rqlst.defined_vars['X']._q_invariant, True) |
286 self.assertEquals(rqlst.defined_vars['U']._q_invariant, True) |
286 self.assertEqual(rqlst.defined_vars['U']._q_invariant, True) |
287 self.assertEquals(rqlst.defined_vars['X'].stinfo['principal'].r_type, 'created_by') |
287 self.assertEqual(rqlst.defined_vars['X'].stinfo['principal'].r_type, 'created_by') |
288 |
288 |
289 def test_or_3(self): |
289 def test_or_3(self): |
290 rqlst = self._prepare('Any N WHERE A evaluee N or EXISTS(N todo_by U)') |
290 rqlst = self._prepare('Any N WHERE A evaluee N or EXISTS(N todo_by U)') |
291 self.assertEquals(rqlst.defined_vars['N']._q_invariant, False) |
291 self.assertEqual(rqlst.defined_vars['N']._q_invariant, False) |
292 self.assertEquals(rqlst.defined_vars['A']._q_invariant, True) |
292 self.assertEqual(rqlst.defined_vars['A']._q_invariant, True) |
293 self.assertEquals(rqlst.defined_vars['U']._q_invariant, True) |
293 self.assertEqual(rqlst.defined_vars['U']._q_invariant, True) |
294 |
294 |
295 def test_or_exists_1(self): |
295 def test_or_exists_1(self): |
296 # query generated by security rewriting |
296 # query generated by security rewriting |
297 rqlst = self._prepare('DISTINCT Any A,S WHERE A is Affaire, S nom "chouette", S is IN(Division, Societe, SubDivision),' |
297 rqlst = self._prepare('DISTINCT Any A,S WHERE A is Affaire, S nom "chouette", S is IN(Division, Societe, SubDivision),' |
298 '(EXISTS(A owned_by D)) ' |
298 '(EXISTS(A owned_by D)) ' |
299 'OR ((((EXISTS(E concerne C?, C owned_by D, A identity E, C is Note, E is Affaire)) ' |
299 'OR ((((EXISTS(E concerne C?, C owned_by D, A identity E, C is Note, E is Affaire)) ' |
300 'OR (EXISTS(I concerne H?, H owned_by D, H is Societe, A identity I, I is Affaire))) ' |
300 'OR (EXISTS(I concerne H?, H owned_by D, H is Societe, A identity I, I is Affaire))) ' |
301 'OR (EXISTS(J concerne G?, G owned_by D, G is SubDivision, A identity J, J is Affaire))) ' |
301 'OR (EXISTS(J concerne G?, G owned_by D, G is SubDivision, A identity J, J is Affaire))) ' |
302 'OR (EXISTS(K concerne F?, F owned_by D, F is Division, A identity K, K is Affaire)))') |
302 'OR (EXISTS(K concerne F?, F owned_by D, F is Division, A identity K, K is Affaire)))') |
303 self.assertEquals(rqlst.defined_vars['A']._q_invariant, False) |
303 self.assertEqual(rqlst.defined_vars['A']._q_invariant, False) |
304 self.assertEquals(rqlst.defined_vars['S']._q_invariant, False) |
304 self.assertEqual(rqlst.defined_vars['S']._q_invariant, False) |
305 |
305 |
306 def test_or_exists_2(self): |
306 def test_or_exists_2(self): |
307 rqlst = self._prepare('Any U WHERE EXISTS(U in_group G, G name "managers") OR EXISTS(X owned_by U, X bookmarked_by U)') |
307 rqlst = self._prepare('Any U WHERE EXISTS(U in_group G, G name "managers") OR EXISTS(X owned_by U, X bookmarked_by U)') |
308 self.assertEquals(rqlst.defined_vars['U']._q_invariant, False) |
308 self.assertEqual(rqlst.defined_vars['U']._q_invariant, False) |
309 self.assertEquals(rqlst.defined_vars['G']._q_invariant, False) |
309 self.assertEqual(rqlst.defined_vars['G']._q_invariant, False) |
310 self.assertEquals(rqlst.defined_vars['X']._q_invariant, True) |
310 self.assertEqual(rqlst.defined_vars['X']._q_invariant, True) |
311 |
311 |
312 def test_or_exists_3(self): |
312 def test_or_exists_3(self): |
313 rqlst = self._prepare('Any COUNT(S),CS GROUPBY CS ORDERBY 1 DESC LIMIT 10 ' |
313 rqlst = self._prepare('Any COUNT(S),CS GROUPBY CS ORDERBY 1 DESC LIMIT 10 ' |
314 'WHERE C is Societe, S concerne C, C nom CS, ' |
314 'WHERE C is Societe, S concerne C, C nom CS, ' |
315 '(EXISTS(S owned_by D)) OR (EXISTS(S documented_by N, N title "published"))') |
315 '(EXISTS(S owned_by D)) OR (EXISTS(S documented_by N, N title "published"))') |
316 self.assertEquals(rqlst.defined_vars['S']._q_invariant, True) |
316 self.assertEqual(rqlst.defined_vars['S']._q_invariant, True) |
317 rqlst = self._prepare('Any COUNT(S),CS GROUPBY CS ORDERBY 1 DESC LIMIT 10 ' |
317 rqlst = self._prepare('Any COUNT(S),CS GROUPBY CS ORDERBY 1 DESC LIMIT 10 ' |
318 'WHERE S is Affaire, C is Societe, S concerne C, C nom CS, ' |
318 'WHERE S is Affaire, C is Societe, S concerne C, C nom CS, ' |
319 '(EXISTS(S owned_by D)) OR (EXISTS(S documented_by N, N title "published"))') |
319 '(EXISTS(S owned_by D)) OR (EXISTS(S documented_by N, N title "published"))') |
320 self.assertEquals(rqlst.defined_vars['S']._q_invariant, True) |
320 self.assertEqual(rqlst.defined_vars['S']._q_invariant, True) |
321 |
321 |
322 def test_nonregr_ambiguity(self): |
322 def test_nonregr_ambiguity(self): |
323 rqlst = self._prepare('Note N WHERE N attachment F') |
323 rqlst = self._prepare('Note N WHERE N attachment F') |
324 # N may be an image as well, not invariant |
324 # N may be an image as well, not invariant |
325 self.assertEquals(rqlst.defined_vars['N']._q_invariant, False) |
325 self.assertEqual(rqlst.defined_vars['N']._q_invariant, False) |
326 self.assertEquals(rqlst.defined_vars['F']._q_invariant, True) |
326 self.assertEqual(rqlst.defined_vars['F']._q_invariant, True) |
327 |
327 |
328 if __name__ == '__main__': |
328 if __name__ == '__main__': |
329 from logilab.common.testlib import unittest_main |
329 from logilab.common.testlib import unittest_main |
330 unittest_main() |
330 unittest_main() |