server/test/unittest_rqlannotation.py
changeset 11057 0b59724cb3f2
parent 11052 058bb3dc685f
child 11058 23eb30449fe5
equal deleted inserted replaced
11052:058bb3dc685f 11057:0b59724cb3f2
     1 # -*- coding: iso-8859-1 -*-
       
     2 # copyright 2003-2014 LOGILAB S.A. (Paris, FRANCE), all rights reserved.
       
     3 # contact http://www.logilab.fr/ -- mailto:contact@logilab.fr
       
     4 #
       
     5 # This file is part of CubicWeb.
       
     6 #
       
     7 # CubicWeb is free software: you can redistribute it and/or modify it under the
       
     8 # terms of the GNU Lesser General Public License as published by the Free
       
     9 # Software Foundation, either version 2.1 of the License, or (at your option)
       
    10 # any later version.
       
    11 #
       
    12 # CubicWeb is distributed in the hope that it will be useful, but WITHOUT
       
    13 # ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
       
    14 # FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public License for more
       
    15 # details.
       
    16 #
       
    17 # You should have received a copy of the GNU Lesser General Public License along
       
    18 # with CubicWeb.  If not, see <http://www.gnu.org/licenses/>.
       
    19 """unit tests for modules cubicweb.server.rqlannotation"""
       
    20 
       
    21 from cubicweb.devtools import TestServerConfiguration, get_test_db_handler
       
    22 from cubicweb.devtools.repotest import BaseQuerierTC
       
    23 
       
    24 class SQLGenAnnotatorTC(BaseQuerierTC):
       
    25 
       
    26     def setUp(self):
       
    27         handler = get_test_db_handler(TestServerConfiguration(
       
    28             'data2', apphome=SQLGenAnnotatorTC.datadir))
       
    29         handler.build_db_cache()
       
    30         repo, _cnx = handler.get_repo_and_cnx()
       
    31         self.__class__.repo = repo
       
    32         super(SQLGenAnnotatorTC, self).setUp()
       
    33 
       
    34     def get_max_eid(self):
       
    35         # no need for cleanup here
       
    36         return None
       
    37 
       
    38     def cleanup(self):
       
    39         # no need for cleanup here
       
    40         pass
       
    41 
       
    42     def test_0_1(self):
       
    43         with self.session.new_cnx() as cnx:
       
    44             rqlst = self._prepare(cnx, 'Any SEN,RN,OEN WHERE X from_entity SE, '
       
    45                                   'SE eid 44, X relation_type R, R eid 139, '
       
    46                                   'X to_entity OE, OE eid 42, R name RN, SE name SEN, '
       
    47                                   'OE name OEN')
       
    48             self.assertEqual(rqlst.defined_vars['SE']._q_invariant, False)
       
    49             self.assertEqual(rqlst.defined_vars['OE']._q_invariant, False)
       
    50             self.assertEqual(rqlst.defined_vars['R']._q_invariant, False)
       
    51             self.assertEqual(rqlst.defined_vars['SE'].stinfo['attrvar'], None)
       
    52             self.assertEqual(rqlst.defined_vars['OE'].stinfo['attrvar'], None)
       
    53             self.assertEqual(rqlst.defined_vars['R'].stinfo['attrvar'], None)
       
    54 
       
    55     def test_0_2(self):
       
    56         with self.session.new_cnx() as cnx:
       
    57             rqlst = self._prepare(cnx, 'Any O WHERE NOT S ecrit_par O, S eid 1, '
       
    58                                   'S inline1 P, O inline2 P')
       
    59             self.assertEqual(rqlst.defined_vars['P']._q_invariant, True)
       
    60             self.assertEqual(rqlst.defined_vars['O'].stinfo['attrvar'], None)
       
    61 
       
    62     def test_0_4(self):
       
    63         with self.session.new_cnx() as cnx:
       
    64             rqlst = self._prepare(cnx, 'Any A,B,C WHERE A eid 12,A comment B, '
       
    65                                   'A ?wf_info_for C')
       
    66             self.assertEqual(rqlst.defined_vars['A']._q_invariant, False)
       
    67             self.assertTrue(rqlst.defined_vars['B'].stinfo['attrvar'])
       
    68             self.assertEqual(rqlst.defined_vars['C']._q_invariant, False)
       
    69             self.assertEqual(rqlst.solutions, [{'A': 'TrInfo', 'B': 'String', 'C': 'Affaire'},
       
    70                                           {'A': 'TrInfo', 'B': 'String', 'C': 'CWUser'},
       
    71                                           {'A': 'TrInfo', 'B': 'String', 'C': 'Note'}])
       
    72 
       
    73     def test_0_5(self):
       
    74         with self.session.new_cnx() as cnx:
       
    75             rqlst = self._prepare(cnx, 'Any P WHERE N ecrit_par P, N eid 0')
       
    76             self.assertEqual(rqlst.defined_vars['N']._q_invariant, False)
       
    77             self.assertEqual(rqlst.defined_vars['P']._q_invariant, True)
       
    78 
       
    79     def test_0_6(self):
       
    80         with self.session.new_cnx() as cnx:
       
    81             rqlst = self._prepare(cnx, 'Any P WHERE NOT N ecrit_par P, N eid 512')
       
    82             self.assertEqual(rqlst.defined_vars['P']._q_invariant, False)
       
    83 
       
    84     def test_0_7(self):
       
    85         with self.session.new_cnx() as cnx:
       
    86             rqlst = self._prepare(cnx, 'Personne X,Y where X nom NX, '
       
    87                                   'Y nom NX, X eid XE, not Y eid XE')
       
    88             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
    89             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False)
       
    90             self.assertTrue(rqlst.defined_vars['XE'].stinfo['attrvar'])
       
    91 
       
    92     def test_0_8(self):
       
    93         with self.session.new_cnx() as cnx:
       
    94             rqlst = self._prepare(cnx, 'Any P WHERE X eid 0, NOT X connait P')
       
    95             self.assertEqual(rqlst.defined_vars['P']._q_invariant, False)
       
    96             #self.assertEqual(rqlst.defined_vars['X']._q_invariant, True)
       
    97             self.assertEqual(len(rqlst.solutions), 1, rqlst.solutions)
       
    98 
       
    99     def test_0_10(self):
       
   100         with self.session.new_cnx() as cnx:
       
   101             rqlst = self._prepare(cnx, 'Any X WHERE X concerne Y, Y is Note')
       
   102             self.assertEqual(rqlst.defined_vars['X']._q_invariant, True)
       
   103             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False)
       
   104 
       
   105     def test_0_11(self):
       
   106         with self.session.new_cnx() as cnx:
       
   107             rqlst = self._prepare(cnx, 'Any X WHERE X todo_by Y, X is Affaire')
       
   108             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   109             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, True)
       
   110 
       
   111     def test_0_12(self):
       
   112         with self.session.new_cnx() as cnx:
       
   113             rqlst = self._prepare(cnx, 'Personne P WHERE P concerne A, '
       
   114                                   'A concerne S, S nom "Logilab"')
       
   115             self.assertEqual(rqlst.defined_vars['P']._q_invariant, True)
       
   116             self.assertEqual(rqlst.defined_vars['A']._q_invariant, True)
       
   117             self.assertEqual(rqlst.defined_vars['S']._q_invariant, False)
       
   118 
       
   119     def test_1_0(self):
       
   120         with self.session.new_cnx() as cnx:
       
   121             rqlst = self._prepare(cnx, 'Any X,Y WHERE X created_by Y, '
       
   122                                   'X eid 5, NOT Y eid 6')
       
   123             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, True)
       
   124 
       
   125     def test_1_1(self):
       
   126         with self.session.new_cnx() as cnx:
       
   127             rqlst = self._prepare(cnx, 'Any X,Y WHERE X created_by Y, X eid 5, '
       
   128                                   'NOT Y eid IN (6,7)')
       
   129             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, True)
       
   130 
       
   131     def test_2(self):
       
   132         with self.session.new_cnx() as cnx:
       
   133             rqlst = self._prepare(cnx, 'Any X WHERE X identity Y, Y eid 1')
       
   134             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   135 
       
   136     def test_7(self):
       
   137         with self.session.new_cnx() as cnx:
       
   138             rqlst = self._prepare(cnx, 'Personne X,Y where X nom NX, Y nom NX, '
       
   139                                   'X eid XE, not Y eid XE')
       
   140             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   141             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False)
       
   142 
       
   143     def test_8(self):
       
   144         with self.session.new_cnx() as cnx:
       
   145             # DISTINCT Any P WHERE P require_group %(g)s,
       
   146             # NOT %(u)s has_group_permission P, P is CWPermission
       
   147             rqlst = self._prepare(cnx, 'DISTINCT Any X WHERE A concerne X, '
       
   148                                   'NOT N migrated_from X, '
       
   149                                   'X is Note, N eid 1')
       
   150             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   151 
       
   152     def test_diff_scope_identity_deamb(self):
       
   153         with self.session.new_cnx() as cnx:
       
   154             rqlst = self._prepare(cnx, 'Any X WHERE X concerne Y, Y is Note, '
       
   155                                   'EXISTS(Y identity Z, Z migrated_from N)')
       
   156             self.assertEqual(rqlst.defined_vars['Z']._q_invariant, True)
       
   157             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, True)
       
   158 
       
   159     def test_optional_inlined(self):
       
   160         with self.session.new_cnx() as cnx:
       
   161             rqlst = self._prepare(cnx, 'Any X,S where X from_state S?')
       
   162             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   163             self.assertEqual(rqlst.defined_vars['S']._q_invariant, True)
       
   164 
       
   165     def test_optional_inlined_2(self):
       
   166         with self.session.new_cnx() as cnx:
       
   167             rqlst = self._prepare(cnx, 'Any N,A WHERE N? inline1 A')
       
   168             self.assertEqual(rqlst.defined_vars['N']._q_invariant, False)
       
   169             self.assertEqual(rqlst.defined_vars['A']._q_invariant, False)
       
   170 
       
   171     def test_optional_1(self):
       
   172         with self.session.new_cnx() as cnx:
       
   173             rqlst = self._prepare(cnx, 'Any X,S WHERE X travaille S?')
       
   174             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   175             self.assertEqual(rqlst.defined_vars['S']._q_invariant, True)
       
   176 
       
   177     def test_greater_eid(self):
       
   178         with self.session.new_cnx() as cnx:
       
   179             rqlst = self._prepare(cnx, 'Any X WHERE X eid > 5')
       
   180             self.assertEqual(rqlst.defined_vars['X']._q_invariant, True)
       
   181 
       
   182     def test_greater_eid_typed(self):
       
   183         with self.session.new_cnx() as cnx:
       
   184             rqlst = self._prepare(cnx, 'Any X WHERE X eid > 5, X is Note')
       
   185             self.assertEqual(rqlst.defined_vars['X']._q_invariant, True)
       
   186 
       
   187     def test_max_eid(self):
       
   188         with self.session.new_cnx() as cnx:
       
   189             rqlst = self._prepare(cnx, 'Any MAX(X)')
       
   190             self.assertEqual(rqlst.defined_vars['X']._q_invariant, True)
       
   191 
       
   192     def test_max_eid_typed(self):
       
   193         with self.session.new_cnx() as cnx:
       
   194             rqlst = self._prepare(cnx, 'Any MAX(X) WHERE X is Note')
       
   195             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   196 
       
   197     def test_all_entities(self):
       
   198         with self.session.new_cnx() as cnx:
       
   199             rqlst = self._prepare(cnx, 'Any X')
       
   200             self.assertEqual(rqlst.defined_vars['X']._q_invariant, True)
       
   201 
       
   202     def test_all_typed_entity(self):
       
   203         with self.session.new_cnx() as cnx:
       
   204             rqlst = self._prepare(cnx, 'Any X WHERE X is Note')
       
   205             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   206 
       
   207     def test_has_text_1(self):
       
   208         with self.session.new_cnx() as cnx:
       
   209             rqlst = self._prepare(cnx, 'Any X WHERE X has_text "toto tata"')
       
   210             self.assertEqual(rqlst.defined_vars['X']._q_invariant, True)
       
   211             self.assertEqual(rqlst.defined_vars['X'].stinfo['principal'].r_type,
       
   212                              'has_text')
       
   213 
       
   214     def test_has_text_2(self):
       
   215         with self.session.new_cnx() as cnx:
       
   216             rqlst = self._prepare(cnx, 'Any X WHERE X is Personne, '
       
   217                                   'X has_text "coucou"')
       
   218             self.assertEqual(rqlst.defined_vars['X']._q_invariant, True)
       
   219             self.assertEqual(rqlst.defined_vars['X'].stinfo['principal'].r_type,
       
   220                              'has_text')
       
   221 
       
   222     def test_not_relation_1(self):
       
   223         with self.session.new_cnx() as cnx:
       
   224             # P can't be invariant since deambiguification caused by "NOT X require_permission P"
       
   225             # is not considered by generated sql (NOT EXISTS(...))
       
   226             rqlst = self._prepare(cnx, 'Any P,G WHERE P require_group G, '
       
   227                                   'NOT X require_permission P')
       
   228             self.assertEqual(rqlst.defined_vars['P']._q_invariant, False)
       
   229             self.assertEqual(rqlst.defined_vars['G']._q_invariant, True)
       
   230             self.assertEqual(rqlst.defined_vars['X']._q_invariant, True)
       
   231 
       
   232     def test_not_relation_2(self):
       
   233         with self.session.new_cnx() as cnx:
       
   234             rqlst = self._prepare(cnx, 'TrInfo X WHERE X eid 2, '
       
   235                                   'NOT X from_state Y, Y is State')
       
   236             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, True)
       
   237             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   238 
       
   239     def test_not_relation_3(self):
       
   240         with self.session.new_cnx() as cnx:
       
   241             rqlst = self._prepare(cnx, 'Any X, Y WHERE X eid 1, Y eid in (2, 3)')
       
   242             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False)
       
   243 
       
   244     def test_not_relation_4_1(self):
       
   245         with self.session.new_cnx() as cnx:
       
   246             rqlst = self._prepare(cnx, 'Note X WHERE NOT Y evaluee X')
       
   247             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   248             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, True)
       
   249 
       
   250     def test_not_relation_4_2(self):
       
   251         with self.session.new_cnx() as cnx:
       
   252             rqlst = self._prepare(cnx, 'Any X WHERE NOT Y evaluee X')
       
   253             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   254             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, True)
       
   255 
       
   256     def test_not_relation_4_3(self):
       
   257         with self.session.new_cnx() as cnx:
       
   258             rqlst = self._prepare(cnx, 'Any Y WHERE NOT Y evaluee X')
       
   259             self.assertEqual(rqlst.defined_vars['X']._q_invariant, True)
       
   260             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False)
       
   261 
       
   262     def test_not_relation_4_4(self):
       
   263         with self.session.new_cnx() as cnx:
       
   264             rqlst = self._prepare(cnx, 'Any X WHERE NOT Y evaluee X, Y is CWUser')
       
   265             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   266             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False)
       
   267 
       
   268     def test_not_relation_4_5(self):
       
   269         with self.session.new_cnx() as cnx:
       
   270             rqlst = self._prepare(cnx, 'Any X WHERE NOT Y evaluee X, '
       
   271                                   'Y eid %s, X is Note' % self.ueid)
       
   272             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   273             self.assertEqual(rqlst.solutions, [{'X': 'Note'}])
       
   274 
       
   275     def test_not_relation_5_1(self):
       
   276         with self.session.new_cnx() as cnx:
       
   277             rqlst = self._prepare(cnx, 'Any X,Y WHERE X name "CWGroup", '
       
   278                                   'Y eid IN(1, 2, 3), NOT X read_permission Y')
       
   279             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   280             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False)
       
   281 
       
   282     def test_not_relation_5_2(self):
       
   283         with self.session.new_cnx() as cnx:
       
   284             rqlst = self._prepare(cnx, 'DISTINCT Any X,Y WHERE X name "CWGroup", '
       
   285                                   'Y eid IN(1, 2, 3), NOT X read_permission Y')
       
   286             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   287             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False)
       
   288 
       
   289     def test_not_relation_6(self):
       
   290         with self.session.new_cnx() as cnx:
       
   291             rqlst = self._prepare(cnx, 'Personne P where NOT P concerne A')
       
   292             self.assertEqual(rqlst.defined_vars['P']._q_invariant, False)
       
   293             self.assertEqual(rqlst.defined_vars['A']._q_invariant, True)
       
   294 
       
   295     def test_not_relation_7(self):
       
   296         with self.session.new_cnx() as cnx:
       
   297             rqlst = self._prepare(cnx, 'Any K,V WHERE P is CWProperty, '
       
   298                                   'P pkey K, P value V, NOT P for_user U')
       
   299             self.assertEqual(rqlst.defined_vars['P']._q_invariant, False)
       
   300             self.assertEqual(rqlst.defined_vars['U']._q_invariant, True)
       
   301 
       
   302     def test_exists_1(self):
       
   303         with self.session.new_cnx() as cnx:
       
   304             rqlst = self._prepare(cnx, 'Any U WHERE U eid IN (1,2), EXISTS(X owned_by U)')
       
   305             self.assertEqual(rqlst.defined_vars['U']._q_invariant, False)
       
   306             self.assertEqual(rqlst.defined_vars['X']._q_invariant, True)
       
   307 
       
   308     def test_exists_2(self):
       
   309         with self.session.new_cnx() as cnx:
       
   310             rqlst = self._prepare(cnx, 'Any U WHERE EXISTS(U eid IN (1,2), X owned_by U)')
       
   311             self.assertEqual(rqlst.defined_vars['U']._q_invariant, False)
       
   312             self.assertEqual(rqlst.defined_vars['X']._q_invariant, True)
       
   313 
       
   314     def test_exists_3(self):
       
   315         with self.session.new_cnx() as cnx:
       
   316             rqlst = self._prepare(cnx, 'Any U WHERE EXISTS(X owned_by U, X bookmarked_by U)')
       
   317             self.assertEqual(rqlst.defined_vars['U']._q_invariant, False)
       
   318             self.assertEqual(rqlst.defined_vars['X']._q_invariant, True)
       
   319 
       
   320     def test_exists_4(self):
       
   321         with self.session.new_cnx() as cnx:
       
   322             rqlst = self._prepare(cnx, 'Any X,Y WHERE X name "CWGroup", '
       
   323                                   'Y eid IN(1, 2, 3), EXISTS(X read_permission Y)')
       
   324             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   325             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False)
       
   326 
       
   327     def test_exists_5(self):
       
   328         with self.session.new_cnx() as cnx:
       
   329             rqlst = self._prepare(cnx, 'DISTINCT Any X,Y WHERE X name "CWGroup", '
       
   330                                   'Y eid IN(1, 2, 3), EXISTS(X read_permission Y)')
       
   331             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   332             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, True)
       
   333 
       
   334     def test_not_exists_1(self):
       
   335         with self.session.new_cnx() as cnx:
       
   336             rqlst = self._prepare(cnx, 'Any U WHERE NOT EXISTS(X owned_by U, '
       
   337                                   'X bookmarked_by U)')
       
   338             self.assertEqual(rqlst.defined_vars['U']._q_invariant, False)
       
   339             self.assertEqual(rqlst.defined_vars['X']._q_invariant, True)
       
   340 
       
   341     def test_not_exists_2(self):
       
   342         with self.session.new_cnx() as cnx:
       
   343             rqlst = self._prepare(cnx, 'Any X,Y WHERE X name "CWGroup", '
       
   344                                   'Y eid IN(1, 2, 3), NOT EXISTS(X read_permission Y)')
       
   345             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False)
       
   346 
       
   347     def test_not_exists_distinct_1(self):
       
   348         with self.session.new_cnx() as cnx:
       
   349             rqlst = self._prepare(cnx, 'DISTINCT Any X,Y WHERE X name "CWGroup", '
       
   350                                   'Y eid IN(1, 2, 3), NOT EXISTS(X read_permission Y)')
       
   351             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, False)
       
   352 
       
   353     def test_or_1(self):
       
   354         with self.session.new_cnx() as cnx:
       
   355             rqlst = self._prepare(cnx, 'Any X WHERE X concerne B OR '
       
   356                                   'C concerne X, B eid 12, C eid 13')
       
   357             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   358 
       
   359     def test_or_2(self):
       
   360         with self.session.new_cnx() as cnx:
       
   361             rqlst = self._prepare(cnx, 'Any X WHERE X created_by U, X concerne B OR '
       
   362                                   'C concerne X, B eid 12, C eid 13')
       
   363             self.assertEqual(rqlst.defined_vars['X']._q_invariant, True)
       
   364             self.assertEqual(rqlst.defined_vars['U']._q_invariant, True)
       
   365             self.assertEqual(rqlst.defined_vars['X'].stinfo['principal'].r_type, 'created_by')
       
   366 
       
   367     def test_or_3(self):
       
   368         with self.session.new_cnx() as cnx:
       
   369             rqlst = self._prepare(cnx, 'Any N WHERE A evaluee N or EXISTS(N todo_by U)')
       
   370             self.assertEqual(rqlst.defined_vars['N']._q_invariant, False)
       
   371             self.assertEqual(rqlst.defined_vars['A']._q_invariant, True)
       
   372             self.assertEqual(rqlst.defined_vars['U']._q_invariant, True)
       
   373 
       
   374     def test_or_exists_1(self):
       
   375         with self.session.new_cnx() as cnx:
       
   376             # query generated by security rewriting
       
   377             rqlst = self._prepare(cnx, 'DISTINCT Any A,S WHERE A is Affaire, S nom "chouette", '
       
   378                                   'S is IN(Division, Societe, SubDivision),'
       
   379                                   '(EXISTS(A owned_by D)) '
       
   380                                   'OR ((((EXISTS(E concerne C?, C owned_by D, A identity E, '
       
   381                                   '              C is Note, E is Affaire)) '
       
   382                                   'OR (EXISTS(I concerne H?, H owned_by D, H is Societe, '
       
   383                                   '           A identity I, I is Affaire))) '
       
   384                                   'OR (EXISTS(J concerne G?, G owned_by D, G is SubDivision, '
       
   385                                   '           A identity J, J is Affaire))) '
       
   386                                   'OR (EXISTS(K concerne F?, F owned_by D, F is Division, '
       
   387                                   '           A identity K, K is Affaire)))')
       
   388             self.assertEqual(rqlst.defined_vars['A']._q_invariant, False)
       
   389             self.assertEqual(rqlst.defined_vars['S']._q_invariant, False)
       
   390 
       
   391     def test_or_exists_2(self):
       
   392         with self.session.new_cnx() as cnx:
       
   393             rqlst = self._prepare(cnx, 'Any U WHERE EXISTS(U in_group G, G name "managers") OR '
       
   394                                   'EXISTS(X owned_by U, X bookmarked_by U)')
       
   395             self.assertEqual(rqlst.defined_vars['U']._q_invariant, False)
       
   396             self.assertEqual(rqlst.defined_vars['G']._q_invariant, False)
       
   397             self.assertEqual(rqlst.defined_vars['X']._q_invariant, True)
       
   398 
       
   399     def test_or_exists_3(self):
       
   400         with self.session.new_cnx() as cnx:
       
   401             rqlst = self._prepare(cnx, 'Any COUNT(S),CS GROUPBY CS ORDERBY 1 DESC LIMIT 10 '
       
   402                                   'WHERE C is Societe, S concerne C, C nom CS, '
       
   403                                   '(EXISTS(S owned_by D)) OR (EXISTS(S documented_by N, N title "published"))')
       
   404             self.assertEqual(rqlst.defined_vars['S']._q_invariant, True)
       
   405             rqlst = self._prepare(cnx, 'Any COUNT(S),CS GROUPBY CS ORDERBY 1 DESC LIMIT 10 '
       
   406                                   'WHERE S is Affaire, C is Societe, S concerne C, C nom CS, '
       
   407                                   '(EXISTS(S owned_by D)) OR (EXISTS(S documented_by N, N title "published"))')
       
   408             self.assertEqual(rqlst.defined_vars['S']._q_invariant, True)
       
   409 
       
   410     def test_nonregr_ambiguity(self):
       
   411         with self.session.new_cnx() as cnx:
       
   412             rqlst = self._prepare(cnx, 'Note N WHERE N attachment F')
       
   413             # N may be an image as well, not invariant
       
   414             self.assertEqual(rqlst.defined_vars['N']._q_invariant, False)
       
   415             self.assertEqual(rqlst.defined_vars['F']._q_invariant, True)
       
   416 
       
   417     def test_nonregr_ambiguity_2(self):
       
   418         with self.session.new_cnx() as cnx:
       
   419             rqlst = self._prepare(cnx, 'Any S,SN WHERE X has_text "tot", X in_state S, S name SN, X is CWUser')
       
   420             # X use has_text but should not be invariant as ambiguous, and has_text
       
   421             # may not be its principal
       
   422             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   423             self.assertEqual(rqlst.defined_vars['S']._q_invariant, False)
       
   424 
       
   425     def test_remove_from_deleted_source_1(self):
       
   426         with self.session.new_cnx() as cnx:
       
   427             rqlst = self._prepare(cnx, 'Note X WHERE X eid 999998, NOT X cw_source Y')
       
   428             self.assertNotIn('X', rqlst.defined_vars) # simplified
       
   429             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, True)
       
   430 
       
   431     def test_remove_from_deleted_source_2(self):
       
   432         with self.session.new_cnx() as cnx:
       
   433             rqlst = self._prepare(cnx, 'Note X WHERE X eid IN (999998, 999999), NOT X cw_source Y')
       
   434             self.assertEqual(rqlst.defined_vars['X']._q_invariant, False)
       
   435             self.assertEqual(rqlst.defined_vars['Y']._q_invariant, True)
       
   436 
       
   437     def test_has_text_security_cache_bug(self):
       
   438         with self.session.new_cnx() as cnx:
       
   439             rqlst = self._prepare(cnx, 'Any X WHERE X has_text "toto" WITH X BEING '
       
   440                                   '(Any C WHERE C is Societe, C nom CS)')
       
   441             self.assertTrue(rqlst.parent.has_text_query)
       
   442 
       
   443 if __name__ == '__main__':
       
   444     from logilab.common.testlib import unittest_main
       
   445     unittest_main()